Início / coding / Perguntas / 79240905
Accepted
Desmond Gold
Asked: 2024-12-01 12:20:14 +0800 CST

O pacote de vinculação estruturado permite pacote vazio a partir de objeto de tamanho de tupla zero?

  • 772

Associações estruturadas não permitem tipos decomponíveis vazios.

auto [] = std::make_tuple(); // error

Desde que P1061R10 foi aceito para C++26, isso permite que ligações estruturadas introduzam pacotes (desde que o pacote seja declarado dentro do contexto do modelo):

auto [...args] = return_empty_tuple();
auto [one, ...rest] = return_single_tuple();

Este último permite ...restser um pacote vazio se return_single_tuple()tiver um tamanho de ligação estruturado de 1.

Minha pergunta é: ...argsainda é possível declarar um pacote vazio mesmo que return_empty_tuple()tenha um tamanho de ligação estruturada zero (por exemplo, tamanho de tupla zero)?

c++

2 respostas

  1. Best Answer

    P1061R10 menciona "vazio" duas vezes, mas não responde sua pergunta diretamente, e o último rascunho do C++26 ainda não inclui o texto para P1061, mas ouso dizer que sim .

    Em P1061, os autores mostram muitos exemplos de como deixar ligações estruturadas introduzirem pacotes simplifica o código genérico onde std::applydeve ser usado hoje, às vezes em múltiplas camadas. Até mesmo a implementação de std::applysi mesma poderia ser simplificada para

    template <class F, class Tuple>
constexpr decltype(auto) apply(F &&f, Tuple &&t) {
    auto&& [...elems] = t;
    return std::invoke(std::forward<F>(f),
                       forward_like<Tuple, decltype(elems)>(elems)...);
}

    de acordo com a proposta. Se pacotes vazios não forem permitidos, essa implementação de std::applynão funcionaria, e nem muitas outras situações em código genérico.

    Portanto, não há dúvidas de que os autores queriam que embalagens vazias fossem permitidas.

    (Além disso, a implementação experimental do P1061 no Clang os aceita: Demo )

    • 6

  2. A redação do P1061R10 contém o seguinte:

    Um pacote de vinculação estruturada é um identificador sb que introduz zero ou mais vinculações estruturadas ([dcl.struct.bind]).

    Isso indica que é permitido que um pacote de vinculação estruturada introduza 0 vinculações estruturadas, o que já foi apontado pelo OP.

    A questão do OP é se o tamanho da ligação estruturada também pode ser 0. Não parece haver nada no artigo que o proíba. Portanto, ele é coberto pela regra geral em [temp.variadic]/8 :

    [...] Quando N é zero, a instanciação de uma expansão de pacote não altera a interpretação sintática da construção envolvente, mesmo em casos em que omitir a expansão de pacote completamente seria malformado ou resultaria em uma ambiguidade na gramática.

    Por exemplo, template <class... Bases> struct T : Bases... {};é bem formado mesmo quando Basesé um pacote vazio; não se torna equivalente a struct T : {};que seria mal formado porque não há nada depois dos dois pontos. Similarmente, auto [...args] = return_empty_tuple();deve ser bem formado e introduzir zero ligações estruturadas mesmo que seja mal formado escrever auto [] = return_empty_tuple();.

    • 2

relate perguntas