类型推导： 当使用 auto 关键字声明变量时，编译器会根据变量初始化的表达式推导出其类型。编译器会分析初始化表达式，并根据表达式的类型来确定变量的类型。

类型保留： 编译器在编译时将 auto 关键字替换为实际的类型，从而得到完整的类型声明。这意味着在编译后的代码中，变量的类型是明确的，与使用显式类型声明的效果相同。

编译时特性： auto 关键字是一个编译时特性，而不是运行时特性。类型推导发生在编译时，因此不会影响程序的运行时性能。

适用范围： auto 关键字适用于任何可以通过表达式推导出类型的情况，包括函数返回值、迭代器类型、lambda 表达式等。

可读性与简洁性： 使用 auto 关键字可以使代码更加简洁，减少重复的类型声明，提高代码的可读性和可维护性。特别是对于复杂的类型或使用模板的情况，auto 可以简化代码，减少错误。