main(){char string1[64]="abc";char *string2="def";char string3[]="123";strcat (string1,string2);strcat (string1,string3);printf("%d\n",strlen(string1));求解释和答案