在 C++ 中仅对空私有构造函数使用声明是否正确？

Question

例如，这是正确的：

class C 
{
   private: 
     C();
     C(const & C other);
}

还是您应该提供定义：

class C 
{
   private: 
     C() {};
     C(const & C other) {};
}

？ 感谢您当前的答案。让我们扩展这个问题 - 编译器在这个示例之一中是否生成更好的代码？我可以想象为 ctor 提供主体会强制编译器在编译单元中包含一些（空）代码？对于自动生成的代码也是如此吗？

Answer 1

如果您不希望对象可复制，则无需提供实现。只需将复制构造函数声明为私有，无需任何实现。对于其他 ctor 也是如此，如果您不希望任何机构使用它们，只需将它们声明为私有而不进行任何实现即可。

Answer 2

只要你不使用它们就可以。

通过 0x 标准，您可以使用已删除的函数。

class X {
   // ...
   X& operator=(const X&) = delete; // Disallow copying
   X(const X&) = delete;
};

Answer 3

您可以使用仅声明构造函数来禁止给定构造，例如标准构造或复制构造。

例如，如果您想避免对象被复制，您可以将复制构造函数和赋值运算符声明为私有并且不定义它们，那么任何试图复制该对象的人（包括您）都会遇到链接器错误。

关于您的最后一次编辑：
我希望一个像样的编译器为默认构造函数和空构造函数生成相同的代码，并且没有初始化列表，最后，它需要做的是默认初始化每个成员。

Answer 4

如果您声明它们而不提供实现，那么您将无法使用它们，因为它们不存在。如果要使用构造函数，则必须允许编译器通过不声明它们来创建它们，或者必须声明它们并提供实现。

为您不想使用的构造函数提供声明但不提供实现有时很有用。这通常是通过您不希望有副本的对象（例如单例）的复制构造函数来完成的。在这种情况下，声明通常也是保密的。

Answer 5

首先，如果你想让你的类完全不可复制，就不要实现私有复制构造函数和赋值运算符。否则，一段具有访问权限的代码（方法或友元）仍然有可能默默地进行复制。如果没有实现，您将收到链接器错误。

但是，编译器错误会更好，因为您会更快地发现错误。为此，有 boost::noncopyable，或者您可以从隐藏其复制构造函数和赋值运算符的基类派生。

关于默认构造函数：如果您声明任何构造函数，编译器将不会生成默认构造函数。一般来说没有必要专门隐藏这一点。

Answer 6

如果您使用“空”声明，编译器将不再生成默认实现，并且您将收到链接错误。如果声明它们，则必须编写它们，因此空大括号形式是必要的。

Answer 7

您将需要提供定义。如果您不这样做，并且尝试使用它们，则链接将失败。

Answer 8

这取决于您是否使用这些构造函数。如果您不使用它们，则可以将它们保留为未定义。如果您使用它们（例如，您正在从类的静态函数创建类的对象，您需要定义它们），您需要提供定义，否则您将从链接器中收到无法解析的外部符号错误。