std::logic_error

来自cppreference.com
< cpp‎ | error
在标头 <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 起为 noexcept)
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 - 解释字符串
other - 要复制的另一异常对象

异常

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

注解

因为不容许 std::logic_error 的复制抛出异常,通常将此消息在内部存储为分离分配的引用计数字符串。这也是构造函数不接收 std::string&& 参数的理由:无论如何它必须复制内容。

在解决 LWG 问题 254 之前,非复制的构造函数只接受 std::string。这导致因需要构造 std::string 对象而不得不进行动态内存分配。

在解决 LWG 问题 471 之后,派生的标准异常类必须有一个公开可访问的复制构造函数。它可以隐式定义,只要分别在原对象和复制对象上通过 what() 获得的两个解释字符串相同即可。

std::logic_error::operator=

logic_error& operator=( const logic_error& other );
(C++11 起为 noexcept)

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

参数

other - 要从其赋值的另一异常对象

返回值

*this

注解

在解决 LWG 问题 471 之后,派生的标准异常类必须有一个公开可访问的复制赋值运算符。它可以隐式定义,只要分别在原对象和复制对象上通过 what() 获得的两个解释字符串相同即可。

继承自 std::exception

成员函数

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

缺陷报告

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

缺陷报告 应用于 出版时的行为 正确行为
LWG 254 C++98 缺失了接受 const char* 的构造函数 已补充
LWG 471 C++98 std::logic_error 的复制的解释字符串由实现定义 它们与原 std::logic_error 对象的解释字符串相同