字符串常量是“适当个数的const字符数组",如:
void f()
{
char* p = "Plato";
//错误:给常量赋值;结果未定义,p是变量,但p[4]是常量
p[4] = 'e';
}
如果我们希望一个字符串保证能够给修改,那么就必须将有关的字符复制到数组里:
void f()
{
char p[] = "Zeno"; //p是5个char的数组
p[0] = 'R'; //可以
}
引用的一种最明显的实现方式是作为一个(常量)指针,在每次引用它的时候都自动的做间接访问。将引用想象成这个样子不会有任何问题,一个引用并不是一个对象,不能像指针那样去操作。
当引用的初始式是一个左值时(是一个对象,你可以取得它的地址),其初始化是非常简单的事情。对“普通”的T&初始化必须是一个类型T的左值。
对一个const T&的初始式不必是一个左值,甚至可以不是类型T的;在这种情况下:
[1]首先,如果需要将应用到T的隐式类型转换
[2]而后将结果存入一个类型T的临时变量。
[3]最后,将此临时变量用作初始式的值
double& dr = 1; //错误:要求左值
const double& cdr = 1; // ok
一个指向任何对象类型的指针都可以赋值给类型为void*的变量。到函数的指针和到成员的指针都不能赋给void*。