Ist std :: container :: size_type garantiert size_t für Standardcontainer mit Standardzuordner?

Question

Like:

• std::string<T>::size_type
• std::list<T>::size_type
• std::map<T>::size_type
• std::vector<T>::size_type
• usw.

Beide cplusplus.com und cppreference.com sagen, dass sie in der Regel size_t sind aber sind sie wirklich, eindeutig garantiert durch den Standard, size_t zu sein, wenn ein kundenspezifischer Zuordner benutzt wird?

Answer 1

Für STL-Container - nein. Tabelle 96 der Norm in [container.requirements.general], die Behälter Anforderungen für jeden Behälter listet X, erklärt es ziemlich klar:

---

jedoch für basic_string, size_type ist definiert als

typedef typename allocator_traits<Allocator>::size_type size_type; 

was wiederum size_t für std::allocator<..> als allocator sein.

Auch std::array verwendet size_t als size_type, nach [array.overview]/3.

Answer 2

size_type ist nicht garantiert size_t.

Aber die default allocatorsize_type ist, so ist die Standardeinstellung size_t.

Vom Standard 20.6.9

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

Der size_type des Behälters aus dem allocator abgeleitet:

typedef typename allocator_traits<Allocator>::size_type size_type;