为何std::vector构造函数抛出std::length_error而非std::bad_alloc？

测试代码 #

#include <iostream>
#include <vector>
#include <new>

int main()
{
    std::vector<int>::size_type n;
    std::cout << "Enter array size: ";
    std::cin >> n;
    try
    {
        std::vector<int> v(n);
        std::cout << "Allocation worked!\n";
    }
    catch (const std::bad_alloc& e)
    {
        std::cerr << "Allocation failed: " << e.what() << "\n";
    }
}

测试结果 #

• 输入10000000000（100亿）时，抛出std::bad_alloc，符合预期：

  Enter array size: 10000000000
  Allocation failed: std::bad_alloc
  

• 输入18446744073709551615（64位无符号整数最大值）时，抛出std::length_error，导致程序崩溃：

  Enter array size: 18446744073709551615
  terminate called after throwing an instance of 'std::length_error'
    what():  cannot create std::vector larger than max_size()
  

核心疑问 #

1. 已知std::vector::max_size()是实现限制的最大元素数，但未找到标准规定构造函数超该值需抛出std::length_error，仅知道reserve()会抛这个异常。原预期抛出std::bad_array_new_length（因std::numeric_limits<std::size_t>::max() / sizeof(T) < n），该异常派生自std::bad_alloc可被现有捕获逻辑处理。
2. 如何正确处理这类分配错误？直接捕获std::exception太宽泛，无法过滤其他异常。
3. 标准是否明确规定了函数允许抛出的异常列表？该列表可在哪里查询？

1. 为什么会抛出std::length_error？ #

C++标准明确规定：当容器的指定大小构造函数接收到的元素数量超过max_size()时，必须抛出std::length_error，这和reserve()的异常要求是一致的。

至于你预期的std::bad_array_new_length，它是new[]在尝试分配超出现有内存限制的空间时抛出的异常，但vector会在调用new[]前做前置检查：如果请求的元素数已经超过max_size()，会直接抛出length_error，根本不会走到内存分配的步骤，自然不会触发bad_array_new_length。

2. 如何正确处理这类分配错误？ #

要精准处理容器的内存分配相关异常，需要同时捕获两种核心异常：

try
{
    std::vector<int> v(n);
    std::cout << "Allocation worked!\n";
}
catch (const std::bad_alloc& e)
{
    std::cerr << "Runtime memory allocation failed: " << e.what() << "\n";
}
catch (const std::length_error& e)
{
    std::cerr << "Requested size exceeds container's maximum limit: " << e.what() << "\n";
}

这种方式既避免了捕获std::exception的宽泛性，又能覆盖所有容器分配失败的典型场景：bad_alloc对应运行时内存不足，length_error对应请求大小超出容器实现上限。

3. 标准中函数的异常列表在哪里查询？ #

C标准的每个库函数条款都会明确标注异常抛出规范（C17及以后通过noexcept或显式列出异常类型）。你可以通过以下方式获取：

• 查阅C++官方标准文档的对应章节（比如std::vector构造函数在容器相关章节）；
• 使用权威的离线C++参考手册，每个函数条目都会清晰列出可能抛出的异常类型。

这些异常规范是强制性的，符合标准的实现必须严格遵守。

内容的提问来源于stack exchange，提问作者DarkAtom