我试着定义一个协议P2,以便它返回一个对另一个协议P1有约束的泛型类,例如：
- protocol P1 {}
- class C<T : P1> {}
- public protocol P2 {
- typealias T
- class func c() -> C<T>
- }
但是这会导致以下编译器错误：
- error: type 'T' does not conform to protocol 'P1'
- class func c() -> C<T>
似乎没有任何组合可以允许这种情况,例如：下一个明显的语法：
- protocol P1 {}
- class C<T : P1> {}
- public protocol P2 {
- typealias T
- class func c() -> C<T : P1>
- }
错误：
- error: expected '>' to complete generic argument list
- class func c() -> C<T : P1>
- ^
- note: to match this opening '<'
- class func c() -> C<T : P1>
这可以在Swift中做到吗？
我从来没有使用过这样的约束,但我认为你可以在类型中定义它 – 我在游乐场尝试过它并且编译成功：
- typealias T: P1
