C++ 中扩展的米迪定理