的std ::與右值引用參數模板函數內部is_rvalue_reference

Question

#include<iostream> 
#include<vector> 

struct Empty {}; 

template <typename V> 
void add(V&& element) 
{ 
    static_assert(std::is_rvalue_reference<V>::value, "V is not a rvalue reference"); 
} 

int main(int argc, char *argv[]) 
{ 
    add(Empty()); 

    std::cin.ignore(); 
    return 0; 
} 

我不明白爲什麼在這裏失效static_assert，V不等於V&&這裏？

Answer 1

V不是右值參考 - decltype(element)是（如果element是右值）。 V只是element的一般類型。特別是：

typename std::remove_reference<decltype(element)>::type; // V