对于具有默认分配器的标准容器，std :: container :: size_type是否保证为size_t？

Question

喜欢：

• std::string<T>::size_type
• std::list<T>::size_type
• std::map<T>::size_type
• std::vector<T>::size_type
• 等等

cplusplus.com和cppreference.com都说它们通常是size_t ，但除非使用自定义分配器，否则它们是否真的，毫无疑问地被标准保证为size_t ？

Answer 1

对于STL容器 - 不。 [container.requirements.general]中标准的表96列出了任何容器X容器需求，非常清楚地说明了这一点：

---

但是，对于basic_string ， size_type定义为

typedef typename allocator_traits<Allocator>::size_type size_type;

反过来， std::allocator<..> size_t将作为分配器。

此外，根据[array.overview] / 3， std::array使用size_t作为size_type 。

Answer 2

size_type不保证是size_t 。

但是默认的分配器 size_type是，所以默认值是size_t 。

从标准20.6.9

template <class T> class allocator {
public:
typedef size_t size_type;
typedef ptrdiff_t difference_type;
....

容器的size_type派生自分配器：

typedef typename allocator_traits<Allocator>::size_type size_type;