TypeScript基础(三)扩展类型-接口和类型兼容性

简介: 在TypeScript中,接口(Interface)用于定义对象的结构和类型。它是一种约定,用于描述对象应该具有哪些属性和方法。接口可以提高代码的可读性、可维护性和可重用性。接口的定义使用关键字interface,后面跟着接口的名称和一对花括号。在花括号中,可以定义接口的属性、方法和其他成员。

接口

TypeScript的接口:用于约束类、对象、函数的契约(标准)

和类型别名一样,接口,不出现在编译结果中

在TypeScript中,接口(Interface)用于定义对象的结构和类型。它是一种约定,用于描述对象应该具有哪些属性和方法。接口可以提高代码的可读性、可维护性和可重用性。

接口的定义使用关键字interface,后面跟着接口的名称和一对花括号。在花括号中,可以定义接口的属性、方法和其他成员。

以下是一个简单的接口示例:

interfacePerson {
name: string;
age: number;
sayHello: () =>void;
}

在上面的示例中,我们定义了一个名为Person的接口,它具有三个成员:nameagesayHello。其中,name是一个字符串类型的属性,age是一个数字类型的属性,而sayHello是一个没有参数和返回值的方法。

我们可以使用该接口来声明变量,并确保变量符合该接口所描述的结构:

letperson: Person= {
name: "Alice",
age: 25,
sayHello: () => {
console.log("Hello!");
  }
};

在上面的示例中,我们声明了一个名为person的变量,并将其赋值为一个对象字面量。该对象字面量符合 Person接口所描述的结构。

除了描述对象结构外,接口还可以描述函数类型、可选属性、只读属性等特性。

函数类型

interfaceMathOperation {
  (x: number, y: number): number;
}
letadd: MathOperation= (x, y) =>x+y;

在上面的示例中,我们定义了一个名为MathOperation的接口,它描述了一个函数类型。该函数接受两个参数 xy,并返回一个数字类型的结果。我们可以使用该接口来声明变量 add,并将其赋值为一个函数。

可选属性

interfacePerson {
name: string;
age?: number;
}
letperson1: Person= {
name: "Alice"};
letperson2: Person= {
name: "Bob",
age: 30};

在上面的示例中,我们将 age 属性标记为可选属性(使用 ? 符号)。这意味着在创建 Person 类型的变量时,可以选择性地包含或不包含 age 属性。

只读属性

interfacePoint {
readonlyx: number;
readonlyy: number;
}
letpoint: Point= { x: 10, y: 20 };
point.x=5; // 编译错误:无法分配到 "x" ,因为它是只读属性。

在上面的示例中,我们将 xy 属性标记为只读属性(使用 readonly 关键字)。这意味着一旦创建了该对象,就无法修改这些属性的值。

总结一下,TypeScript中的接口用于定义对象的结构和类型。它可以描述对象的属性、方法、函数类型、可选属性和只读属性等特性。接口可以提高代码的可读性、可维护性和可重用性。

接口继承

接口继承是指一个接口可以继承另一个接口的成员,从而拥有父接口的属性和方法。通过接口继承,可以实现代码的复用和组合。

示例:

interfaceShape {
color: string;
}
interfaceSquareextendsShape {
sideLength: number;
}
constsquare: Square= {
color: "red",
sideLength: 10,
};

在上面的示例中,Square 接口继承了 Shape 接口,因此 Square 接口拥有了 color 属性。我们可以创建一个 Square 类型的对象,并且该对象必须包含 colorsideLength 属性。

交叉类型

在 TypeScript 中交叉类型是将多个类型合并为一个类型。通过 & 运算符可以将现有的多种类型叠加到一起成为一种类型,它包含了所需的所有类型的特性。

示例:

typePerson= {
name: string;
};
typeEmployee= {
id: number;
};
typeManager= {
department: string;
};
typeEmployeeManager=Employee&Manager;
constemployeeManager: EmployeeManager= {
name: "John",
id: 123,
department: "HR",
};

在上面的示例中,我们创建了三个类型别名:PersonEmployeeManager。然后我们使用 & 符号将 EmployeeManager 类型合并为一个新的类型 EmployeeManager。我们创建了一个 employeeManager 对象,它拥有 nameiddepartment 属性。

对于上述示例,A和B包含相同成员T1,但是类型不同。这时候混入后的C成员T1的类型是never。因为number和string类型不可能同时存在。

类型兼容性

