C/C++ - Auto Reference
目录
auto
Reference
auto
-
当使用auto关键字声明变量时，C++编译器会根据变量的初始化表达式推断出变量的类型。
-
自动类型推断：auto关键字用于自动推断变量的类型，使得变量的类型可以根据初始化表达式进行推导。
-
初始化表达式：在使用auto声明变量时，必须提供初始化表达式，以便编译器能够推断变量的类型。
-
推断规则：编译器根据初始化表达式的类型来推断变量的类型。推断的结果可以是基本类型、自定义类型、指针类型等。
-
类型一致性：编译器会确保自动推断的类型与初始化表达式的类型一致，以保证类型安全。
-
引用类型推断：当使用auto声明引用变量时，编译器会推断出引用的类型，并创建对应的引用。
#include <iostream>int main() {//类型推断auto a = 1; //intauto b = 'A'; //charauto c = 3.14f; //floatauto d = "Hello World"; //const char*auto e = &a; //int*//编译正确int f = 3.14;//编译错误//int g{3.14};//类型回溯const std::type_info& TypeName = typeid(e);std::cout << TypeName.name() << std::endl;return 0; }
-
Reference
-
引用的基本概念
-
引用是一个已存在变量的别名，通过使用 & 符号进行声明。
-
引用语法格式 -> 类型 & 引用变量名 ( 对象名 ) = 引用实体；
int& ref = a; -
引用在定义时必须初始化
int a = 0; //数据类型& 变量名 = 初始值; //引用必须赋值 int& ref = a; -
引用必须在声明时进行初始化，并且一旦初始化后，它将一直引用相同的对象。
#include <iostream>int main() {//局部变量int a = 2;int b = 5;//引用变量ref1指向变量aint& ref1 = a;//success -> 修改ref1[a] = b//failed -> 修改int& ref1 = b;//引用一旦赋值无法重新引用其他变量ref1 = b;return 0; } -
一个变量可以有多个引用
int a = 0; //一个变量可以有多个引用 int& ref1 = a; int& ref2 = a; -
引用权限(权限只能变小不能扩大)
-
-
引用作为函数参数
-
引用参数使用 & 符号进行声明，表示该参数是一个引用。
void Fun(int& ref/*引用参数*/) {return; } -
引用参数在函数内部直接操作原始变量，而不会创建副本。
#include <iostream>//创建副本 -> 将参数的值PUSH进STACK void Fun2(int a) {}//地址传递 -> 指针 void Fun3(int* p) {}//地址传递 -> 引用 void Fun4(int& ref) {}int main() {int Num = 0;Fun2(Num); //int a = Num;Fun3(&Num); //int* p = &Num;Fun4(Num); //int& ref = Num;return 0; }//Fun2 mov eax,dword ptr [Num] push eax //创建副本 call Fun2 (04113B1h) add esp,4 //Fun3 lea eax,[Num] push eax //地址传递 call Fun3 (04113A7h) add esp,4 //Fun4 lea eax,[Num] push eax //地址传递 call Fun4 (04113B6h) add esp,4 -
-
引用参数可以在函数内部修改原始变量的值。
#include <iostream>//地址传递 -> 引用 void Fun4(int& ref) {//[ref] -> main->Num.Addrref = 2; }int main() {int Num = 0;Fun4(Num); //int& ref = Num;return 0; } -
通过引用传递参数可以实现函数的返回多个值的效果。
#include <iostream>bool cc_OpenFile(const char* szFileName, int& nFileSize) {//TODObool bret = true;if (bret){nFileSize = 123;}return bret; }int main() {int FileSize = 0;bool bret = cc_OpenFile("D:\\1.txt", FileSize);return 0; }
-
-
引用作为函数返回值
-
函数的返回类型可以是引用类型，使用 & 符号进行声明。
//返回值类型为引用 int& Fun() {} -
不应该返回指向局部变量的引用，因为在函数执行完毕后，局部变量会被销毁，引用将变得无效。
#include <iostream>//返回值类型为引用 int& Fun() {//Fun -> STACK -> [EBP - 8]int a = 1;//不要返回局部变量的指针 & 引用//lea eax,[a]return a; }int main() {int& ref = Fun();printf("%d \r\n", ref);printf("%d \r\n", ref);printf("%d \r\n", ref);return 0; } -
返回指向静态变量或全局变量的引用也是不推荐的，因为这样做可能导致函数不可重入和线程安全性问题。
//创建线程 CreateThread;//多线程执行下函数时,可能 void Fun(lpvoid lp) {g_Num++; } -
返回引用可以避免对象的拷贝，提高效率，并允许对返回值进行修改。
-
-
常量引用
-
常量引用声明与初始化
-
常量引用使用 const 关键字进行声明。
-
常量引用必须在声明时被初始化，并且一旦初始化后，就不能再引用其他对象。
-
常量引用可以绑定到常量、非常量和临时对象。
-
常量引用提供了一种只读访问对象的方式，不能通过常量引用修改所引用的对象。
#include <iostream>int main() {int a;const int b = 1;const int& ref1 = a; //绑定非常量const int& ref2 = b; //绑定常量const int& ref3 = 10; //临时对象//引用对象之后无法修改其指向对象//常量引用无法修改其指向对象的值std::cout << ref2 << std::endl;return 0; }
-
-
常量引用与非常量引用的区别
-
常量引用只能用于读取对象的值，而非常量引用可以用于修改对象的值。
-
常量引用可以绑定到常量对象，而非常量引用不能绑定到常量对象。
-
常量引用可以接受临时对象作为参数，而非常量引用不能直接接受临时对象作为参数。
#include <iostream>int main() {int a = 0;const int b = 0;//引用与常量引用一旦绑定对象后均无法修改其指向int& ref1 = a;const int& ref2 = b;//普通引用可以修改其指向对象的值//int* const p = &a; ref1 = 2; //a = 2;//常量引用不可修改其指向对象的值//const int* const p = &a;//b = 2;return 0; }
-
-
常量引用与函数参数
-
将函数参数声明为常量引用可以防止在函数内部意外修改参数的值。
-
如果函数不需要修改参数的值，将其声明为常量引用可以提高代码的清晰度和可读性，并帮助避免潜在的错误。
#include <iostream>void Fun(const int& ref) {std::cout << ref << std::endl; }int main() {int nVer = 2;Fun(nVer);return 0; }
-
-
-
数组引用
#include <iostream>int main() {int Arr[5] = { 0 };//数组引用int (&ref1)[5] = Arr;//定义类型typedef int(ARR_TYPE)[5];ARR_TYPE& ref2 = Arr;//定义类型typedef int(&ARR_REF)[5];ARR_REF ref3 = Arr;return 0; }- 在C++中，可以通过引用来操作数组，这样可以方便地传递和修改数组，而无需进行数组的复制。数组引用在函数参数传递和函数返回值等场景中非常有用。
- 数组引用是对数组的别名，使用引用可以直接操作数组元素。
- 语法：类型 (&引用名)[数组大小] = 数组;