玩转OurBMC第二十八期：现代C++模板元编程
栏目介绍“玩转OurBMC” 是OurBMC社区开创的知识分享类栏目主要聚焦于社区和BMC全栈技术相关基础知识的分享全方位涵盖了从理论原理到实践操作的知识传递。OurBMC社区将通过 “玩转OurBMC” 栏目帮助开发者们深入了解到社区文化、理念及特色增进开发者对BMC全栈技术的理解。欢迎各位关注 “玩转OurBMC” 栏目共同探索OurBMC社区的精彩世界。同时我们诚挚地邀请各位开发者向 “玩转OurBMC” 栏目投稿共同学习进步将栏目打造成为汇聚智慧、激发创意的知识园地。OpenBMC的基础软件包如sdbusplus、bmcweb等为适配内存、算力受限的嵌入式系统并保障流畅运行采用了C模板元编程TMPTemplate Metaprogramming技术。该技术通过在编译期完成数据类型属性的获取与校验消除了类型转换带来的性能损耗实现了程序运行时类型转换的零开销。此外现代C模板元编程可将原本运行时的计算开销转移至编译阶段运行时直接复用编译期常量计算Compile-time Constant Calculation的结果同时它能剔除无效代码分支生成更精简的二进制机器码进一步提升程序运行效率。值得注意的是模板元编程作为泛型编程的核心组成部分通过解耦数据与算法逻辑有效提高了代码复用性、降低了代码冗余度使整体代码更简洁高效。本文对现代 C 模板元编程技术进行初步梳理与介绍旨在帮助读者理解 OpenBMC 中采用该技术的代码模块设计思路与实现逻辑。01函数重载与函数模板本章节引入函数重载和函数模板分析C模板元编程在编译期间对数据类型做推导对模板实例化。函数重载Function Overloading是在同一作用域内定义多个同名但参数列表不同参数类型、数量、顺序不同的函数编译器会根据调用时的实参类型、数量自动匹配对应的函数版本。函数模板Function Template是一个通用函数模板用类型参数如typename T替代具体类型编译器会根据调用时的实参类型自动实例化出对应类型的函数实现一套逻辑适配所有类型。特性函数重载函数模板代码复用度不同数据类型编写相似代码不同数据类型共用一套处理算法代码可维护性新增数据类型需要新增函数自动推导无需新增函数类型安全类型安全每种类型有确定实现依赖推导潜在的不安全转换编译时间快相对较快需要类型推导代码膨胀可控每个数据类型单独实现按需生成有多个实例灵活性不同类型提供不同实现同一套算法对应一类泛型实现表- 1 函数重载和函数模板上面的表格对函数重载和函数模板做了对比分析。接下来以下面的框图对函数模板的推导、替换、决议做个简要的说明。查找同名的函数模板编译器根据函数调用的形参、返回值等推导数据类型替换函数模板的参数实例化函数模板函数重载决议筛选最佳的匹配函数模板元编程与函数模板均在编译阶段完成类型推导二者均充当C的“编译期代码生成器”有效简化代码结构其中模板元编程更进一步能够借助编译期的计算能力完成逻辑运算、类型推导、数值计算等操作并直接生成最终可执行的代码。02SFINAE浅析模板元编程之所以能实现编译期条件判断与类型筛选其核心底层机制源于 SFINAE 规则——即 “Substitution Failure Is Not An Error”中文译为“替换失败不是错误”。该规则的核心要义为当编译器尝试将模板参数替换为具体类型时若某一替换过程出现“语法合法但逻辑不成立”的失败例如访问不存在的类型成员、调用参数不匹配的函数等场景编译器不会直接抛出编译错误而是舍弃该模板版本继续尝试重载集合中的其他候选版本。下图是从 OpenBMC 的软件包 sdbusplus 源码头文件 “type_traits.hpp”摘取的代码片段通过该图的代码简单的介绍 SFINAE 规则。代码行11~31实现检测数据类型T里是否包含一个名称为find的成员函数代码行32~40分别定义了一个类Foo、一个类Bar其中Foo包含了一个名称为find的成员函数代码行43~55分别测试C标准库里的关联式Map容器和序列式Vector容器、自定义的Foo和Bar经过编译、运行后如下图所示可验证到关联式Map容器、自定义的Foo都具有find的成员函数而序列式Vector容器和自定义的Bar没有find成员函数。从上图可以看到序列式Vector容器和自定义的Bar因为没有提供名称为find的成员函数。编译器在匹配类 has_member_find 的成员函数check替换失败后并没有出现编译报错而是静默跳过该模板版本继续尝试匹配其他重载版本。使用免费开源的C代码可视化工具cppinsights工具对介绍SFINAE规则的示例程序转换为编译器视角的展开的C代码理解SFINAE这一规则。在下图中编译器分别实例化了Foo和Bar两个类生成了class has_member_findFoo和class has_member_findBar并在编译期间如图中红色箭头所示对类Foo和类Bar是否提供find成员函数做了判决。即check检测到类Foo包含了名称为find的成员函数给成员变量value赋值为true的类型而类Bar的value成员变量为false。03编译期计算最后介绍下模板元编程在编译期的常量计算以下图的代码示例该代码的功能是计算一个整数的平方值。测试整数9的平方值在代码第8行判断计算结果。从下图中可以看到在编译阶段编译器计算了9的平方值并因为调用static_assert判断时检测到计算结果与测试预设的结果不相等在编译阶段报错。本文简要介绍了C模板元编程的核心概念、底层实现机制及核心功能旨在帮助读者理解OpenBMC项目中采用C模板元编程技巧编写的代码片段。自C11将模板元编程相关能力纳入标准库起这一技术正逐步完成从“编程黑魔法”到工程化实践的转变感兴趣的读者可基于本文进一步深入学习与探索欢迎大家关注OurBMC社区了解更多BMC技术干货。OurBMC社区官方网站https://www.ourbmc.cn/
)