TypeScript的类型兼容性是指在类型检查过程中,允许某些类型之间的赋值操作或函数参数传递,即使它们的具体类型不完全匹配。这种灵活性使得TypeScript可以更好地处理不同类型之间的交互和兼容。

TypeScript的类型兼容性规则如下:

1. 结构化类型:如果两个类型具有相同的属性和方法,并且它们的属性和方法具有相同的名称和类型,那么它们是兼容的。这种规则被称为“鸭子类型”或“结构化子类型”。

例如:

interfaceAnimal {
name: string;
age: number;
}
interfacePerson {
name: string;
age: number;
gender: string;
}
letanimal: Animal= { name: "Tom", age: 5 };
letperson: Person=animal; // 兼容,因为Animal和Person具有相同的属性和方法

2. 函数兼容性:如果一个函数需要传递一个参数,并且该参数需要满足某些条件,那么可以传递满足这些条件的任意函数作为参数。

例如:

typeCallback= (result: string) =>void;
functionprocess(callback: Callback) {
callback("success");
}
functionhandleResult(result: string) {
console.log(result);
}
process(handleResult); // 兼容,因为handleResult满足Callback函数签名要求

3. 可选属性和参数:如果一个类型具有可选的属性或函数参数,那么它可以兼容没有这些可选项的类型。

例如:

interfaceOptions {
name: string;
age?: number;
}
letoptions1: Options= { name: "Tom" }; // 兼容,因为age是可选的letoptions2: Options= { name: "Tom", age: 5 }; // 兼容functionprintName(options: Options) {
console.log(options.name);
}
printName({ name: "Tom" }); // 兼容,因为age是可选的

4. 类型参数:如果一个泛型类型使用了另一个泛型类型作为其类型参数,并且这两个泛型类型之间满足某些条件,那么它们是兼容的。

例如:

interfaceContainer<T> {
value: T;
}
letnumberContainer: Container<number>= { value: 5 };
letanyContainer: Container<any>=numberContainer; // 兼容,因为Container<any>可以接受任意类型的值

总结起来,TypeScript的类型兼容性允许在一定条件下进行赋值和函数参数传递,使得代码更加灵活和易于维护。但需要注意,在某些情况下可能会出现潜在的错误或不一致性,因此在使用时需要谨慎考虑。

类型断言

TypeScript的类型断言是一种告诉编译器某个值的具体类型的方式。它可以在需要明确指定类型的地方使用,以便编译器可以正确地进行类型检查和推断。类型断言有两种形式:尖括号语法和as语法。

1. 尖括号语法

letvalue: any="hello";
letlength: number= (<string>value).length;
console.log(length); // 输出:5

在上面的例子中,我们将value声明为any类型,然后使用尖括号语法将其断言为string类型。这样就可以访问string类型的属性和方法,如length属性。

2. as语法

letvalue: any="hello";
letlength: number= (valueasstring).length;
console.log(length); // 输出:5

与尖括号语法类似,as语法也可以用于进行类型断言。它更加符合JSX的语法规范,并且在React项目中更常见。

需要注意的是,类型断言只是在编译时起作用,并不会影响运行时的行为。它只是告诉编译器某个值应该被视为特定的类型,但如果实际上该值不具备该类型所需的属性和方法,那么在运行时可能会导致错误。

另外,当我们对一个联合类型进行断言时,需要确保被断言的值确实是其中一个类型,否则可能会导致运行时错误。

interfaceCat {
name: stringrun(): void}
interfaceFish {
name: stringswim(): void}
functiongetPet(): Cat|Fish {
return {
name: 'hhh',
run() {
console.log('run')
    },
swim() {
console.log('swim')
    }
  }
}
letpet=getPet()
(petasCat).run() // 断言为Cat类型,可以调用run方法(petasFish).swim() // 断言为Fish类型,可以调用swim方法

在上面的例子中,getPet函数返回一个Cat或Fish类型的值。我们使用类型断言将pet断言为Cat或Fish类型,并根据具体的类型调用相应的方法。

总结起来,类型断言是一种在TypeScript中明确指定值的具体类型的方式。它可以通过尖括号语法或as语法进行表示,并且只在编译时起作用。使用类型断言时需要注意确保被断言的值具备所需的属性和方法,并且在对联合类型进行断言时要谨慎处理。


