foo.cc: In function 'int main()':
foo.cc:31:29: warning: format '%d' expects argument of type 'int', but argument 2 has type 'double' [-Wformat=]
             printf("%d ", x1);
                             ^

自豪的采用jd5进行评测(github.com/masnn/jd5)