std:: logic_error
|
Definido en el encabezado
<stdexcept>
|
||
|
class
logic_error
;
|
||
Define un tipo de objeto que será lanzado como excepción. Reporta errores que son consecuencia de una lógica defectuosa dentro del programa, como violar precondiciones lógicas o invariantes de clase, y pueden ser prevenibles.
Ningún componente de la biblioteca estándar lanza esta excepción directamente, pero los tipos de excepción
std::invalid_argument
,
std::domain_error
,
std::length_error
,
std::out_of_range
,
std::future_error
, y
std::experimental::bad_optional_access
derivan de
std::logic_error
.
Todas las funciones miembro de
std::logic_error
son
constexpr
: es posible crear y utilizar objetos
std::logic_error
en la evaluación de una expresión constante.
Sin embargo,
|
(since C++26) |
Diagrama de herencia
Contenidos |
Funciones miembro
|
(constructor)
|
construye un nuevo objeto
logic_error
con el mensaje dado
(función miembro pública) |
|
operator=
|
reemplaza el objeto
logic_error
(función miembro pública) |
std::logic_error:: logic_error
|
logic_error
(
const
std::
string
&
what_arg
)
;
|
(1) | (constexpr desde C++26) |
|
logic_error
(
const
char
*
what_arg
)
;
|
(2) | (constexpr desde C++26) |
|
logic_error
(
const
logic_error
&
other
)
;
|
(3) |
(noexcept desde C++11)
(constexpr desde C++26) |
std::logic_error
entonces
std::
strcmp
(
what
(
)
, other.
what
(
)
)
==
0
. Ninguna excepción puede ser lanzada desde el constructor de copia.
Parámetros
| what_arg | - | cadena explicativa |
| other | - | otro objeto de excepción a copiar |
Excepciones
Notas
Debido a que copiar
std::logic_error
no está permitido lanzar excepciones, este mensaje normalmente se almacena internamente como una cadena con conteo de referencias asignada por separado. Esta es también la razón por la cual no hay un constructor que tome
std::string&&
: tendría que copiar el contenido de todos modos.
Antes de la resolución de LWG issue 254 , el constructor no copia solo podía aceptar std::string . Esto hace que la asignación dinámica sea obligatoria para construir un objeto std::string .
Después de la resolución de
LWG issue 471
, una clase de excepción estándar derivada debe tener un constructor de copia públicamente accesible. Puede estar definido implícitamente siempre que las cadenas explicativas obtenidas por
what()
sean las mismas para el objeto original y el objeto copiado.
std::logic_error:: operator=
|
logic_error
&
operator
=
(
const
logic_error
&
other
)
;
|
(noexcept desde C++11)
(constexpr desde C++26) |
|
Asigna los contenidos con los de
other
. Si
*
this
y
other
tienen ambos el tipo dinámico
std::logic_error
entonces
std::
strcmp
(
what
(
)
, other.
what
(
)
)
==
0
después de la asignación. Ninguna excepción puede ser lanzada desde el operador de asignación de copia.
Parámetros
| other | - | otro objeto de excepción a asignar |
Valor de retorno
* this
Notas
Después de la resolución de
LWG issue 471
, una clase de excepción estándar derivada debe tener un operador de asignación de copia públicamente accesible. Puede estar definido implícitamente siempre que las cadenas explicativas obtenidas por
what()
sean las mismas para el objeto original y el objeto copiado.
Heredado de std:: exception
Funciones miembro
|
[virtual]
|
destruye el objeto de excepción
(función miembro pública virtual de
std::exception
)
|
|
[virtual]
|
devuelve una cadena explicativa
(función miembro pública virtual de
std::exception
)
|
Notas
| Macro de prueba de características | Valor | Estándar | Característica |
|---|---|---|---|
__cpp_lib_constexpr_exceptions
|
202502L
|
(C++26) | constexpr tipos de excepción |
Informes de defectos
Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares publicados anteriormente de C++.
| DR | Aplicado a | Comportamiento publicado | Comportamiento correcto |
|---|---|---|---|
| LWG 254 | C++98 | faltaba el constructor que acepta const char * | añadido |
| LWG 471 | C++98 |
las cadenas explicativas de las copias de
std::logic_error
estaban definidas por la implementación |
son las mismas que las del objeto
original de
std::logic_error
|