函数类型不是模板非类型参数的有效类型？

Question

OpenGL定义了C函数来管理资源。我编写了一个简单的包装器来以RAII的方式处理它们。函数对类似于无符号glCreateProgram（）和uluglDeleteProgram（无符号程序）。但是，也有一些函数对适用于资源数组，例如uluglGenBuffers（size_tn，无符号*缓冲区）和uluglDeleteBuffers（size_tn，const无符号*缓冲区）；。对于前者，我编写了一个简单的类来完成这项工作，对于后者，我编写了另一个处理数组的类。然而，我注意到有时我只使用一个缓冲区或纹理，在那里我不必承担向量的费用，我想如果发布函数在开始时采用大小参数，我会专门化类析构函数，但是...

template <typename T_res,
          typename T_release_func,
          T_release_func func>
struct GL_resource
{
    GL_resource(T_res name_) : name{name_}
    {
    }

    ~GL_resource()
    {
        func(name);
    }

private:
    T_res name;
};

template <typename T_res, typename FT, FT func, typename RT, typename DT>
struct GL_resource<T_res, RT (size_t, DT*), func>
{
    ~GL_resource()
    {
        func(1, name);
    }
};   

对于上述SSCCE g树皮：

错误：“RT（无符号 int， DT*）”不是模板非类型参数结构的有效类型GL_resource

然后我写了一个虚拟函数void release（size_t，int*）{}，并将物种化重写为

template <typename T_res, typename FT, FT func>
struct GL_resource<T_res, decltype(release), release>
{
    ~GL_resource()
    {
        func(1, name);
    }
};

这次我得到了：

错误：“ulu（无符号int， int*）”不是模板非类型参数结构GL_resource的有效类型。

有人能解释一下原因吗？

Answer 1

函数不是值，因此它们不能是非类型模板参数；但是指向函数的指针可以是：

template <typename T_res, typename RT, typename DT, RT (*func) (size_t, DT*)>
struct GL_resource<T_res, RT (*)(size_t, DT*), func>
{
    ~GL_resource()
    {
        func(1, name);
    }
};   

请注意，即使用作非类型模板参数，函数也会受到指针衰减的影响，因此FT将始终是指向函数的指针类型，而不是函数类型。