TypeScript泛型的類型安全

Question

我不確定是否做錯了，還是設計使然...

在我班上

class List<T> { ... }

我有辦法

public Add(value: T): void { ... }

我創建列表的一個實例

const fooList: List<foo> = new List<foo>();

但現在我仍然可以

fooList.Add(new bar());

foo和bar是不相關的類型。 這不會觸發任何編譯器警告，對此我有點推遲。

我做錯了嗎，還是按預期進行？

Answer 1

我做錯了嗎，還是按預期進行？

如果類型兼容，則將被允許，例如

class List<T> {
  add(val: T) { }
}

class Animal { name: string; }
class Cat extends Animal { meow() { } }

const animals = new List<Animal>();
animals.add(new Animal()); // Okay 
animals.add(new Cat()); // Okay 

const cats = new List<Cat>();
cats.add(new Animal()); // Error 

更多

• 查找TypeScript類型兼容性
• 我也寫了一些文檔： https : //basarat.gitbooks.io/typescript/docs/types/type-compatibility.html#generics