C++23 引入了一项重要的语言特性变更，即在 static_assert 和 if constexpr 中允许窄化按语境转换为 bool。这一特性由 Andrzej Krzemieński 提出的 P1401R5 论文推动，旨在使编译器的