关于 Hinnant 堆栈分配器的问题

2024-03-19

我一直在使用霍华德辛南特的堆栈分配器 http://howardhinnant.github.io/stack_alloc.h它的工作方式就像一个魅力,但实施的一些细节对我来说有点不清楚。

  1. 为什么全球运营商new and delete用过的?这allocate() and deallocate()成员函数的使用::operator new and ::operator delete分别。类似地,成员函数construct()使用新的全局布局。为什么不允许任何用户定义的全局或特定于类的重载?
  2. 为什么对齐设置为硬编码 16 字节而不是std::alignment_of<T>?
  3. 为什么构造函数和max_size have a throw()异常规范?这难道不令人沮丧吗(参见更有效的 C++ 第 14 条)?当分配器发生异常时,真的有必要终止并中止吗?新的 C++11 会改变这种情况吗?noexcept关键词?
  4. The construct()成员函数将是完美转发(到正在调用的构造函数)的理想候选者。这是编写 C++11 一致分配器的方法吗?
  5. 为了使当前代码符合 C++11 要求,还需要进行哪些其他更改?

我一直在使用霍华德辛南特的堆栈分配器 http://howardhinnant.github.io/stack_alloc.h它有效 就像一个魅力,但实施的一些细节有点 我不清楚。

很高兴它一直为你工作。

1、为什么全球运营商new and delete用过的?这allocate() and deallocate()成员函数的使用::operator new and ::operator delete分别。类似地,成员函数construct()使用新的全局布局。为什么不允许任何 用户定义的全局或特定于类的重载?

没有什么特别的原因。请随意以最适合您的方式修改此代码。这只是一个例子,它绝不是完美的。唯一的要求是分配器和释放器提供正确对齐的内存,并且构造成员构造一个参数。

在 C++11 中,构造(和销毁)成员是可选的。如果您在提供以下功能的环境中运行,我鼓励您将它们从分配器中删除allocator_traits。要找出答案,只需删除它们并查看是否仍然可以编译。

2.为什么对齐设置为硬编码的16字节而不是std::alignment_of<T>?

std::alignment_of<T>可能会工作得很好。那天我可能有点偏执了。

3. 为什么构造函数和max_size have a throw()异常规范?这不是令人沮丧吗(参见更有效的C++ 第 14 项。)?是否真的有必要终止并中止 分配器发生异常?新的 C++11 会改变这种情况吗?noexcept关键词?

这些成员永远不会投掷。对于 C++11 我应该将它们更新为noexcept。在 C++11 中,装饰事物变得更加重要noexcept,特别是特殊会员。在 C++11 中,我们可以检测表达式是否为 no throw。代码可以根据该答案进行分支。已知不会抛出异常的代码更有可能导致通用代码分支到更有效的路径。std::move_if_noexcept是 C++11 中的规范示例。

不要使用throw(type1, type2)曾经。它在 C++11 中已被弃用。

Do use throw()当你真的想说:这永远不会抛出,如果我错了,终止程序以便我可以调试它。throw()在 C++11 中也已弃用,但有一个直接替代品:noexcept.

4. The construct()成员函数将是完美转发(到正在调用的构造函数)的理想候选者。这是 编写 C++11 一致分配器的方法?

是的。然而allocator_traits会为你做的。让它。 std::lib 已经为您调试了该代码。 C++11 容器将调用allocator_traits<YourAllocator>::construct(your_allocator, pointer, args...)。如果您的分配器实现了这些函数,allocator_traits 将调用您的实现,否则它将调用经过调试的、高效的默认实现。

5. 为了使当前代码符合C++11,还需要进行哪些其他更改?

说实话,这个分配器并不真正符合 C++03 或 C++11。当您复制分配器时,原始分配器和副本应该彼此相同。在这个设计中,这从来都不是真的。然而,这个东西在很多情况下仍然适用。

如果要使其严格一致,则需要另一级间接,以便副本指向同一缓冲区。

除此之外,C++11 分配器是so比 C++98/03 分配器更容易构建。这是您必须做的最低限度:

template <class T>
class MyAllocator
{
public:
    typedef T value_type;

    MyAllocator() noexcept;  // only required if used
    MyAllocator(const MyAllocator&) noexcept;  // copies must be equal
    MyAllocator(MyAllocator&&) noexcept;  // not needed if copy ctor is good enough
    template <class U>
        MyAllocator(const MyAllocator<U>& u) noexcept;  // requires: *this == MyAllocator(u)

    value_type* allocate(std::size_t);
    void deallocate(value_type*, std::size_t) noexcept;
};

template <class T, class U>
bool operator==(const MyAllocator<T>&, const MyAllocator<U>&) noexcept;

template <class T, class U>
bool operator!=(const MyAllocator<T>&, const MyAllocator<U>&) noexcept;

您可以选择考虑制作MyAllocator可交换并将以下嵌套类型放入分配器中:

typedef std::true_type propagate_on_container_swap;

还有一些其他类似的旋钮,您可以在 C++11 分配器上进行调整。但所有旋钮都有合理的默认值。

Update

上面我注意到我的堆栈分配器 http://howardhinnant.github.io/stack_alloc.h由于副本不相等,因此不符合要求。我决定将此分配器更新为符合 C++11 的分配器。新的分配器称为短分配器 http://howardhinnant.github.io/short_alloc.h并记录在案here http://howardhinnant.github.io/stack_alloc.html.

The 短分配器 http://howardhinnant.github.io/short_alloc.h不同于堆栈分配器 http://howardhinnant.github.io/stack_alloc.h因为“内部”缓冲区不再是分配器的内部,而是现在是一个单独的“arena”对象,可以位于本地堆栈上,或者给定线程或静态存储持续时间。这arena但不是线程安全的,所以要小心。如果您愿意,您可以使其线程安全,但这会带来收益递减(最终您将重新发明 malloc)。

这是一致的,因为分配器的副本都指向相同的外部arena。请注意,单位为N现在是字节,而不是数量T.

通过添加 C++98/03 样板(typedef、构造成员、销毁成员等),可以将此 C++11 分配器转换为 C++98/03 分配器。这是一项乏味但简单的任务。

新人这个问题的答案短分配器 http://howardhinnant.github.io/short_alloc.h保持不变。

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

关于 Hinnant 堆栈分配器的问题 的相关文章

随机推荐