是否存在符合C标准的方法检测标准库函数是否通过intrinsic/builtin实现

C标准本身没有规定任何检测标准库函数是否为intrinsic/builtin实现的通用接口，不存在完全跨编译器、符合标准的通用检测方案，但可以结合编译器特定能力和编码技巧满足你的需求。 #

可落地的实现方案 #

1. 编译器特定的builtin支持检测 #

主流编译器都提供了自定义的宏来判断内置函数支持情况，虽然不符合通用C标准，但可以通过预编译分支适配不同编译器：

• GCC/Clang 可以用__has_builtin宏检测对应内置函数是否存在，示例：

  #if defined(__has_builtin) && __has_builtin(__builtin_memcpy)
  // 当前编译器支持memcpy的builtin实现
  #endif
  

  注意该宏只能检测编译器是否提供对应builtin，无法判断特定调用点是否会触发builtin替换。
• MSVC 没有统一的builtin检测宏，可通过_MSC_VER版本号结合官方文档枚举的内置函数列表做版本判定。

2. 针对调用点是否会产生外部函数调用的验证方案 #

因为builtin替换逻辑和调用点的参数特征、优化级别强相关，没有通用编译期检测方式，可通过以下方案确认：

• 显式强制使用builtin：如果要彻底规避外部函数调用的可能性，可以直接调用编译器内置函数，比如GCC/Clang下直接写__builtin_memcpy，MSVC下用对应内置内存操作函数，完全跳过标准库符号绑定。
• 编译后反汇编验证：编译时加-S参数（GCC/Clang）或者对应汇编输出选项，直接查看目标调用点生成的汇编代码，确认是否存在对外部memcpy的调用指令。

3. 适配你提到的特定场景的最优方案 #

对于你提到的长度为变量、高概率取值为1的场景，不需要额外做builtin检测，直接加短路分支即可，完全符合C标准且性能收益明确：

void *fast_memcpy(void *restrict dst, const void *restrict src, size_t len) {
    if (__builtin_expect(len == 1, 1)) { // 标记长度为1是高概率分支
        *(unsigned char *)dst = *(const unsigned char *)src;
        return dst;
    }
    return memcpy(dst, src, len);
}

哪怕当前编译器对变量长度的memcpy已经做了builtin替换，这个分支的额外开销也可以忽略，而如果编译器没有做替换，就可以规避掉长度为1场景下的函数调用开销。 #

三类判定结果的实现逻辑 #

如果你需要得到“始终是/始终不是/有时是”的判定结果，可以结合编译参数、编译器版本、调用点参数特征做枚举判断：

• 始终是：比如GCC O2及以上优化级别、传入memcpy的长度为编译期常量且小于等于编译器设定的inline阈值的场景，会固定生成inline指令，不会调用外部函数。
• 始终不是：比如未开优化的Debug编译模式，大部分编译器默认不会做builtin替换，固定调用标准库实现。
• 有时是：就是你提到的长度为变量的场景，是否替换取决于编译器版本、优化策略、目标架构等因素。

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