const && 的 C++11 绑定(bind)规则

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

Note the asymmetry: while a const lvalue reference can bind to an rvalue, a const rvalue reference cannot bind to an lvalue. In particular, this makes a const lvalue reference able to do everything a const rvalue reference can and more (i.e., bind to lvalues).

示例代码上的注释似乎检查了我安装的 GCC 4.9(设置了 -std=c++14 标志)。因此，与博客文本相反，const && 应该绑定(bind)到 const & 和 const && 和 const &< 是真的吗 只绑定(bind)到 const &?如果不是，实际规则是什么？

---

这是一个演示，它似乎显示了 const && 绑定(bind)到 GCC 4.9 中的 const&:http://coliru.stacked-crooked.com/a/794bbb911d00596e

Answer 1

在此上下文中的“绑定(bind)”意味着绑定(bind)对特定对象的引用。

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

然后阅读引述:

Note the asymmetry: while a const lvalue reference can bind to an rvalue,

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

a const rvalue reference cannot bind to an lvalue.

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

In particular, this makes a const lvalue reference able to do everything a const rvalue reference can and more (i.e., bind to lvalues).

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