Swift中排序数组的类型

不确定这是否是科幻小说，但是否有可能创建一个

类型

，该类型表示一个符合特定条件的

数组

，例如总是被排序

---

或者一个

2元组，其中第一个元素总是大于第二个元素？
您所描述的被称为依赖类型（）。斯威夫特没有这些，我也不知道任何主流（非研究）语言有这些。当然，您可以创建一种特殊类型的集合，它像数组一样被索引，并在每次修改时对自身进行排序，您还可以使用
更大的
和
出租方
属性包装一个结构，这些属性总是对自身进行重新排序。但是这些条件不能附加到现有的数组或元组类型。
您所描述的称为依赖类型（）。斯威夫特没有这些，我也不知道任何主流（非研究）语言有这些。当然，您可以创建一种特殊类型的集合，它像数组一样被索引，并在每次修改时对自身进行排序，您还可以使用
更大的
和
出租方
属性包装一个结构，这些属性总是对自身进行重新排序。但是这些条件不能附加到现有的数组或元组类型