Typescript高级: 深入理解工厂函数类型

工厂函数类型

代表任意一个类的构造函数【等价JS的构造函数】的函数类型
在TS中无法使用 new 来直接实例化一个 function
现在通过几个小case来测试下这种类型

1 ）模拟一个动物的行为接口(简单)

创建几个实现了这个接口的类来展示接口的用途和如何使用它

下面是一个关于动物及其行为（以吃东西为例）的TypeScript示例：

// 定义一个动物行为接口，其中包含一个eat方法
interface AnimalBehavior {eat: (...args: any) => any;
}// 实现AnimalBehavior接口的Dog类
class Dog implements AnimalBehavior {name: string;constructor(name: string) {this.name = name;}// 实现eat方法，模拟狗吃骨头的行为eat(food: string): void {console.log(`${this.name} the dog is eating ${food}.`);}
}// 实现AnimalBehavior接口的Cat类
class Cat implements AnimalBehavior {name: string;constructor(name: string) {this.name = name;}// 实现eat方法，模拟猫吃鱼的行为eat(food: string): void {console.log(`${this.name} the cat is enjoying ${food}.`);}
}// 使用示例
function feedAnimal(animal: AnimalBehavior, food: string): void {animal.eat(food);
}// 创建Dog和Cat实例
const myDog = new Dog("Rex");
const myCat = new Cat("Whiskers");// 喂食
feedAnimal(myDog, "a bone"); // 输出: Rex the dog is eating a bone.
feedAnimal(myCat, "fish"); // 输出: Whiskers the cat is enjoying fish.

在这个示例中，定义了一个AnimalBehavior接口，它要求实现类必须有一个名为eat的方法 eat: (...args: any) => any;
注意，这里还没有涉及任何的工厂函数类型
该方法可以接受任意数量的参数并返回任意类型
接着，创建了两个类Dog和Cat，它们都实现了AnimalBehavior接口，并分别实现了eat方法来模拟各自的进食行为
最后，我们定义了一个feedAnimal函数，它接受任何实现了AnimalBehavior接口的对象以及食物类型作为参数
以此展示如何通过接口来规范和使用不同类型的对象

2 ）模拟一个简单的银行贷款服务场景

定义一个CommercialBank类来表示银行

这个类包含了银行的基本信息，如地址和名称，并提供了一个贷款方法

class CommercialBank {public address: string;public name: string;constructor(name: string, address: string) {this.address = address;this.name = name;}loan(): void {console.log(`${this.name} 银行提供贷款服务`);}
}type Cst<T> = new (...args: any[]) => T; // 工厂函数类型function createBank<T extends CommercialBank>(BankClass: Cst<T>, name: string, address: string): T {return new BankClass(name, address);
}class SavingsBank extends CommercialBank {saveMoney(): void {console.log("储蓄银行提供存款服务");}
}const savingsBank = createBank<SavingsBank>(SavingsBank, "储蓄银行", "上海");
savingsBank.loan(); // 输出: 储蓄银行提供贷款服务
savingsBank.saveMoney(); // 输出: 储蓄银行提供存款服务

在TypeScript中，通过new关键字，我们可以实例化一个类
但直接new一个普通函数是不允许的，因为TypeScript严格区分了函数和构造函数
为了表示一个可以被new操作符使用的构造函数类型，我们引入了构造函数类型constructor
它是一个特殊的类型别名，表示可以接受任意参数并返回一个特定类型实例的函数
type Cst<T> = new (...args: any[]) => T 这条语句，作为工厂函数类型的示例，而且是一个泛型工厂类型

构造函数类型与工厂函数类型的示例

1 ）构造函数类型

构造函数类型主要指代那些用于创建类实例的函数。
在TypeScript中，当你定义一个类时，实际上就是在定义一个构造函数类型。构造函数通过new关键字被调用，用于初始化新创建的对象并分配内存。

构造函数类型关心的是如何创建和初始化一个特定类的实例

class Animal {name: string;constructor(name: string) {this.name = name;}
}

这里Animal就是构造函数类型
它接收一个string参数并返回Animal类型的实例

2 ）工厂函数类型

工厂函数类型是一种设计模式的体现，其目的是提供一个统一的接口用于创建一系列相关或依赖对象，而不需要向客户端暴露创建逻辑
工厂函数通常返回一个对象实例，但与构造函数不同，它不一定要使用new关键字
工厂函数的优势在于它可以根据输入参数的不同，返回不同类型的对象，提供更大的灵活性

在TypeScript中，可以通过定义一个返回构造函数类型的函数来实现工厂函数类型，比如：

// 这里是 简单工厂类型，不是泛型工厂类型
type AnimalConstructor = new (name: string) => Animal;function getAnimalFactory(animalType: string): AnimalConstructor {if (animalType === 'dog') {return Dog; // 假设Dog是另一个实现了Animal的类} else if (animalType === 'cat') {return Cat; // 同理，Cat也是实现了Animal的类} else {throw new Error('Unsupported animal type');}
}const dogFactory = getAnimalFactory('dog');
const myDog = new dogFactory('Rex'); // 使用工厂函数得到的构造函数创建对象