【问题标题】:Can't constrain generic types to be equivalent in Swift 5不能将泛型类型限制为在 Swift 5 中等效
【发布时间】:2021-02-17 03:04:57
【问题描述】:

为什么 Swift 不允许这个泛型函数:

我试图表达一个通用函数,它将采用两种“数字”类型,并比较它们,可以是 Ints、Floats、Double 等...

为什么 Swift 会说 Same-type requirement makes generic parameters 'T' and 'U' equivalent,这是怎么回事?

func isSameNumber <T, U> (lhs: T, rhs: U) where T: Numeric, U:Numeric, T == U {
    if lhs == rhs {
        print("true")
    }
    else{
        print("false")
    }
}

【问题讨论】:

  • 如果你在想调用这个函数的地方直接使用lhs == rhs ? "true" : "false"怎么办。

标签: swift generics types


【解决方案1】:

如果T == U,那么你只有一个泛型类型,所以不要声明2个泛型类型。您只需将两个输入参数限制为相同的泛型类型T。

func isSameNumber<T>(lhs: T, rhs: T) where T: Numeric {
    if lhs == rhs {
        print("true")
    }
    else{
        print("false")
    }
}

【讨论】:

  • 有趣的是这实际上是同一件事...func anyCommonElements &lt;T, U&gt; (lhs: T, rhs: U) -&gt; [U.Element] where T: Sequence, U: Sequence, T.Element: Equatable, T.Element == U.Element 但它不会抱怨,你觉得@Dávid Pásztor 怎么样
  • @Woodstock 好吧,这不是一回事,真的。您可以有 2 个不同的序列,它们的元素类型相同,因此 T 和 U 在该序列示例中不等价。这是一个具体的例子:T 是 Set&lt;Int&gt; 和 U 是 Array&lt;Int&gt;。
  • 另一个很好的例子是一个字符数组和一个字符串
  • @Woodstock 顺便说一句,已经有专门用于此目的的本机序列方法elementsEqual
猜你喜欢
  • 1970-01-01
  • 2017-05-19
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 2017-11-17
相关资源
最近更新 更多