Почему объявления 'auto' должны быть одного типа?

Question

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

auto i = 1, j = 1.0; //deduction failure (several compilers) 

Исторически я понимаю, так как у вас есть только один Децл-спецификатор-спецификации. Тем не менее, правила в стандарте, похоже, не исключают, на самом деле они поощряют, что auto может быть отдельным типом для каждого. Рассмотрим эти пункты:

8-3 Каждый INIT-описатель в объявлении анализируется отдельно, как если бы это было в заявлении сам по себе.

7.1.6.4-7 Если список деклараторов содержит более одного декларатора, тип каждой объявленной переменной определяется , как описано выше. [...]

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

Какой пункт запретил бы это?

Answer 1

Тип дедукции выполняется для каждого объекта в списке, но конечный результат должен быть одного типа [dcl.spec.auto]/7 (упорный мой):

Если в списке деклараторов содержится более одного декларатора, тип каждой объявленной переменной определяется, как описано выше. Если тип, вычисленный для параметра шаблона U, не является одинаковым в каждом выводе, программа плохо сформирована.

Answer 2

Я нашел исправленную формулировку (это одна из тех, которые на самом деле отличается от окончательного поздно проекта и официальный стандарт).

7.1.6.4-7 Если список declarators содержит более одного описатель, тип каждой объявленной переменной определяется , как описано выше. Если тип, выводимый для параметра шаблона U, не является одинаковым в каждом выводе, программа плохо сформирована.

Где 'U' описан в предыдущем абзаце как изобретенный тип, используемый для вычитания каждого параметра. Это неудачное изменение проекта, поскольку это было бы очень приятной особенностью. (Я также могу неправильно понимать предыдущий абзац в стандарте, так как он также относится к std :: initializer_list)