г ++, вытекающие из класса с параметром шаблона

Question

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

template<class T> 
class Base { 
    public: 
    void doSomething(){} 
}; 

template<class T> 
class Derived : public Base<T> { 
    public: 
    void doMore() { 
     doSomething(); //Affected line 
    } 
}; 

В строке комментировал с «затрагиваемой линии» г ++ (4.7) говорит:

test.cc:11:16: error: there are no arguments to ‘doSomething’ that depend on a template parameter, so a declaration of ‘doSomething’ must be available [-fpermissive] 

Теперь я задаюсь вопросом:

• Если параметр шаблона T не существует, эта ошибка не будет возникать. В чем разница?
• g ++, очевидно, способен решить эту проблему (если я добавлю -fpermissive, он компилируется отлично). Я предполагаю, что g ++ пытается сделать для меня лучший опыт работы как «пользователь» (программист). Каковы преимущества для меня, когда g ++ не принимает этот код?

Спасибо! Nathan

Answer 1

Эта публикация находится в wiki-странице GCC Verbose Diagnostics.

Каковы преимущества для меня, когда g ++ не принимает этот код?

Он соответствует стандарту и согласуется с другими компиляторами, гарантируя, что ваш код портативен и правилен.

Answer 2

Если вы не добавили this или Base<T>, вы пишете код, который не соответствует стандарту - GCC хочет, чтобы вы этого не делали. Смотрите также запись Изменений для GCC 4.7:

G ++ теперь корректно реализует правила подстановки двухфазных такие, что неквалифицированное имя, используемое в шаблоне, должны иметь соответствующую декларацию, найденные либо в объеме в точке определения шаблон или зависящий от аргументов поиск в момент создания экземпляра. В результате код, который опирается на второй неквалифицированный поиск в момент инстанцирования для поиска функций, объявленных после шаблона или в зависимых базах, будет отклонен. Компилятор предложит способы исправления затронутого кода, а использование флага -fpermissive компилятора позволит компиляции кода с предупреждением.

template <class T> 
void f() { g(T()); } // error, g(int) not found by argument-dependent lookup 
void g(int) { } // fix by moving this declaration before the declaration of f 

template <class T> 
struct A: T { 
    // error, B::g(B) not found by argument-dependent lookup 
    void f() { g(T()); } // fix by using this->g or A::g 
}; 

struct B { void g(B); }; 

int main() 
{ 
    f<int>(); 
    A<B>().f(); 
} 

(здесь: http://gcc.gnu.org/gcc-4.7/changes.html).