为什么我可以自动声明指针而不声明数组？

Question

我知道“为什么”问题已过时；我特别想知道auto是否有技术上的原因无法推断数组元素类型。一个简单的例子是

auto arr[] {1}; // does not compile

类型推导确实适用于类似的间接指针：

int i;
auto *p { &i };  // compiles

对于简单的情况，这两种推论似乎同样可行（对于复杂的类型，这同样会遇到类似的问题）。我想念什么？