容器中的大小大于max_size

Question

当容器的大小大于max_size时，关于情况的标准是什么？

UB，std :: bad_alloc还是其他什么？

MSVC抛出异常。

Answer 1

我假设你的意思是'如果我试图将容器推到max_size会发生什么？' 因为容器的size不能超过max_size 。 如果是，则max_size返回不正确的值。

究竟发生了什么取决于容器以及尝试调整容器大小的操作，但在大多数可重复大小的容器（即string ， vector ）的情况下，标准需要抛出length_error 。

Answer 2

在大多数情况下，标准要求抛出std::length_error ，但在某些情况下，分配器可能会抛出不同的异常。

从C ++03§21.3/ 4a（类模板basic_string ）：

对于任何字符串操作，如果作为操作的结果， size()将超过max_size()则操作将抛出length_error 。

§21.3.3/ 10-12（ basic_string capacity）：

void reserve(size_type res_arg=0) ;
[...]
抛出： length_error如果res_arg > max_size() 。 ^218）

218） reserve()使用Allocator::allocate() ，它可能抛出适当的异常。

§23.2.4.2/ 2-4（ vector容量）：

void reserve(size_type n)
[...]
抛出： length_error如果n > max_size() 。 ²⁴⁸

248） reserve()使用Allocator::allocate() ，它可能抛出适当的异常。

该标准没有明确提及其他标准容器（ deque ， list ， priority_queue ， map ， multimap ， set ， multiset和bitset ）。 但是，在表65（容器要求）中，它表示max_size是“最大可能容器的size() ”。