C++模板化移动构造函数同类型移动时未被调用原因

• C++语言标准明确规定：成员函数模板永远不会被编译器识别为拷贝构造函数或移动构造函数。无论模板参数如何推导匹配，类的拷贝/移动构造只会在非模板的成员函数里选择。

同类型拷贝场景调用模板构造的原因 #

你手动声明的非模板拷贝构造签名是MyPointer(const MyPointer&);，参数为const左值引用；而你写的所谓"模板拷贝构造"签名是template <typename AnyPointerType> MyPointer(AnyPointerType& other)，参数为非const左值引用。
执行MyPointer<char> p2 = p1;时，p1是MyPointer<char>类型的非const左值，重载决议的两个候选优先级如下：

1. 非模板拷贝构造：需要将非const的p1隐式转换为const左值引用，存在转换成本
2. 构造函数模板：推导出AnyPointerType = MyPointer<char>，参数类型为MyPointer<char>&，与p1类型完全匹配，无转换成本

重载决议会优先选择匹配度更高的模板实例，因此你观察到模板构造被调用。这个场景下编译器不是把模板当成了拷贝构造，只是模板实例的参数匹配度比你声明的const版本拷贝构造更高。

同类型移动场景链接错误的原因 #

你手动声明的非模板移动构造签名是MyPointer(MyPointer&&);，这是编译器认可的、正牌的同类型移动构造，参数为同类型无const限定的右值引用。
执行MyPointer<char> p3 = std::move(p1);时，传入参数是MyPointer<char>类型的右值，重载决议的候选优先级如下：

1. 非模板移动构造：参数类型为MyPointer<char>&&，与传入的右值类型完全匹配，优先级最高
2. 构造函数模板：这里的AnyPointerType&&是转发引用（万能引用），面对同类型右值推导时会触发引用折叠，最终实例化的参数类型为左值引用，无法绑定右值参数，本身就不在有效候选范围内；即便忽略类型匹配问题，非模板函数在重载决议中天生优先于模板实例，也轮不到它被选中。

由于你只声明了非模板移动构造、没有给出实现，链接阶段找不到对应函数定义，就会抛出未解析外部符号的错误。

跨类型移动场景模板构造被调用的原因 #

当你用MyPointer<float>类型的右值构造MyPointer<char>实例时：

• 非模板的拷贝构造、移动构造参数都是MyPointer<char>的引用类型，完全无法绑定MyPointer<float>类型的参数，直接被排除在候选集之外
• 此时只有带转发引用的构造函数模板可以匹配：推导出AnyPointerType = MyPointer<float>，实例化后的参数类型为MyPointer<float>&&，与传入的右值完全匹配，因此会被正常调用。

补充说明：你代码中声明的template <typename AnyPointerType> MyPointer(AnyPointerType&& other)本质是支持转发引用的通用构造模板，不是"模板化移动构造"——它可以同时匹配左值和右值参数，不具备移动构造的专属语义。你原本想通过声明特殊成员函数禁用默认生成的拷贝/移动逻辑，但只要存在匹配度更高的模板构造，编译器就会优先选择模板，只有同类型移动场景下正牌移动构造匹配度最高，才会触发你声明但未实现的函数，最终报链接错误。

内容的提问来源于stack exchange，提问作者Zebrafish