带有rvalue引用参数的模板函数内的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不是rvalue-reference - decltype(element)是（如果element是右值）。 V只是element的一般类型。具体做法是：

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