【C++入门】内联函数、auto关键字、范围for、空指针nullptr

目录

一、内联函数

1.概念

 2.内联函数特点

3.面试考点 

二、auto关键字 （C++11）

1.概念

2.auto的使用细则

1).auto与指针和引用结合起来使用

2).在同一行定义多个变量

3.auto不能推导的场景

三、基于范围的for循环(C++11)

1.范围for语法

 2.范围for的使用条件

四、指针空值nullptr(C++11)

---

一、内联函数

1.概念

以 inline修饰 的函数叫做内联函数， 编译时 C++编译器会在 调用内联函数的地方展开 ， 没有函数调用建立栈帧的开销，内联函数提升程序运行的效率 。

 拿我们最熟悉的ADD函数举例：

int Add(int x, int y)
{
	int z = x + y;
	return z;
}

上述函数如果经常被调用，会使效率丢失。因为每调用一次都要开辟内存，建立函数栈帧，还要调用寄存器等等的一系列写操作。为了提高效率，C语言用宏来解决这个问题。

#define ADD(x, y) ((x) + (y))

但是宏有它自生的缺陷：

1. 宏函数晦涩难懂，容易写错的问题
2. 宏不支持调试，不支持类型安全的检查等问题

在当初设计C++的时候，设计者为了解决这个问题，提出了内联函数这个概念，他的用法也非常简单，只要在函数前面加上inline修饰即可。（如下代码）

inline int Add(int x, int y)
{
	int z = x + y;
	return z;
}

这个函数在被调用时就不会建立函数栈帧，而是在被调用处展开。 我们可以在调试的反编译框中看出两者的区别。

• 有call指令说明进行了一次函数栈帧

•  没有call指令直接被展开

但是要注意的是，如果要看到如上的反编译结果要用Release版进行观察；在默认的Debug版本下，由于inline修饰的函数需要能够调试，所以在反编译的时候不会生效，除非进行设置，设置方法如下。

• 第一步

•  第二步

• 第三步

 2.内联函数特点

1. inline是一种以空间换时间的做法，省去调用函数而开销。所以代码很长或者有循环/递归的函数不适宜使用作为内联函数。
2. inline对于编译器而言只是一个建议，编译器会自动优化，如果定义为inline的函数体内有循环/递归等等，编译器优化时会忽略掉内联。
3. inline不建议声明和定义分离，分离会导致链接错误。因为inline被展开，就没有函数地址了，链接就会找不到。建议在头文件中直接完成内联函数。

3.面试考点 

问题一： 宏的优缺点？

优点：

1. 增强代码的复用性。
2. 提高性能。

缺点 ：

1. 不方便调试宏。（因为预编译阶段进行了替换）
2. 导致代码可读性差，可维护性差，容易误用。
3. 没有类型安全的检查 。

问题二： C++有哪些技术替代宏？

1. 常量定义 换用const enum
2. 短小函数定义 换用内联函数

二、auto关键字 （C++11）

1.概念

一般的变量在声明前要标明变量的类型，但是如果用auto关键字，就不需要对变量类型进行标明，编译器会自动推导。

int a = 10;
auto b = a;
auto c = 'a';

 这里编译器会自动推导b的类型为int，c的类型为char。

---

我们可以用typeid().name来辨别一个变量的类型，会返回一个字符串。

int TestAuto()
{
	return 10;
}
int main()
{
	const int a = 10;
	auto b = a;
	auto m = &a;
	auto c = 'a';
	auto d = TestAuto();
	cout << typeid(b).name() << endl; // int
	cout << typeid(m).name() << endl; // int const *
	cout << typeid(c).name() << endl; // char 
	cout << typeid(d).name() << endl; // int
	//auto e; 无法通过编译，使用auto定义变量时必须对其进行初始化
	return 0;
}

