请求澄清offsetof官方表述并简化解释其依赖规则

一、offsetof的官方专业表述澄清 #

根据C++标准的定义，offsetof(type, member)是一个标准宏，它展开后会生成一个整数常量表达式，其值为type类型对象的起始地址到该对象的member成员之间的字节偏移量。

需要注意的两个关键前提：

• 仅当type是**标准布局类型（standard-layout type）**时，使用offsetof的行为是定义良好的；
• 若type是非标准布局类型，调用offsetof属于未定义行为。

二、关于offsetof依赖特性的简化解释 #

先给两个核心概念做个大白话铺垫：

• 类型依赖（type-dependent）表达式：表达式的最终类型会跟着模板参数变化，编译器在模板实例化前没法确定它的具体类型。
• 值依赖（value-dependent）表达式：表达式的具体数值会随模板参数改变，实例化前编译器算不出确切值。

现在拆解你提到的那段专业表述：

• offsetof(type, member)从不依赖类型
  不管你传入的type是什么，offsetof的结果类型都是固定的无符号整数类型（标准规定为std::size_t），不会因为type的不同而变化。哪怕type是模板参数，这个表达式的类型也不会变，所以它绝对不属于“类型依赖”的表达式。
• 当且仅当type为依赖类型时，该表达式依赖值
  • 要是type是普通的非依赖类型（比如自定义的struct Person { int age; };），那offsetof(Person, age)的数值是固定的，编译器编译时就能直接算出偏移量，完全不依赖任何模板参数，所以它不是值依赖的。
  • 但如果type是依赖类型（比如模板参数T，或者像std::array<T, 10>这种包含模板参数的类型），那offsetof(T, member)的具体偏移量必须等模板实例化、确定了T的真实类型后才能计算，这个时候它的数值就依赖模板参数了，也就是“值依赖”的表达式。

内容的提问来源于stack exchange，提问作者user9196120