高阶文件声明专题测试

关于 TypeScript 编译器（tsc）的编译流程，以下说法正确的有哪些？

在 TypeScript 编译过程中，以下 tsconfig.json 配置项中，哪些会影响代码发射（Emit）阶段生成的 JavaScript 输出结果（而非仅影响类型检查）？

在 TypeScript 的结构化类型系统中，判断以下函数类型的赋值兼容性：

type Handler = (x: string | number) => void;
type SpecificHandler = (x: string) => void;

const h1: Handler = function(x: string) { console.log(x); };
const h2: SpecificHandler = function(x: string | number) { console.log(x); };

上述代码中，赋值语句 const h1: Handler = ... 是否会报类型错误？赋值语句 const h2: SpecificHandler = ... 是否会报类型错误？

请分别回答：h1 赋值 ________，h2 赋值 ______。（填写"会报错"或"不会报错"）

TypeScript 采用的是结构化类型系统（Structural Typing / Duck Typing），而 Java、C# 等语言采用的是名义类型系统（Nominal Typing）。

请回答以下问题：

1. 以下代码在 TypeScript 中为何能编译通过？在 Java 中会怎样？

class Dog { bark() { console.log("woof"); } }
class Wolf { bark() { console.log("howl"); } }
const d: Dog = new Wolf(); // TS 中合法

2. TypeScript 的结构化类型在什么场景下会带来安全隐患？请举例说明。

3. TypeScript 是否提供了模拟名义类型检查的方式？如果有，请给出实现方案。

TypeScript 编译器在词法分析阶段会生成哪些产物？

TypeScript 编译器的语法分析（Parser）阶段的主要职责包括哪些？

在 TypeScript 的结构化类型系统中，函数 A = (x: Animal) => void 能否赋值给函数 B = (x: Dog) => void？

答案：________________________

TypeScript 是结构化类型系统（Structural Typing），两个结构相同的类型被视为兼容。请说明如何在这种系统中模拟"名义类型"（Nominal Type）的效果，使两个结构相同但语义不同的类型互不兼容。