• 注意：使用auto定义变量时必须对其进行初始化，在编译阶段编译器需要根据初始化表达式来推导auto的实际类型。因此auto并非是一种“类型”的声明，而是一个类型声明时的“占位符”，编译器在编译期会将auto替换为变量实际的类型。

2.auto的使用细则

1).auto与指针和引用结合起来使用

用auto声明指针类型时， 用auto和auto*没有任何区别 ，但用 auto声明引用类型时则必须

加&。

int main()
{
    int x = 10;
    auto a = &x;
    auto* b = &x;
    auto& c = x;
    cout << typeid(a).name() << endl;
    cout << typeid(b).name() << endl;
    cout << typeid(c).name() << endl;
    *a = 20;
    *b = 30;
     c = 40;
    return 0;
}

2).在同一行定义多个变量

当在同一行声明多个变量时，这些变量必须是相同的类型 ，否则编译器将会报错，因为编译

器实际只对第一个类型进行推导，然后用推导出来的类型定义其他变量。

void TestAuto()
{
    auto a = 1, b = 2; 
    auto c = 3, d = 4.0;  // 该行代码会编译失败，因为c和d的初始化表达式类型不同
}

3.auto不能推导的场景

• 不能做函数参数

// 此处代码编译失败，auto不能作为形参类型，因为编译器无法对a的实际类型进行推导
void TestAuto(auto a)
{}

• auto不能直接用来声明数组

void TestAuto()
{
    int a[] = {1,2,3};
    auto b[] = {4，5，6}; //err
}

三、基于范围的for循环(C++11)

1.范围for语法

在C语言中，如果要遍历数组，要进行如下操作：

void print()
{
int array[] = { 1, 2, 3, 4, 5 };

for (int i = 0; i < sizeof(array) / sizeof(array[0]); ++i)
     array[i] *= 2;

for (int* p = array; p < array + sizeof(array)/ sizeof(array[0]); ++p)
     cout << *p << endl;
}

对于一个 有范围的集合 而言，由程序员来说明循环的范围是多余的，有时候还会容易犯错误。因

此C++11中引入了基于范围的for循环。 for循环后的括号由冒号“ ：”分为两部分：第一部分是范

围内用于迭代的变量，第二部分则表示被迭代的范围 。代码如下：

void print()
{
int array[] = { 1, 2, 3, 4, 5 };

for(auto& e : array)
     e *= 2;

for(auto e : array)
     cout << e << " ";
}

•  注意：for的规则是依次取数组中的数据赋值给e，单纯的对e操作不会改变原数组，加上引用后才会让范围for有能力改变原数组。

 2.范围for的使用条件

• for循环迭代的范围必须是确定的，如下代码就存在问题

void TestFor(int array[])
{
    for(auto& e : array)
        cout<< e <<endl;
}

• 迭代的对象要实现++和==的操作。

四、指针空值nullptr(C++11)

nullptr是为了弥补C++中NULL存在语法问题而打的一个补丁。NULL实际上是一个宏，在C语言头文件(stddef.h)中可以看到如下的代码：

#ifndef NULL
#ifdef __cplusplus
#define NULL   0
#else
#define NULL   ((void *)0)
#endif
#endif

可以看到， NULL可能被定义为字面常量0，或者被定义为无类型指针(void*)的常量 。不论采取何

种定义，在使用空值的指针时，都不可避免的会遇到一些麻烦，比如：

如上代码f(NULL)的本意是要传递一个为int*类型的空指针，但是由于默认NULL为0，所以程序会跳入f(int)的函数，要加上强制类型转换才能实现本意。为了解决上述问题，可以用nullptr来代替NULL。

注意：

1. 在使用nullptr表示指针空值时，不需要包含头文件，因为nullptr是C++11作为新关键字引入的。
2. 在C++11中，sizeof(nullptr) 与 sizeof((void*)0)所占的字节数相同。
3. 为了提高代码的健壮性，在后续表示指针空值时建议最好使用nullptr。