语句“char*s="abc";strcpy(s,"def");”可以正常运行。