#include<stdio.h>
int main(){
    int a = 0xABCDEF;
    printf("%15d",a);
}
这题没有想到的地方在于 用int类型的数表示16进制的时候，前面要加上0x