#include<stdio.h>
int main()
    {
        double B = 123.456789;

        printf("a%5.5f", B);
        getchar();
        return 0;
    }
编译器是vs2017
输出是：a123.45679
应该是：a  123.45679
为什么呢？