检查布尔模板参数时摆脱“条件表达式为常数”警告的方法？

Question

使用/ W4（MSVC 2013）编译时，此代码模板会产生“条件表达式为常数”警告：

#include <iostream>

template <bool condition>
struct Conditional
{
    static void f()
    {
        if (condition)
            std::cout << "true";
        else
            std::cout << "false";
    }
};

void main()
{
    Conditional<false>::f();
}

现在，假设Conditional实际上是一个有用的类，其中包含许多围绕条件的方法和代码。 我想通过尽可能少的代码修改来摆脱警告。

我知道的唯一一个技巧是标签分发。 可以接受，但是有点笨拙，因为我需要声明2个其他方法并在那里提取条件代码。 还有其他方法吗？

Answer 1

您可以使用专业化：

template <bool condition>
struct Conditional
{
    static void f();
};

template <>
void Conditional<true>::f() { std::cout << "true"; }

template <>
void Conditional<false>::f() { std::cout << "false"; }

现场例子