为什么三元运算符在编译时与运行时的工作方式不同？

Question

template <uint_fast64_t MAX_RAND>
    struct RandomLimit
    {
        static const uint_fast64_t steps =
            RAND_MAX >= MAX_RAND ? 
            1 : 
            RandomLimit<MAX_RAND / (RAND_MAX + 1)>::steps + 1;
    };

上面的代码产生和错误；步骤未定义。在运行时，如果函数调用代替最后一个表达式，则不会调用该函数，也不会发生副作用。为什么当条件成立时这段代码没有被消除？

请注意，RAND_MAX 是 cstdlib 常量，我使用的是 Visual Studio 2015 设置。

Answer 1

你的可能是链接器错误，而不是编译器错误。

也就是说，steps 成员在头文件中正确声明，因此代码编译良好，但是如果条件始终为真，则编译器优化 else 表达式并且不会发出对 steps 变量的引用。然而，如果条件不是常数，那么两个分支都会被编译，你会得到一个未定义的引用错误。

显然，解决方案是将适当的库添加到链接器命令中。