代码之家 › 专栏 › 技术社区 › Mark A. Donohoe

您能强制使用两种类型的泛型以确保这些类型不相同吗?

swift5 where-clause generics swift

Mark A. Donohoe · 技术社区 · 6 年前

这是我想做的(但它不会编译)。。。

class Foo<T1, T2> where T1 != T2 {
}

考虑到这些类型。。。

class A{}
class B{}
class SubA : A{}

这些应该是有效的。。。

let w = Foo<A, B>()
let x = Foo<B, A>()

let y = Foo<A, SubA>

但这不应该被允许。。。

let y = Foo<A, A>

如果重要的话使用Swift 5。

0 回复 | 直到 6 年前

Asperi 6 年前

这是一种可能的方法,编译时为相同类型生成错误,为不同类型传递错误。

generics type checking to avoid same types

class A {}
class B {}

class Foo<T1, T2> {
    private init() {}
}

extension Foo where T1: A, T2: B {
    convenience init(_ a: T1, _ b: T2) {
        self.init()
    }
}

extension Foo where T1: B, T2: A {
    convenience init(_ b: T1, _ a: T2) {
        self.init()
    }
}

以及测试。。。

let test1 = Foo(A(), B())
let test2 = Foo(B(), A())
let test2 = Foo(A(), A()) // << Error: Ambiguous reference to initializer 'init(_:_:)'
let test2 = Foo(B(), B()) // << Error: Ambiguous reference to initializer 'init(_:_:)'
let test3 = Foo<String, String>() // Error: 'Foo<T1, T2>' initializer is inaccessible due to 'private' protection level

更新:Rob Napier评论

推荐文章

sudoExclamationExclamation · iOS自动布局-高度不能小于ThanOrEqualTo

1 年前

Tom · SwiftUI.sheet导致背景白色闪烁

1 年前

Danil · 种子/填充核心数据的最佳实践?[关闭]

1 年前

Z S · SwiftUI:使用@FocusState。与视图初始化器绑定

1 年前

Robin · LazyVGrid项目预计不会击中测试区域

1 年前

Mahendra · Popover不是从SwiftUI中的项目列表中打开的[重复]

1 年前

Saurabh Saini · 结构下标

1 年前

Alex Smith · 移动到下一个视图控制器后如何显示警报?

1 年前

jnwjack · Swift:初始化不安全可变指针<CGImage?>不分配

1 年前

Moses Harding · 在SwiftUI的ForEach中以绑定和非绑定方式使用数组的单个成员,而不使用索引

1 年前