Какой именно идентификатор типа правильно называть dependent scope type?

Question

[Qubc]

class SomeTemplate 
{
public:
	class Iterator { ; };
};

template<typename T>
void functionT (void) 
{
	typename T::Iterator i1;// Iterator или T::Iterator это dependent scope type?
	SomeTemplate::Iterator i2;
}

int main(void) 
{
  functionT <SomeTemplate> ();
}

Comments

[Евгений Шатунов]

Qubc , давай с простого начнем.
"dependent scope type" - что это такое для тебя? Не ищи определений в сети и не переписывай с готового. Тут важно увидеть то, каким именно образом ты сам для себя понимаешь это выражение.

[Qubc]

Евгений Шатунов, тип данных идентифицируется идентификатором (именем). "dependent scope type" - я понимаю как "зависимый от области тип," или "областно-зависимый тип" и зависит от от template parameter, который определяется template argument. Тогда, если я правильно понимаю, T::Iterator это dependent scope type.

[Евгений Шатунов]

Qubc, хорошо. Смотри вот еще.
У тебя использован typename при указании типа для i1. Точно ли они там нужен? Не пробовал оттранслировать код без typename в этом месте?

[Qubc]

Евгений Шатунов,
need 'typename' before 'T::Iterator' because 'T' is a dependent scope - Т это зависимая область (зависит от шаблонного аргумента) ;
dependent-name 'T::Iterator' is parsed as a non-type, but instantiation yields a type - зависимое имя, потому содержит внутри себя зависимую область ;
note: say 'typename T::Iterator' if a type is meant - потому что по умолчанию это воспринимается как статический член.
Тогда ответ на вопрос в посте - T::Iterator это dependent scope type.

[Евгений Шатунов]

Qubc, вот оно. Все верно.
У тебя шаблон, у шаблона есть параметры. Если какой-то из типов в твоем шаблоне зависит от результатов вывода параметров шаблона, такой тип становится зависимым.
T ведь - это просто какой-то тип, сразу транслятор его не определяет. А аргументом T может быть, например, std::vector<int>, вложенные типы которого выводятся только когда на них ссылаются и сами являются инстанцированиями шаблонов.
Т.е. в строке T::Iterator только написано тривиально, а логика там очень серьезная скрыта.

Параметры шаблона создают контекст инстанцирования, от состояния которого будет зависеть любой вложенный тип шаблона, в определении которого параметры шаблона и используются. Поэтому такие типы и называются зависимыми.

[Qubc]

Евгений Шатунов, ок, спасибо большое.

Answer 1

[DDD]

ответ на ваш вопрос находиться вот тут
https://stackoverflow.com/questions/6571381/depend...