11、经典问题解析一

1、关于const的疑问

问题:const 什么时候是只读变量,什么时候是常量?

  • const 常量的判别标准
    — 只有用字面量初始化的const 常量才会进入符号表,真正意义上的常量
    — 使用其它变量 初始化的const 常量仍然是只读变量(编译期不可能知道这个变量的值)
    — 被volatile 修饰的 const 常量不会进入符号表

解释:
字面量的意思就是数字、字母等。volatile 的意思就是我们所声明的标识符是易变的,是可能变化的,变化的因素在外部。每次访问volatile 修饰的标识符时应该到内存里面直接读取。所以它不可能进入符号表,volatile和const同时修饰一个标识符的时候,得到的仅仅是一个只读变量。

  • const 引用的类型 和 初始化变量的类型
    —相同:初始化变量成为只读变量
    — 不同:生成一个新的只读变量

程序:

#include <stdio.h>
int main()
{
	const int x = 1;    //x是常量
	const int& rx = x;  //rx只读变量

	int& nrx = const_cast<int&>(rx);

	nrx = 5;

	printf("x = %d\n", x);
	printf("rx = %d\n", rx);
	printf("nrx = %d\n", nrx);
	printf("&x = %p\n", &x);
	printf("&rx = %p\n", &rx);
	printf("&nrx = %p\n", &nrx);

	volatile const int y = 2;
	int* p = const_cast<int*>(&y);

	*p = 6;

	printf("y = %d\n", y);
	printf("p = %p\n", p);

	const int z = y;

	p = const_cast<int*>(&z);

	*p = 7;
	printf("z = %d\n", z);
	printf("p = %p\n", p);

	char c = 'c';
	char& rc = c;
	const int& trc = c;

	rc = 'a';

	printf("c = %c\n", c);
	printf("rc = %c\n", rc);
	printf("trc = %c\n", trc);

	return 0;
}

在这里插入图片描述
这个程序的内容可以概括上面所叙述的所有内容,可以深入好好多看一下。
第36行代码,const 引用的类型和对它初始化的类型不一致时,int的内存高于char,赋值是没有问题的,但是这样初始化的话trc会变成一个新的只读变量,改变rc和c跟trc没有半毛钱关系。

2、关于引用的疑问

问题:引用和指针有什么关系?如何理解“引用的本质就是指针常量”?

  • 指针是一个变量
    — 值为一个内存地址,不需要初始化,可以保存不同的地址
    — 通过指针可以访问对应内存地址中的值
    — 指针可以被const 修饰成为常量或者只读变量
  • 引用只是一个变量的新名字
    — 对引用的操作(赋值,取地址等)都会传递到代表的变量上
    — const 引用使其代表的变量具有只读属性
    — 引用必须在定义时初始化,之后无法代表其他变量
  • 从使用C++语言的角度来看
    — 引用与指针没有任何的关系
    — 引用是变量的新名字,操作引用就是操作对应的变量
  • 从C++编译器的角度来看
    — 为了支持新概念“引用”必须要一个有效的解决方案
    — 在编译器内部,使用指针常量来实现“引用”
    — 因此“引用”在定义时必须初始化
  • 在工程项目开发中
    — 当进行C++编程时,直接站在使用的角度看待引用,与指针毫无关系,引用就是变量的别名
    — 当对C++代码进行调试分析时,一些特殊情况,可以考虑站在C++编译器的角度看待引用

下面的代码有问题吗?

    int a = 1;
	int b = 2;
	int* pc = new int(3);
	int& array[] = { a,b,*pc };

程序:

#include <stdio.h>
int a = 1;
struct SV
{
	int& x;
	int& y;
	int& z;
};
int main()
{
	int b = 2;
	int* pc = new int(3);
	SV sv = { a,b,*pc };

	int& array[] = { a,b,*pc };  //数组里面的内存是顺序递增的,相邻存放


	printf("&sv.x = %p\n", &sv.x);
	printf("&sv.y = %p\n", &sv.y);
	printf("&sv.z = %p\n", &sv.z);
	return 0;
}

在这里插入图片描述
在这里插入图片描述
注:C++中是不支持引用数组的,因为数组里面存放数据的内存地址是连续的,相邻存放。而这里分别有栈,堆和全局数据区,显然违背了数组的定义,因此C++不支持引用数组。

小结

  • 指针是一个变量
  • 引用是一个变量的新名字
  • const 引用能够生成新的只读变量
  • 在编译器内部使用指针常量实现“引用”
  • 编译时不能直接确定初始值的const 标识符都是只读变量
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值