Зачем использовать ключевое слово "typename" для следующего определения?

Question

template <typename dataType> 
**typename** List<dataType>::Node* List<dataType>::find(int index){ 
    Node *cur = head; 
    for(int i = 0; i < index; i++){ 
     cur = cur->next; 
    } 
    return cur; 
} 

Если я не использую, что я получаю следующее сообщение об ошибке:

need ‘typename’ before ‘List<dataType>::Node’ because ‘List<dataType>’ is a dependent scope 

Так что я прочитал wiki entry, но я не получаю причину этого конкретного примера.

Answer 1

Потому что, как и сообщение об ошибке, List<dataType>::Node является зависимым именем , то есть тем, что зависит от параметра шаблона. Представьте, что вы что-то вроде этого:

struct A { 
    typedef float t; 
}; 

struct B { 
    static int t; 
}; 

template <typename T> 
void func() 
{ 
    T::t * x; // pointer declaration, or multiplication? It depends... 
} 

Здесь A::t и B::t являются оба корректными выражениями C++, но означают совершенно разные вещи: первый тип, а второй имеет значение. Теперь, когда компилятор сначала анализирует функцию шаблона func() - чтобы проверить, является ли он синтаксически правильным, перед выполнением любой замены типа - он должен попытаться решить, что означает T::t * x. Ясно, что есть два возможных способа разобрать его, поэтому компилятор должен решить, что взять.

В некоторых случаях для компилятора достаточно «контекста», чтобы решить, ссылаетесь ли вы на тип или нет, но во многих случаях (например, этот пример) этого не происходит. Когда он не может решить, он предполагает, что вы говорите о значении - поэтому выше (надеюсь) даст вам ошибку об изменении переменной x. Если вы хотите, чтобы T::t рассматривался как тип, вам нужно указать его так явно, используя ключевое слово typename.