Especificador explicit
De cppreference.com
explicit | (1) | ||||||||
explicit (expresión) | (2) | (desde C++20) | |||||||
| expresión | - | Una expresión constante convertida contextualmente de tipo bool |
1) Especifica que un constructor o función de conversión(desde C++11) o guía de deducción(desde C++17) es explícito(a), es decir, no se puede usar para conversiones implícitas e inicialización de copia.
2) El especificador explicit se puede usar con una expresión constante. La función es explícita si y solo si esa expresión constante se evalúa a true. | (desde C++20) |
El especificador explicit puede aparecer solamente dentro de la sec-decl-especificadores de la declaración de un constructor o función de conversión(desde C++11) dentro de la definición de su clase.
[editar]Notas
A un constructor con un solo parámetro no predeterminado(hasta C++11) que se declara sin el especificador de función explicit se le denomina constructor de conversión.
Ambos constructores (aparte del constructor de copia/movimiento) y las funciones de conversión definidas por el usuario pueden ser plantillas de función; el significado de explicit no cambia.
Un símbolo struct S {explicit(S)(const S&);// ERROR en C++20, de acuerdo en C++17explicit(operator int)();// ERROR en C++20, de acuerdo en C++17}; | (desde C++20) |
| Macro de prueba de característica | Valor | Estándar | Comentario |
|---|---|---|---|
__cpp_conditional_explicit | 201806L | (C++20) | explicit(bool) |
[editar]Ejemplo
Ejecuta este código
struct A { A(int){}// constructor de conversión A(int, int){}// constructor de conversión (C++11) operator bool()const{returntrue;}}; struct B {explicit B(int){}explicit B(int, int){}explicit operator bool()const{returntrue;}}; int main(){ A a1 =1;// de acuerdo: inicialización de copia selecciona a A::A(int) A a2(2);// de acuerdo: inicialización directa selecciona a A::A(int) A a3 {4, 5};// de acuerdo: inicialización directa de lista selecciona a // A::A(int, int) A a4 ={4, 5};// de acuerdo: inicialización de copia de lista selecciona a // A::A(int, int) A a5 =(A)1;// de acuerdo: conversión explícita realiza static_castif(a1);// de acuerdo: A::operator bool()bool na1 = a1;// de acuerdo: inicialización de copia selecciona a A::operator bool()bool na2 =static_cast<bool>(a1);// de acuerdo: static_cast realiza inicialización // directa // B b1 = 1; // ERROR: inicialización de copia no considera a B::B(int) B b2(2);// de acuerdo: inicialización directa selecciona a B::B(int) B b3 {4, 5};// de acuerdo: inicialización directa de lista selecciona a // B::B(int, int)// B b4 = {4, 5}; // ERROR: inicialización de copia de lista no considera a B::B(int,int) B b5 =(B)1;// de acuerdo: conversión explícita realiza static_castif(b2);// de acuerdo: B::operator bool()// bool nb1 = b2; // ERROR: inicialización de copia no considera a B::operator bool()bool nb2 =static_cast<bool>(b2);// de acuerdo: static_cast realiza inicialización // directa [a4, a5, na1, na2, b5, nb2]{};// puede suprimir las advertencias // "variable no utilizada”}
