命名空间
变体
操作

std::invalid_argument

来自 cppreference.com
< cpp‎ | error
定义在头文件 <stdexcept>
class invalid_argument;

定义了一种作为异常抛出的对象类型。它报告由于参数值不被接受而产生的错误。

此异常由 std::bitset::bitset 以及 std::stoistd::stof 函数族抛出。

cpp/error/exceptioncpp/error/logic errorstd-invalid argument-inheritance.svg

继承关系图

内容

[编辑] 成员函数

(构造函数)
使用给定的消息构造一个新的 invalid_argument 对象
(公有成员函数)
operator=
替换 invalid_argument 对象
(公有成员函数)

std::invalid_argument::invalid_argument

invalid_argument( const std::string& what_arg );
(1)
invalid_argument( const char* what_arg );
(2)
invalid_argument( const invalid_argument& 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::invalid_argument,则 std::strcmp(what(), other.what()) == 0。复制构造函数不会抛出任何异常。

参数

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

异常

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

注释

由于不允许复制 std::invalid_argument 抛出异常,因此此消息通常在内部存储为一个单独分配的引用计数字符串。这也是没有采用 std::string&& 的构造函数的原因:无论如何都必须复制内容。

在解决 LWG 问题 254 之前,非复制构造函数只能接受 std::string。它使得动态分配成为构造 std::string 对象的强制要求。

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

std::invalid_argument::operator=

invalid_argument& operator=( const invalid_argument& other );
(从 C++11 开始 noexcept)

将内容分配为 other 的内容。如果 *thisother 都有动态类型 std::invalid_argument,则在分配之后 std::strcmp(what(), other.what()) == 0。复制赋值运算符不会抛出任何异常。

参数

other - 要分配的另一个异常对象

返回值

*this

注释

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

std::logic_error 继承而来

std::exception 继承而来

成员函数

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

[编辑] 注释

此异常类型的目的是类似于错误条件 std::errc::invalid_argument(在 std::system_error 中从 std::thread 的成员函数抛出)以及相关的 errno 常量 EINVAL

[编辑] 示例

#include <bitset>
#include <iostream>
#include <stdexcept>
#include <string>
 
int main()
{
    try
    {
        std::bitset<4>{"012"}; // Throws: only '0' or '1' expected
    }
    catch (std::invalid_argument const& ex)
    {
        std::cout << "#1: " << ex.what() << '\n';
    }
 
    try
    {
        [[maybe_unused]] int f = std::stoi("ABBA"); // Throws: no conversion
    }
    catch (std::invalid_argument const& ex)
    {
        std::cout << "#2: " << ex.what() << '\n';
    }
 
    try
    {
        [[maybe_unused]] float f = std::stof("(3.14)"); // Throws: no conversion
    }
    catch (std::invalid_argument const& ex)
    {
        std::cout << "#3: " << ex.what() << '\n';
    }
}

可能的输出

#1: bitset string ctor has invalid argument
#2: stoi: no conversion
#3: stof: no conversion

[编辑] 缺陷报告

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

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