C++ 11 calificador noexcept y métodos en línea

Question

¿Proporciona C++ 11 alguna garantía sobre las funciones o métodos inline, cuando realizan llamadas a otras funciones declaradas con el calificador noexcept?

class My_String { ... 

    const char * c_str() const noexcept; 
    inline operator const char *() const { return c_str(); } 
}; 

que asumen un compilador de optimización sería libre de aplicar el método en línea sin plena EH y la pila de desenrollado, según el noexcept calificación. También esperaría esto por un simple método de acceso también:

... inline operator const char *() const { return m_buffer; } 

Aunque este ejemplo se ve trivial, a excepción garantiza importa cuando se utiliza para implementar otras clases o funciones. Q: ¿El estándar C++ 11 aborda esto o los métodos en línea deben marcarse noexcept? ¿O es mejor omitir noexcept a menos que requiera para que coincida con una especificación de clase o función?

Edit: Para evitar algunas confusiones: ¿Está implícito noexcept para el método en línea?

Answer 1

Lo siento, no. Las únicas excepciones implícitas son

• En destructores.
• En otras funciones miembro explícitamente predeterminadas o implícitamente predeterminadas: constructores predeterminados, copia y mueve constructores, y copia y mueve la asignación, cuando no se declara en una definición de clase, o se declara con = default;.
• En funciones de desasignación: operator delete y operator delete[].

Por lo tanto, con cualquier declaración de ejemplo, noexcept(static_cast<const char*>(std::declval<const MyString>())) debe ser false. Continúa y escribe noexcept donde podría importar.

Por supuesto, como ha observado, una optimización del compilador todavía puede notar que una función en línea no puede generar excepciones y simplificar el manejo de excepciones en la persona que llama.