c++ - 检查 C++ 模板值零失败

Question

我正在探索常量表达式与 C++ 中的模板的结合，我遇到了一个我无法理解的问题。

我想检查模板参数(在我的例子中是一个 unsigned int)的值是否为零，但编译器永远不会认为该值为零，即使我有一个 static_assert 确认它实际上已经低于零。

我正在实现一个简单的(或者至少我是这么认为的)模板函数，它应该只是总结范围内的所有整数值，例如5 降为零。

它应该执行模板函数的递归调用，直到它达到零，然后它应该停止，但编译器永远不会认为模板参数值为零。

这是我的问题函数:

    template <unsigned int Value>
    constexpr unsigned int sumAllValues()
    {
        static_assert (Value >= 0, "Value is less than zero!");
        return Value == 0 ? 0 : Value + sumAllValues<Value - 1>();
    }

它是这样调用的:

    constexpr unsigned int sumVals = sumAllValues<5>();

出于某种原因，编译器从不认为 Value == 0，因此它会继续执行直到在 static_assert 上停止。如果我删除断言，编译器会继续，直到它达到最大实例化深度:

error: template instantiation depth exceeds maximum of 900 (use -ftemplate-depth= to increase the maximum) return Value == 0 ? 0 : Value + sumAllValues();

我在上面的函数中做错了什么？我可以不检查模板参数本身的值吗？

我的灵感来自于我在维基百科上找到的一个例子:

    template<int B, int N>
    struct Pow
    {
        // recursive call and recombination.
        enum{ value = B*Pow<B, N-1>::value };
    };

    template< int B >
    struct Pow<B, 0>
    {
        // ''N == 0'' condition of termination.
        enum{ value = 1 };
    };

    int quartic_of_three = Pow<3, 4>::value;

参见引用资料:C++11

我确实有一个工作示例，它的构造方式与上述 Pow 示例代码的构造方式更多:

    template <unsigned int Value>
    constexpr unsigned int sumAllValues()
    {
        static_assert (Value > 0, "Value too small!");
        return Value + sumAllValues<Value - 1>();
    }

    template <>
    constexpr unsigned int sumAllValues<0>()
    {
        return 0;
    }

它的调用方式与我的问题函数相同:

    constexpr unsigned int sumVals = sumAllValues<5>();

它还执行模板函数的递归调用，直到它达到零。零案例专门用于中断递归。此代码有效，如果我输入 5 作为模板参数，则生成值 15。

但我想我可以用我遇到问题的函数来简化它。

我正在 Qt 5.12.2 中的 Linux (Ubuntu 18.04) 上进行开发。

更新:
StoryTeller建议使用 C++17 功能 “if constexpr” 停止递归的工作解决方案:

    template <unsigned int Value>
    constexpr unsigned int sumAllValues()
    {
        if constexpr (Value > 0)
            return Value + sumAllValues<Value - 1>()

        return 0;
    }

Answer 1

实例化函数模板的主体意味着实例化它使用的所有内容。 sumAllValues<0>的 body 如何看起来像？它是这样的:

template <>
constexpr unsigned int sumAllValues<0>()
{
    static_assert (0 >= 0, "Value is less than zero!");
    return Value == 0 ? 0 : 0 + sumAllValues<0 - 1>();
}

查看对 sumAllValues<-1> 的调用？虽然它不会被评估，但它仍然出现在那里，因此必须被实例化。但是Value未签名，因此您可以环绕。 (unsigned)-1是一个非常大的无符号数，不小于零。所以递归继续，如果不是因为实现有其限制，它可能会无限期地继续下去。

具有特殊化的版本没有相同的函数体 sumAllValues<0> , 所以它从不尝试实例化 sumAllValues<-1> .递归真的停在了 0 处。

在 C++17 之前，特化可能是获得所需功能的最短途径。但加上 if constexpr ，我们可以将代码简化为一个函数:

template <unsigned int Value>
constexpr unsigned int sumAllValues()
{
    if constexpr (Value > 0)
      return Value + sumAllValues<Value - 1>()

    return 0;
}

if constexpr如果不满足条件，将完全丢弃其分支中的代码。所以对于 0参数，函数体中根本不会出现递归调用，因此不需要进一步实例化任何东西。