Articles on ykiko's blog
·
C++ 禁忌黑魔法：STMP （上）
💡
原文中文，约7300字，阅读约需18分钟。
📝
内容提要
本文探讨了 C++ 中的状态元编程（STMP），即在编译期改变全局状态的能力。通过编译器宏和模板技巧，展示了如何实现编译期计数器和状态观察，讨论了友元函数的作用及绕过访问权限限制的方法，并提供了相关代码示例，强调了 C++20 的新特性和潜在的编译器行为。
🎯
关键要点
- 传统 C++ 的常量表达式求值不改变程序全局状态，属于纯函数式。
- 状态元编程 (STMP) 允许在编译期改变全局状态，使用编译器宏和模板实现。
- C++20 引入的新特性使得实现编译期计数器和状态观察成为可能。
- 通过友元函数可以绕过访问权限限制，改变全局状态。
- 使用 SFINAE 或 requires 可以检测类的完整性，观察编译期状态变化。
- 模板显式实例化可以访问类的私有成员，提供了新的操作空间。
❓
延伸问答
什么是状态元编程 (STMP)？
状态元编程 (STMP) 是在编译期改变全局状态的能力，允许通过编译器宏和模板实现状态的变化。
C++20 中有哪些新特性支持编译期计数器的实现？
C++20 引入的新特性使得实现编译期计数器和状态观察成为可能，允许更灵活的模板编程。
如何通过友元函数改变全局状态？
友元函数可以在不同作用域中访问类的私有成员，从而改变全局状态，允许在模板实例化时添加函数定义。
什么是 SFINAE，如何在编译期检测类的完整性？
SFINAE（Substitution Failure Is Not An Error）允许在编译期检测类的完整性，通过检测 sizeof(T) 来判断类型是否完整。
如何使用模板显式实例化访问类的私有成员？
通过模板显式实例化，可以忽略访问权限检查，从而合法访问类的私有成员。
STMP 的潜在风险是什么？
STMP 可能导致 ODR（One Definition Rule）违背，因此在使用时需要谨慎。
➡️
