función de sintaxis intento de captura y principal

Question

Un poco conocida, pero casi nunca se utiliza característica de C++ se da una declaración:

void foo(); 

Una posible definición legal podría ser:

void foo() try { 
    throw 42; 
} 
catch(...) { 
} 

Aquí el whole function implementation wrapped is within a try/catch pair, que parece ser similar a permitir this.

¿Es eso legal hacer por int main()? Por ejemplo:

int main() try { 
    throw 42; 
} 
catch(...) { 
} 

The rules for main, n3290 § 3.6.1 sobre todo hablar de lo argumentos que debe tomar y lo que devuelve - que no parecen prohibir explícitamente como lo hacen con varias otras cosas extrañas (por ejemplo, vínculos) es posible que tengas la tentación de probar.

¿Es esto legal y bien definido?

Answer 1

La norma no prohíbe su uso dentro [basic.start.main], y, mientras que obliga a todas las implementaciones de apoyo al menos int main() {/*...*/ } y int main(int argc, char* argv[]) {/*...*/}, no limita las implementaciones a esas dos declaraciones (3.6.1, párrafo 2).

De forma aislada, parecería al menos que es legal, aunque, por supuesto, se refiere solo a las declaraciones de funciones, no a las definiciones de funciones.

Lectura en, [except.handle], párrafo 13 indica lo siguiente:

Excepciones lanzadas en los destructores de objetos con almacenamiento estático duración o en los constructores de objetos de espacio de nombres de alcance no son capturados por un function-try-block en main(). (. 15.3 párrafo 13)

Se hace mención específica de un función-TRY-bloque colocado en main(), lo que implica fuertemente que tal estructura es legal y ha definido comportamiento. Agregar la información de que main() es solo especial en su nombre y tipo de retorno, y que las implementaciones no pueden sobrecargarlo para alterar cualquier comportamiento, hace un caso bastante sólido de que actúa de manera normal excepto cuando se lo menciona especialmente como en la cita anterior . En otras palabras, sí, es legal y está bien definido.

La entrada de blog que suministré en la primera versión de esta respuesta realmente hace un buen trabajo de ilustrar las reglas dadas por el blockquote arriba, así que voy a retain the link to it, a pesar de que no trata directamente el tema en el PO de pregunta.

En cuanto a un comentario sobre el OP, puede emitir declaraciones de devolución dentro de un function-try-block, y [excepto.handle] tiene esto que decir:

Salir del final de una función-try-block es equivalente a un retorno sin valor; esto da como resultado un comportamiento indefinido en una función de devolución de valor (6.6.3). (15.3 párr. 15)

Si estás en un bloque catch al final de main, usted no va a fluir sobre el cuerpo de la función (que sería el intento de bloque en este caso) , por lo que no se aplica la regla de que main llama automáticamente a return 0; en flowover. Debe devolver algún int (muy posiblemente un código de error) para evitar volverse indefinido.

Answer 2

Lo he probado, compila y funciona como se esperaba. Una formulación peculiar, pero no creo que rompa ninguna regla. Para mayor claridad (por sí mismo y futuros quienes mantienen código), también se puede reformular como:

int main() 
{ 
    try { 
     throw 42; 
    } 
    catch(int /*...*/) { 
    } 
}