在c++里面 怎么把double型的保留三位小数输出?如100 ,6.2542.输出为100.000,6.254.