std::invalid_argument

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов(C++20)

Библиотека метапрограммирования(C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов(C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

Регулярные выражения(C++11)

Атомарные операции(C++11)

Библиотека поддержки конкуренции(C++11)

Библиотека файловой системы(C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Библиотека диагностики

Обработка исключений 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++11)(до C++17*)     set_unexpected (до C++17*) Коды ошибок Коды ошибок errno

Категории исключений logic_error invalid_argument domain_error length_error out_of_range runtime_error range_error overflow_error underflow_error tx_exception (ТС TM) Поддержка системных ошибок 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) Утверждения assert Трассировка стека stacktrace_entry (C++23) basic_stacktrace (C++23)

 

Определено в заголовочном файле <stdexcept>
class invalid_argument;

Определяет тип объекта, который бросается как исключение. Он сообщает об ошибках, возникающих из-за того, что значение аргумента не было принято.

Это исключение генерируется функциями std::bitset::bitset и семействами функций std::stoi и std::stof.

Диаграмма наследования

Функции-элементы

(конструктор)	создаёт новый объект invalid_argument с заданным сообщением (public функция-элемент)
operator=	заменяет объект invalid_argument (public функция-элемент)

std::invalid_argument::invalid_argument

invalid_argument(conststd::string& what_arg );	(1)
invalid_argument(constchar* what_arg );	(2)
	(3)
invalid_argument(const invalid_argument& other );			(до C++11)
invalid_argument(const invalid_argument& other )noexcept;			(начиная с 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::invalid_argument, тогда std::strcmp(what(), other.what())==0. Исключения не могут быть сгенерированы из конструктора копирования.(до C++11)

Параметры

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)
invalid_argument& operator=(const invalid_argument& other )noexcept;		(начиная с C++11)

Присваивает содержимое из other. Если *this и other имеют динамический тип std::invalid_argument, тогда std::strcmp(what(), other.what())==0 после присваивания. Оператор присваивания копированием не может вызвать исключение.(до C++11)

Параметры

other

—

другой объект исключения для присваивания

Возвращаемое значение

*this

Примечание

После разрешения LWG проблема 471, производный стандартный класс исключения должен иметь общедоступный оператор присваивания копированием. Его можно определить неявно, если поясняющие строки, полученные с помощью what(), одинаковы для исходного объекта и скопированного объекта.

Унаследован от std::logic_error

Унаследован от std::exception

Функции-элементы

(деструктор) [virtual]	уничтожает объект исключения (virtual public of std::exception функция-элемент)
what [virtual]	возвращает поясняющую строку (virtual public of 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"};// Генерирует: ожидается только '0' или '1'}catch(std::invalid_argumentconst& ex){std::cout<<"#1: "<< ex.what()<<'\n';}   try{[[maybe_unused]]int f =std::stoi("ABBA");// Генерирует: no conversion}catch(std::invalid_argumentconst& ex){std::cout<<"#2: "<< ex.what()<<'\n';}   try{[[maybe_unused]]float f =std::stof("(3.14)");// Генерирует: no conversion}catch(std::invalid_argumentconst& ex){std::cout<<"#3: "<< ex.what()<<'\n';}}

Возможный вывод:

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

Отчёты о дефектах

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:

Номер	Применён	Поведение в стандарте	Корректное поведение
LWG 254	C++98	конструктор, принимающий constchar*, отсутствовал	добавлен
LWG 471	C++98	пояснительные строки копий std::invalid_argument были определены реализацией	они такие же, как у исходного объекта std::invalid_argument