【C++入门】引用详解（引用的特性、引用的使用、引用与指针的区别）(c++引用详解)

java8

帖子摘要：文章目录 1 引用概念2 引用特性3 使用场景4 常引用5 传值与传引用的效率比较5.1 值和引用作为函数参数的性能比较5.2 值和引用作为返回值类型的性能比较  6 引用和指针的区别  1 引用概念......

) q7 V! F( O% k9 \& B9 s大家好，欢迎来到Java吧（www.java8.com），交流、学习Java技术、获取Java资源无任何套路，今天说一说：“【C++入门】引用详解（引用的特性、引用的使用、引用与指针的区别）”; m7 p* N( P4 n6 b4 Z; K% w







文章目录

1 引用概念

2 引用特性

3 使用场景

4 常引用

5 传值与传引用的效率比较

5.1 值和引用作为函数参数的性能比较

5.2 值和引用作为返回值类型的性能比较

6 引用和指针的区别

1 引用概念
5 m% y3 F7 t" k; y! c4 S
引用不是新定义一个变量而是给已存在的变量取了一个别名编译器不会为引用变量开辟内存空间它和它引用的变量共用一块内存空间。9 ?9 i8 U7 H: c: t1 R1 g6 S
格式引用类型& 引用变量名对象名 = 引用实体
) ]2 v6 t7 ]' O# V 注意引用类型和引用实体是同种类型的。- W$ w0 h8 X6 w2 i I1 d! C

) D8 X/ T+ @/ i+ B: i2 g
引用示例

2 引用特性
[ol]

引用在定义时必须初始化
示例

一个变量可以有多个引用也可以对引用再进行引用或者说可以为变量取多个别名也可以为别名再取别名
示例

引用一旦引用一个实体就不能再引用其它实体[/ol]

3 使用场景
[ol]

引用做参数[/ol]

void Swap(int& num1, int& num2)
{
        int temp = num1;
        num1 = num2;
        num2 = temp;
/ h8 L/ I4 X/ S. M. a6 b4 q% w
}
7 X; F# K! Q9 u/ i
复制代码

引用做返回值[/ol]
前言传值返回

当用值作为返回值时不是直接将变量返回而是返回变量的一份临时拷贝临时变量。考虑到对于函数中的局部变量在调用完函数时即被销毁此时需要返回的变量也会被销毁空间不再属于该变量因此选择在销毁前将变量值拷贝到一个临时变量中这个临时变量一般由寄存器4/8个字节大小充当如eax如果返回值过大则会选择在上层栈帧中创建临时变量再将临时变量作为返回值返回。

那如果作为返回值的变量出作用域后不会被销毁那还会产生临时变量吗事实上编译器不管需要返回的变量出作用域后会不会被销毁在返回时都会产生临时变量。

传引用返回

那既然需要返回的变量都不会被销毁将其再拷贝到临时变量中是不是麻烦了些因此在下面我们以引用作为返回值但这不是说就不会创建临时变量了临时变量依然会被创建但这个临时变量相当于返回变量的一个别名因为该变量出作用域后不会被销毁因此我们依然可以进行访问此时临时变量与返回变量共用一块空间相比于传值返回中间就减少了拷贝的过程返回时同样将临时变量赋值给接收的变量即可可以认为传引用返回就相当于将变量直接返回了。

下面再看一段示例代码

