2

当我编译这段代码时：

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;
}

我收到编译器消息：

In instantiation of C::C(T&&) [with T = Base&]': required from C ca(base); error: new cannot be applied to a reference type

In instantiation of C::C(T&&) [with T = Derived&]': required from C cb(derived); error: new cannot be applied to a reference type

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

4

2 回答 2

6

如果您要复制或移动，请按值传递。以一种简化的方式：

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

否则，如果您有一个像 一样的通用引用template <typename T> ... T &&，则可以将基类型作为typename std::decay<T>::type(from <type_traits>)。在这种情况下，您应该将参数作为std::forward<T>(inBase).

于 2013-08-09T16:12:18.887 回答
0

重载通用参考是一个坏主意（请参阅 Scott Meyer 最近的演讲）。

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

这些将调用模板化的通用引用构造函数，因为通用引用绑定到了一切，并且由于base并derived没有作为 a 传入const &，所以它不会绑定到第一个构造函数。相反，编译器将模板参数推导出为Base & &&，Derived & &&并且在您获得参考折叠规则之后Base &并Derived &最终引发错误。

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

这些工作是因为临时只能绑定到const &因此第一个构造函数是更好的匹配。

于 2013-08-09T16:20:10.723 回答