问题描述
假设我们有两个自定义类型，都是从字符串派生的，以及两个对应的变量。
type A = string;
let a: A = "a";
type B = string;
let b: B = "b";
如何更改代码或编译器配置，从而导致以下内容引发类型不匹配错误？
a = b;
解决方法
Typescript 具有结构 类型系统，而不是名义 类型系统。实际上，这意味着重要的是事物的形状，而不是您对它们的命名。因此，根据您的示例，不可能限制事物。
如果 A 和 B 只能在编译时从一组已知字符串中赋值，则可以更准确地表示它们。
例如：
type A = 'one' | 'two';
type B = 'three' | 'four';
这些类型不能相互分配