int& Add(int a, int b)
: q5 p! Z& P4 r' @
{
        int c = a + b;
        return c;
}
int main()
# G& E7 N; a# j! G" Q7 F4 P) z8 c
{
$ K. X$ T+ L- R: F. f  [' X3 B" F
        int& ret = Add(1, 2);
  E' T0 a/ t$ N5 w* A3 O: v
        Add(3, 4);
% _' D+ H0 ~! @4 {9 M- q" n
        cout  
示例输出结果
 
3 R/ j) `) ~, Z4 R! q
[img]/295380211e044714a055a86bee97be3c.png[/img]
. F7 B5 w, u7 x( v# V
 
 
/ q# `7 o% `8 o7 i- g, l) A
[b]说明对于以出了作用域即被销毁的变量作为返回值的如果使用传引用返回实际上是无意义的因为局部变量的空间已被销毁不再属于该变量再通过传引用返回的别名去访问该空间时其值是不确定的无法确保得到的还是正确结果。[/b]
 
[img]/8d0e2362b3814b1ea6094fb032a52fe7.png[/img]
. V7 j5 r, Y! c* N! q# _* g% g2 M
 
  ^9 o- Y" n' {$ r" ?% ~9 v+ o
 
[b] 
 [b]注意如果函数返回时出了函数作用域如果返回对象还在空间还没还给系统如静态变量、全局变量、上一层栈帧中的变量、malloc开辟的等等则可以使用引用返回否则必须使用传值返回。[/b]
" m; j( N; t3 w! ~
 
# i6 w# E% q0 l! r( h& Q% ]! s" w
[/b] 
[u][*]传引用返回还可修改返回值。
& M4 F/ `) I* ?; o& h& `: P
 示例代码[/u] 
- e  \' v9 t  U8 T$ H9 n% o
[code]#define N 10
; C$ T. P/ j* D% G1 S
typedef struct Array {
8 B  e1 p: o7 |, o; H$ E6 B
        int a[N];
        int size;
}AY;
/ ]+ b) M( `0 F
//查找数组中某个下标位置的元素
  Y- {& {0 x9 j  P
int& PosAt(AY& ay, int i) {
        assert(i  
示例输出结果
3 q1 |# L0 ^0 R" O
 
[img]/17e2e59d104a4d93a20bf8bbc6305bd6.png[/img]
3 K3 v. u- [* ~6 P
 
/ o6 ], F! f$ @3 O" O5 t
 
4 常引用 
[b] 
) y% S) R7 N+ H+ c* L5 |2 K
 [b]指针和引用在赋值和初始化时权限可以保持或缩小但不能放大。[/b]
, x" v9 h- ?2 ^$ C# @
 
[/b] 
示例代码
* h7 F7 g9 r* g( d" Y, q! m
 
: ~8 J8 Q8 _+ S6 x  d& F
[code]//传值返回
3 X) C" {0 |5 o2 i7 Y9 X
int Count() {
; S6 c  x; S1 n% f, w
        int n = 0;
/ W( l7 u. L2 k0 j+ U" b( r# ]
        n++;
, g5 ^+ ?* o9 [: x- L* ^
        return n;
1 d  \! g& R+ V( A' i4 x
}
; X* ~4 r2 r3 d  m: I  |
void TestConstRef() {
) r% Z2 S4 l/ Q3 A
        //示例1
        const int a = 10;//const修饰的变量具有常属性不可修改
8 q, q- l! j0 l) _
        //错误语法权限被放大。ra引用与a共用一块空间而a具有常属性
        //如果ra引用不具有常属性则修改ra的值时则违背了a的常属性
2 _  {  {& C% N  e% T
        //int& ra = a;//编译时会报错
5 o$ r2 ]+ g7 E9 s2 `
        const int& ra = a;//正确语法
        //示例2
8 \  Y7 l8 n5 d1 e# k, j( a: ]. q
        //int& b = 10;//错误语法10为常量引用权限放大
% u$ a" N5 g6 X1 [/ L
        const int& b = 10;//正确语法使引用变量b也具有常属性
+ H: f1 N5 z/ g: x! g
        //示例3
        //Count函数是传值返回的返回的是临时变量临时变量具有常属性
        //int& ret = Count();//编译报错
3 Q1 ], l$ B' p0 _6 A$ x& i
        const int& ret = Count();//正确语法ret为返回的临时变量的常引用
        int ret2 = Count();//正确语法将返回的临时变量赋值给ret2
/ h5 g9 |; q, q0 V8 T& B
        //示例4
        double d = 3.14;
6 z( D! P, T' K  ^
        //int& rd = d;//编译报错引用类型与引用实体不是同一种类型
        //解释
6 z) I( k4 c4 G0 {
        //在进行类型转换无论是强制类型转换还是自动类型提升时都会产生临时变量
8 F9 f$ R, m- x0 F: x* I
        //如有int i = 0; (double)i其并不是直接将int型变量i转换为double型
9 a( u- U0 K( a2 G- P4 h6 Q, K) V
        //而是通过一个临时变量将i转化为double如果是double d = i;则是再将临时变量赋值给d
4 R  G9 |4 u+ v$ \( H2 \
        
  s. Z5 S- r5 i' S3 b$ }) s
        //下句代码则表示rd为double型变量d强制转换为int型变量时产生的 临时变量 的常引用
        //但注意rd本质上并不是d的引用二者也不是共用一个空间
        //d仍是double型变量rd则为int型
        const int& rd = d;//编译通过
        printf("d = %f\nrd = %d\nd的地址为%p\nrd的地址为%p\n", d, rd, &d, &rd);
* r6 k. u( O' N( G7 U/ M
}
int main() {
        TestConstRef();
) X1 {0 D: f1 _3 D! X2 }1 R2 G
        return 0;
}
$ t9 i+ Z, T4 G
复制代码

5 传值与传引用的效率比较
$ K& h1 P( b0 [4 V
以值作为参数或者返回值类型在传参和返回期间函数不会直接传递实参或者将变量本身直接返回而是传递实参或者返回变量的一份临时拷贝因此用值作为参数或返回值类型效率是非常低下的尤其是当参数或者返回值类型非常大时效率就更低了。8 V% i) o( {6 e2 a3 _. ]8 T/ @( b4 \
( {1 T0 ~* q( u- ]/ D4 I

下面用两段测试代码来比较传值与传引用的效率

5.1 值和引用作为函数参数的性能比较
测试代码

#include [i]
/ ^, D) [. X( u. l/ U+ ^5 N
using namespace std;
9 k$ G5 @/ |9 c5 s. I2 m4 |
#include 
3 z) J! Y) P7 }
struct A { int a[100000]; };
6 p- y# C; Y& T) l
void TestFunc1(A a) {}
void TestFunc2(A& a) {}
void TestRefAndValue()
{
        A a;
& ^5 }0 x7 S; v/ l( I% S# t' t
        // 以值作为函数参数
2 W  p" m5 {  F: c$ j2 p- H
        size_t begin1 = clock();
; ?4 C, Q$ d9 a9 V9 y
        for (size_t i = 0; i  
测试结果
 
[img]/f224be09a82d4d1abdf3c5bc084d084d.png[/img]
 分析从测试结果来看值作为参数的函数运行时间要比引用作为参数的函数运行时间多得多以引用作为参数能很好提升程序运行效率。
 
/ {1 K/ l& i3 Z5 W' b5 J
 
[size=5]5.2 值和引用作为返回值类型的性能比较[/size] 
测试代码
 
1 o! U, v0 q& }9 W$ A$ E2 q
[code]#include [i]
' |! m. Y9 f, N) R+ Z) @7 ~9 `2 g
using namespace std;
#include 
8 u0 |( u& L" a/ z# C
struct A { int a[10000]; };
0 l0 w2 r3 Q& V' p# y' a7 t. g' Z
A a;
// 值返回
1 |* ]9 T$ x: r# _& S  g8 u
A TestFunc1() { return a; }
// 引用返回
0 N' z2 s7 b2 \  [8 ]' b
A& TestFunc2() { return a; }
7 j$ q0 K( l! L% K  I+ }7 ^
void TestReturnByRefOrValue()
{
        // 以值作为函数的返回值类型
        size_t begin1 = clock();
4 J" N, X+ K7 G6 y% a- v
        for (size_t i = 0; i  
测试结果
0 [) e, d% U) y- y, K. g* q
 
: R; {; h: X1 [* R- u4 ?
[img]/313208fbe306450091e11f3460c7b2c8.png[/img]
 分析从测试结果来看值作为返回值类型的函数运行时间要比引用作为返回值类型的函数运行时间多得多以引用作为返回值类型能很好提升程序运行效率。
" p- H7 P3 V9 |3 P$ v% h7 K! \
 
4 V5 a. ~8 |$ i) {& g$ s8 R
 
% h0 q4 \) b. N- I: Y# a
6 引用和指针的区别 
  y! S, U8 w+ A1 _% w- ^
[u][*]在 [code]语法概念上
复制代码

引用就是一个别名没有独立空间和其引用实体共用一块空间。而指针是有开辟独立空间的空间中存放的是指向的变量的空间地址。
示例代码

int main()
' J  y1 B* ^1 g3 m' V
{
        int a = 10;
        int& ra = a;//引用a
        int* pa = &a;//指向a
7 T  x. L, @( i. O# D8 t
        cout  
0 @1 I, S  |& \: f# z5 ~
示例输出结果
 
[img]/52b0034359af40f1935cb383deaedcc3.png[/img]
, C; R$ ]- ?% S3 |4 B, N
 
 
8 g+ J" F2 X, E( \
[u][*]引用在 [code]底层实现上
复制代码

实际是有空间的因为引用是按照指针方式来实现的。
示例代码

int main()
{
9 t( t% s  J% g$ r' J
        int a = 10;
) k  L0 T# C; K: H: Y! U
        int& ra = a;
% e, F$ l: i  D/ [
        ra = 20;
        int* pa = &a;
: c" j, ]3 c# ^" Y
        *pa = 20;
        return 0;
}
2 S' j- d( g% X, x9 s. o
复制代码

进入调试通过反汇编查看引用和指针的汇编代码对比发现**在汇编代码中引用和指针的实现相同都是开辟了独立的空间将指向变量的地址赋值给了引用变量或指针变量。**

引用和指针的不同点

[ol]

引用在概念上是定义一个变量的别名指针则是存储一个变量的地址。

引用在定义时必须初始化指针则没有要求。

引用在初始化时引用一个实体后就不能再引用其它实体而指针可以在任何时候指向任何一个同类型实体。

没有NULL引用但有NULL指针。

在

sizeof
复制代码

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

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

有多级指针但没有多级引用。

访问实体方式不同指针需要显示解引用引用是由编译器自己处理。

引用比指针使用起来相对安全。不会有类似空指针等的问题。[/ol]

以上是我对C++中引用相关的一些学习记录总结如有错误希望大家帮忙指正也欢迎大家给予建议和讨论谢谢



本文来源csdn，由Java吧转载发布，观点不代表Java吧的立场，转载请标明来源出处：https://www.java8.com

【C++入门】引用详解（引用的特性、引用的使用、引用与指针的区别）(c++引用详解)

java8 LV9