检查两个类是否具有相同签名的方法

Question

假设：

struct A {
    int foo(int x);
}

template<typename X>
struct B {
    int foo(int x);

    static_assert(B::foo has same sig as X::foo)
}

B<A> trigger check 

基本上，我想定义一个原型结构，然后概念检查给定的具体结构是否具有相同的成员。

谢谢！