💗个人主页💗
⭐个人专栏——C++学习⭐
💫点击关注🤩一起学习C语言💯💫
导读
接着上一篇的内容继续学习,今天我们需要重点学习引用。
1. 引用
在C++中,引用是一种特殊的变量,用于别名一个已经存在的对象或变量。通过引用,可以使用别名来操作原始对象,而不是创建一个新的副本。
引用提供了一种简洁和高效的方式来传递参数、返回值和修改变量的值。
1.1 引用特性
- 引用在定义时必须初始化
- 一个变量可以有多个引用
- 引用一旦引用一个实体,再不能引用其他实体
void TestRef()
{int a = 10;int& ra = a;//<====定义引用类型printf("%p\n", &a);printf("%p\n", &ra);
}
int main()
{TestRef();return 0;
}
上述代码我们可以发现两者的地址是相同的,a和r指向是完全一样的
注意:
引用类型必须和引用实体是同种类型的
1.2 做参数使用
引用作为函数参数,意味着在函数调用时,我们将一个变量的引用传递给函数。这样,函数可以直接操作原始变量,而不是对其进行拷贝。
void swap(int& a, int& b) {int temp = a;a = b;b = temp;
}int main() {int x = 10;int& ref = x; // 引用xcout << "x = " << x << endl; // 输出: x = 10cout << "ref = " << ref << endl; // 输出: ref = 10ref = 20; // 修改ref,实际上是修改xcout << "x = " << x << endl; // 输出: x = 20cout << "ref = " << ref << endl; // 输出: ref = 20int a = 5;int b = 10;swap(a, b); // 传递a和b的引用,修改原始变量cout << "a = " << a << endl; // 输出: a = 10cout << "b = " << b << endl; // 输出: b = 5return 0;
}
1.3 做返回值使用
函数返回引用时需要确保返回的引用仍然指向有效的内存空间。通常,可以返回类成员变量的引用、静态变量的引用、函数内静态局部变量的引用等。
同时要注意的是,返回引用时需要避免返回对局部变量的引用,因为局部变量在函数结束后会被销毁,返回对其引用可能会导致未定义行为。
int& Max(int& a, int& b)
{return (a > b) ? a : b;
}int main()
{int x = 10, y = 20;int& max = Max(x, y);max = 30; // 修改了y的值cout << "y: " << y << endl; // 输出: 30return 0;
}
我们再来看一下下面的代码:
int& Add(int a, int b)
{int c = a + b;return c;
}
int main()
{int& ret1 = Add(1, 2);int& ret2 = Add(3, 4);cout << "Add(1, 2) is :" << ret1 << endl;cout << "Add(3, 4) is :" << ret2 << endl;return 0;
}
按照我们的预期,我们输出的两个数应该是3和7,然而:
这是为什么呢?
在函数 Add 中,局部变量 c 的生命周期仅限于函数内部。
当函数执行完毕后,c 被销毁,而返回的引用 ret 将指向一个不存在的对象。
当再次使用这个引用时,就会出现未定义的行为。
因此,应该避免将局部变量作为返回值的引用类型返回。
1.4 引用和指针的区别
- 指针使用*来定义,而引用使用&来定义。
int* ptr; // 声明一个指针
int& ref = *ptr; // 定义一个引用,引用指针所指向的变量
- 指针可以被初始化为null或指向任意变量的地址,而引用必须在声明时初始化,并且不能为null。
int* ptr = nullptr; // 指针为空
int x = 5;
int& ref = x; // 引用x,ref指向x的地址
- 指针可以被重新赋值为指向其他变量的地址,而引用一旦初始化后就不能重新赋值为引用其他变量。
int x = 5;
int y = 10;
int* ptr = &x; // ptr指向x的地址
ptr = &y; // ptr现在指向y的地址int& ref = x; // ref引用x
ref = y; // 修改了x的值,ref仍然引用x
- 指针可以为空指针,即指向空地址,而引用不可以为空。
int* ptr = nullptr; // 指针为空
int& ref; // 错误,引用必须初始化
- 有多级指针,但是没有多级引用
1. 5 const引用
常引用可以引用普通变量,可以引用常变量,可以引用字面变量。
我们来看下面示例:
常变量:
const int a = 10;
int& ra = a; // 错误
const int& ra = a; //正确
int& ra = a; 试图将 a 绑定到一个非常引用 ra 上,这是错误的。常量对象不能通过非常引用进行修改。
因此这里应该使用 const int& ra = a; 来将 a 绑定到一个常引用 ra 上。
字面值:
int& b = 10; // 错误
const int& b = 10; // 正确
int& b = 10; 试图将字面值 10 绑定到一个非常引用 b 上,这是错误的。字面值是一个临时值,不能通过非常引用进行修改。
正确的做法应该是将 b 声明为常引用: const int& b = 10;。
类型转换:
double d = 12.34;
int& rd = d; // 错误
const double& rd = d; // 正确
int& rd = d; 试图将 d 绑定到一个非常引用 rd 上,这是错误的。
d 是一个 double 类型的变量,不能通过非常引用来绑定到 int 类型的引用上。
正确的做法是将 rd 声明为 const 引用: const double& rd = d;。
将 const 修饰符用于 int 类型的引用,可以确保在引用对象上不会进行修改操作,保护对象的不可变性,避免意外的修改导致数据不一致或错误的计算结果。
常引用的声明方式与普通引用相同,只是在引用类型前添加const关键字。常引用主要用于函数参数传递和对象成员访问,以确保访问的对象不会被修改。
void Print(const int& value)
{// value 为 const 引用,不能修改其值cout << "Value: " << value << endl;// value = 10; // 错误,不能修改 const 引用的值
}int main()
{int num = 5;Print(num); // 传递 num 的值给 printValue 函数return 0;
}
2. 内联函数
以inline修饰的函数叫做内联函数,是C++中的一种函数,它的定义和调用都被嵌入到调用该函数的地方,而不是通过函数调用的机制进行调用,没有函数调用建立栈帧的开销。
内联函数的主要目的是为了提高函数的执行效率,减少函数调用的开销。
inline int add(int a, int b) {return a + b;
}
int main()
{int ret = add(10, 20);return 0;
}
内联函数的使用有以下几点需要注意:
内联函数应该比较短小,避免过长的函数体,因为内联函数的定义会被嵌入到调用处,过长的函数体会导致代码冗长。
内联函数适合用于频繁执行的函数,例如在循环中反复调用的函数。
内联函数不能包含复杂的控制流语句,例如循环或递归,因为内联函数的展开是通过复制代码来实现的,这样的代码会导致代码膨胀。
编译器对内联函数的展开是有一定的自由度的,它可以根据实际情况决定是否展开函数体,因此对于内联函数的定义和使用应该在同一个文件中,以便编译器能够进行函数体的展开。
3. auto关键字
auto关键字是C++中的一个关键字,用于声明变量时自动推导变量的类型。
使用auto关键字可以省略变量类型的声明,编译器会根据变量的初始化表达式推导出变量的类型。
例如:
auto a = 10; // a的类型为int
auto b = 3.14; // b的类型为double
auto c = "hello"; // c的类型为const char*
使用auto关键字可以使代码更加简洁和易读,特别是当变量的类型较为复杂或者不确定时,auto关键字可以减少类型声明的冗余。
注意:
auto关键字在编译器推导类型时是静态的,即编译时就确定了类型,无法在运行时动态改变变量的类型。
auto与指针和引用结合起来使用:
当auto与指针和引用结合使用时,auto会推导出指针或引用的类型。
int x = 10;
auto *ptr = &x; // ptr的类型为int*float y = 3.14;
auto *ptr2 = &y; // ptr2的类型为float*
使用auto声明引用类型变量示例:
int x = 10;
auto &ret = x; // ref的类型为int&float y = 3.14;
auto &ret2 = y; // ref2的类型为float&
4. 基于范围的for循环
基于范围的for循环是一种简化的循环结构,用于遍历一个序列(如字符串、列表、元组等)中的每个元素。
语法形式如下:
for 变量 in 序列: 循环体
变量表示当前迭代的元素,序列表示需要遍历的序列,循环体表示需要执行的操作。
我们常用下面的这种方式来遍历数组:
int main()
{int arr[] = { 1, 2, 3, 4, 5 };for (int i = 0; i < sizeof(arr) / sizeof(arr[0]); ++i)arr[i] *= 2;for (int* p = arr; p < arr + sizeof(arr) / sizeof(arr[0]); ++p)cout << *p << endl;return 0;
}
今天我们来看范围for的使用。
int main()
{int arr[] = { 1, 2, 3, 4, 5 };for (auto& e : arr)e *= 2;for (auto e : arr)cout << e << " ";return 0;
}
注意:
- for循环迭代的范围必须是确定的
- 迭代的对象要实现++和==的操作。