我目前正在从C ++ Primer学习C ++,它解释了引用如何是另一个变量名的别名。它还解释了指针如何指向另一个变量。它指出指针和引用之间的区别在于可以重新分配指针而引用不能。
在下面的代码示例中,我可以用指针或引用做什么,而我不能用另一个做?
double pi = 3.14;
double &piRef = pi;
double *const piPnt = π
//both of these examples are valid and do the same thing
piRef = 3.14159;
*piPnt = 3.14159;
//however, if I attempt to reassign what the pointer points to, it is illegal.
//this is the same as with a reference, as a reference can't be reassigned either
double tau = 6.28;
piPnt = τ
我知道每个的内部差异(例如指针是一个对象,一个引用不是)。我感兴趣的是这些差异对程序员的影响如何超出略有不同的语法。因此,这不是重复的 这个 接受的答案仅涉及内部差异的问题。
从功能的角度来看,指针和引用确实是相同的......它们引用一个对象而不是该对象的副本。
除了不能重新引用引用之外唯一真正的区别是指针可以是 NULL
(即,它可以指向任何东西),而假定引用总是引用一个对象。
从技术上讲,你实际上可以得到一个引用没有对象的引用(例如传递 *p
期望参考的函数 p
是空指针)但这是“未定义的行为”。
换句话说,指针比引用更“灵活”,这允许编译器忽略
在某些情况下,这可以产生更快的代码(但是对于第二点,取消引用空指针是未定义的行为而不是运行时错误;因此,编译器不会强制生成在这种情况下执行特殊操作的代码:指针从代码生成的角度来看,实际上可以指向没有对象确实无关紧要,因为它在程序员和编译器之间的契约中永远不会发生这种情况。
“价格”支付重新装配和拥有的额外灵活性 NULL
s是语法(有点无偿)更烦人。
如果指针无法重新分配(因为指针本身是 const
)然后除了更详细但显式的语法之外没有任何实际差异。这是因为尽管是一个对象a const
-declared指针 即使使用别名也无法更改。
从语法的角度来看,你可以采用的是地址 const
指针,将地址强制转换为非const指针的地址并更改指向的值,这样的操作将是未定义的行为,无论发生什么(例如忽略赋值),编译器如果被告上法庭将是正确的: - )
我可以用指针或引用做什么,我不能用另一个做?
引用允许您编写某些构造函数和重载运算符:
class X
{
// copy constructor
X(const X& a);
// move constructor
X(X&& a);
// copy assignment operator
X& operator=(const X& a);
// move assignment operator
X& operator=(X&& a);
}
(实际上,运算符重载是将引用引入C ++的动机用例。)
经常被忽视的是现代C ++的区别 X&
(对左值的引用)和 X&&
(对rvalue的引用),但没有指向rvalue的指针。
我可以用指针或引用做什么我不能做的
其他?
double *const piPnt = π
以上陈述
marks piPnt as a read only variable in memory layout
所以, piPnt = &xyz
现在会抛出一个错误。
但是更改指针指向的地址处的值仍然有效。
那是 , *piPnt = 56
很好。
Const指针在需要引用相同内存(端口映射)的嵌入式系统中非常有用。这是一次映射,常量指针在这里很有用。
现在关于参考:
double &piRef = pi;
您无法在C ++中重新初始化引用。您可以为它引用的对象指定不同的值。永远是这个参考的同一个对象。这就是你在你的例子中所做的。
piRef = 3.14159;
之后不能更改引用以引用另一个对象
初始化。请注意,处理引用的初始化
与赋值完全不同。论证传递(5.2.2)和
函数值返回(6.6.3)是初始化。
一些引用有用的地方:
- 指针不能指向临时工,标准明确禁止这样做。引用可以绑定到临时对象。
- 指针可以为NULL,而假定引用始终引用对象。您仍然可以从返回引用的函数返回null,编译器不会抱怨它,但这是自杀。