代码之家 › 专栏 › 技术社区 › Filipp

分配器是无状态的意味着什么?

allocator stl c++

Filipp · 技术社区 · 12 年前

分配器是无状态的意味着什么?我意识到std::allocater是malloc的一个包装器,并且没有自己的状态。同时,malloc自己记账,所以可以说所有std::分配器实例都使用一个状态。

我将如何在没有状态的情况下实现池分配器?如果不是分配器,什么会保持内存的当前状态?

有人能正式定义国家在这种情况下的含义吗?

2 回复 | 直到 12 年前

Öö Tiib 6 年前

State表示类的实例中有可变的信息。无状态意味着它们没有它。无状态类没有非静态数据成员。

您可以通过使用某种对该类型的所有池分配器都相同的相互外部状态(池),使池分配器成为无状态的。

TemplateRex 9 年前

分配器对象本身不鼓励是有状态的。这意味着如果您创建 std::allocator (或您自己的),此实例不应包含任何关于已分配块等的信息-此信息必须是 static 并在所有人中共享 std::分配器 实例。违反此规则可能会导致STL库中出现未定义的行为。

例如,看看 std::list::splice :它从一个元素中删除和间隔元素 std::list 并插入其他。实际上,对包含的元素没有任何操作(没有复制等)-此方法只是重新排列内部指针。所以,如果 std::分配器 实例#1(在列表#1中)知道某事,什么不知道 std::分配器 实例#2(在列表2中)?这些元素会丢失、内存泄漏、自发删除或其他什么。。

Scott Meyers的《有效的STL》是关于STL的一本很好的读物

推荐文章

Julia · 矢量中相加为总和S的值的数量

2 年前

Codeforces Fan · 如何在c中的STL集合中添加lambda函数或执行自定义操作++

3 年前

C_Rod · 在模板方法中确定STL容器中项目的数据类型

3 年前

quantumwell · 将空向量放入std::map()

7 年前

BugShotGG · 如何正确地将托洛尔()应用于C中的德语大写字母,,á++

7 年前

GreyCat · C++参数类型,用于接受适用于基于范围的for循环的所有序列

7 年前

OutOfBound · 对未初始化内存使用算法的优点

7 年前

Adrian · 在容器、PTR和对象不可修改的情况下,如何传递unique\u ptr的容器?

7 年前

xskxzr · 为什么std::unordered\u set会重新刷新,即使负载系数限制没有打破?

7 年前

DarthRubik · 在使用列表删除之后,迭代器如何不无效

7 年前