std:: logic_error
|
Определено в заголовочном файле
<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
.
Все функции-члены
std::logic_error
являются
constexpr
: возможно создавать и использовать
std::logic_error
объекты при вычислении константного выражения.
Однако,
|
(since C++26) |
Диаграмма наследования
Содержание |
Функции-члены
|
(constructor)
|
создает новый объект
logic_error
с заданным сообщением
(public member function) |
|
operator=
|
заменяет объект
logic_error
(public member function) |
std::logic_error:: logic_error
|
logic_error
(
const
std::
string
&
what_arg
)
;
|
(1) | (constexpr since C++26) |
|
logic_error
(
const
char
*
what_arg
)
;
|
(2) | (constexpr since C++26) |
|
logic_error
(
const
logic_error
&
other
)
;
|
(3) |
(noexcept since C++11)
(constexpr since C++26) |
std::logic_error
, то
std::
strcmp
(
what
(
)
, other.
what
(
)
)
==
0
. Из конструктора копирования не может быть выброшено исключение.
Параметры
| what_arg | - | поясняющая строка |
| other | - | другой объект исключения для копирования |
Исключения
Примечания
Поскольку копирование
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)
(constexpr since C++26) |
|
Присваивает содержимое объекта
other
. Если
*
this
и
other
оба имеют динамический тип
std::logic_error
, то
std::
strcmp
(
what
(
)
, other.
what
(
)
)
==
0
после присваивания. Оператор копирующего присваивания не может генерировать исключения.
Параметры
| other | - | другой объект исключения для присваивания |
Возвращаемое значение
* this
Примечания
После решения
LWG issue 471
, производный класс стандартного исключения должен иметь общедоступный оператор присваивания. Он может быть неявно определен, если пояснительные строки, полученные с помощью
what()
, одинаковы для исходного объекта и скопированного объекта.
Унаследовано от std:: exception
Функции-члены
|
[virtual]
|
уничтожает объект исключения
(виртуальная публичная функция-член
std::exception
)
|
|
[virtual]
|
возвращает поясняющую строку
(виртуальная публичная функция-член
std::exception
)
|
Примечания
| Макрос тестирования возможностей | Значение | Стандарт | Возможность |
|---|---|---|---|
__cpp_lib_constexpr_exceptions
|
202502L
|
(C++26) | constexpr типы исключений |
Отчеты о дефектах
Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены ретроактивно к ранее опубликованным стандартам C++.
| DR | Applied to | Behavior as published | Correct behavior |
|---|---|---|---|
| LWG 254 | C++98 | the constructor accepting const char * was missing | added |
| LWG 471 | C++98 |
the explanatory strings of
std::logic_error
's
copies were implementation-defined |
they are the same as that of the
original
std::logic_error
object
|