赋值相容类型 【计】 assignment compatible type