1.有如下程序
#include   <stdio.h>
#include   <string.h>
main()
{
   char  a[] = "1234", *b = "ABC";
   printf("%d,%d,%d,%d ", strlen(a), sizeof(a), strlen(b), sizeof(b));
}
程序运行后的输出结果是（　　）。