初识C++（下）

目录

1.引用

引用概念

引用的作用 

1.做参数

 2.做返回值

 引用注意事项

1.引用必须初始化

 2.引用不能改变指向

3.一个变量可以有多个引用，多个别名。

引用和指针的区别

 2.内联函数

概念

作用解释

内联函数的特性

注意事项

代码膨胀

声明和定义不要分离

总结

3.auto关键字

auto必须初始化

 注意事项

1.auto会一定程度上减少可读性。

2. auto不能直接用来声明数组

4.指针空值nullptr(C++11)

注意事项

5.结语

---

鼠鼠在上次写完一篇博客后，秉承今年不当鸽子的承诺，马上把下部分肝出来了，今天我们来继续C++的学习（下）。话不多说，我们开始吧。

1.引用

引用概念

引用不是新定义一个变量，而是给已存在变量取了一个别名，编译器不会为引用变量开辟内存空 间，它和它引用的变量共用同一块内存空间。

我们可以使用取地址符号来证明。

#include<iostream>
using namespace std;
int main()
{
	int a = 0;
	int& b = a;
   //b就是a的别名
	cout << &a << endl;
	cout << &b << endl;
	return 0;
}

引用的作用 

1.做参数

void Swap(int* a, int* b)
{

}
void Swap(int& a, int& b)
{

}

int main()
{
	int x = 0, y = 1;
	Swap(&x, &y);

	Swap(x, y);
	return 0;
}

&a相当于 x 的引用，&b 相当于 y 的引用。 

我们完善一下代码。

void Swap(int* a, int* b)
{
	int temp = *a;
	* a = *b;
	*b = temp;
	cout << *a << endl;
	cout << *b << endl;
}
void Swap(int& a, int& b)
{
	int temp = a;
	a = b;
	b = temp;
	cout << a << endl;
	cout << b << endl;
}

int main()
{
	int x = 0, y = 1;
	Swap(&x, &y);
	x = 0, y = 1;
	Swap(x, y);
	return 0;
}

可以发现引用是可以作为参数的，同时上节博客的学习我们知道 a , b 和 x , y 在不同的域我们也可以改成int&x，和int&y 。

 2.做返回值

在c语言中，当函数调用之后栈就会销毁，但是我们运行时，我们仍能打印成功，是因为编译器创建了一个临时变量到寄存器（对象比较大会预设在main函数）中，然后传值返回。

 我们将函数引用，此时函数返回的是a的别名，因为引用和变量使用同一空间，如果编译器将空间销毁，那么无法再访问到a的空间。

全局变量/静态变量/堆上变量等就可以使用引用返回。

返回变量出了函数的作用域就到了生命周期（局部变量），不能用引用返回。

 另外的，无论是做参数还是返回值，都可以减少拷贝量，提高效率。

#include <time.h>

struct A { int a[10000]; };
void TestFunc1(A a) {}
void TestFunc2(A& a) {}
void main()
{
	A a;
	// 以值作为函数参数
	size_t begin1 = clock();
	for (size_t i = 0; i < 10000; ++i)
		TestFunc1(a);
	size_t end1 = clock();

	// 以引用作为函数参数
	size_t begin2 = clock();
	for (size_t i = 0; i < 10000; ++i)
		TestFunc2(a);
	size_t end2 = clock();

	// 分别计算两个函数运行结束后的时间
	cout << "TestFunc1(A)-time:" << end1 - begin1 << endl;
	cout << "TestFunc2(A&)-time:" << end2 - begin2 << endl;
}

 常引用

void func( const int& x)
{

}

int main()
{
	int a = 0;
	int& b = a;
	b++;
	func(a);

	// 权限的缩小 --可以的
	const int& c = a;

	const int x = 10;
	const int& y = x;
	// 权限的放大 --不可以的
	/*int& y = x;*/
	
	/*int& z = y;*/

	const int& z = 10;
	const int& m = a + x;
	// 权限的放大 a+x表达式的返回值是临时对象。临时对象具有常性
	//int& n = a + x;
	func(10);
	func(a + x);

	return 0;
}

权限的放大 a+x表达式的返回值是临时对象。临时对象具有常性 

临时变量和常数具有常性，所以int &ri等于权限放大要在前面加上const 

引用注意事项

1.引用必须初始化

 2.引用不能改变指向

int main()
{
	/*int& b;*/
	int a = 1;
	int& b = a;
	int c = 2;
	b = c;
}

a和b的地址没有变化，这说明引用是改变不了指向的。和我们的C语言有所区别。

C语言

因为C++的引用不能改变指向，在链表，树这些是实现不了的。

所以C++的引用，对函数使用比较复杂的场景进行替换，让代码简单易懂，但是不能完全代替指针。

3.一个变量可以有多个引用，多个别名。

引用和指针的区别

在语法概念上引用就是一个别名，没有独立空间，和其引用实体共用同一块空间。

在底层实现上实际是有空间的，因为引用是按照指针方式来实现的。

 我们看到引用底层是指针实现的，语法含义和现实是背离的，就像老婆饼里面没有老婆。

