键入 trait 以匹配不同类的成员函数的签名

Question

检查在两个不同类中定义的两个方法的签名是否完全相同的最优雅的方式（可能是 C++17 方式）是什么？

例如：

template< typename ...Ts >
struct A
{
    void f(Ts...);
};

template< typename ...Ts >
struct B
{
    void g(Ts...);
};

static_assert(has_same_signatures< decltype(&A<>::f), decltype(&B<>::g) >{});
static_assert(!has_same_signatures< decltype(&A< int >::f), decltype(&B< char >::g) >{});
//static_assert(has_same_signatures< decltype(&A< void >::f), decltype(&B<>::g) >{}); // don't know is it feasible w/o extra complexity

如果两边的非成员函数类型也允许的话，那就太好了。

也许结果类型也应该被纠缠。

任务源于Qt框架中匹配信号/槽签名的常见问题。

Answer 1

你可以这样做：

// static member functions / free functions are the same
// if their types are the same
template <class T, class U>
struct has_same_signature : std::is_same<T, U> { };

// member functions have the same signature if they're two pointers to members
// with the same pointed-to type
template <class T, class C1, class C2>
struct has_same_signature<T C1::*, T C2::*> : std::true_type { };

请注意，A<void> 只是格式错误，因为您不能有 void 类型的参数。