我的问题是关于成员函数指针的。这里有一个示例代码:类从继承，从继承。我原以为和是同一类型的，但实际上它们是不同类型的，一个是，另一个是。我使用gdb ptype命令检查数据类型。

我的问题是:这个行为是由C++标准定义的吗？这个设计决策的依据是什么？

#include <type_traits>
#include <iostream>

struct A {
  void foo() {
    std::cout << this << std::endl;
  }
  int a;
};

struct B {
  void bar() {
    std::cout << this << std::endl;
  }
  int b;
};

struct C : public A, B { };

int main() {
  auto p1 = &C::foo;  // p1 is void (A::*)();
  auto p2 = &C::bar;  // p2 is void (B::*)();

  auto p3 = &A::foo;  // p3 is void (A::*)();

  bool b1 = std::is_same<decltype(p1), decltype(p2)>::value;
  bool b2 = std::is_same<decltype(p1), decltype(p3)>::value;
  std::cout << b1 << std::endl; // false
  std::cout << b2 << std::endl; // true
  return 0;
}