void test1(){ char string[10]; char* str1 = "0123456789"; strcpy( string, str1 );} 怎么不出错?string不是应该要存储{0,1,2,3,4,5,6,7,8,9,\0}这11个字符么?