char s[] = "abc"; 是正确的字符串表示方式，其中 s 是一个字符数组。