C++26契约特性：函数从此敢开口承诺

我写C++十几年，每个函数入口都要堆一把assert和if判断。空指针？不合法入参？返回值越界？全靠程序员自觉。C++26终于要把这套东西标准化了——前置条件和后置条件，直接从语言层面保证函数契约。这不是小修小补，这是C++第一次认真回答"我信任你吗"这个问题。契约不成立时编译器可以报错，运行时可以终止。说实话，这个特性来得太晚，但比不来强。

原文：C++26 Contracts: Introduction to Preconditions and Postconditions · 来源：Hacker News