语法：

1.引用是别名，不开空间，指针是地址，需要开空间地址。

2.引用必须初始化，指针可以初始化也可以不初始化。

3.引用不能改变指向，指针可以

4.引用相对安全，没有空引用，但是有空指针，容易出现也只着呢，但是不容易出现野引用。

5. 在sizeof中含义不同：引用结果为引用类型的大小，但指针始终是地址空间所占字节个数(32 位平台下占4个字节) 

6. 引用自加即引用的实体增加1，指针自加即指针向后偏移一个类型的大小

7. 有多级指针，但是没有多级引用

底层：

汇编层面上，没有引用，只有指针，编译后野换成指针了。

 2.内联函数

概念

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

作用解释

C++为什么这样做呢？我们先看C语言，假设我们需要多次调用函数，就需要多次建立栈帧和销毁。C语言给出的解决方法是宏函数。

#define ADD(a, b) ((a)+(b))

int Add(int a, int b)
{
	return a + b;
}
 
int main()
{
	if (ADD(1, 2))
	{}

	ADD(1, 2) * 3;

	int x = 1, y = 2;
	ADD(x | y, x & y);  // (x|y + x&y)

	return 0;
}

1.宏不是函数

2.不加分号。不能#define ADD(a, b) ((a)+(b))后加；

3.注意括号优先级

核心：宏是预处理阶段进行替换。

#define ADD(a, b) ((a)+(b))

重点讲一下((a)+(b))

外面层括号是为了调用的时候还有其他符号影响

例如：   ADD(1, 2) * 3;

里面的a、b的括号代表的事是表达式，不是一个具体的值

例如： ADD(x | y, x & y);  // (x|y + x&y)   “+” 的优先局比其他符号高，就会先运行。 

 宏的优缺点

优点：

1.增强代码的复用性。

2.提高性能。 

 缺点：

1.不方便调试宏。（因为预编译阶段进行了替换）

2.导致代码可读性差，可维护性差，容易误用。

3.没有类型安全的检查 。

 C++有哪些技术替代宏？

1. 常量定义 换用const enum

2. 短小函数定义 换用内联函数

int Add(int a, int b)
{
	return a + b;
}

int main()
{
	int ret1 = Add(1, 2) * 3;

	int x = 1, y = 2;
	int ret2 = Add(x | y, x & y);

	return 0;
}

未内联之前的C语言函数调用。

 我们看看inline，要达到我这样的效果要这样做：

查看方式：

1. 在release模式下，查看编译器生成的汇编代码中是否存在call Add

