时间戳

首页 > 解决方案 > 移动和模板化构造函数，取错了一个

c++ - 移动和模板化构造函数，取错了一个

问题描述

我需要一个接受复制/移动的类和一个模板化的构造函数，如下例所示：

    class A
{
    public:
    A() {}
    A( A&& ){std::cout << "Move" << std::endl;}
    A( const A& ){ std::cout << "copy" << std::endl;}

    template < typename T>
        A( T&& ) { std::cout << "any" << std::endl; }
};

class B: public A
{
    public:
    B():A() {}
    B( const B& b): A(b) {}
    B( B&& b): A( std::move(b)) {}
};

int main()
{
    B b;
    B b2( b );              // expected call copy
    B b3( std::move( b ));  // expected call to move

}

但是我遇到了模板化的构造函数，这对我来说绝对是神秘的。为什么移动构造函数不是更好的匹配？

在这里找到了一些提示： 模板构造函数优先于普通复制和移动构造函数？

在其中一条评论中，我看到 SFINAE 被认为是一种可能性。但是我看不到任何有效的实现来选择正确的构造函数。有人可以给我一个提示来选择正确的构造函数吗？

我希望使用移动构造函数提升继承层次结构。那么如何实现将选择正确的基类之一的移动构造函数。因此，我希望在这里输出“移动”而不是“任何”。

编辑：除了给定的答案之外，以下解决方案似乎也有效：

class B: public A
{    
    public:
        B():A() {}
        B( const B& b ): A( (const A&)b ) {}
        D( B&& b): A( std::forward<A>(b)) {}
};

这也解释了为什么基类中的模板“吃掉”构造函数调用，因为模板不需要从 B 到 A 的隐式转换，因此模板是更好的匹配。如果之前显式转换，一切正常。

标签： c++moveforwarding-reference

解决方案

在

A( std::move(b))

std::move(b)给你一个B&&。执行重载解析时，它会找到A( A&& )and （来自模板）A( B&& )。模板是完全匹配的，所以它会选择它。

要解决此问题，只需摆脱模板即可，您不需要它。如果您在实际代码中确实需要它，那么您可以在模板构造函数上使用 SFINAE 来阻止它被派生类调用

template < typename T, std::enable_if_t<!std::is_convertible_v<T*, A*>, bool> = true>
A( T&& ) { std::cout << "any" << std::endl; }

推荐阅读