Middle C++ — Perguntas de entrevista C++

O que é a regra dos cinco, e o que o compilador gera para você?

Se uma classe precisa de um destrutor, construtor de cópia ou atribuição de cópia personalizados, quase certamente precisa dos cinco mais o construtor de movimento e a atribuição de movimento — porque ela possui um recurso. O compilador os gera implicitamente, mas declarar qualquer um deles suprime alguns dos outros: escrever um destrutor para a geração das operações de movimento, e as cópias silenciosamente tomam o lugar delas. A regra dos zero é ainda melhor — possuir recursos através de membros que já se gerenciam sozinhos.

O que `std::move` realmente faz?

Nada em tempo de execução. É um cast incondicional para uma referência rvalue, que muda a resolução de sobrecarga para que um construtor ou atribuição de movimento possa ser selecionado. Se o tipo não tem operações de movimento, a cópia é escolhida e o código continua copiando silenciosamente. Depois de um move, a origem fica válida mas não especificada — você pode atribuir a ela ou destruí-la, mas não assumir seu conteúdo.

O que é copy elision e RVO?

O compilador construindo um objeto retornado diretamente no armazenamento de quem chamou em vez de construí-lo e depois copiar ou mover. RVO nomeado e sem nome foram otimizações antigas que podiam eliminar efeitos colaterais observáveis; desde o C++17 a elision é obrigatória ao retornar um prvalue. A consequência prática é que retornar por valor não é a pessimização que as pessoas continuam assumindo, e return std::move(x) geralmente piora as coisas ao bloquear o NRVO.

Quando os iteradores são invalidados?

Depende do contêiner e vale a pena saber com exatidão. vector invalida tudo ao realocar e tudo a partir do ponto de erase em diante; deque invalida todos os iteradores ao inserir no meio; list e os contêineres associativos mantêm os iteradores válidos exceto o do elemento removido. O bug clássico é fazer erase dentro de um loop, por isso erase retorna o próximo iterador válido e por isso existe o idiom erase-remove.

`std::map` vs `std::unordered_map` — como você escolhe?

map é uma árvore balanceada: iteração ordenada, busca O(log n), iteradores estáveis, previsível. unordered_map é uma tabela hash: O(1) em média mas O(n) no pior caso, sem ordem, o rehashing invalida iteradores, e depende da qualidade do hash. Escolha map quando precisar de ordem ou de um pior caso limitado, unordered_map quando as buscas dominam e a ordem não importa.

Quais são as garantias de segurança contra exceções?

Quatro níveis: no-throw, forte (a operação se completa ou deixa o estado inalterado), básica (os invariantes se mantêm e nada vaza, mas o estado pode ter mudado), e nenhuma. A garantia forte geralmente é implementada fazendo o trabalho numa cópia e trocando no final. Destrutores não devem lançar — durante o desenrolamento da stack uma segunda exceção chama std::terminate, por isso destrutores são noexcept por padrão.