为什么带有默认值的泛型需要类型注释，而Vec in nightly会自动推断其分配器？

带有默认值的泛型需要类型注释是因为在编译器无法自动推断默认值的类型。泛型是一种在编程中使用的抽象类型，它可以在不指定具体类型的情况下编写通用的代码。当定义一个带有默认值的泛型时，编译器需要知道默认值的类型，以便在需要时进行类型检查和类型推断。

类型注释是一种在代码中明确指定变量或函数的类型的方式。通过为带有默认值的泛型提供类型注释，我们可以告诉编译器默认值的具体类型，从而避免类型推断的困惑和错误。

而对于Vec in nightly会自动推断其分配器的情况，这是因为在Rust的夜版（nightly）中，Vec类型的分配器可以根据上下文自动推断。Vec是Rust中的动态数组类型，它可以根据需要动态增长或缩小。在夜版中，编译器可以根据Vec的使用环境和上下文推断出适当的分配器，而无需显式指定。

需要注意的是，夜版是Rust的开发版本，其中的一些功能和特性可能不稳定或未来可能发生变化。因此，在生产环境中，建议使用稳定版本的Rust，并为带有默认值的泛型提供类型注释以确保代码的可读性和稳定性。