为什么命名空间重载不起作用？

Question

下一个示例尝试重载命名空间 N，但不幸的是编译器抱怨 A 和 B 都不是它的导出成员。

namespace N
{
    export const A = 'hello';
    export const B = 'world';
}

type N = N.A | N.B;

const a: N = N.A;
const b: N = N.B;

console.log(a, b);

尽管如此，运行编译后的代码会得到以下预期输出：

hello world

所以问题显然是：为什么编译器会抱怨？投诉合理吗？

注意₁：我使用的编译器版本是3.1.1

注意₂：我知道上面可以写成enum，但是请记住，这是我正在尝试的一个过于简单的例子实现，因此这只是说明问题的最低限度。

Answer 1

问题在于常量是值，而不是类型。要获取常量的类型，您需要使用typeof

namespace N
{
    export const A = 'hello';
    export const B = 'world';
}

type N = typeof N.A | typeof N.B;

const a: N = N.A;
const b: N = N.B;

console.log(a, b);

注意：类型和命名空间实际上没有任何共同点，它们是不同的符号，只是碰巧有相同的名称。没有合并行为（例如会有接口和类）

编辑

问：为什么N.A的类型不是string？

A: N.A 的类型不是字符串，因为您使用了const 声明。如果您使用 const，则推断出可能的最窄类型。在这种情况下，这是字符串文字类型“hello”。

问：为什么type N = "hello" | "world" 有效，而type N = N.A | N.B; 无效？

A:Typescript 允许使用字符串字面量作为我们上面看到的类型。但它们是类型。你不能在表达式中使用它们，你只能在类型注释中使用N（即这不起作用let a = N）。另一方面，变量是一个值。您可以在表达式中使用它，而不是在类型注释中使用它（例如，let o:N.A 是一个错误）。要获取变量的类型，您需要 typeof（所以这将起作用：let o: typeof N.A）