我可以通过给出整数范围来提示优化器吗？

我正在使用一种int类型来存储值。根据程序的语义，该值始终在很小的范围内（0-36）变化，并且int（不是a char）仅由于CPU效率而使用。

似乎可以对这么小的整数范围执行许多特殊的算术优化。这些整数上的许多函数调用可能被优化为一小组“魔术​​”运算，甚至某些函数甚至可能被优化为表查找。

因此，是否可以告诉编译器这int总是在很小的范围内，并且编译器可以进行那些优化？

是的，有可能。例如，gcc您可以使用__builtin_unreachable告诉编译器不可能的条件，如下所示：

if (value < 0 || value > 36) __builtin_unreachable();

我们可以将上面的条件包装在一个宏中：

#define assume(cond) do { if (!(cond)) __builtin_unreachable(); } while (0)

像这样使用它：

assume(x >= 0 && x <= 10);

如您所见，gcc根据此信息执行优化：

#define assume(cond) do { if (!(cond)) __builtin_unreachable(); } while (0)

int func(int x){
    assume(x >=0 && x <= 10);

    if (x > 11){
        return 2;
    }
    else{
        return 17;
    }
}

产生：

func(int):
    mov     eax, 17
    ret

但是，不利的一面是，如果您的代码违反了这样的假设，则会出现不确定的行为。

它不会在发生这种情况时通知您，即使在调试版本中也是如此。要更轻松地调试/测试/捕获带有假设的错误，可以使用混合假设/声明宏（@David Z的贷方），如下所示：

#if defined(NDEBUG)
#define assume(cond) do { if (!(cond)) __builtin_unreachable(); } while (0)
#else
#include <cassert>
#define assume(cond) assert(cond)
#endif

在调试版本（具有NDEBUG 不定义），它的工作原理像一个普通的assert，打印错误消息和abort“荷兰国际集团程序，并在发布版本它利用一个假设的，产生优化代码。

但是请注意，它不能代替常规代码assert- cond仍保留在发行版本中，因此您不应执行assume(VeryExpensiveComputation())。