Пример в C ++ 23 Стандарт не работает в GCC? ⇐ C++

[Anonymous]

В поисках неквалифицированного имени стандарт дает пример 1. < /p>

Код: Выделить всё

struct T1 { struct U { int i; }; };
struct T2 { };
struct U1 {};
struct U2 {};

struct B {
using T = T1;
using U = U1;
operator U1 T1::*();
operator U1 T2::*();
operator U2 T1::*();
operator U2 T2::*();
};

template
int g() {
using U = U2;
X().operator U T::*();                // #1, searches for T in the scope of X first
X().operator U decltype(T())::*();    // #2
return 0;
}
int x = g();                     // #1 calls B​::​operator U1 T1​::​*
// #2 calls B​::​operator U1 T2​::​*

Несверное имя, которое представляет собой имя компонента ([expr.prim.id.unqual]) из-за специфического фактора или ptr-operator из emepe-id , который он появляется в том же моде. Если этот поиск ничего не находит, он подвергается неквалифицированному поиску имени; В каждом случае только имена, которые обозначают типы или шаблоны, чьи специализации рассматриваются. что первым вызовом должен быть оператор U1 T1 ::*. While the expression decltype(T()) will be instantiated to be T2, the second call should be operator U1 T2::*().
It shocks me so that I made an experiment by adding codes below and compiling it:
#include

B::operator U1 T1::*()
{
std::cout

Подробнее здесь: https://stackoverflow.com/questions/795 ... ork-in-gcc