当前位置：文江博客话题详情

在 C++ 中重载 new、delete

发布于 2024-08-30 22:54:05 字数 161 浏览 2 评论 0原文

我遇到这一行是 stroustrup 操作符函数必须是用户定义类型的成员或至少采用一个用户定义类型的参数（重新定义 new 和 delete 操作符的函数不需要）。

不要操作符 new 和运算符删除将用户定义的类型作为其参数之一？这是什么意思，我在这里错过了什么吗

原文

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

夕色琉璃 2024-09-06 22:54:05

Stroustrup 的引用显然适用于运算符重载。 C++ 语言仅支持用户定义类型的运算符重载。这意味着重载函数（operator）必须是用户定义类型的成员，或者是至少具有一个用户定义类型参数的独立函数。这正是所讨论的引文的含义。

然而，独立（非成员）operator new 和 operator delete 函数不需要将用户定义类型的值作为其参数之一。这可能会被视为与您的引述相矛盾。

但事实上，并不矛盾。这些运算符并没有真正超载。当您提供自己的独立 operator new/operator delete 版本时，您实际上是在替换库提供的版本。这是语言规范中的官方术语：替换，而不是重载。这就是为什么上面的引用并不真正适用于operator new和operator delete。

回复收藏 0 原文

多像笑话 2024-09-06 22:54:05

如果您愿意，您可以重载普通的全局 new 运算符，为所有类添加功能（例如日志记录或泄漏检测），但无法调用 new 的旧定义/code> 运算符，因此您可能会在重新定义的 operator new 内部调用 malloc() 来实际获取所需的内存。

回复收藏 0 原文

晨敛清荷 2024-09-06 22:54:05

a + b 只是 a.operator+(b) 或 operator+(a, b) 的语法糖。

另一方面，new Foo(x, y, z) 不仅仅是运算符 new(Foo, x, y, z) 或类似内容的语法糖。它要复杂得多：

void* address = operator new(sizeof(Foo)); // here is the behavior you can replace
try {
    new(address) Foo(x, y, z);
} catch (...) {
    operator delete(address);
}

正如您所看到的，函数operator new仅仅分配内存，这只是操作符new实际所做的一半。在我看来，将其命名为 allocate_memory 或类似的名称会更有意义。它绝对不是像 operator+ 这样的运算符。

a + b is just syntactic sugar for a.operator+(b) or operator+(a, b).

On the other hand, new Foo(x, y, z) is NOT just syntactic sugar for operator new(Foo, x, y, z) or something like that. It is way more complicated:

void* address = operator new(sizeof(Foo)); // here is the behavior you can replace
try {
    new(address) Foo(x, y, z);
} catch (...) {
    operator delete(address);
}

As you can see, the function operator new merely allocates memory, which is only half of what the operator new actually does. In my opinion, it would have made far more sense to have named that thing allocate_memory or something like that. It definitely IS NOT an operator like operator+.

回复收藏 0 原文

慈悲佛祖 2024-09-06 22:54:05

根据 new 或 delete 表达式中操作数的类型查找 operator new 和 operator delete，以及 new 的任何额外括号参数。因此，它们可能会被重载（operator new 受制于重载决策），但其机制与其他运算符不同。 (C++03 §13.5/5)

当它们使用原始内存时，它们从不处理指向客户端类类型的指针。 operator new 始终采用 size_t 参数（可能还有其他参数，其中都不需要是用户定义的类型）并返回 void *。 operator delete 始终采用 void * 参数和可选的 size_t，无论如何查找。

我可以想到两个原因：

它们处理原始内存，不包含构造对象。 operator new 或 operator delete 尝试访问返回的内存块中的对象始终是一个错误。（内存不用于构造对象，但是，这是公平的游戏。）
类成员operator new或operator delete可以是乘法和/或虚拟继承，这样任何巫毒都不能使所讨论的 void* 指向尚未构造或已销毁的子对象。