Tại sao tôi không thể sử dụng một lớp con của một loại chung trong Swift?

Question

Tại sao Swift không cho phép tôi gán giá trị Foo<U> cho một biến loại Foo<T>, trong đó U là một phân lớp của T?

Ví dụ:

class Cheese { 
    let smell: Int 
    let hardness: Int 
    let name: String 

    init(smell: Int, hardness: Int, name: String) { 
     self.smell = smell 
     self.hardness = hardness 
     self.name = name 
    } 

    func cut() { 
     print("Peeyoo!") 
    } 
} 

class Gouda: Cheese { 
    let aged: Bool 

    init(smell: Int, hardness: Int, name: String, aged: Bool) { 
     self.aged = aged 
     super.init(smell: smell, hardness: hardness, name: name) 
    } 

    override func cut() { 
     print("Smells delicious") 
    } 
} 

class Platter<Food> { 
    var food: Food 

    init(food: Food) { 
     self.food = food 
    } 
} 

let goudaCheese = Gouda(smell: 6, hardness: 5, name: "Gouda", aged: false) 
let goudaPlatter = Platter(food: goudaCheese) //Platter<Gouda> 

//error: cannot assign value of type 'Platter<Gouda>' to type 'Platter<Cheese>' 
let platter: Platter<Cheese> = goudaPlatter 

Nhưng tại sao không cho nó hoạt động? Bạn có thể gán cho một biến một đối tượng là một phân lớp của loại đó, ví dụ:

let gouda = Gouda(smell: 6, hardness: 5, name: "Gouda", aged: false) 
let cheese: Cheese = gouda 

Và bạn có thể thêm lớp con vào bộ sưu tập:

let plainCheese = Cheese(smell: 2, hardness: 5, name: "American") 
let gouda = Gouda(smell: 6, hardness: 5, name: "Gouda", aged: false) 
var cheeses: [Cheese] = [plainCheese] 
cheeses.append(gouda) 

Vậy làm thế nào là let platter: Platter<Cheese> = goudaPlatter khác nhau? Có bất kỳ hoàn cảnh nào không an toàn nếu nó hoạt động không? Nó chỉ đơn giản là một hạn chế của phiên bản hiện tại của Swift?

Answer 1

Bạn có thể giải quyết vấn đề này bằng kỹ thuật được gọi là type erasure. Về cơ bản, bạn tạo một cấu trúc "wrapper" để ẩn các chi tiết lớp cơ bản khỏi generic. Nó không phải lý tưởng, nhưng nó cho phép bạn thực hiện một cái gì đó tương tự như những gì bạn đang cố gắng làm.

class Cheese { 
    func doSomethingCheesy() { 
     print("I'm cheese") 
    } 
} 

class Gouda: Cheese { 
    override func doSomethingCheesy() { 
     print("I'm gouda") 
    } 
} 

struct AnyCheese { 
    let cheese: Cheese 
} 

class Container<T> { 
    init(object: T) { 
     self.object = object 
    } 
    let object: T 
} 

let cheese = Cheese() 
let cheeseContainer: Container<AnyCheese> = Container(object: AnyCheese(cheese: cheese)) 

let gouda = Gouda() 
let goudaContainer: Container<AnyCheese> = Container(object: AnyCheese(cheese: gouda)) 

cheeseContainer.object.cheese.doSomethingCheesy() // prints "I'm cheese" 
goudaContainer.object.cheese.doSomethingCheesy() // prints "I'm gouda"