Namespaces
Variants

std:: logic_error

From cppreference.net
C++
Diagnostics library
定义于头文件 <stdexcept>
class logic_error ;

定义一种作为异常抛出的对象类型。它报告由于程序内部逻辑错误导致的异常，例如违反逻辑前提条件或类不变量，这些错误通常是可以避免的。

标准库组件不会直接抛出此异常，但异常类型 std::invalid_argument 、 std::domain_error 、 std::length_error 、 std::out_of_range 、 std::future_error 以及 std::experimental::bad_optional_access 均派生自 std::logic_error 。

std::logic_error 的所有成员函数都是 constexpr ：可以在常量表达式求值过程中创建和使用 std::logic_error 对象。

然而， std::logic_error 对象通常不能是 constexpr ，因为任何动态分配的存储必须在同一常量表达式求值过程中释放。

(since C++26)
cpp/error/exception std-logic error-inheritance.svg

继承关系图

目录

成员函数

(constructor)
使用给定消息构造新的 logic_error 对象
(公开成员函数)
operator=
替换 logic_error 对象
(公开成员函数)

std::logic_error:: logic_error

logic_error ( const std:: string & what_arg ) ;
(1) (constexpr since C++26)
logic_error ( const char * what_arg ) ;
(2) (constexpr since C++26)
logic_error ( const logic_error & other ) ;
(3) (noexcept since C++11)
(constexpr since C++26)
1) 使用 what_arg 作为解释性字符串构造异常对象。构造后满足 std:: strcmp ( what ( ) , what_arg. c_str ( ) ) == 0 。
2) 使用 what_arg 作为解释性字符串构造异常对象。构造后满足 std:: strcmp ( what ( ) , what_arg ) == 0 。
3) 拷贝构造函数。如果 * this 和 other 都具有动态类型 std::logic_error ，则满足 std:: strcmp ( what ( ) , other. what ( ) ) == 0 。拷贝构造函数不会抛出任何异常。

参数

what_arg - 解释性字符串
other - 要拷贝的另一个异常对象

异常

1,2) 可能抛出 std::bad_alloc 。

注解

由于不允许在拷贝 std::logic_error 时抛出异常，因此异常消息通常以单独分配的引用计数字符串形式在内部存储。这也是为什么没有接受 std::string&& 参数的构造函数的原因：无论如何都需要复制内容。

在 LWG issue 254 解决之前，非拷贝构造函数只能接受 std::string 。这使得在构造 std::string 对象时必须进行动态分配。

在 LWG issue 471 解决之后，派生的标准异常类必须具有可公开访问的拷贝构造函数。只要原始对象和拷贝对象通过 what() 获得的解释性字符串相同，该构造函数可以隐式定义。

std::logic_error:: operator=

logic_error & operator = ( const logic_error & other ) ;
(noexcept since C++11)
(constexpr since C++26)

使用 other 的内容进行赋值。如果 * this 和 other 都具有动态类型 std::logic_error ，则赋值后 std:: strcmp ( what ( ) , other. what ( ) ) == 0 。复制赋值运算符不会抛出任何异常。

参数

other - 用于赋值的另一个异常对象

返回值

* this

注解

在解决 LWG issue 471 后，派生的标准异常类必须具有可公开访问的复制赋值运算符。只要原始对象和复制对象通过 what() 获得的说明字符串相同，该运算符可以隐式定义。

继承自 std:: exception

成员函数

[virtual]
销毁异常对象
( std::exception 的虚公开成员函数)
[virtual]
返回说明性字符串
( std::exception 的虚公开成员函数)

注释

功能测试 宏 值 标准 功能
__cpp_lib_constexpr_exceptions 202502L (C++26) constexpr 异常类型

缺陷报告

下列行为变更缺陷报告被追溯应用于先前发布的C++标准。

缺陷报告 适用标准 发布时行为 正确行为
LWG 254 C++98 缺少接受 const char * 的构造函数 已添加
LWG 471 C++98 std::logic_error 副本的说明字符串
由实现定义 		与原始 std::logic_error 对象
的说明字符串相同