传递函数作为模板参数

Question

我移植了一些我写给GCC的MSVC代码但是它无法在GCC上编译（参见：https://ideone.com/UMzOuE）。

template <const int N>
struct UnrolledOp
{
    template <const int j, int op(int*, int*)>
    static void Do(int* foo, int* l, int* r)
    {
        return UnrolledOp<N - 1>::Do<j + 4, op>(foo, l, r);
    }
};

template <>
struct UnrolledOp<0>
{
    template <const int j, int op(int*, int*)>
    static void Do(int* foo, int* l, int* r) { }
};

template <const int fooSize, int op(int*, int*)>
void Op(int* foo, int* l, int* r)
{
    UnrolledOp<fooSize / 4>::Do<0, op>(foo, l, r);
}

int Test(int* x, int* y)
{
    return 0;
}

int main()
{
    Op<16, Test>(nullptr, nullptr, nullptr);
    return 0;
}

出于某种原因，GCC不喜欢我将op传递给其他模板函数的方式。

Answer 1

您需要使用template Do关键字作为功能模板。 e.g。

UnrolledOp<fooSize / 4>::template Do<0, op>(foo, l, r);
//                       ~~~~~~~~

LIVE