Czy "używanie Base :: operator T" jest dozwolone, gdzie `T` jest parametrem typu szablonu?

Question

Rozważmy przykład:

struct B { operator int(); }; 

template<class T> 
struct X:B 
{ 
    using B::operator T; 
}; 

GCC przyjmuje kod, a Clang i MSVC odrzuca. Co jest poprawne?

Zauważ, że jeśli typ bazowy jest zależny, wszystkie kompilatory zaakceptować kod:

template<class T> 
struct B { operator T(); }; 

template<class T> 
struct X:B<T> 
{ 
    using B<T>::operator T; 
}; 

Answer 1

myślę GCC ma rację, w § 7.3.3/1, możemy znaleźć:

Zbiór deklaracji wprowadzonych przez Użycie-deklaracja zostanie znaleziona poprzez wykonanie kwalifikowanego sprawdzania nazw (3.4.3, 10.2) dla nazwy w deklaracji użycia, z wyłączeniem funkcji ukrytych w sposób opisany poniżej.

Nie widzę żadnego powodu, dlaczego operator T nie będzie można znaleźć, rzeczywiście:

template<class T> 
struct X: B { 
    T f() { return B::operator T; } 
}; 

... kompiluje grzywny z g ++ i szczęk (nie testowałem na MSVC).

Nie mogę znaleźć coś w standardowej specyficzne dla konwersji functionsfor nazwy kwalifikowanej odnośnika wyjątkiem:

Od specjalizacje szablonów członkowskich dla funkcji konwersji nie zostaną znalezione przez wyszukiwania nazw, nie są one uważane kiedy używając-deklaracja określa funkcję konwersji (14.5.2).

Ale nie jest specjalizacją szablonu funkcji członka, więc nie należy brać pod

Answer 2

Hmm ... GCC nie podoba się pierwszy albo. Kompiluje się, chyba że spróbujesz utworzyć instancję o numerze struct X z parametrem szablonu innym niż int. Jaki byłby sens X<double>::operator double()? Klasa B nie ma takiego operatora, ale spróbowalibyśmy go użyć.

Podsumowując: MSVC i clang próbują uprzedzić cię wcześniej (nawet jeśli nie robisz teraz niczego głupiego), podczas gdy gcc generuje błąd tylko wtedy, gdy spróbujesz stworzyć coś niepoprawnego. To nie kompiluje w gcc (niższych niż 5.3.0):

#include <iostream> 

struct B { operator int(); }; 

template<class T> 
struct X:B 
{ 
    using B::operator T; 
}; 

int main(int argc, char **argv) 
{ 
    X<char> x; 
    std::cout << "Hello!" << std::endl; 
    return 0; 
}