RecodeX 重构消息，ISO C++委员会批准C++26标准，包含Contracts功能，尽管其发明者Bjarne Stroustrup等人反对。