c++ - 通过 int&& 以 int& 参数初始化函数

Question

我有以下代码:

#include <type_traits>

struct TType
{
    int a = 0;

    bool operator() (int&)
    {
        return true;
    }
};

int main()
{
    static_assert(std::is_same<decltype(std::declval<TType>()(std::declval<int>())), bool>::value, "wtf?");
    return 0;
}

如果我尝试用 g++-4.8.2 编译它然后我收到一个错误:

main.cpp:321:82: error: no match for call to ‘(JetPlane) (int)’
static_assert(std::is_same<decltype(std::declval<JetPlane>()(std::declval<int>())), bool>::value, "wtf?");
                                                                                ^
main.cpp:265:8: note: candidate is:
struct JetPlane
       ^
main.cpp:279:7: note: bool JetPlane::operator()(int&)
bool operator() (int&)
     ^
main.cpp:279:7: note:   no known conversion for argument 1 from ‘int’ to ‘int&’

我不明白note: no known conversion for argument 1 from ‘int’ to ‘int&’线。所以问题是:为什么 g++ 解释 std::declval<int>() 的返回类型喜欢int而不是 int&&虽然 std::declval 声明看起来像:

template< class T >
typename std::add_rvalue_reference<T>::type declval();

我明白禁止绑定(bind)int&&至 int .但是为什么编译器不打印:note: no known conversion for argument 1 from ‘int’ to ‘int&’线。可能是我不明白什么，编译器以某种方式更改了 std::declval<int>() 的返回类型来自 int&&在 int在 std::declval<TType>()(std::declval<int>()) ？

谢谢你的帮助!

Answer 1

问题是，您不能将 xvalue 绑定(bind)到非常量左值引用。

让我们看一下表达式

std::declval<int>()

std::declval<int> 的返回类型确实是int&& .因此上面的表达式是一个类型为 int 的 xvalue 表达式。 .请注意，在 C++ 中，表达式永远不会有引用类型。

但是你的运营商

bool operator() (int&)

通过非常量左值引用获取其参数。如果将参数类型更改为 const int& ，即

bool operator() (const int&)

一切正常。