std::logic_error

 

C++

编译器支持

自由和宿主式

语言

标准库

标准库头文件

命名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

诊断库

异常处理 exception uncaught_exceptionuncaught_exceptions (直到 C++20*)  (C++17) exception_ptr (C++11) make_exception_ptr (C++11) current_exception (C++11) rethrow_exception (C++11) nested_exception (C++11) throw_with_nested (C++11) rethrow_if_nested (C++11) 异常处理失败 terminate terminate_handler get_terminate (C++11) set_terminate bad_exception unexpected (直到 C++17*) unexpected_handler (直到 C++17*) get_unexpected (直到 C++17*) set_unexpected (直到 C++17*) 错误编号 错误代码 errno 断言 assert

异常类别 logic_error invalid_argument domain_error length_error out_of_range runtime_error range_error overflow_error underflow_error tx_exception (TM TS) 系统错误 error_category (C++11) generic_category (C++11) system_category (C++11) error_condition (C++11) errc (C++11) error_code (C++11) system_error (C++11) 堆栈跟踪 stacktrace_entry (C++23) basic_stacktrace (C++23) 调试支持 is_debugger_present (C++26) breakpoint_if_debugging (C++26) breakpoint (C++26)

 

定义于头文件 <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。

继承关系图

成员函数

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

std::logic_error::logic_error

logic_error( const std::string& what_arg );	(1)
logic_error( const char* what_arg );	(2)
logic_error( const logic_error& other );	(3)	(noexcept since C++11)

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)

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

参数

other

-

要赋值的另一个异常对象

返回值

*this

注释

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

继承自 std::exception

成员函数

(析构函数) [virtual]	销毁异常对象 (std::exception 的虚公共成员函数)
what [virtual]	返回解释性字符串 (std::exception 的虚公共成员函数)

缺陷报告

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

DR	应用于	已发布行为	正确行为
LWG 254	C++98	缺少接受 const char* 的构造函数	已添加
LWG 471	C++98	std::logic_error 的解释性字符串 副本是实现定义的	它们与 原始 std::logic_error 对象相同