GCC内联函数:__builtin_types_compatible_p

最新推荐文章于 2021-05-20 03:16:26 发布

转载

最新推荐文章于 2021-05-20 03:16:26 发布 · 569 阅读

1 ·

CC 4.0 BY-SA版权

原文链接：https://yq.aliyun.com/articles/237126

本文深入探讨了GCC内联函数`__builtin_types_compatible_p`的使用，它用于检查两个类型是否兼容。通过示例代码展示如何在编译时进行类型检查，帮助开发者避免类型不匹配导致的错误。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

#if 0
— Built-in Function: int __builtin_types_compatible_p (type1, type2)
You can use the built-in function __builtin_types_compatible_p to determine whether two types are the same.
This built-in function returns 1 if the unqualified versions of the types type1 and type2 (which are types, not expressions) are compatible, 0 otherwise. The result of this built-in function can be used in integer constant expressions.
This built-in function ignores top level qualifiers (e.g., const, volatile). For example, int is equivalent to const int.
The type int[] and int[5] are compatible. On the other hand, int and char * are not compatible, even if the size of their types, on the particular architecture are the same. Also, the amount of pointer indirection is taken into account when determining similarity. Consequently, short * is not similar to short **. Furthermore, two types that are typedefed are considered compatible