c++ - 使用左值引用错误地调用了右值引用构造函数

Question

当我编译这段代码时:

class Base { /*...*/ };
class Derived : public Base { /*...*/ };

class C
{
public:
    template<typename T>
    C(T const& inBase) : baseInC(new T(inBase)) { /*...*/ }

    template<typename T>
    C(T&& inBase) : baseInC(new T(std::move(inBase))) { /*...*/ }

    std::unique_ptr<Base> baseInC;
};

int main()
{
    Base base;
    Derived derived;

    C ca(base);
    C cb(derived);

    C cc( (Base()) );
    C cd( (Derived()) );

    return 0;
}

我收到编译器消息:

在 C::C(T&&) 的实例化中 [其中 T = Base&]':需要 C ca(base)；错误:new 无法应用于引用类型

在 C::C(T&&) 的实例化中 [其中 T = Derived&]':需要 C cb(衍生)；错误:new 无法应用于引用类型

看起来C ca(base);与右值引用构造函数调用相关联。为什么编译器很难将这一行与第一个构造函数关联起来？如果我注释掉有问题的行，cc 和 cd 的构造将按预期工作。

Answer 1

如果您要复制或移动，请按值传递。简单来说:

template <typename T>
void foo(T x)
{
    T * p = new T(std::move(x));
}

否则，如果您有一个通用引用，如 template <typename T> ... T && ，您可以获得基本类型为 typename std::decay<T>::type (来自<type_traits>)。在这种情况下，您应该将参数传递为 std::forward<T>(inBase) .