C++ typename в определении функции

Question

Этот бит кода, если из примера для связанного списка, но я изо всех сил пытаюсь понять вторую строку этой функции, может кто-нибудь поговорить с ней через нее?

template <typename T> 
typename List<T>::Node* List<T>::search(T d) 
{ 
    if(!head) return NULL; 
    Node* cur = head; 
    while(cur) { 
     if(cur->data == d) return cur; 
     cur = cur->next; 
    } 
    return NULL; 
}  

Answer 1

Там будет *type* Node где-то в List<> шаблона класса (или специализации), поэтому при обращении к этому типу синтаксис typename List<T>::Node должен быть использован.

Dependant names может быть неоднозначно с использованием ключевого слова typename.

Answer 2

Рассмотрите A<T>::X. X может быть типом (typedef, struct и т. Д.), Или он может быть переменным (статическая переменная). Когда вы находитесь внутри шаблона и используете тип, который имеет шаблон таким образом, вы должны помочь компилятору, добавив typename, если ваш X является типом.

Answer 3

Если вы имеете в виду вторую строчку в ваш пост, который говорит: «Поиск является функция, которая принимает аргумент типа T и возвращает указатель на тип конкретного к Linked List под названием List<T>::Node.

Если вы означает вторую строку в самой функции search, она просто инициализирует локальный var cur переменной-члену, которая называется head (здесь, вероятно, ссылается на заголовок связанного списка данных st.). Остальная часть кода просто выполняет итерацию наших элементов списка, пока не будет найден и возвращен узел, содержащий данные, которые ищут.