为什么删除模板类拷贝构造函数会导致赋值运算符失效？模板与非模板构造规则有何差异？

模板类的构造函数规则和非模板类不存在本质差异，你遇到的两个现象完全来自C++通用的拷贝初始化语法规则，和类是否为模板没有关系。 #

为什么MyPtr<int> p = i;会意外调用自定义构造函数 #

首先需要澄清一个常见语法误区：对象声明语句中的=不是赋值运算符（operator=），而是拷贝初始化的语法标记，和赋值逻辑完全无关。
C++针对拷贝初始化的通用匹配规则为：

• 只要类存在可接受右侧值类型的非explicit构造函数，就会调用该构造函数完成初始化
• 写法MyPtr<int> p = i;本质完全等价于直接初始化写法MyPtr<int> p(i);，全程没有赋值过程
  你遇到的“意外调用”本质是模板实例化后，MyPtr(T P = NULL)成为了可接受int类型的隐式转换构造函数，刚好匹配拷贝初始化的规则而已。
  如果想禁止这种隐式转换，只需要给构造函数加上explicit修饰，此时MyPtr<int> p = i;会直接触发编译错误。

验证模板无特殊规则：把代码改成非模板的普通类，行为完全一致：

class MyNonTemplatePtr {
private:
    int p_;
public:
    MyNonTemplatePtr(int P = NULL) { cout << "track!!" << endl; }
};
int main() {
    int i = 3;
    MyNonTemplatePtr p = i; // 同样会调用自定义构造函数
}

为什么删除拷贝构造函数后会编译失败 #

这个现象同样来自通用的拷贝初始化规则，和模板无关：
当右侧表达式的类型和目标类类型不完全匹配时，编译器的处理流程为：

1. 通过转换构造函数，把右侧值转换为目标类类型的临时对象
2. 调用类的非explicit拷贝/移动构造函数，用这个临时对象初始化当前声明的变量
   哪怕编译器最后通过复制消除优化（RVO/NRVO）完全删掉了临时对象的拷贝/移动过程，编译阶段也必须校验拷贝/移动构造函数是可访问、未被删除的。当你手动删除拷贝构造函数后，编译器找不到可用于对象初始化的拷贝构造，就会直接终止编译。

标准版本差异说明：C17引入了强制复制消除规则，当临时对象和初始化变量为同类型时，哪怕拷贝/移动构造被删除，也可以跳过该构造的校验；但在C11/14等更早的标准中，没有这类强制规则，因此删除拷贝构造后必然出现编译失败的现象。

赋值运算符的实际触发场景 #

只有当代码作用于已经完成初始化的对象时，=才会触发operator=的调用，例如：

MyPtr<int> p; // 先通过默认构造函数完成p的初始化
p = i; // 这里的等号才会触发赋值运算符相关逻辑

你代码里的MyPtr<int> p = i;是对象的定义阶段，此时p还没有任何有效内存状态，自然不会进入赋值运算符的解析流程。

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