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();

我了解禁止将int&&绑定到int。但是为什么然后编译器不打印：note: no known conversion for argument 1 from ‘int’ to ‘int&’行。可能是我不理解某些内容，编译器更改以某种方式从std::declval<int>() int&& int的{{1}}返回std::declval<TType>()(std::declval<int>())类型？

谢谢你的帮助！

Answer 1

问题是，你不能将xvalue绑定到非const左值引用。

让我们看一下表达式

std::declval<int>()

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

但是你的运营商

bool operator() (int&)

通过非const lvalue referenece获取其参数。如果将参数类型更改为const int&，即

bool operator() (const int&)

一切都应该正常。

Answer 2

您不能使用右值引用来初始化左值引用。令人困惑的是T&&在不同的环境中意味着不同的东西：

当T&&用于定义对象时，右值引用可以绑定到右值，但是定义的对象实际上是一个可以绑定到左值引用的左值
当T&&用于声明函数的返回类型时，意思是返回rvalue引用，其行为用于所有目的，如临时，因此，不能绑定到左值引用。出于重载决策的目的，类型T&&被视为临时T，而这似乎是编译器报告的内容。

函数初始化与int＆amp; int＆amp;＆amp;的论证

2 个答案: