命名空间
变体
操作

std::logic_error

来自 cppreference.cn
< cpp‎ | 错误
定义于头文件 <stdexcept>
class logic_error;

定义一种作为异常抛出的对象类型。它报告由于程序内部逻辑错误(例如违反逻辑前置条件或类不变式)而导致的错误,并且可能是可预防的。

没有标准库组件直接抛出此异常,但异常类型 std::invalid_argumentstd::domain_errorstd::length_errorstd::out_of_rangestd::future_errorstd::experimental::bad_optional_access 派生自 std::logic_error

cpp/error/exceptionstd-logic error-inheritance.svg

继承图

目录

[编辑] 成员函数

(构造函数)
使用给定消息构造一个新的 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) (C++11 起无异常抛出)
1) 使用 what_arg 作为解释字符串构造异常对象。构造后,std::strcmp(what(), what_arg.c_str()) == 0
2) 使用 what_arg 作为解释字符串构造异常对象。构造后,std::strcmp(what(), what_arg) == 0
3) 复制构造函数。如果 *thisother 都具有动态类型 std::logic_error,则 std::strcmp(what(), other.what()) == 0。复制构造函数不能抛出异常。

参数

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

异常

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 );
(C++11 起无异常抛出)

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

参数

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

返回值

*this

注意

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

继承自 std::exception

成员函数

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

[编辑] 缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

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