effective type（常见于 C 语言标准与编译器语境）：指一个对象在某一时刻“被当作什么类型来访问/读取/写入”的类型。它影响别名分析（aliasing）、优化，以及某些通过指针转换读写内存的代码是否属于未定义行为。此术语主要是技术用语，在日常英语中不常单独使用。
/ɪˈfɛktɪv taɪp/
The effective type of this object is int.
这个对象的有效类型是 int。
Because the compiler assumes the effective type doesn’t change arbitrarily, accessing the same memory through an incompatible pointer type can break optimizations.
由于编译器假设有效类型不会被随意改变，用不兼容的指针类型访问同一块内存可能会破坏优化并导致未定义行为。
effective 源自拉丁语 efficere（完成、产生效果），强调“实际起作用的”。type 源自希腊语 typos（印记、模型），引申为“类别/类型”。合在一起，在编程语境中就是“实际生效的访问类型”。
Select Language