Конец случая с ассоциированным значением родового типа с ограничениями

Question

Есть ли способ, используя обобщения и ограничения типа, свернуть первые два случая этого enum в один?

enum AllowedValueRange { 

    // Associated value represents (min, max). 'nil' represents 
    // "no limit" for that interval end (+/- infinity) 
    case IntegerRange(Int?, Int?) 


    // Associated value represents (min, max). 'nil' represents 
    // "no limit" for that interval end (+/- infinity) 
    case FloatRange(Float?, Float?) 


    // A finite set of specific values of any type 
    case ArbitrarySet([Any]) 

    // (...Other cases with different structure of associated values 
    // or no associated values...) 
} 

Добавление: Я знаю, что могу указать общий тип для всей enum, но только эти два типа нужен. Кроме того, я думаю, что она должна соответствовать как Equatable и Comparable, но я не могу достаточно найти синтаксис для указания, что ...

---

EDIT: (?) Оказывается Comparable содержит Equatable, поэтому, возможно, я могу это сделать:

enum AllowedValueRange { 

    // Associated value represents (min, max). 'nil' represents 
    // "no limit" for that interval end (+/- infinity) 
    case NumericRange((min:Comparable?, max:Comparable?)) 

    // (rest omitted) 

(также включен пару ассоциированных значений с одним, по имени кортеж из двух значений)

Answer 1

Вы могли определить

enum AllowedValueRange { 
    case NumericRange((min:Comparable?, max:Comparable?)) 
} 

но позволит вам создать экземпляр значения с двумя несвязанный сравнимых типов, например

let range = AllowedValueRange.NumericRange((min: 12, max: "foo")) 

, который, вероятно, не то, что вы хотите. Поэтому вам нужен общий тип (который может быть сопоставим):

enum AllowedValueRange<T: Comparable> { 
    case NumericRange((min:T?, max:T?)) 
}