2. 在debug模式下，需要对编译器进行设置，否则不会展开(因为debug模式下，编译器默认不会对代码进行优化，

 然后反汇编

我们可以看到没有函数调用。

内联函数的特性

1. inline是一种以空间换时间的做法，如果编译器将函数当成内联函数处理，在编译阶段，会 用函数体替换函数调用，

缺陷：可能会使目标文件变大。

优势：少了调用开销，提高程序运行效率。

2. inline对于编译器而言只是一个建议，不同编译器关于inline实现机制可能不同，一般建 议：将函数规模较小(即函数不是很长，具体没有准确的说法，取决于编译器内部实现)、不 是递归、且频繁调用的函数采用inline修饰，否则编译器会忽略inline特性。下图为 《C++prime》第五版关于inline的建议：

3. inline不建议声明和定义分离，分离会导致链接错误。因为inline被展开，就没有函数地址 了，链接就会找不到。

注意事项

代码膨胀

inline函数内部不同指令长度情况下，编译器会自动对内联函数展开与否所做出的判断结果，这时候就可能出现代码膨胀的问题。

我们看见当内联函数复杂时，函数调用又出来了。这就是我们之前说的特性的第二点：

2. inline对于编译器而言只是一个建议，不同编译器关于inline实现机制可能不同，一般建 议：将函数规模较小(即函数不是很长，具体没有准确的说法，取决于编译器内部实现)、不 是递归、且频繁调用的函数采用inline修饰，否则编译器会忽略inline特性。

 假如我们假设Func有100行，有1w个调用位置。

假设内联展开了            100*1w

假设内联没有展开         100+1w

所以内联函数不是万能的需要谨慎使用。 

声明和定义不要分离

为了理解透彻，我们分别建立Text.cpp 、Stack.h 、 Stack.cpp三个文件

Text.cpp

#include"Stack.h"

int main()
{
	Add(1, 2);
	return 0;
}

 Stack.h

#pragma once
#include<iostream>
using namespace std;

int Add(int a, int b)
{
	cout << "int Add(int a, int b)" << endl;
		return a + b;
}

 Stack.cpp

#include"Stack.h"

 此时我们生成解决方案，编译器会发生报错。

 这是是因为Text  和  Stack 都有Add这个函数定义和地址，链接时并且不构成函数重载（函数类型一直，初识C++（上）有写），就认为是重复的函数,进行重定义的报错。

那么如何解决呢？

1.声明和定义分离

为什么声明和定义分离就能成功呢？

      Text想要进行函数调用，就要call Add 汇编指call没有函数地址进行函数调用，Stack.h里面没有函数地址和定义，最后在链接中的Stack.cpp找到。这样就可以避免函数重载了。

2.加static

 static 有链接属性，只在当前文件可见（底层角度就是不会进符号表，符号表后面会进行合并、链接）

3.加inline

进入正题，我们先来看看声明和定义分开为什么不行。

上面我们说过函数调用需要函数（call），我们上面还说过内联函数展开（函数较小时）不提供地址，不提供地址进入符号表就无法调用。所以出现了无法解析的外部符号。

我们声明和定义不分离，就能成功运行。原理和static类似。

总结

1.声明和定义分离

2.加static，链接属性，只在当前文件可见。

3、加inline，声明定义不能分离。

4.小函数内联，大函数静态。

3.auto关键字

auto的意思是自动识别类型，自动推导类型。

auto必须初始化

特别的

auto   k = & i;  //传int，指针都行
auto *k=  & i;  //只能传指针

 我们可以用在函数指针

void func(int a, int b)
{

}
int main()
{

	void(*pf1)(int, int) = func;
     auto pf2 = func;
    cout << typeid(pf1).name() << endl;
	cout << typeid(pf2).name() << endl;
}

 结果是一样的，行得通。

 注意事项

1.auto会一定程度上减少可读性。

auto p=func（）； //不能直观地知道调用的类型。

2. auto不能直接用来声明数组

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

 

auto在范围for的语法

在C++98中如果要遍历一个数组，可以按照以下方式进行：

void TestFor() 
{ 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循环后的括号由冒号“ ：”分为两部分：

第一部分是范围内用于迭代的变量

第二部分则表示被迭代的范围。

依次取数组中的赋值给e，自动迭代，自动判断结束。

void TestFor() { 
int array[] = { 1, 2, 3, 4, 5 };
for(auto& e : array) 
e *= 2; 
for(auto e : array) 
cout << e << " "; 
return 0; }

注意：与普通循环类似，可以用continue来结束本次循环，也可以用break来跳出整个循环

提一句，假设我们要对里面的值乘2，直接乘是行不通的。

int main()
{
	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;

	
	for (auto e : array)
	{
		e *= 2;
	}
	cout << endl;

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

	return 0;
}

这是因为 arrray是将值赋给e，相当于e是arrray的拷贝  。

这时我们可以使用上篇博客（初识C++（上））讲的引用来实现

int main()
{
	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;

	
	for (auto &e : array)
	{
		e *= 2;
	}
	cout << endl;

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

	return 0;
}

4.指针空值nullptr(C++11)

看多了C语言的问题，我们来看看C++自己的问题

 在良好的C/C++编程习惯中，声明一个变量时最好给该变量一个合适的初始值，否则可能会出现 不可预料的错误，比如未初始化的指针。如果一个指针没有合法的指向，我们基本都是按照如下方式对其进行初始化：

void TestPtr()
 {
 int* p1 = NULL;
 int* p2 = 0;
 // ……
 }

NULL实际是一个宏，在传统的C头文件(stddef.h)中，可以看到如下代码

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

可以看到，NULL可能被定义为字面常量0，或者被定义为无类型指针(void*)的常量。不论采取何种定义，在使用空值的指针时，都不可避免的会遇到一些麻烦，比如：

void f(int i)
{
	cout << "f(int)" << endl;
}

void f(int* p)
{
	cout << "f(int*)" << endl;
}


int main()
{
	f(0);
	f(NULL);
	
	return 0;
}

 按道理应该是，第一个匹配第一个，第二个匹配第二个。

但是当我们运行后，会发现两个都匹配第一个去了。

原因就出现在之前的宏定义里面 ：

#ifndef NULL
 #ifdef __cplusplus   //就是C++语言
 #define NULL    0    //将NULL定义为0；
 #else
 #define NULL    ((void *)0)
 #endif
 #endif

这样f(NULL) 和 f(0)就没有区别了，那是否我们将f(NULL);改成f((void*)NULL);就可行了呢？

我们看一下

还是不行， 我们可以看见两者均可匹配，有歧义。我们试试f((int*)NULL);

这样就可以了，是不是有坑，所以为了补上这个坑，C++引入了nullptr关键字。

void f(int i)
{
	cout << "f(int)" << endl;
}

void f(int* p)
{
	cout << "f(int*)" << endl;
}


int main()
{
	f(0);
	f(NULL);
	f((int*)NULL);
	f(nullptr);

	int* p = nullptr; 
	return 0;
}

注意事项

1. 在使用nullptr表示指针空值时，不需要包含头文件，因为nullptr是C++11作为新关键字引入 的。

2. 在C++11中，sizeof(nullptr) 与 sizeof((void*)0)所占的字节数相同。

3. 为了提高代码的健壮性，在后续表示指针空值时建议最好使用nullptr。

5.结语

 好了，初识C++（下）到这里结束了，如果有什么错误还请各位指正，我是₯㎕星空&繁华，我们下次见！