__builtin_choose_expr内置函数使用

__builtin_choose_expr 是 GCC 编译器的内置函数,它允许在编译时根据条件表达式的值选择两个表达式其中之一。其语法结构如下:

cpp 复制代码
__builtin_choose_expr(constant_expression, expression1, expression2)

这个内置函数根据第一个参数 constant_expression 的结果在 expression1expression2 中选择一个。如果 constant_expression 是非零的(即,认为是 true),则选择 expression1; 如果是零(即,认为是 false),则选择 expression2

constant_expression 必须是编译时可知的常量表达式,而不是运行时才能确定的值。

这个功能类似于C语言中的 ? : 三元条件运算符,但关键的区别在于 __builtin_choose_expr 是在编译时进行选择,这意味着只有被选中的那个表达式会被编译进最终的程序。下面是一个例子:

cpp 复制代码
int main() {
    int x = __builtin_choose_expr(1, 42, 0); // 由于条件为 true(1),所以 x 将被赋值为 42
    int y = __builtin_choose_expr(0, 42, 0); // 由于条件为 false(0),所以 y 将被赋值为 0
    return 0;
}

使用案例:

cpp 复制代码
#define __same_type(a, b) __builtin_types_compatible_p(typeof(a), typeof(b))
#define __TYPE_AS(t, v)	__same_type((__force t)0, v)
#define __TYPE_IS_LL(t) (__TYPE_AS(t, 0LL) || __TYPE_AS(t, 0ULL))
#define __SC_LONG(t, a) __typeof(__builtin_choose_expr(__TYPE_IS_LL(t), 0LL, 0L)) a

__SC_LONG 宏的作用是基于传入的类型 t 是否与 long longunsigned long long 兼容,来定义一个新的变量 a

首先,来看看这些宏的组成部分:

  1. __same_type(a, b):这个宏使用了 GCC 的内置函数 __builtin_types_compatible_p 来检查两个类型表达式 ab 是否相同。typeof(a) 会获取 a 的类型,同理 typeof(b) 获取 b 的类型。

  2. __TYPE_AS(t, v) 宏:利用 __force 宏将类型 t 的值 0 转换成 t 类型,并检查它是否与变量 v 的类型相同。

  3. __TYPE_IS_LL(t) 宏:检查传入的类型 t 是否与 long long0LL)或 unsigned long long0ULL)类型相同或兼容。

  4. __SC_LONG(t, a):综合使用上述宏,根据 t 的类型,选择适当的类型(long long 或者 long)来定义变量 a

__SC_LONG 宏中,__builtin_choose_expr 函数基于 __TYPE_IS_LL 宏的结果选择 0LL0L,并用 __typeof 来获取该结果的类型。如果 tlong longunsigned long long 类型兼容,则变量 a 的类型就会是 long long;否则,变量 a 的类型就会是 long

所以简单地说,__SC_LONG 宏就是根据 t 的类型来声明变量 a,让 a 成为 long longlong 类型中适合 t 类型的一个。这样的设计允许代码根据不同平台上类型大小的差异来选择合适的类型,这在跨平台编程时是非常有用的,尤其是在你需要处理不同数据模型(如 32 位与 64 位系统)时。

相关推荐
wearegogog1231 天前
液压位置控制源代码实现与解析(C语言+MATLAB联合方案)
java·c语言·matlab
什么半岛铁盒1 天前
C++11 多线程与并发编程
c语言·开发语言·c++
Kiri霧1 天前
Linux下的Rust 与 C 的互操作性解析
c语言·开发语言·rust
迎風吹頭髮1 天前
UNIX下C语言编程与实践62-UNIX UDP 编程:socket、bind、sendto、recvfrom 函数的使用
c语言·单片机·unix
小龙报1 天前
《彻底理解C语言指针全攻略(2)》
c语言·开发语言·c++·visualstudio·github·学习方法
迎風吹頭髮2 天前
UNIX下C语言编程与实践60-UNIX TCP 套接字关闭:close 与 shutdown 函数的区别与使用场景
c语言·网络·unix
十重幻想2 天前
PTA6-1 使用函数求最大公约数(C)
c语言·数据结构·算法
脑子慢且灵2 天前
C语言与Java语言编译过程及文件类型
java·c语言·开发语言·汇编·编辑器
蒙奇D索大2 天前
【C语言加油站】C语言文件操作详解:从“流”的概念到文件的打开与关闭
c语言·开发语言·笔记·学习·改行学it
小此方2 天前
C语言自定义变量类型结构体理论:从初见到精通(上)
c语言·开发语言