类型推导：编译器（或解释器）根据表达式、初始化值、函数返回值等上下文，自动推断变量、参数或表达式的类型，从而减少显式写类型的需要。（在不同语言中也常与 type inference 接近；少数语境下两者会有细微区分。）
/taɪp dɪˈdʌkʃən/
The compiler performs type deduction for auto variables.
编译器会对使用 auto 的变量进行类型推导。
In template-heavy code, subtle rules of type deduction can change whether a parameter becomes a reference, a const-qualified type, or a decayed value type.
在大量使用模板的代码中，类型推导的细微规则会影响参数最终是引用类型、带 const 限定的类型，还是发生退化后的值类型。
type 来自希腊语 typos，有“印记、模型、类型”的含义；deduction 来自拉丁语 deducere（引导、推导）。合起来表示“通过规则把（数据/表达式）所对应的类型推出来”，现代多用于编程语言与编译器语境。
Select Language