定义含类型包含的联合类型时出现‘ambiguous type’错误

这个行为完全符合预期，核心原因在于联合类型成员之间的子类型关系导致了类型歧义：

1. 你的类型定义中，Dog通过类型包含继承了GenericPet的所有字段，这意味着Dog是GenericPet的子类型——任何符合GenericPet结构的值，同时也符合Dog的结构（如果你的语言允许子类型向上兼容，或者isTrained字段设为可选）。
2. 当Pet被定义为GenericPet | Dog的联合类型后，若你创建一个仅包含name、age、breed三个字段的实例，这个值会同时匹配GenericPet和Dog两个类型。
3. 编译器无法自动推断你希望将该实例归为联合类型中的哪一个具体分支，因此抛出“ambiguous type”错误。

举个具体代码示例（以TypeScript为例）：

type GenericPet = { name: string; age: number; breed: string };
type Dog = GenericPet & { isTrained?: boolean }; // isTrained设为可选字段
type Pet = GenericPet | Dog;

// 编译器无法确定该实例是GenericPet还是Dog，触发歧义错误
const myPet: Pet = { name: "Buddy", age: 3, breed: "Golden Retriever" };

要解决这个问题，你可以明确指定实例的具体类型，或者给联合类型的成员添加区分字段（比如给GenericPet加type: "generic"、给Dog加type: "dog"这类标识字段），让编译器能明确区分类型分支。

内容的提问来源于stack exchange，提问作者Ayesh Almeida