关于C++标准库异常类构造函数参数类型的疑问

首先明确你的两个结论是对的：

• 标记为noexcept的函数，其参数构造时抛出异常不会触发程序终止——因为参数初始化发生在函数执行之前，不属于noexcept的管辖范围，这是标准明确规定的行为，并非未定义行为。
• 改用std::string值传递确实能在部分场景下避免额外拷贝（比如传递右值时，参数可通过移动构造生成，内部再转移资源），甚至能给构造函数加上noexcept（只要函数体内操作不抛出异常）。

那标准库为何不采用这种设计？核心原因有两点：

1. 历史兼容性约束 #

std::runtime_error这类异常类早在C98标准中就存在，而**移动语义是C11才引入的特性**。在C++98时代，没有移动构造的支持，值传递意味着无论传入左值还是右值，都会触发一次不必要的拷贝构造；而使用const std::string&仅需在构造函数内部做一次拷贝到成员变量，是当时最优的性能选择。

标准库接口需要保持向后兼容，不会轻易修改原有构造函数的参数类型——否则依赖const std::string&的旧代码虽能编译，但语义会发生变化，可能引入意外的拷贝或移动操作，破坏已有代码的稳定性。

2. 接口的一致性与灵活性 #

标准库同时提供了const char*版本的构造函数，和const std::string&版本配合，覆盖了两种最常见的字符串传递场景：直接传入C风格字符串，或传入已有的std::string对象。如果改成仅接受std::string值传递，那么传入const char*时会隐式构造临时std::string，这在部分场景下会带来不必要的开销；保留const char*版本则可以直接处理C风格字符串，避免临时对象的生成。

此外，C++11之后标准库已为异常类补充了移动构造函数（runtime_error(runtime_error&& other) noexcept;），足以满足移动语义的性能需求：

std::string msg = "error occurred";
throw std::runtime_error(std::move(msg));

这种写法会利用移动构造转移字符串资源，效率和值传递完全一致。

总结来说，标准库的设计是权衡历史兼容性、接口灵活性与性能后的结果，你的理解和测试没有问题，但标准库需要兼顾更多场景与旧代码的兼容。

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