C++26: A User-Friednly assert() macro
2 months ago
- #C++26
- #programming
- #assert macro
- C++中的assert()宏用于验证运行时条件，若条件为假则终止程序。
- assert()存在一些问题，因为它是小写宏，不理解C++语法（如模板或花括号），导致某些断言时出现编译错误。
- P2264R7提案建议将assert改为使用__VA_ARGS__的可变参数宏，以解决这些问题，使之前无法正常工作的断言无需额外括号即可运行。
- 该提案防止了因误用逗号运算符进行诊断而导致的意外问题；相反，诊断消息必须使用&&运算符。
- 即使未来有了合约功能，改进assert仍然有价值，因为assert将继续在代码库中使用，且这一改动是向后兼容的。
- 这一改动是一个小而渐进的改进，消除了编译时的意外情况，使C++更易于使用，尽管截至2026年初尚未在编译器中广泛可用。