explicit
specifier
Contenidos |
Sintaxis
explicit
|
(1) | ||||||||
explicit (
expression
)
|
(2) | (desde C++20) | |||||||
| expression | - | expresión constante convertida contextualmente de tipo bool |
|
2)
El especificador
explicit
puede utilizarse con una expresión constante. La función es explícita si y solo si esa expresión constante se evalúa como
true
.
|
(since C++20) |
El especificador explicit solo puede aparecer dentro de la decl-specifier-seq de la declaración de un constructor o función de conversión (desde C++11) dentro de la definición de su clase.
Notas
Un constructor con un único parámetro no predeterminado (until C++11) que se declara sin el especificador de función explicit se denomina converting constructor .
Tanto los constructores (excepto el copy / move ) como las funciones de conversión definidas por el usuario pueden ser plantillas de función; el significado de explicit no cambia.
|
Un token
struct S { explicit (S)(const S&); // error in C++20, OK in C++17 explicit (operator int)(); // error in C++20, OK in C++17 }; |
(desde C++20) |
| Macro de prueba de características | Valor | Std | Característica |
|---|---|---|---|
__cpp_conditional_explicit
|
201806L
|
(C++20) | explicit condicional |
Palabras clave
Ejemplo
struct A { A(int) {} // constructor de conversión A(int, int) {} // constructor de conversión (C++11) operator bool() const { return true; } }; struct B { explicit B(int) {} explicit B(int, int) {} explicit operator bool() const { return true; } }; int main() { A a1 = 1; // OK: la inicialización por copia selecciona A::A(int) A a2(2); // OK: la inicialización directa selecciona A::A(int) A a3 {4, 5}; // OK: la inicialización directa de lista selecciona A::A(int, int) A a4 = {4, 5}; // OK: la inicialización por copia de lista selecciona A::A(int, int) A a5 = (A)1; // OK: la conversión explícita realiza static_cast if (a1) { } // OK: A::operator bool() bool na1 = a1; // OK: la inicialización por copia selecciona A::operator bool() bool na2 = static_cast<bool>(a1); // OK: static_cast realiza inicialización directa // B b1 = 1; // error: la inicialización por copia no considera B::B(int) B b2(2); // OK: la inicialización directa selecciona B::B(int) B b3 {4, 5}; // OK: la inicialización directa de lista selecciona B::B(int, int) // B b4 = {4, 5}; // error: la inicialización por copia de lista no considera B::B(int, int) B b5 = (B)1; // OK: la conversión explícita realiza static_cast if (b2) { } // OK: B::operator bool() // bool nb1 = b2; // error: la inicialización por copia no considera B::operator bool() bool nb2 = static_cast<bool>(b2); // OK: static_cast realiza inicialización directa [](...){}(a4, a5, na1, na2, b5, nb2); // suprime advertencias de "variable no utilizada" }