Используется ли `using Base :: operator T`, где` T` является параметром типа шаблона?

Question

Рассмотрим следующий пример:

struct B { operator int(); }; 

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

GCC принимает код, в то время как Clang и MSVC отвергает его. Что именно?

Обратите внимание, что если базовый тип зависит, все составители принимают код:

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

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

Answer 1

Я думаю, GCC является правильным, в § 7.3.3/1, можно найти:

Набор деклараций ВНЕСЕН Использование-декларация определяется путем выполнения квалифицированного поиска имени (3.4.3, 10.2) для имени в объявлении использования, за исключением функций, которые скрыты, как описано ниже.

Я не вижу никаких причин, почему operator T не будет найден, на самом деле:

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

... компилирует хорошо с г ++ и лязг (не испытать на MSVC).

Я не могу найти что-либо в стандартном специфична для преобразования functionsfor квалифицированного имени поиска, за исключением:

С специализациями шаблонов членов для функций преобразования не найдены поиском имен, они не рассматривается при использовании декларирования определяет функцию преобразования (14.5.2).

Но B::operator int не является специализацией по шаблону функции-члена, поэтому его не следует принимать во внимание вышеизложенным.

Answer 2

Хм ... Gcc не нравится первый либо. Он компилируется, если вы не попытаетесь создать экземпляр struct X с параметром шаблона, отличным от int. В чем смысл X<double>::operator double()? Класс B не имеет такого оператора, но мы бы попытались его использовать.

Подводя итог: MSVC и clang пытаются предупредить вас заранее (даже если вы сейчас не делаете ничего глупого), а gcc создает ошибку, только если вы попытаетесь создать что-то неправильное. Это не компилируется в GCC (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; 
}