Чому в наступному випадку не потрібно використовувати назви типу для залежних типів?

Я читав про видалення посилання на тип тут .

Він наводить такий приклад:

#include <iostream> // std::cout
#include <type_traits> // std::is_same

template<class T1, class T2>
void print_is_same() {
  std::cout << std::is_same<T1, T2>() << '\n';
}

int main() {
  std::cout << std::boolalpha;

  print_is_same<int, int>();
  print_is_same<int, int &>();
  print_is_same<int, int &&>();

  print_is_same<int, std::remove_reference<int>::type>(); // Why not typename std::remove_reference<int>::type ?
  print_is_same<int, std::remove_reference<int &>::type>();// Why not typename std::remove_reference<int &>::type ?
  print_is_same<int, std::remove_reference<int &&>::type>();// Why not typename std::remove_reference<int &&>::type ?
}

В typeи в std::remove_referenceрисах залежні типи.

Можлива реалізація

template< class T > struct remove_reference      {typedef T type;};
template< class T > struct remove_reference<T&>  {typedef T type;};
template< class T > struct remove_reference<T&&> {typedef T type;};

Але чому це не використовується typename std::remove_reference</*TYPE*/>::type?

В typeи в std::remove_referenceрисах залежні типи.

Ні, вони тут не залежні імена . Аргументи шаблону були визначені явно як int, int&і int&&. Тому типи відомі на даний момент.

З іншого боку, якщо ви використовуєте std::remove_referenceпараметр шаблону, наприклад

template <typename T>
void foo() {
    print_is_same<int, typename std::remove_reference<T>::type>();
}

то вам доведеться використовувати, typenameщоб сказати, що std::remove_reference<T>::typeце тип, оскільки ваше вираження тепер залежить від параметра шаблону T.

Коротше кажучи, вам потрібно typenameзабезпечити компілятор

std::remove_reference<int>::type

дійсно є типом. Розглянемо якийсь інший шаблон

template <typename T>
struct foo {
    using type = int;
};

Ось foo::typeтип. Але що робити, якщо хтось постачає спеціалізацію по лінії

template <> struct foo<int> {
    int type;
};

Тепер typeце не тип, а ан int. Тепер, коли ви використовуєте foo всередині шаблону:

template <typanem T> 
struct bar {
    using type = typename foo<T>::type;
};

Ви повинні переконатись у тому, що компілятор foo<T>::typeсправді є типом, а не чимось іншим, тому що лише дивлячись bar(і основний шаблон foo) компілятор цього не може знати.

Однак ваш mainпараметр std::remove_reference<int>::typeне залежить від параметра шаблону, отже, компілятор може легко перевірити, чи це тип.

Ключове слово імяТіпа використовується для допомоги компілятора синтаксичного аналізу джерела. Це вказує, що id - це ім'я типу, а не ім'я змінної чи методу. Але в таких ситуаціях, як описаний вище, компілятор може сам розібратися, тому це ключове слово не потрібно.