标签: #contracts
关于 GPU、LLM、MLOps、Kubernetes 以及心态的文章 · 1 篇
C++26 契约(Contracts) — 以 114 票对 12 票通过的特性，以及唯一的实现 GCC 16.1
2026 年 3 月 28 日，WG21 结束了 C++26 的技术工作。这次表决并非全票通过(赞成 114、反对 12、弃权 3)，而不一致的主要原因是契约(contracts)。契约让你能用 pre、post、contractassert 在语言层面写下前置条件和后置条件，但这些检查是否真的会在运行时执行，决定权不在源代码，而在构建配置 — 标准原文写的就是「实现定义(implementation-defined)」。反对方用头文件
2026-07-16 · 28 分钟阅读 #cpp#cpp26#contracts#wg21#gcc