Тип есть у значения, у любого, autoопределяет для переменной тот тип объявляет переменную того типа, который имеет инициализирующее значение. Один раз и навсегда.
Это моё личное предвзятое мнение. Любое совпадение с реальностью является случайным и непреднамеренным.