有以下程序intmain(){chara[]=”Hi”，charb[]=”NEU”;strcat(a，b);printf(“%d”，strlen(a));return;}输出结果为