C++中引用的本质分析

// 引用的本质分析.cpp : 定义控制台应用程序的入口点。
#include "stdafx.h"
#include "stdlib.h"
//指针与引用方式的各自实现swap函数
void swap(int &a, int &b)//当引用作为函数的形参时不需要初始化
{
    int t = a;
    a = b;
    b = t;
}

void swap(int *a, int *b)
{
    int t = *a;
    *a = *b;
    *b = t;
}
//const引用可以让变量拥有只读属性
void test()
{
    int a = 4;
    const int &b = a;
    int *p = (int *)&b;
    //b = 5;//error，因为b是只读变量了
    *p = 5;//ok，修改变量a的值是可以的
}
void test2()
{
    const int &b = 1;//ok，当使用常量对const引用进行初始化时，C++编译器会为常量值分配空间，并将引用名作为这段空间的别名
    //上面的代码说明 使用常量对const引用初始化后将生成一个只读变量
    int *p = (int *)&b;
    //b = 5;//error，因为b是只读变量了
    *p = 5;//ok，修改变量a的值是可以的
}
//引用的本质：引用在C++中的内部实现是 一个指针常量，即引用的本质是指针
// Type & name 等价于 Type * const name;,即 & 等价于 *const，如下2个函数可以说明
void f (int & a)
{
    a = 5;
}

void f(int *const a)//代表指针a所指向的地址不能改变（题外话：const*a代表是指针a指向的空间的值不能被改变）
{
    *a = 5;
}
//C++编译器在编译过程中 用 指针常量 作为引用的内部实现，因此引用所占用的空间大小与指针相同。
//C++中的引用旨在大多数的情况下代替指针
//功能性：可以满足多数需要使用指针的场合； 安全性：可以避开由于指针操作不当而带来的内存错误；操作性：简单易用，又不失功能强大
//加上const的引用可以使得变量具有只读属性，引用的最终本质为指针
int main()
{
    return 0;
}