具有编译问题的简单（递归）可变参数模板“ accumulate_for”函数

Question

我想编写一个可变参数模板或const表达式，其中1）执行N次模板函子，2）累加结果。 我写了一个小例子，当我将要执行的功能移入模板函子后，实际上却使编译失败。 我有接近解决方案的感觉，但也许我错了。

#include <iostream>
#include <string>

struct F {
    template <int id>
    static int run(int val) {
        return id * val;
    }
};

template<unsigned int n>
struct accumulate_for
{
    template <class Funct>
    static int get(int val) {
        return 
        (
        accumulate_for<n-1>::get(val) 
        + 
        Funct::run<n>(val)
        );
    }
};

template<>
struct accumulate_for<0>
{
    template <class Funct>
    static int get(int val) {
        return 0;
    }
};

int main()
{
    std::cout << accumulate_for<3>::get<F>(1) << std::endl; 
}

Answer 1

1. accumulate_for<n>::get是成员函数模板，因此在调用它时必须指定模板参数。

2. 您需要使用template关键字来指示get和run （都是从属名称）是模板。

例如

template<unsigned int n>
struct accumulate_for
{
    template <class Funct>
    static int get(int val) {
        return 
        (
        accumulate_for<n-1>::template get<Funct>(val) 
        //                   ~~~~~~~~    ~~~~~~~
        + 
        Funct::template run<n>(val)
        //     ~~~~~~~~
        );
    }
};

生活

有关template关键字用法的更多信息，请参阅在何处以及为什么必须将“ template”和“ typename”关键字放在哪里？