C99中如何实现基于参数类型选择匹配对应函数

C99本身没有在语言层面提供标准化、可移植的泛型选择语法，大家熟悉的_Generic关键字是C11才正式加入标准的泛型实现机制。

你看到的C99版本标准库中类似floor这类类型泛型宏，本质是标准库实现“走后门”借助编译器扩展做的——C99标准只规定了这类宏的行为要求，根本没给出统一的实现语法，普通开发者没法用纯标准C99语法复刻出可移植的同类效果：

以自C99加入的floor宏为例，标准只要求它的行为必须满足：

• 若参数为long double类型，实际调用floorl
• 若参数为整数类型或double类型，实际调用floor
• 其余浮点类型（也就是float）场景，实际调用floorf

当时各厂商实现这类宏的手段基本都不具备跨编译器兼容性：

• 借助编译器私有内置扩展：比如GCC、Clang很早就提供了__builtin_types_compatible_p（编译期判断两个类型是否兼容）、__builtin_choose_expr（编译期按条件选择对应表达式）这类内置能力，配合宏定义就能实现和C11_Generic完全一致的类型分发效果，但这属于编译器专属的非标准特性，不在C99标准规定的范围内。
• 靠类型大小+宏拼接的土办法：通过sizeof判断传入参数的长度，拼接对应函数的后缀（比如长度匹配float就拼f后缀对应floorf，匹配long double就拼l后缀对应floorl），但这种方式可靠性极差——很多平台上不同类型的长度可能重合（比如部分32位平台long double和double长度一致，部分平台long和float长度一致），非常容易选错调用的函数。

如果要写纯标准C99的可移植代码，是没法实现C11_Generic那种可靠的按参数类型选择对应函数的效果的，开发者要么手动调用带不同后缀的对应函数，要么用上述非标准扩展、土办法凑合用，这种情况直到C11泛型选择语法正式落地才彻底解决。

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