C++ 之 const references

最新推荐文章于 2024-04-25 23:44:29 发布

weixin_30951231

最新推荐文章于 2024-04-25 23:44:29 发布

阅读量179

点赞数

CC 4.0 BY-SA版权

文章标签： c/c++

原文链接：http://www.cnblogs.com/Patt/p/5818598.html

本文深入解析了C++中三种引用类型：lvalue引用、const引用和rvalue引用的区别及应用场景。详细介绍了它们如何帮助程序员更好地控制对象的使用方式，并探讨了编译器优化背后的技术细节。

extraction from The C++ Programming Language 4th. ed., Section 7.7 References, Bjarne Stroustrup

To reflect the lvalue/rvalue and const/non-const distinctions, there are three kinds of references:

lvalue references: to refer to objects whose value we want to change
const references: to refer to objects whose value we do not want to change (e.g., a constant)
rvalue references: to refer to objects whose value we do not need to preserve after we have used it (e.g., a temporary)

Collectively, they are called referencs. The first two are both called lvalue references.

　The obvious implementation of a reference is as a (constant) pointer that is dereferenced each time it is used. It doesn't do much harm to think about references that way, as long as one remembers that a reference isn't an object that can be manipulated the way a pointer is.

　In some cases, the compiler can optimize away a reference so that there is no object representing that reference at run time.

　Intialization of a reference is trivial when the initializer is an lvalue (an object whose address you can take). The initializer for a "plain" T& must be an lvaue of type T.

　The intializer for a const T& need not be an lvaue or even of type T. In such cases:

First, implicit type conversion to T is applied if necessary.
Then, the resulting value is placed in a temporary variable of type T.
Finally, this temporary variable is used as the value of the initializer.

Consider:

　　double &dr=1;　　　　　　//error: lvalue needed

　　const double& cdr{1};　　//OK

The iterpretation of this last initialization might be:

　　double temp = double{1};

　　cosnt double &cdr {temp};

A temporary created to hold a reference initializer persists until the end of its reference's scope.

References to variables and references to constants are distinguished because introducing a temporary for a variable would have been highly error-prone; an assignment to the variable would become an assignment to the -- soon-to-disappear -- temporary. No such problem exists for references to constants, and references to constants are often important as function arguments.

转载于:https://www.cnblogs.com/Patt/p/5818598.html