Почему функция шаблона элемента данных является зависимым именем, только если оно соответствует условию & quot; this & quot ;?

struct Bar {
template<typename>
void baz() {
}
};

template<typename>
struct Foo {
Bar bar;

Foo() {
bar.baz<int>();
}
};

int main() {
return 0;
}

bar.baz<int>(); // OK
this->bar.baz<int>(); // error
this->bar.template baz<int>(); // OK

this->bar.baz<int>(); // error

Заявление выше, в рамках определения template<typename T> Foo<T>::Foo(), правильно сформирован и должен приниматься, если включен режим C ++ 11 или режим C ++ 1y. Но это было технически плохо сформировано согласно C ++ 03.

Оба стандарта согласны с тем, что this является зависимым от типа выражением:

С ++ 03 14.6.2.1/1; N3690 14.6.2.1/8:

Тип зависит, если он

• параметр шаблона,

• …

• [просто-]Шаблон-идентификатор в котором либо имя шаблона является параметром шаблона, либо любой из аргументов шаблона является зависимым типом или выражением, которое зависит от типа или значения,

[T является зависимым типом, и поэтому Foo<T>.]

С ++ 03 / N3690 14.6.2.2/2:

this зависит от типа, если тип класса вмещающей функции-члена является зависимым.

[Поскольку Foo<T> это зависимый тип, выражение this в его определении члена зависит от типа.]

Оба стандарта начинаются с 14.6.2.2:

За исключением случаев, описанных ниже, выражение зависит от типа, если любое подвыражение зависит от типа.

C ++ 03 имеет только три простые категории выражений с более точными описаниями:

• Основные выражения (this и подыскивал имена)

• Выражения, которые определяют их собственный тип (например, приведение типов и новые выражения)

• Выражения с постоянным типом (например, литералы и sizeof).

Первая категория определена в C ++ 03 14.6.2.2/3:

ID-выражение зависит от типа, если оно содержит:

• идентификатор который был объявлен с зависимым типом,

• Шаблон-идентификатор это зависит,

• преобразование-функция-идентификатор который определяет зависимый тип,

• вложенное имя спецификатор который содержит Имя_класса который называет зависимый тип.

Так что одинокое выражение bar не зависит: это идентификатор и ID-выражение, но ничего из вышеперечисленного не применимо.

Но this->bar это не ID-выражение, или в любом другом исключении C ++ 03, поэтому мы должны следовать правилу подвыражения. С подвыражением this зависит от типа, содержащее выражение this->bar также зависит от типа.

Но на самом деле, как вы заметили, тип this->bar может быть известно при разборе определения шаблона, без создания каких-либо аргументов шаблона. Он объявлен как член основного шаблона, поэтому имя должно быть связано с этим объявлением члена. Специализация шаблона может сделать Foo<T>::bar необъявленный или объявленный другим способом, но в этом случае основной шаблон не будет использоваться вообще, а текущее определение Foo() игнорируется для этой специализации. Вот почему C ++ 11 определил понятие «текущая реализация» и использовал его для дальнейшего исключения из заразности зависимых от типа выражений.

N3690 14.6.2.1/1:

Название относится к текущая реализация если это

• в определении шаблона класса, вложенный класс шаблона класса, член шаблона класса или член вложенного класса шаблона класса, имя введенного класса шаблона класса или вложенного класса

• в определении шаблона первичного класса или члена шаблона первичного класса, имя шаблона класса, за которым следует список аргументов шаблона первичного шаблона (как описано ниже), заключенный в <> (или эквивалентная специализация псевдонима шаблона),

• …

[Первая пуля говорит Foo текущая реализация Второй говорит Foo<T> текущая реализация В этом примере оба имени имеют одинаковый тип.]

14.6.2.1/4:

Имя это член текущей инстанции если это

• Неквалифицированное имя, которое при поиске относится, по крайней мере, к одному члену класса, который является текущим экземпляром, или его независимому базовому классу.

• Квалифицированный-идентификатор в котором …

• ID-выражение обозначение члена в выражении доступа к члену класса, для которого тип выражения объекта является текущей реализацией, и ID-выражение, при поиске относится, по крайней мере, к одному члену класса, который является текущим экземпляром, или его независимому базовому классу.

[Первая пуля говорит bar один является членом текущего экземпляра. Третья пуля говорит this->bar является членом текущего экземпляра.]

Наконец, C ++ 11 добавляет четвертую категорию правил для зависимых от типа выражений для доступа к элементу. 14.6.2.2/5:

Выражение доступа к члену класса зависит от типа, если выражение относится к члену текущего экземпляра и тип ссылочного члена является зависимым, или выражение доступа к члену класса относится к члену неизвестной специализации.

this->bar ссылается на член текущего экземпляра, но тип Bar от указанного члена не зависит. А сейчас this->bar не зависит от типа, а имя baz в this->bar.baz ищется во время определения шаблона как независимое имя. template Ключевое слово не нужно раньше baz,

this->bar.template baz<int>();