B(A *pa) {m_b = pa->m_a}; 中的;应该搁在}前，但我想这可能是你的笔误，其他没有错误。
C::C():M_B(&M_A)中M_A的空间已经存在，只是还没有初始化，但可以使用。
M_B(&M_A)调用了B的构造函数B(A* pa)；
B b=M_B，调用了缺省的构造函数B(B&)。