如何在加宽的类型参数上设置类型文字(或防止类型加宽)？

在加宽的类型参数上设置类型文字（或防止类型加宽）可以通过使用类型约束来实现。类型约束是一种在泛型函数或泛型类中限制类型参数的方法。

在TypeScript中，可以使用extends关键字来定义类型约束。通过在类型参数后面使用extends关键字，可以限制类型参数必须是某个特定类型或满足某个特定条件。

下面是一个示例：

function narrowType<T extends string>(value: T): T {
  return value;
}

const result = narrowType("hello");
console.log(result.length); // 可以正常访问string类型的属性和方法

const error = narrowType(123); // 编译错误，类型参数必须是string类型

在上面的示例中，我们定义了一个泛型函数narrowType，它接受一个类型参数T，并使用extends关键字限制T必须是string类型。这样，在函数内部我们就可以放心地使用string类型的属性和方法。

如果尝试传递一个不是string类型的参数给narrowType函数，TypeScript编译器会报错，因为类型参数不满足约束条件。

对于防止类型加宽，可以使用类型断言来告诉编译器我们知道更具体的类型信息。例如：

function preventTypeWidening<T>(value: T): T {
  return value as T;
}

const result = preventTypeWidening("hello");
console.log(result.length); // 可以正常访问string类型的属性和方法

const error = preventTypeWidening(123); // 编译错误，类型参数被推断为number

在上面的示例中，我们定义了一个泛型函数preventTypeWidening，它接受一个类型参数T，并使用类型断言将参数value的类型指定为T。这样，即使传递给函数的参数是一个更宽泛的类型（如any），函数返回的结果仍然会被推断为具体的类型。

需要注意的是，类型断言并不会改变变量的实际类型，它只是在编译阶段起作用。因此，在使用类型断言时需要确保我们知道变量的实际类型，避免出现运行时错误。

总结起来，通过使用类型约束和类型断言，我们可以在加宽的类型参数上设置类型文字或防止类型加宽。这样可以提高代码的类型安全性和可读性。