如果模板构造函数只有一个泛型参数，为什么我必须要有一个复制构造函数？

Question

MISRA 规则 14-5-2 说：

当模板构造函数具有单个参数是泛型参数时，应声明复制构造函数。

我找不到任何足够简单的术语向我解释为什么在这种情况下必须有一个复制构造函数。

我看过 Copy constructor of template class 和 C++ Template constructor, why is copy constructor being called?，但都没有真正帮助我。我看到提到复制构造函数不存在，但默认的构造函数还没有被创建吗？我看到了对复制省略的引用，但我不明白为什么需要复制构造函数。

据我所知，这可能属于“需要注意的良好编程习惯”......或者它可能是“您刚刚进入了未定义的行为领域”。 我应该寻找什么来确定违反此 MISRA 规则的代码是否会在其当前代码库中造成风险？

Answer 1

除非您编写移动构造函数或移动赋值运算符，否则始终定义复制构造函数（可能在 C++11 之前已删除或未定义）。如果你不自己声明，它是自动生成的。

现在，我对 MISRA 的了解还不够，无法确定您提到的规则背后的原因，所以我要猜测它是什么。 如果您有一个带有单个通用参数的模板构造函数，那么您所做的可能不仅仅是一个简单的复制，并且您可能错误地认为所有复制构造都将通过这个模板构造函数完成。但是，如果您使用该类的另一个对象或从该类派生的对象复制构造该类的对象（具有模板构造函数的对象），则将调用自动生成的复制构造函数，并且没有模板版本应该做的额外工作将完成。

简而言之，通过提供一个复制构造函数，即使同时提供一个带有单个通用参数的模板构造函数，您也可以确保复制构造始终按预期工作。此外，您明确地向该类的潜在用户展示了它除了模板构造函数之外还有一个适当的复制构造函数。