c++ - 函数签名末尾的 && 是什么意思（在右括号之后）？

Question

在Workarounds for no 'rvalue references to *this' feature中，我看到以下成员函数（转换运算符）：

template< class T >
struct A
{
    operator T&&() && // <-- What does the second '&&' mean?
    {
        // ...
    }
};

第二对&&是什么意思？我不熟悉那种语法。

Answer 1

这是一个参考值限定符。这是一个基本示例：

// t.cpp
#include <iostream>

struct test{
  void f() &{ std::cout << "lvalue object\n"; }
  void f() &&{ std::cout << "rvalue object\n"; }
};

int main(){
  test t;
  t.f(); // lvalue
  test().f(); // rvalue
}

输出：

$ clang++ -std=c++0x -stdlib=libc++ -Wall -pedantic t.cpp
$ ./a.out
lvalue object
rvalue object

取自这里。

Answer 2

它表明该函数只能在右值上调用。

struct X
{
      //can be invoked on lvalue
      void f() & { std::cout << "f() &" << std::endl; }

      //can be invoked on rvalue
      void f() && { std::cout << "f() &&" << std::endl; }
};

X x;

x.f();  //invokes the first function
        //because x is a named object, hence lvalue

X().f(); //invokes the second function 
         //because X() is an unnamed object, hence rvalue

现场演示输出：

f() &
f() &&

希望有帮助。