这是由于缓冲区造成的，解决方法如下：

 1 #include <stdio.h>
 2 
 3 int main()
 4 {
 5     fflush(stdout);
 6     setvbuf(stdout, NULL, _IONBF, 0);
 7 
 8     printf("Hello World!\n");
 9      while(1);
10 
11     return 0;
12 }

在打印前加上5，6行