Nhiều ràng buộc kiểu trong Swift

Hãy nói rằng tôi có các giao thức này:

protocol SomeProtocol {

}

protocol SomeOtherProtocol {

}

Bây giờ, nếu tôi muốn một hàm có kiểu chung, nhưng kiểu đó phải tuân theo SomeProtocoltôi có thể làm:

func someFunc<T: SomeProtocol>(arg: T) {
    // do stuff
}

Nhưng có cách nào để thêm một ràng buộc kiểu cho nhiều giao thức không?

func bothFunc<T: SomeProtocol | SomeOtherProtocol>(arg: T) {

}

Những thứ tương tự sử dụng dấu phẩy, nhưng trong trường hợp này, nó sẽ bắt đầu khai báo một loại khác. Đây là những gì tôi đã thử.

<T: SomeProtocol | SomeOtherProtocol>
<T: SomeProtocol , SomeOtherProtocol>
<T: SomeProtocol : SomeOtherProtocol>

Bạn có thể sử dụng mệnh đề where cho phép bạn chỉ định bao nhiêu yêu cầu mà bạn muốn (tất cả đều phải được thực hiện) được phân tách bằng dấu phẩy

Swift 2:

func someFunc<T where T:SomeProtocol, T:SomeOtherProtocol>(arg: T) {
    // stuff
}

Swift 3 & 4:

func someFunc<T: SomeProtocol & SomeOtherProtocol>(arg: T) {
    // stuff
}

hoặc mệnh đề where mạnh hơn:

func someFunc<T>(arg: T) where T:SomeProtocol, T:SomeOtherProtocol{
    // stuff
}

Tất nhiên bạn có thể sử dụng thành phần giao thức (ví dụ protocol<SomeProtocol, SomeOtherProtocol>:), nhưng nó kém linh hoạt hơn một chút.

Sử dụng wherecho phép bạn đối phó với các trường hợp có nhiều loại liên quan.

Bạn vẫn có thể muốn soạn các giao thức để sử dụng lại ở nhiều nơi hoặc chỉ để đặt cho giao thức tổng hợp một tên có ý nghĩa.

Swift 5:

func someFunc(arg: SomeProtocol & SomeOtherProtocol) { 
    // stuff
}

Điều này cảm thấy tự nhiên hơn khi các giao thức bên cạnh đối số.

Bạn có hai khả năng:

1. Bạn sử dụng mệnh đề where như được chỉ ra trong câu trả lời của Jiaaro:

   func someFunc<T where T : SomeProtocol, T : SomeOtherProtocol>(arg: T) {
       // do stuff
   }

2. Bạn sử dụng loại thành phần giao thức :

   func someFunc<T : protocol<SomeProtocol, SomeOtherProtocol>>(arg: T) {
       // do stuff
   }

Sự phát triển của Swift 3.0 mang đến một số thay đổi. Hai lựa chọn của chúng tôi bây giờ trông hơi khác nhau.

Sử dụng wheremệnh đề trong Swift 3.0:

Các wherekhoản bây giờ đã chuyển đến cuối của một chữ ký chức năng để cải thiện khả năng đọc. Vì vậy, nhiều kế thừa giao thức bây giờ trông như thế này:

func someFunc<T>(arg: T) where T:SomeProtocol, T:SomeOtherProtocol {

}

Sử dụng protocol<>cấu trúc trong Swift 3.0:

Thành phần sử dụng các protocol<>cấu trúc đang bị phản đối. Trước protocol<SomeProtocol, SomeOtherProtocol>đây trông như thế này:

func someFunc<T:SomeProtocol & SomeOtherProtocol>(arg: T) {

}

Người giới thiệu.

Thông tin thêm về các thay đổi dành cho wheretại đây: https://github.com/apple/swift-evolution/blob/master/proposeals/0081-move-where-expression.md

Và, nhiều hơn về các thay đổi cho giao thức <> xây dựng có tại đây: https://github.com/apple/swift-evolution/blob/master/proposeals/0095-any-as-existential.md

Swift 3 cung cấp tối đa 3 cách khác nhau để khai báo chức năng của bạn.

protocol SomeProtocol {
    /* ... */
}

protocol SomeOtherProtocol {
    /* ... */        
}

1. Sử dụng &toán tử

func someFunc<T: SomeProtocol & SomeOtherProtocol>(arg: T) {
    /* ... */
}

2. Sử dụng wheremệnh đề

func someFunc<T>(arg: T) where T: SomeProtocol, T: SomeOtherProtocol {
    /* ... */
}

3. Sử dụng wheremệnh đề và &toán tử

func someFunc<T>(arg: T) where T: SomeProtocol & SomeOtherProtocol {
    /* ... */        
}

Cũng lưu ý rằng bạn có thể sử dụng typealiasđể rút ngắn khai báo hàm.

typealias RequiredProtocols = SomeProtocol & SomeOtherProtocol

func someFunc<T: RequiredProtocols>(arg: T) {
    /* ... */   
}