在以下示例中,struct fooa 类型的指针 f1 正在被强制转换为 struct foob 类型的指针。如果 lint -Xalias_level=strict(或更高),则除非结构类型相同(相同类型的相同数目的字段),否则此类强制类型转换要求显式别名。此外,在别名级别 standard 和 strong 上,假定标记必须匹配才能出现别名。在给 f1 赋值前使用 #pragma alias (struct fooa, struct foob),lint 将停止生成警告。
struct fooa { int a; }; struct foob { int b; }; struct fooa *f1; struct foob *f2; void main() { f1 = (struct fooa *)f2; /* explicit aliasing required warning */ } |