Início / coding / Perguntas / 79450319
Accepted
NJMR
Asked: 2025-02-19 13:56:16 +0800 CST

C++17: A eliminação de cópia garantida não está funcionando

  • 772

Eu escrevi o código abaixo...

#include <iostream>
using namespace std;

struct Error {
   Error() { cout << "Constructor called\n"; }
   Error(const Error&) { cout << "Copy Constructor called\n"; }
};
void test() {
   throw Error();
}
int main() {
   try {
      test();
   }
   catch (Error e) {
   }
}

Estou obtendo a seguinte saída no C++17 e versões posteriores...

Constructor called
Copy Constructor called

Até mesmo a elisão de cópia garantida do C++17 diz "Copy elision is mandatory in Throwing and catching exceptions by value". Estou obtendo a "Copy Constructor called"saída as.

Estou esquecendo de alguma coisa?

c++

1 respostas

  1. Best Answer

    A eliminação de cópia é obrigatória em Lançar e capturar exceções por valor

    Honestamente, isso não é obrigatório, veja abaixo, e funciona como esperado - quando test()é chamado, um compilador reserva uma memória onde Errorserá construído se test()lançar uma exceção. Até o C++17, ele podia criar Errore copiar para esse armazenamento reservado.

    A cópia que você observa é feita aqui: catch (Error e)- Erroré copiado daquele armazenamento reservado para um argumento local de função. Até o C++17, a saída poderia ser

    Constructor called
Copy Constructor called
Copy Constructor called

    Se você não quiser copiar um objeto, corrija-o: catch (Error &e)ou catch (const Error &e).

    #include <iostream>

struct Error {
  Error() { std::cout << "Constructor called\n"; }
  Error(const Error &) { std::cout << "Copy Constructor called\n"; }
};

void test() { throw Error(); }

int main() {
  try {
    test();
  } catch (const Error &e) {
  }
}

// Output since C++17:
// Constructor called
// 
// Possible output until C++17:
// Constructor called
// Copy Constructor called

    classe.copy.elision#1.4

    a inicialização da cópia opode ser omitida tratando a declaração de exceção como um alias

    O padrão está dizendo que catch (Error e) pode ser tratado como catch (Error &e). Observe que pode não é deve .

    • 7

relate perguntas