Início / coding / Perguntas / 77831664
Accepted
edrezen
Asked: 2024-01-17 18:24:11 +0800 CST

reference_wrapper de uma referência esquerda

  • 772

No código a seguir, tento usar um vetor v1feito de referências de um tipo e um vetor v2feito de uma referência de um tipo:

#include <string>
#include <vector>

int main (int argc, char* argv[])
{
   std::string  object ("foobar");
   std::string& refobj = object;

   std::vector<std::reference_wrapper<decltype(object)>> v1;

   // The following line doesn't compile => error: forming pointer to reference type ‘std::__cxx11::basic_string<char>&
   std::vector<std::reference_wrapper<decltype(refobj)>> v2;
   
   std::vector<std::reference_wrapper<std::remove_reference_t<decltype(refobj)>>> v3;
}

Como esperado, o código é compilado para, v1mas não para v2, o que também deve estar ok, IMHO; nesse caso, o wrapper de referência não deve fazer nada, pois o tipo fornecido já é uma referência.

Observe que posso conseguir o que desejo com o vetor, v3mas o código parece um pouco complicado.

Pergunta : por que o compilador não fica satisfeito durante a compilação v2? Em outras palavras, por que devo primeiro remover a referência de tipo antes de adicionar uma com reference_wrapper?

c++

1 respostas

  1. Best Answer

    Em outras palavras, por que devo primeiro remover a referência de tipo antes de adicionar uma com reference_wrapper ?

    reference_wrapperna verdade, não "adiciona uma referência". Apenas emula a semântica de referência, mas ao mesmo tempo permite religar a "referência". A religação não é possível com referências. Essa é uma das razões pelas quais std::reference_wrapperexiste em primeiro lugar.

    Poderia std::reference_wrapperretirar a referência para você? Sim, poderia fazer o mesmo que você fez manualmente. No entanto, tentar lidar com todos os tipos que não correspondem std::reference_wrapperestá além do escopo do std::reference_wrapper. Obter um erro do compilador é "bom o suficiente". Além disso, seria bastante confuso quando std::reference_wrapper<T>::typepoderia ser diferente de T.

    Você pode usar std::ref:

    #include <string>
#include <vector>

int main (int argc, char* argv[])
{
   std::string  object ("foobar");
   std::string& refobj = object;
   std::vector<decltype(std::ref(refobj))> v3;
}
    • 2

relate perguntas