简简单单

#include<bits/stdc++.h>
int main(){printf("%s %.1lf %d","张三",98.5,12);}