Может ли ссылка пересылки быть псевдонимом с шаблоном псевдонима?

Question

Это продолжение моего предыдущего вопроса:

Can an identity alias template be a forwarding reference?

кажется, что следующий код работает как Clang 3.7.0 (demo) и GCC 6.0.0 (demo):

template <class T> 
using forwarding_reference = T&&; 

template <class T> 
void foo(forwarding_reference<T>) {} 

int main() 
{ 
    int i{}; 
    foo(i); 
    foo(1); 
} 

Являются ли компиляторы правильными для замены шаблона псевдонима для ссылки на пересылку, и это может быть причудливым способом написания?

Answer 1

Это действительно стандартное соответствие. §14.5.7/2:

Когда шаблон Идентификатор относится к специализации шаблона псевдонима, это эквивалентно связанного типа, полученного путем замены его шаблонов аргументов дляшаблоны-параметры в тип-идентификатор шаблон-псевдоним.

Теперь рассмотрим, что во время аргумента шаблона дедукции, только тип параметра (в терминах параметров шаблона) осматривается - §14.8.2.1/1:

Шаблон вывод аргумента делается путем сравнения каждой функции тип параметра шаблона (назовите его P) с типом соответствующего аргумента вызова (назовите его A), как описано ниже.

В соответствии с первой котировки, тип параметра, т.е. forwarding_reference<T>, эквивалентно T&&. Следовательно, P - T&&, и не может быть никакой разницы в отношении вычета.

Этот же вывод был сделан Комитетом в отчете дефектов относительно этого точного сценария, #1700:

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