Início / coding / Perguntas / 77482581
Accepted
Damir Tenishev
Asked: 2023-11-15 01:18:25 +0800 CST

Por que as ligações estruturadas C++ não funcionam com listas de inicializadores?

  • 772

Por que esse código não compila com uma mensagem de erro?

#include <initializer_list>
    
int main() {
    auto [a, b] = { 1, 2 };
}

erro: não é possível decompor o membro inacessível 'std::initializer_list<int>::_M_array' de 'std::initializer_list<int>'

Demonstração

Mas esse código compila e funciona bem?

#include <utility>
    
int main() {
    auto [a, b] = std::make_pair(1, 2);
}

O que há de tão específico em uma lista de inicializadores que torna seus membros inacessíveis?

Existe algum tipo de suposição de que uma lista de inicializadores cria um objeto (de uma classe) com campos privados (ou mesmo "estrutura interna inacessível") ou há algo mais em jogo?

c++

1 respostas

  1. Best Answer

    A ligação estruturada funciona com matrizes ou tipos semelhantes a tuplas. De cppreference :

    Usamos Epara denotar o tipo da expressão e. (Em outras palavras, Eé equivalente a std::remove_reference_t<decltype((e ))>.)

    Uma declaração vinculativa estruturada executa então a vinculação de uma das três maneiras possíveis, dependendo de E:

    Caso 1: se Efor um tipo de array, então os nomes estão vinculados aos elementos do array.

    Caso 2: if Eé um tipo de classe não-sindical e std::tuple_size<E>é um tipo completo com um membro denominado valor (independentemente do tipo ou acessibilidade de tal membro), então o protocolo de ligação "semelhante a tupla" é usado.

    Caso 3: if Eé um tipo de classe sem união, mas std::tuple_size<E>não é um tipo completo, então os nomes são vinculados aos membros de dados acessíveis de E.

    std::initializer_listnão é um array, nem semelhante a uma tupla, nem possui membros acessíveis.

    O que há de tão específico na lista de inicializadores que torna seus membros inacessíveis?

    Simplesmente não concede acesso direto ao array subjacente. É um membro privado. std::pairpor outro lado, é semelhante a uma tupla firste secondpode ser acessado via std::tuple_element.

    • 3

relate perguntas