若有以下定义和语句char a1[]=12345"