Question

许多人不知道const右值引用是C ++ 11语言的一部分。 This博客文章对它们进行了讨论，但似乎对绑定规则有误。引用博客：

struct s {};

void f (      s&);  // #1
void f (const s&);  // #2
void f (      s&&); // #3
void f (const s&&); // #4

const s g ();
s x;
const s cx;

f (s ()); // rvalue        #3, #4, #2
f (g ()); // const rvalue  #4, #2
f (x);    // lvalue        #1, #2
f (cx);   // const lvalue  #2

注意不对称性：虽然const左值引用可以绑定到右值， const rvalue引用不能绑定到左值。在特别是，这使得const lvalue引用能够完成所有任务一个const右值引用可以和更多（即绑定到左值）。

示例代码的注释似乎在我安装GCC 4.9时检查（设置了-std = c ++ 14标志）。因此，与博客文本相反，const &&应绑定到const &和const &&以及const &仅绑定到const &是真的吗？如果不是实际规则是什么？

以下是GCC 4.9中显示const &&与const&绑定的演示：http://coliru.stacked-crooked.com/a/794bbb911d00596e

Answer 1

在此上下文中，

'binding'意味着绑定对特定对象的引用。

int a;

int &b = a; // the reference is 'bound' to the object 'a'

void foo(int &c);

foo(a); // the reference parameter is bound to the object 'a'
        // for this particular execution of foo.

http://coliru.stacked-crooked.com/a/5e081b59b5e76e03

然后阅读引文：

注意不对称性：虽然const左值引用可以绑定到右值，

void foo(int const &);

foo(1); // the const lvalue reference parameter is bound to
        // the rvalue resulting from the expression '1'

http://coliru.stacked-crooked.com/a/12722f2b38c74c75

const rvalue引用不能绑定到左值。

void foo(int const &&);

int a;

foo(a); // error, the expression 'a' is an lvalue; rvalue
        //references cannot bind to lvalues

http://coliru.stacked-crooked.com/a/ccadc5307135c8e8

特别是，这使得const左值引用能够执行const rvalue引用的所有内容以及更多内容（即绑定到左值）。

void foo(int const &);

foo(1); // const lvalue reference can bind to rvalue

int a;
foo(a); // and lvalue

http://coliru.stacked-crooked.com/a/d5553c99e182c89b

const＆amp;＆amp;的C ++ 11绑定规则

1 个答案: