c++ - 私有(private)新运营商是否有任何意想不到的副作用？

Question

我读入了this博客，将新运算符设为私有(private)是在堆栈上强制实例化的好方法。

我正在实现一个使用 RAII 习惯用法的类。这个类显然应该只在堆栈上实例化，所以我正在寻找一种方法来强制执行。

• 我的问题是，这是否有任何不能直接看到的副作用？
• 在堆栈上强制实例化是一种好方法吗？
• 是否存在任何可移植性问题？

感谢您的帮助!

编辑

我的 RAII 类只是实例化了我正在处理的框架的各个部分，因此除了在堆栈上创建一个实例之外，对该类做任何其他事情都没有意义。

目标只是提供一种简单的可能性来配置框架并将其置于可用状态，而无需在客户端代码中实例化 10 个对象。

Answer 1

This class should obviously only be instantiated on the stack, so I am looking for a way to enforce that.

我想如果你必须强制执行它，这对用户来说不会很明显......

主要缺点是它不起作用。

即使 new 运算符是私有(private)的，用户仍然可能不小心将您的类用作数据成员或他们自己的类的基类，然后用 new 实例化他们的类。当他们应该写 Foo f; 时，它会阻止他们写 Foo *f = new Foo();，但它不会强制他们使用你的 RAII类匹配词法范围，这可能是您真正想要强制执行的。

如果有人想使用具有动态存储持续时间的锁(或其他任何东西)，那么他们要么非常聪明，要么非常愚蠢。无论哪种方式，如果您让他们自己创建它，那么您就无法阻止他们绕过您的限制。

您可以做的是将所有构造函数设为私有(private)(包括复制构造函数)，然后提供一个按值返回的友元函数。他们必须写:

const Foo &f = GimmeAFoo();

标准要求将返回值的生命周期延长至 f 的范围。由于他们无法复制对象，因此无法使值超出引用的范围。由于他们无法初始化数据成员或基类，因此他们无法使用变通方法。但是请注意，它们必须采用 const 引用，因此如果您的类需要非常量成员，它就不会真正起作用。

他们仍然可以做一些愚蠢的事情，比如像这样初始化他们自己的类的常量引用数据成员，但是对象本身不会逃脱发生这种情况的范围。他们将留下一个悬垂的引用，就像他们将指针指向他们不应该指向的东西一样。