How do you say 빠른 일반에

Question

스위프 일반 타입 제약 조건이 프로토콜 이름 인 경우 해당 프로토콜에 제약이있는 두 가지 유형이 같은 유형이어야합니다. 예를 들면 :

protocol Flier {} 
struct Bird : Flier {} 
struct Insect: Flier {} 
func flockTwoTogether<T:Flier>(f1:T, f2:T) {} 

flockTwoTogether가 아니라 조류와 곤충, 조류와 조류 나 곤충과 곤충 호출 할 수있는 기능. 그것이 내가 원하는 한계 다. 여태까지는 그런대로 잘됐다. 내가 클래스 이름과 같은 일을하려고하면

그러나, 그것은 작동하지 않습니다

class Dog {} 
class NoisyDog : Dog {} 
class WellBehavedDog: Dog {} 
func walkTwoTogether<T:Dog>(d1:T, d2:T) {} 

문제는 내가 WellBehavedDog과 NoisyDog와 walkTwoTogether를 호출 할 수 있다는 것입니다. 이것이 내가 막고 싶은 것입니다.

두 가지 질문이 정말로 여기 있습니다 walkTwoTogether는 WellBehavedDog과 NoisyDog으로 호출 할 수 없습니다 말할 수있는 방법이

• 있습니까?

• 이것은 버그입니까? 왜냐하면 일반 함수를 사용할 수 없다면 일반 함수를 사용했을 때와 동일한 결과를 얻을 수 있기 때문에 제네릭 제약이 클래스 이름이되는 것이 왜 유용한 지 알기가 어렵 기 때문입니다.

Answer 1

하지 대답, 자체, 그러나 아마 좀 더 데이터가 ... 문제는 당신이 호출 할 때입니다 :

walkTwoTogether(NoisyDog(), WellBehavedDog()) 

가 인스턴스를하는 경우로

스위프트는 두 인스턴스를 처리 할 수 Dog (별칭 : upcast) - 우리는 서브 클래스가 A 인 클래스 A에 대한 메소드를 호출 할 수 있어야합니다. (난 당신이 알고 알고 있습니다.)

스위프트 프로토콜 업 캐스팅하지 않기 때문에 그것을 할 수있는 유일한 방법은 슈퍼 클래스가 을 준수하지 않는 서브 클래스에 대한 프로토콜을 지정하는 것입니다 :

protocol Walkable {} 
extension NoisyDog : Walkable {} 
extension WellBehavedDog: Walkable {} 
func walkTwoTogether<T: Dog where T: Walkable>(d1:T, d2:T) { } 

walkTwoTogether(NoisyDog(), WellBehavedDog()) 
// error: type 'Dog' does not conform to protocol 'Walkable' 

을

오류 메시지가 명시 적으로 무슨 일이 일어나고 있는지 보여줍니다 - walkToTogether 버전을 호출 할 수있는 유일한 방법은 Dog에 서브 클래스의 인스턴스를 업 캐스팅하는 것입니다,하지만 Walkable에 Dog 일치하지 않습니다.

Answer 2

나는 그들이해야대로 inout 매개 변수 유형 요구 사항을 변경할 수 있기 때문에이 버그로 간주되어야한다고 말할 것

: 이제

func walkTwoTogether<T:Dog>(inout d1:T, d2:T) { 

그것은 당신이 단지 같은 종류의 두 개의 값을 전달할 수 예상되는 동작이있다 . (Swift 1.2 및 Swift 2 Beta 5에서 테스트되었습니다.)