c++ - 为什么指针到成员函数的模板参数推导失败？

Question

使用 g++ 5.4，这个

struct B {
    void f() {}
}; 

struct D : public B {
    void g() {}
};

template <class T>
void foo(void (T::*)(), void (T::*)())
{}

int main()
{
    foo(&D::f, &D::g);
}

由于“推断出参数‘T’(‘B’和‘D’)的冲突类型”而失败。为什么 T 不被推导出为 D，是完全匹配的？

Answer 1

&D::f 的类型为 void ( B::* )(void)

static_assert(::std::is_same<void ( B::* )(void), decltype(&D::f)>::value, "");
static_assert(::std::is_same<void ( D::* )(void), decltype(&D::f)>::value, ""); // error
static_assert(::std::is_same<void ( D::* )(void), decltype(&D::g)>::value, "");

这背后的基本原理是，否则您将无法将 &D::f 的值分配给 void ( B::* )(void) 类型没有强制转换，即使 f 是 B 的成员或比较 &D::f == &B::f。

作为一种解决方法，您可以执行 static_cast:

foo(static_cast<void (D::*)(void)>(&D::f), &D::g);