移动和模板化构造函数，取错了

Question

我需要一个 class，它需要 copy/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

}

但我运行进入了模板构造函数，这对我来说绝对是个谜。为什么移动构造函数不是更好的匹配项？

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

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

我希望使用移动构造函数提升继承层次结构。那么如何实现移动构造函数以选择正确的基数 class 之一。因此，我希望这里输出 "move" 而不是 "any".

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

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

这也解释了为什么基础 class "eats" 中的模板调用构造函数，因为模板不需要从 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; }

移动和模板化构造函数，取错了

move and templated constructor, wrong one is taken

c++

move

forwarding-reference