private string getNewRegionID() { for (int i = 1; i < 1000; i++) { string str = i.ToString("000"); if (Regions.All(_ => _.ID != str)) { return(str); } } throw new InvalidCastException("添加区域失败,当前区域数量超过上限。"); }