atributo de C++: fallthrough (desde C++17)

 

C++

Apoyo de compiladores

Implementaciones independientes y albergadas

Lenguaje

Biblioteca estándar

Encabezados de la biblioteca estándar

Requisitos denominados

Macros de prueba de característica (C++20)

Biblioteca de apoyo del lenguaje

Biblioteca de conceptos (C++20)

Biblioteca de diagnósticos

Biblioteca de gestión de memoria

Biblioteca de metaprogramación (C++11)

Biblioteca de servicios generales

Biblioteca de contenedores

Biblioteca de iteradores

Biblioteca de rangos (C++20)

Biblioteca de algoritmos

Biblioteca de cadenas

Biblioteca de procesamiento de texto

Biblioteca numérica

Biblioteca de fecha y hora

Biblioteca de entrada/salida

Biblioteca del sistema de archivos (C++17)

Biblioteca de apoyo de concurrencia (C++11)

Biblioteca de apoyo de ejecución (C++26)

Especificaciones técnicas

Índice de símbolos

Bibliotecas externas

 

Lenguaje C++

 

Declaraciones

Resumen sintaxis de declaración sec-decl-especificadores declarador Especificadores typedef inline especificador de función virtual especificador de función explicit friend constexpr (C++11) consteval (C++20) constinit (C++20) especificadores de clase de almacenamiento classstruct union enum decltype (C++11) auto (C++11) alignas (C++11) constvolatile especificador de tipo elaborado atributos (C++11)

Declaradores referencia puntero array Declaraciones de bloques declaración simple → declaración de vínculos estructurados (C++17) declaración de alias(C++11) definición de alias de espacio de nombres declaración using directiva using declaración static_assert (C++11) declaración asm declaración de enum opaca(C++11) Otras declaraciones definición de espacio de nombres declaración de función declaración de plantilla de clase declaración de plantilla de función creación de plantilla explícita(C++11) especialización de plantilla explícita especificación de vinculación declaración de atributos (C++11) declaración vacía

 

Atributos

assume (C++23)

carries_dependency (C++11)

deprecated (C++14)

fallthrough (C++17)

indeterminate (C++26)

likely (C++20)

maybe_unused (C++17)

nodiscard (C++17)

noreturn (C++11)

no_unique_address (C++20)

optimize_for_synchronized (TM TS)

unlikely (C++20)

 

See More

Indica que la caída (fallthrough, ya que control del flujo del programa no fue controlado por una instrucción break) de la etiqueta case previa es intencional y no deberá ser diagnosticada por un compilador que advierte acerca de este comportamiento.

Sintaxis

[[fallthrough]]

Explicación

Solamente puede aplicarse a la instrucción nula para crear una instrucción fallthrough ([[fallthrough]];).

una instrucción fallthrough solamente puede ser usada en una instrucción switch, donde la próxima instrucción a ser ejecutada es una instrucción con una etiqueta case o default para esa instrucción switch. Si la instrucción fallthrough se encuentra dentro de un bucle, la siguiente instrucción (etiquetada) tiene que formar parte de la misma iteración de ese bucle.

Ejemplo

Ejecuta este código

void f(int n) {
  void g(), h(), i();
  switch (n) {
    case 1:
    case 2:
      g();
     [[fallthrough]];
    case 3: // no hay advertencia sobre fallthrough
      h();
    case 4: // el compilador podría advertir sobre fallthrough
      if(n < 3) {
          i();
          [[fallthrough]]; // de acuerdo
      }
      else {
          return;
      }
    case 5:
      while (false) {
        [[fallthrough]]; // mal formado: la próxima instrucción no es parte de la misma iteración
      }
    case 6:
      [[fallthrough]]; // mal formado: no hay una etiqueta case o default subsecuente
  }
}