通过模板传递成员函数指针

Question

我以delegate implementation 为起点，并将其更新为使用可变模板。

我还尝试创建一个 createCallback 函数，该函数将在一个实例中创建一个 Callback 对象，但出现了一个我不完全理解的编译错误。

一个非常基本的可编译示例是这样的（为了清楚起见，我删除了 Callback 类）：

template<typename R, class T, typename ...P>
class MemberCallbackFactory
{
public:        
    template<R (T::*Func)(P...)>
    inline static void Bind(T* o)
    {
     //
    }
};

template<typename R, class T, typename ...P>
inline void
createCallback(T* obj, R (T::*Func)(P...))
{
    MemberCallbackFactory<R, T, P...>().template Bind<Func>(obj);
}

class Test
{
public:
    void doSomething(int val)
    {
        //
    }
};

int main()
{
    Test t;
    // Works:
    MemberCallbackFactory<void, Test, int>().Bind<&Test::doSomething>(&t);
    // Produces compile error:
    createCallback(&t, &Test::doSomething);
    return 0;
}

使用 C++11 使用 gcc4.9.2 编译此示例返回：

test2.cpp:11:28: note:   template argument deduction/substitution failed:
test2.cpp:21:9: error: ‘func’ is not a valid template argument for type ‘void (Test::*)(int)’
        MemberCallbackFactory<R, T, P...>().template Bind<func>(obj);
        ^
test2.cpp:21:9: error: it must be a pointer-to-member of the form ‘&X::Y’
test2.cpp:21:9: error: could not convert template argument ‘func’ to ‘void (Test::*)(int)’

如果我将 &Test::doSomething 作为 Func 参数传递给 createCallback 为什么我不能将其转发给 Bind 方法？不应该是正确的类型吗？

如果我将 createCallback 函数的一部分移到 main 中，它编译得很好。

Answer 1

您不能使用Func 作为模板参数，因为它不会计算为常量表达式。同样的问题：

template<int> void foo() {}
int A = 5;
foo<A>();