约束类型别名不使用约束

Question

这个有效：

protocol Walkable {
    init()
}

class Animal {
    init(someProperty: Int) {}
}

class WalkableAnimal: Animal, Walkable {
    required init() {
        super.init(someProperty: 0)
    }
}

class Person {
    init() {
        InitializeAWalkableAnimal(walkableAnimal: WalkableAnimal.self)
    }

    func InitializeAWalkableAnimal<T: Animal>(walkableAnimal: T.Type) where T: Walkable {
        let animal = walkableAnimal.init()
    }
}

但是，我想完全避免使用 WalkableAnimal 子类。我只想创建一个继承自 Animal 并符合 Walkable 协议的 Cat class。此外，我不能直接将 Cat 作为参数传递，因为类型是动态的。我希望这样的事情应该有效：

protocol Walkable {
    init()
}

class Animal {
    init(someProperty: Int) {}
}

class Cat: Animal, Walkable {
    required init() {
        super.init(someProperty: 0)
    }
}

class Dog: Animal, Walkable {
    required init() {
        super.init(someProperty: 1)
    }
}

typealias AnyWalkableAnimal = (Animal & Walkable).Type

class Person {
    init(anyWalkableAnimal: AnyWalkableAnimal) {
        // ERROR
        InitializeAWalkableAnimal(walkableAnimal: anyWalkableAnimal.self)
    }

    func InitializeAWalkableAnimal<T: Animal>(walkableAnimal: T.Type) where T: Walkable {
        let animal = walkableAnimal.init()
    }
}

class PersonCaller {
    init() {
        Person(anyWalkableAnimal: Cat.self)
        Person(anyWalkableAnimal: Dog.self)
    }
}

错误是：

Instance method 'InitializeAWalkableAnimal(walkableAnimal:)' requires that 'Animal' conform to 'Walkable'

这是无稽之谈，因为 typealias 不允许非 Walkables 的类型，对吗？为什么编译器不高兴？有什么办法可以传递任何符合 Animal 和 Walkable 的类型吗？为什么 typealias 不起作用？ typealias 明确提到它采用的类型必须是 Animal 和 Walkable。它以相反的方式工作（如预期的那样）：当我尝试传入不符合 Walkable 的 Animal 时，初始化程序会给出编译错误。

我正在 Swift 开发工具链 2018 年 12 月 25 日开发，如果这有什么不同的话。

Answer 1

我完全不明白为什么 InitializeAWalkableAnimal 需要通用。

protocol Walkable {
    init()
}

class Animal {
    init(someProperty: Int) { }
}

class Cat: Animal, Walkable {
    required init() { super.init(someProperty: 0) }
}

class Dog: Animal, Walkable {
    required init() { super.init(someProperty: 1) }
}

typealias Pet = Animal & Walkable
typealias PetType = Pet.Type

class Person {
    init(petType: PetType) {
        initPet(petType: petType)
    }

    func initPet(petType: PetType) {
        let pet = petType.init()
        print("I got a pet: \(pet)")
    }
}

class PersonCaller {
    init() {
        Person(petType: Cat.self)
        Person(petType: Dog.self)
    }
}

_ = PersonCaller()

输出：

I got a pet: __lldb_expr_8.Cat
I got a pet: __lldb_expr_8.Dog

约束类型别名不使用约束

Constrainted typealias doesn't use constraints

generics

type-alias

swift