¿Agregar `noexcept(false)` beneficia al código de alguna manera?

Recientemente en mi código he estado escribiendo explícitamente noexcept(false) en funciones que sé que arrojan excepciones, principalmente para las personas que leen el código. Sin embargo, me pregunto si esto afecta el comportamiento de mi código o la forma en que el compilador lo interpreta. ¿Hace alguna diferencia?

Nota: soy consciente de que los destructores son implícitamente noexcept y que debe especificar noexcept(false) para cambiar eso, me pregunto acerca de otras funciones.

No tener un especificador de excepción y declarar explícitamente noexcept(false) son equivalentes, ver §15.4/12:

Una función sin especificación de excepción o con una especificación de excepción de la forma noexcept(constant-expression) donde la expresión constante produce false permite todas las excepciones.

Por lo tanto, el compilador no debe distinguir entre ellos al considerar las excepciones.

Más importante aún, no hay necesidad de que estés agregando noexcept(false) a sus funciones. Como desarrollador de C++, debe asumir que todas las funciones se lanzan de forma predeterminada (razón por la cual el estándar adopta esta postura), por lo que no está agregando información nueva al escribirla; es una pérdida de tiempo para todos.

Más bien, marque el caso especial donde una función definitivamente no tira con noexcepty marque los casos en los que una función mayo tirar dependiendo de alguna condición con noexcept(condition).

Si su función es intencionalmente la fuente de alguna excepción Eescríbelo en tu documentación.

En su libro More Exceptional C++, Sutter de hierbas tiene el siguiente fragmento (págs. 130):

La respuesta correcta al Ejemplo 19-1 es mucho más simple:

// Example 19-4: The right solution
//
T::~T() /* throw() */
{
 // ... code that won't throw ...
}

El ejemplo 19-4 demuestra cómo tomar una decisión de diseño en lugar de divagar.

Tenga en cuenta que el throw() La especificación de excepción throws-nothing es solo un comentario. Ese es el estilo que he elegido seguir, en parte porque resulta que las especificaciones de excepción confieren mucho menos beneficio de lo que valen.. Si decide escribir o no la especificación es una cuestión de gusto.

(énfasis mío)

Por lo tanto, creo que debo señalar que uno de los principales expertos en código seguro de excepciones de C++ parece estar en contra del concepto general de agregar especificaciones de excepción para que las use el compilador (pero aún así dejarlo en el código para que los programadores lo entiendan) .

Solo pensé que podría ser información interesante…