c++ - move 和模板化构造函数，取错了

Question

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

    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

}

但是我遇到了模板化的构造函数，这对我来说绝对是个谜。为什么 move 构造函数不是更好的匹配项？

在这里找到了一些提示:Template Constructor Taking Precedence Over Normal Copy and Move Constructor?

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

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

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

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 的隐式转换，因此模板更匹配。如果之前显式转换，一切正常。

Answer 1

在

A( std::move(b))

std::move(b) 给你一个 B&&。执行重载解析时，它会找到 A( A&& ) 和(来自模板)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; }