¿Por qué no se puede deducir el tipo de retorno de main?

De 3.6.1 / 2 (énfasis mío):

[...]tendrá un tipo de retorno declarado de tipo int, pero por lo demás su tipo está definido por la implementación.

Cuando auto se usa sin un tipo de retorno final, el tipo de retorno declarado de una función sigue siendo auto, a pesar de que el tipo de retorno deducido puede ser otra cosa. La diferencia entre declarado y deducido no se explica claramente en el estándar, pero 7.1.6.4 / 7 puede arrojar algo de luz:

Cuando [...] una instrucción return se produce en una función declarada con un tipo de retorno que contiene un tipo de marcador de posición, el tipo de retorno deducido [...] se determina a partir del tipo de su inicializador. En el caso de un return sin operando o con un operando de tipo void, el tipo de retorno declarado será auto y el tipo de retorno deducido será void.

Mi entendimiento es que con esto:{[15]]}

auto main(){ return 0; }

El declarado el tipo de retorno seguiría siendo auto, aunque el tipo de retorno deducido sería int. Según 3.6.1 / 2 anterior, el tipo de retorno declarado de main debe ser int. Por lo tanto, esto está mal formado.

Sin embargo, un tipo de retorno final se considera un tipo de retorno declarado . De 7.1.6.4 / 2:

Si el declarador de la función incluye un trailing-return-type (8.3.5), ese trailing-return-type especifica tipo de retorno declarado de la función.

$ cat a.cpp
auto main() -> int {}
$ g++ -Wall -std=c++14 a.cpp
$

^{Todas las comillas son idénticas tanto en C++14 como en C++17.}

De 3.6.1 [básico.empezar.principal]

1 Un programa contendrá una función global llamada main, que es la inicio designado del programa....
2 Una aplicación no predefine la función principal. Esta función no se sobrecargará. Se tendrá un tipo de retorno declarado de tipo int, pero por lo demás su tipo se define la implementación...

Si el estándar restringiera la deducción, entonces creo que la verborrea "declared return type int" sería se.

Muchas respuestas mencionan muy bien las citas del estándar. Pero hay otro problema sutil con auto como tipo de retorno.

De acuerdo con el estándar C++ ( en algún lugar), el return la instrucción no es obligatoria dentro de main(). Esto se menciona explícitamente en el sitio web de Bjarne Stroustrup :

En C++, main() no necesita contener una instrucción return explícita. En ese caso, el valor devuelto es 0, lo que significa una ejecución exitosa.

Lo que significa que la siguiente declaración es válida:

auto main () {}

Uno puede asumir una sentencia implícita return 0; justo antes de }. Así que en tal caso auto es interpretado como int. Sin embargo, del tecnicismo de C++14, el auto debe ser deducido a void ¡porque no hay declaración de devolución! Entonces, " int vs void", ¿qué considerar?

IMO esta es la advertencia, que impide auto como un tipo de retorno en un sentido lógico también.

Como se discutió en varios comentarios, de hecho me faltaba en el estándar, porque lo que pensé que era una copia de la FDIS de C++14 no era de hecho tal cosa (sino, en cambio, un borrador ligeramente más antiguo), y la palabra "declarado" se coló en el pasaje relevante después de CWG 1669.