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

Question

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

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

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

Answer 1

这是一个ref-value限定符。下面是一个基本的例子：

// 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 
} 

输出：从here摘自

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

。

Answer 2

它表明函数只能在rvalues上调用。

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 

Live Demo输出：

f() & 
f() && 

希望有所帮助。