以下程序的输出结果是______。 #include＜string.h＞ main() {char a[]={’\1’,’\2’,’\3’,’\4’,’\0’}； printf("% d % d\n",sizeof(a)，strlen(a))； }