c++ - 优化、断言和 Release模式

Question

考虑一个函数

void f() {
   assert(condition);

   ...
}

在启用断言的 Debug模式下，编译器可以自由假设条件成立，因为如果不成立，则不会执行剩余的代码。

但是，在 Release模式下，我相信编译器只会看到

void f() {
   ...
}

并且不能再承担条件。

是否有任何编译器指令或静态断言技巧让编译器知道某些不变量？

Answer 1

这不能用可移植的 C 或 C++ 完成。

一些编译器提供内部函数，例如 __assume (对于 MSVC)和 __builtin_unreachable(对于 GCC、ICC 和 Clang)，可用于此目的。

例如:

void f() {
    __assume(condition); //For MSVC
    /*...*/
}

void f() {
    if (!condition) __builtin_unreachable(); //for GCC and Clang
    /*...*/
}