void test1()
{
　char string[10];
　char* str1 = "0123456789";
　strcpy( string, str1 );
}

怎么不出错？
string不是应该要存储{0，1，2，3，4，5，6，7，8，9，\0}这11个字符么？