Aviso C26440

A função pode ser declarada 'noexcept'.

Diretrizes do C++ Core F.6: se sua função não deve ser lançada, declare-a noexcept

Se o código não deve causar exceções, ele deve ser marcado usando o noexcept especificador. Essa anotação ajuda a simplificar o tratamento de erros no lado do código do cliente e permite que o compilador faça mais otimizações.

Comentários

• Uma função é considerada não lançada se:
  • não tem declarações explícitas throw ;
  • As chamadas de função em seu corpo, se houver, invocam apenas funções que provavelmente não lançarão: constexpr ou funções marcadas com qualquer especificação de exceção que implique comportamento não gerador (incluindo algumas especificações não padrão).
• Especificadores não padrão e desatualizados como throw() ou __declspec(nothrow) não são equivalentes a noexcept.
• Especificadores explícitos e noexcept(false) são respeitados noexcept(true) adequadamente.
• As funções marcadas como constexpr não devem causar exceções e não são analisadas.
• A regra também se aplica a expressões lambda.
• A lógica não considera chamadas recursivas como potencialmente não geradoras. Essa lógica pode mudar no futuro.

Exemplo

Todas as funções, exceto o destruidor, avisarão porque estão faltando noexcept.

struct S
{
    S() {} // C26455, Default constructor may not throw. Declare it 'noexcept'
    ~S() {}

    S(S&& s) {/*impl*/} // C26439, This kind of function may not throw. Declare it 'noexcept' (f.6)
    S& operator=(S&& s) {/*impl*/} // C26439, This kind of function may not throw. Declare it 'noexcept' (f.6)

    S(const S& s) {/*impl*/} // C26440, This function can be declared 'noexcept'
    S& operator=(const S& s) {/*impl*/} // C26440, This function can be declared 'noexcept'
};

Com o noexcept decorando a mesma estrutura, todos os avisos são removidos.

struct S
{
    S() noexcept {}
    ~S() {}

    S(S&& s) noexcept {/*impl*/}
    S& operator=(S&& s) noexcept {/*impl*/}

    S(const S& s) noexcept {/*impl*/}
    S& operator=(const S& s) noexcept {/*impl*/}
};