Typescript 一个打字类型可以实现一个接口吗

这个问题的答案是否定的，你不能直接用a type alias来做. implements clause只适用于class声明，extends clause只适用于interface或class声明.

当然，获得类似的功能非常容易:

类上的implements子句只是判断类实例是否可分配给声明的类型，如果不是，则生成编译器警告；它对 实例.您可以对实用程序类型执行相同的操作，例如

type Implements<T, U extends T> = U

所以Implements<T, U>对结果类型U没有影响，但是由于U是constrained到T，如果它不可赋值，你会得到一个警告.

让我们来测试一下:

type Cat = Implements<IPet, {
    needsFood: boolean,
    color: string,
}> // okay

type Dog = Implements<IPet, {
    bark(): void 
}>; // error!  Property 'needsFood' is missing in type '{ bark(): void; }'

看上go 不错.

同时，extends子句可用于将成员添加到父类型或缩小父类型的成员范围.这基本上与intersection type相同，因此我们可以创建一个实用程序类型来捕获以下内容:

type Extends<T, U extends Pick<T, keyof T & keyof U>> =
    T & U;

在这里，我们组合了父类型T和新成员U.我对U进行了约束，以确保您不能添加冲突的属性，这类似于您try 扩展具有冲突属性的接口时发生的情况:

type Cat2 = Extends<IPet, {
    color: string
}>

type Dog2 = Extends<IPet, {
    needsFood: number // error! 
}>; // error! 
// Type '{ needsFood: number; }' does not satisfy the constraint Pick<IPet, "needsFood">.

看起来也不错.

这些方法并不完全等同于implements/extends条款，但它们应该足够接近许多用例.几乎可以肯定的是，它们有不同的边缘情况，这些情况可能会被修复或解决.但这里的基本要点是，您可以使用泛型约束和交集类型来构建解决方案.

Playground link to code个