C++中的米迪定理