Godbolt:
Este programa retorna sem ambiguidade 1, não 2, porque f (b) faz com que a ADL em um argumento de
Tipo real n1 :: a e encontra n1 :: f.A existência de n2 :: f não importa.O tipo que eu posso me referir aqui como P3 :: a. ”(Seu nome verdadeiro é n1 :: n2 :: a, mas não
tem que usar esse nome aqui.) Enquanto isso, onde quer que você defina n1 :: n2 :: a :: mf, você não precisa nomear com isso
seu verdadeiro nome.Vai entrar em jogo particularmente
Se você está pensando em substituir
com
Desde que isso muda o “nome verdadeiro” da minha :: string de “my :: string” para “std :: string”
que pertence a um espaço de nome completamente diferente.Você pode, por exemplo, escrever (Godbolt):
Basicamente, isso diz: “Gostaria de definir a função de membro do MF de algum tipo.
Fonte: https://quuxplusone.github.io/blog/2025/08/01/true-names/
