Почему нам нужно ключевое слово template в C++?

Question

Шаблон функции:

template<class T> T 
max(T a, T b){return (a > b)? a: b;} 

при использовании его:

max<int>(a, b); // Yeah, the "<int>" is optional most of the time. 

, но если вы позволите, мы можем написать шаблону так:

T max<class T>(T a, T b){return (a > b)? a: b;} 
//I know the return type T is not in its scope, don't focus on that. 

Таким образом, мы можем сохранить ту же форму декларации и использования, как и обычная функция. и даже не нужно вводить и вводить ключевое слово «шаблон». Я думаю, что шаблон шаблона будет таким же? Так есть ли другая причина, чтобы шаблон стал той формой, которую мы знаем сегодня?

я изменил форму, так что вы не сосредоточены на тип возвращаемого значения:

auto max<class T>(T a, T b) -> T {return (a > b)? a: b;} 
//This is C++11 only and ugly i guess. 
//The type deduce happens at compile time 
//means that return type really didn't to be a problem. 

Answer 1

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

На другой ноте:
Синтаксис шаблонов является сложным и пугающим, чтобы начать с, убедившись, наличия ключевого слова template делает его более понятным для читателя кода, что они имеют дело с шаблонами, а не какой-либо из другие животные, предоставленные C++, или любые конструкции, специфичные для реализации (читайте расширения компилятора).

Answer 2

Я верю, что проблема заключается в простоте реализации компилятора: любые имена, используемые в C++, должны быть объявлены как минимум, прежде чем использоваться, чтобы помочь компиляторам разобраться с началом (по той причине, о которой я не знаю). Это одна из причин, по которой у вас есть странный новый синтаксис для объявления функций, которые позволяют определять тип возвращаемого значения после аргументов.

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

Answer 3

вы должны объявить T, прежде чем использовать его, так что это действительно должно быть

<class T> T max(T a, T b){return (a > b)? a: b;} 

Но тогда его не ясно, что <class T> это - компилятор, скорее всего, запутался об этом. template спереди ясно показывает, что < не являются операторами, а скобки, в которых заключаются объявления типа.

С этой точки зрения ваш второй пример должен быть возможен, но имейте в виду, что этот синтаксис возможен только с C++ 11, а шаблоны были введены намного раньше.

Answer 4

Вы быстро попасть в проблемы при разборе с этим подходом:

template <typename> int f(); // Current declaration syntax, type template argument. 
template <int> int f();  // Current declaration syntax, non-type template argument. 

void f<class>(); // New declaration syntax, type argument. 
void f<int>(); // New declaration syntax, non-type argument. 
(void) f<int>(); // (void) is a cast , f is instantiation of f<class> with type int.