目录
相关文章
|
22天前
|
设计模式 JavaScript 安全
TypeScript性能优化及代码质量提升的重要性、方法与策略,包括合理使用类型注解、减少类型断言、优化模块导入导出、遵循编码规范、加强代码注释等
本文深入探讨了TypeScript性能优化及代码质量提升的重要性、方法与策略,包括合理使用类型注解、减少类型断言、优化模块导入导出、遵循编码规范、加强代码注释等,旨在帮助开发者在保证代码质量的同时,实现高效的性能优化,提升用户体验和项目稳定性。
40 6
|
21天前
|
开发框架 JavaScript 前端开发
TypeScript 是一种静态类型的编程语言,它扩展了 JavaScript,为 Web 开发带来了强大的类型系统、组件化开发支持、与主流框架的无缝集成、大型项目管理能力和提升开发体验等多方面优势
TypeScript 是一种静态类型的编程语言,它扩展了 JavaScript,为 Web 开发带来了强大的类型系统、组件化开发支持、与主流框架的无缝集成、大型项目管理能力和提升开发体验等多方面优势。通过明确的类型定义,TypeScript 能够在编码阶段发现潜在错误,提高代码质量;支持组件的清晰定义与复用,增强代码的可维护性;与 React、Vue 等框架结合,提供更佳的开发体验;适用于大型项目,优化代码结构和性能。随着 Web 技术的发展,TypeScript 的应用前景广阔,将继续引领 Web 开发的新趋势。
35 2
|
29天前
|
JavaScript 安全 前端开发
TypeScript类型声明:基础与进阶
通过本文的介绍,我们详细探讨了TypeScript的基础与进阶类型声明。从基本数据类型到复杂的泛型和高级类型,TypeScript提供了丰富的工具来确保代码的类型安全和可维护性。掌握这些类型声明能够帮助开发者编写更加健壮和高效的代码,提高开发效率和代码质量。希望本文能为您在使用TypeScript时提供实用的参考和指导。
34 2
|
1月前
|
JavaScript 开发者
在 Babel 插件中使用 TypeScript 类型
【10月更文挑战第23天】可以在 Babel 插件中更有效地使用 TypeScript 类型,提高插件的开发效率和质量,减少潜在的类型错误。同时,也有助于提升代码的可理解性和可维护性,使插件的功能更易于扩展和升级。
|
1月前
|
JavaScript 前端开发 安全
TypeScript进阶:类型系统与高级类型的应用
【10月更文挑战第25天】TypeScript作为JavaScript的超集,其类型系统是其核心特性之一。本文通过代码示例介绍了TypeScript的基本数据类型、联合类型、交叉类型、泛型和条件类型等高级类型的应用。这些特性不仅提高了代码的可读性和可维护性,还帮助开发者构建更健壮的应用程序。
29 0
|
3月前
|
JavaScript
typeScript进阶(9)_type类型别名
本文介绍了TypeScript中类型别名的概念和用法。类型别名使用`type`关键字定义,可以为现有类型起一个新的名字,使代码更加清晰易懂。文章通过具体示例展示了如何定义类型别名以及如何在函数中使用类型别名。
47 1
typeScript进阶(9)_type类型别名
|
2月前
|
JavaScript 前端开发 安全
深入理解TypeScript:增强JavaScript的类型安全性
【10月更文挑战第8天】深入理解TypeScript:增强JavaScript的类型安全性
58 0
|
2月前
|
JavaScript 前端开发 开发者
深入理解TypeScript:类型系统与实用技巧
【10月更文挑战第8天】深入理解TypeScript:类型系统与实用技巧
|
3月前
|
存储 JavaScript
typeScript进阶(11)_元组类型
本文介绍了TypeScript中的元组(Tuple)类型,它是一种特殊的数组类型,可以存储不同类型的元素。文章通过示例展示了如何声明元组类型以及如何给元组赋值。元组类型在定义时需要指定数组中每一项的类型,且在赋值时必须满足这些类型约束。此外,还探讨了如何给元组类型添加额外的元素,这些元素必须符合元组类型中定义的类型联合。
52 0
|
3月前
|
JavaScript
typeScript进阶(10)_字符串字面量类型
本文介绍了TypeScript中的字符串字面量类型,这种类型用来限制变量只能是某些特定的字符串字面量。通过使用`type`关键字声明,可以确保变量的值限定在预定义的字符串字面量集合中。文章通过示例代码展示了如何声明和使用字符串字面量类型,并说明了它在函数默认参数中的应用。
40 0