Início / coding / Perguntas / 79589956
Accepted
Enlico
Asked: 2025-04-24 14:30:40 +0800 CST

Por que a pesquisa de nome não qualificado de um nome dependente não encontra um lambda declarado entre a declaração do modelo e a instanciação?

  • 772

O programa a seguir está incorreto ,

inline constexpr auto makeFoo = [](auto const& x) {
    return getFoo(x);
};

inline constexpr auto getFoo = [](int const&) {
    return 1;
};

int bar() {
    return makeFoo(32);
}

e reverter as definições de makeFooe getFootorna-o correto .

Entendo que, com base no entendimento "informal" da pesquisa de nomes em duas fases:

  • makeFooé um lambda genérico e, getFooem seu corpo, é invocado em um argumento cujo tipo ainda não é conhecido, então o nome getFooainda não pode ser consultado;
  • quando a chamada makeFoo(32)é vista, o lambda operator()é intantiado com auto = int, então a busca de segunda fase pelo nome não qualificado getFooacontece;
  • isso, no entanto, é apenas ADL, então não encontra getFoo, porque esse é o nome de um lambda, ou seja, um objeto, não de uma função.

Alguém pode me orientar sobre as partes do rascunho padrão que "espelham" a explicação acima?

Suponho que [basic.lookup.unqual] e [temp.dep.res] possivelmente contenham tudo o que é necessário para explicar o caso, mas não consigo juntar as peças.

c++

2 respostas

  1. Best Answer

    O que a pesquisa dependente de argumento faz é:

    1. Determinar um conjunto de entidades associadas ( [basic.lookup.argdep]/3 )
    2. Determinar um conjunto de namespaces associados a essas entidades (primeira frase de [basic.lookup.argdep]/4 )
    3. E então... a próxima frase é:

    A pesquisa dependente de argumento encontra todas as declarações de funções e modelos de função que [...]

    Mesmo sem focar nos detalhes de onde estamos procurando, a pesquisa dependente de argumento só encontrará declarações de funções e modelos de função. getFoonão é uma função nem um modelo de função, é um objeto — então nunca será encontrado.

    Então, se você quer getFooser encontrado, precisa ser feito por meio de uma pesquisa regular — cuja declaração deve preceder sua chamada.

    • 11

  2. getFoo(x)é uma chamada dependente . Conforme afirma a Nota 1 de [temp.dep.general] , e como explica [temp.res.general] :

    Se o nome for dependente (conforme especificado em [temp.dep]), ele será pesquisado para cada especialização (após a substituição) porque a pesquisa depende de um parâmetro de modelo.

    Isso basicamente significa que o nome getFoonão fica imediatamente malformado makeFooporque a busca pelo nome está sendo atrasada.

    O auto const&parâmetro cria makeFooum lambda genérico e, portanto, o operador de chamada do tipo de fechamento é um modelo. O efeito é como se você escrevesse algo como:

    template <typename T>
constexpr auto makeFoo::operator()(T const& x) {
    return getFoo(x); // dependent call
}

    Isso é problemático por causa de [temp.dep.candidate] p1 :

    Um nome que aparece em uma declaração D de um modelo T é pesquisado de onde ele aparece em uma declaração não especificada de T que é o próprio D ou [...].

    getFooé um nome que aparece na declaração de um modelo e, portanto, é consultado em makeFoo, não posteriormente, onde getFooseria visível. Isso torna seu programa malformado ao instanciar operator()<int>().

    Nota sobre pesquisa dependente de argumento

    Como você apontou, o ADL possui regras especiais, que tornariam o programa válido se ele getFoofosse encontrado pelo ADL. Essas regras especiais podem ser encontradas em [basic.lookup.argdep] p4.

    Se a pesquisa for para um nome dependente ([temp.dep], [temp.dep.candidate]), a pesquisa acima também será executada a partir de cada ponto no contexto de instanciação ([module.context]) da pesquisa, ignorando adicionalmente qualquer declaração que apareça em outra unidade de tradução, esteja anexada ao módulo global e seja descartada ([module.global.frag]) ou tenha vinculação interna.

    • 6

relate perguntas