为什么成员函数不能用作模板参数？

Question

为什么成员函数不能用作模板参数？ 例如，我想做这样的事情：

struct Foo {
    void Bar() { // do something
    }
};
template <typename TOwner, void(&func)()>
void Call(TOwner *p) {
    p->func();
}
int main() {
    Foo a;
    Call<Foo, Foo::Bar>(&a);
    return 0;
}

我知道可以使用指向成员的指针来完成类似的事情； 好吧，大多数时候它已经足够酷了，但我只是好奇为什么“应该”使用指针。

我认为解释上面的“p->func()”没有歧义。 为什么标准禁止我们使用成员函数作为模板参数？ 根据我的编译器（VC++ 2013），即使是静态成员函数也是不允许的。有谁知道原因？或者，有没有办法在不因指针取消引用而损失任何性能的情况下做同样的事情？

谢谢。

Answer 1

它们可以用作非类型参数，但你需要使用正确的语法

struct Foo {
    void Bar() { // do something
    }
};
template <typename TOwner, void(TOwner::*func)()>
void Call(TOwner *p) {
    (p->*func)();
}
int main() {
    Foo a;
    Call<Foo, &Foo::Bar>(&a);
    return 0;
}

Answer 2

事实上，成员函数指针可以用作模板参数（就像任何其他指针类型可以用作模板参数一样）：

struct A
{
    int f(float x);
};

template <int (A::F*)(float)>
struct B {};

template<A *> struct C;
template<A &> struct D;

但是，根据 C++ 标准的以下摘录，不能将引用传递给成员。

[温度参数]

4. 非类型模板参数应具有以下之一 （可选 cv 限定）类型：

(4.1) — 整数或枚举类型，

(4.2) — 指向对象的指针或指向函数的指针，

(4.3) — 对对象的左值引用或对函数的左值引用，

(4.4) — 指向成员的指针，

(4.5) — std::nullptr_t.

---

接下来，假设你设法以某种方式传递了你的函数类型并想在里面调用它，你会遇到同样的问题，就像你想将它们存储在函数指针或a std::function object中一样：即调用你需要两者，成员函数以及具体对象。只传递函数是不够的。

但实际上你可以实现你想要的。只需将函数绑定到您的对象并在之后传递它：

template<typename T, typename F>
void call(T&& t, F&&f)
{
    f(std::forward<T>(t));
}

struct A
{
    void foo() { std::cout<<"hello"<<std::endl; }  
};

int main()
{
    A a;
    auto f=std::bind(&A::foo, a);   //or possibly "std::ref(a)" instead of "a"
    call(3,f);
}

DEMO