为什么不称呼这个模板的移动构造函数？

Question

我遇到了这种奇怪的情况：

template <typename pointed_t>
class MyPointer
{public:
    MyPointer() : pPointed(nullptr) {}
    /* PREVENT COMPILER-GENERATED FUNCTIONS */
    MyPointer(const MyPointer&);
    MyPointer(MyPointer&&);
    MyPointer& operator=(const MyPointer&);
    MyPointer& operator=(MyPointer&&);

    //----------
    pointed_t* pPointed;


    /* COPY CONSTRUCTOR */
    template <typename AnyPointerType>
    MyPointer(AnyPointerType& other)
    {
        
    }
    /* MOVE CONSTRUCTOR */
    template <typename AnyPointerType>
    MyPointer(AnyPointerType&& other)
    {
        

    }

};

int main()
{
    MyPointer<char> p1;

    MyPointer<char> p2 = p1; // COPY CONSTRUCTOR CALLED FINE
    MyPointer<char> p3 = std::move(p1); // RAISES BELOW LINKER ERROR
    /* Unresolved external symbol 
    public: __cdecl MyPointer<char>::MyPointer<char>(class MyPointer<char> &&)" */

}

所以p2 = p1;调用模板复制构造函数罚款，但是p3 = std :: move（p1）;无法称呼模板移动构造函数？

因此，结果是复制构造函数可以工作，但是移动构造函数却没有。除非是另一种类型：

MyPointer<float> p1;

MyPointer<char> p2 = std::move(p1); // NOW THE TEMPLATED MOVE CONSTRUCTOR IS CALLED FINE

有人可以帮助我理解为什么未调用模板的移动构造函数？

Answer 1

问题是，从构造函数模板生成的构造函数绝不是复制/移动构造函数。

为什么不使用复制构造函数失败？

因为用户指定复制ctor mypointer :: mypointer（const mypointer＆amp;）您提供的参数具有类型const mypointer＆const mypointer＆amp;，但您提供的相应的模板构造函数类型anypoInterType＆amp;的参数。注意后者没有低级const。因此，当您编写时：

MyPointer<char> p2 = p1; //this will use the template constructor that has no low-level const. 

在上面的情况下，模板版本是通过 nontemplate move ctor，因为模板版本具有非const参数，p1也是nonconst。您可以通过制作p1 const来确认这种情况，在这种情况下，您会遇到相同的链接器错误，但是这次是复制CTOR。 demo

---

因此，结果是复制构造函数可以工作，但是移动构造函数不行。

mypointer＆lt; char＆gt; p3 = std :: move（p1）;不起作用，因为在这种情况下，您提供的用户指定移动构造函数mypointer（mypointer＆amp;＆amp;＆amp;） 具有类型的参数mypointer＆amp;＆amp;，相应的模板CTOR也具有参数mypointer＆amp;＆amp;。因此，在写作时：

MyPointer<char> p3 = std::move(p1); //the compiler prefers the non-template user-delcared move ctor

非模板移动ctor mypointer :: mypointer（mypointer＆amp;＆amp;＆amp;）用户删除是优先 the user-声明为CTOR没有实现，我们会收到上述链接器错误。

---

解决方案

我想要我的模板。

在这种特殊情况下，有一个解决方案，如下所示。特别是，我们可以在用户声明的参数中添加低级const MOVE CTOR mypointer :: mypointer（mypointer＆amp;＆amp;＆amp;＆amp;）。

template <typename pointed_t>
class MyPointer
{public:
    MyPointer() : pPointed(nullptr) {}
    /* PREVENT COMPILER-GENERATED FUNCTIONS */
    MyPointer(const MyPointer&);
//------------vvvvv------------------>const added here
    MyPointer(const MyPointer&&);
    MyPointer& operator=(const MyPointer&);
    MyPointer& operator=(MyPointer&&);

    //----------
    pointed_t* pPointed;


    /* COPY CONSTRUCTOR */
    template <typename AnyPointerType>
    MyPointer(AnyPointerType& other)
    {
        std::cout<<"templated copy"<<std::endl;
    }
    /* MOVE CONSTRUCTOR */
    template <typename AnyPointerType>
    MyPointer(AnyPointerType&& other)
    {
        
       std::cout<<"template move"<<std::endl;
    }

};

int main()
{

    MyPointer<char> p1;

    MyPointer<char> p2 = p1; //calls the templated version
    MyPointer<char> p3 = std::move(p1); //calls the templated version
}

工作演示