在 C++ 开发日常中，assert 宏是每位开发者都会接触的基础工具。它用于在运行时验证条件是否成立，若表达式求值为 false，程序将终止执行。然而，这个看似简单的工具却存在一个容易被忽视的隐患：预处理器对括号的理解是「字面」的，它并不能真正理解 C++ 的语法结构，比如模板尖括号或花括号初始化。当断言表达式中出现逗号、大括号等语法元素时，宏参数解析往往会出错，导致本应通过的代码无法编译。这一问题长期困扰着 C++ 开发者，而 C++26 标准通过 P2264R7 提案彻底解决了它。
宏的脆弱性：从使用痛点到根本原因
assert 作为一个宏，其名称采用小写形式，这与通常的宏命名约定（SCREAMING_SNAKE_CASE）不同，许多开发者甚至意识不到它在本质上是宏而非函数。问题在于，预处理器在展开 assert 时，只会根据最外层的括号来界定参数范围，它无法理解 C++ 语言的语法结构。这意味着，当断言条件中包含逗号时，预处理器会误认为逗号是宏参数的分隔符，从而导致解析错误。
具体来说，以下几种看似正常的用法在传统 assert 宏下都会编译失败：第一种是使用类型 trait 进行编译期检查，例如 assert(std::is_same<int, Int>::value);，这里尖括号中的逗号会被误解；第二种是使用 lambda 表达式配合比较操作，例如 assert([x, y]() { return x < y; }() == 1);，lambda 参数列表中的逗号同样会引发问题；第三种是直接对容器字面量进行断言，例如 assert(std::vector<int>{1, 2, 3}.size() == 3);，这里大括号初始化器中的逗号会导致宏展开失败。解决这些问题的方法是为整个表达式额外添加一层括号，如 assert((std::vector<int>{1, 2, 3}.size() == 3));，但这种做法既不优雅，也容易遗忘，对初学者尤其不友好。
P2264R7 解决方案：变长参数宏的妙用
P2264R7 提案由 Peter Sommerlad 提出，其核心思路是将 assert 重新定义为一个变长参数宏（variadic macro），利用 C++ 预处理器提供的 __VA_ARGS__ 机制来接收参数。传统的 assert 宏接受单一括号表达式作为参数，而改进后的版本则将参数以 ...（变长参数）的形式传递。这样一来，预处理器不再被表达式内部的逗号或大括号所迷惑，整个表达式被视为一个完整的参数进行传递，上述所有编译失败的情况都将自动消失。开发者无需再为复杂表达式添加额外括号，这是 C++26 为日常编码体验带来的实质性改善。
关于诊断消息的处理，原提案曾考虑允许使用逗号运算符附加文本，类似于 static_assert 的用法，但在评审阶段这一设计被否决。原因在于，如果直接在顶层使用逗号运算符，用户可能会无意中写出「永远为真」的断言，例如 assert(x > 0, "x was not greater than zero");，这在语义上是错误的，因为逗号表达式的结果是最后一个子表达式的值，而非布尔值。为防止此类陷阱，C++26 建议使用逻辑与运算符来附加诊断信息，正确的做法是 assert(x > 0 && "x must be positive");，这种方式语义清晰，且能正常触发断言失败时的信息输出。
与 contracts 的关系及兼容性考量
一个常见的疑问是：C++ 引入 contracts（合约）特性后，assert 是否会变得多余？事实上，contracts 是一项强大的新特性，但它并不会立即取代 assert。历史经验表明，C++20 引入的 concepts 并没有完全消除 SFINAE 或更老的模板技术，而是提供了更好的选择；同样地，contracts 也不会让 assert 立即消失。断言在实际代码库中依然广泛存在，无论是直接使用还是封装在更高层的前置条件工具中，因此改进 assert 仍有重要价值。
在兼容性方面，P2264R7 明确指出这一改动是向后兼容的。所有先前合法的 assert 用法仍然有效，改进只是扩展了可用性，使新的用法模式更加健壮。需要注意的是，截至 2026 年初（本文撰写时），主流编译器尚未完全实现这一特性，这属于 C++26 标准的典型推广节奏 —— 新特性从标准确定到广泛可用通常需要数年时间，开发者应关注各编译器对 C++26 特性的支持进度。
工程实践建议
鉴于 C++26 标准尚未在所有编译器上默认启用，团队在实际项目中可采取以下策略：对于新代码，可优先使用不依赖额外括号的简洁语法，体验改进带来的便利；对于老代码，不必急于修改现有断言添加额外括号，等待编译器原生支持即可；在需要诊断消息的场景下，统一采用 && 运算符附加文本的写法，这种模式在当前和未来的编译器版本中都能正常工作，同时避免误用逗号运算符带来的语义错误。
C++26 对 assert 宏的改进是一次「小而美」的语法进化。它没有引入颠覆性的新概念，也没有强制开发者改变既有编程习惯，而是精准地消除了一个长期存在的痛点。通过将 assert 变长参数化，标准委员会让这个每个人都在用的基础工具变得更加友好、更加健壮。这提醒我们，语言设计的进步不仅体现在宏大的新特性上，也体现在对日常细节的持续打磨中。
资料来源：本文技术细节参考 Sandor Dargo 博客对 C++26 assert 改进的解析及 P2264R7 提案内容。