斯威夫特协议和多态性

Question

我一直试图让这个代码工作

protocol Shootable 
{ 
    func shoot() 
} 

protocol Shooter 
{ 
    var weapon:Shootable { get set } 
} 

class Gun:Shootable 
{ 
    func shoot() { 

    } 

    func someOtherMethod() 
    { 

    } 
} 

class Player:Shooter 
{ 
    var weapon:Gun 

    init() 
    { 
     weapon = Gun() 
     weapon.someOtherMethod() 
    } 
} 

但是，编译器告诉我，球员不符合射手协议。我认为这是因为玩家武器变种是Gun类型的，不可射击，即使Gun实现Shootable。

但后来我改变了这一点，现在，它的工作原理：

protocol Shooter 
{ 
    typealias Weapon:Shootable 
    var weapon:Weapon { get set } 
} 

而且我不知道为什么。我以为typealiases只是给一个类型另一个名字，我并不知道这种能力...

任何人都可以对此有所了解吗？

Answer 1

AFAIK typealias里面的声明是类似于声明通用类型。使用协议在声明中键入声明您将仅用于协议声明的内容。

你的第一个例子中的情况下工作，你写：

class Player:Shooter 
{ 
    var weapon:Shootable 

    init() 
    { 
     weapon = Gun() 
     /* weapon.someOtherMethod() 
     Can't use it 'cause weapon is strictly a Shootable, thus it is not meant to have any other methods than shoot() 
     */ 
    } 
} 

你的第二个例子工程，因为你声明通用类型的协议内，并要求它符合Shootable一个类型。您修改利用类型推断的，因此可以更清楚你的第二个例子如下改写：

class Player:Shooter 
{ 
    typealias Weapon = Gun 
    var weapon:Weapon 

    init() 
    { 
     weapon = Gun() 
     weapon.someOtherMethod() 
    } 
} 

在这里，我明确地声明，通用协议类型别名Weapon是Gun（并且由于它符合Shootable一切都好）。在你的例子中，这是由编译器隐式推断的，因为没有歧义。