使用any

Question

来自https://github.com/Microsoft/TypeScript/pull/3622：

超类型崩溃：如果 B 是 A 的超类型，则 A & B 等效于 A。

但是：

type a = string & any; // Resolves to any, not string!?

该交集解析为任意。 'any' 不是字符串的超类型吗？那么，由于超类型崩溃，这个交集不应该只是字符串吗？我错过了什么？

这里的用例是这样的：

type PropertyMap = {
    prop1: {
        name: "somename";
        required: any;
    };
    prop2: {
        name: "someothername";
        required: never;
    }
}

type RequiredOnly = {
    [P in keyof PropertyMap]: PropertyMap[P] & PropertyMap[P]["required"]
}

// RequiredOnly["prop2"] correctly inferred to be never, but we've
// lost the type info on prop1, since it is now an any (but should
// have been narrowed to it's original type).

任何帮助表示赞赏。

Answer 1

在 TypeScript 中，

any

是类型系统的逃生口。或者也许是一个黑洞，吞噬了它接触到的所有其他类型。它被视为顶部类型（任何值都可以分配给

any

类型的变量）和底部类型（

any

类型的值可以分配给任何类型的变量）。您甚至可能会说它既是

string

的超类型，又是 string

 的子类型。这通常是不合理的。如果您使用 

any

，所有类型都可以分配给所有其他类型，但这是选择退出类型系统并进行编译器本来会阻止的分配的有用方法。

如果你想要一个真正的顶部类型而不是黑洞，请使用

unknown

。你已经知道

never

是真正的底部类型。有关此内容的更多有趣阅读，请参阅 

Microsoft/TypeScript#9999。

对于您的代码，请尝试：

type PropertyMap = {
    prop1: {
        name: "somename";
        required: unknown; // top type
    };
    prop2: {
        name: "someothername";
        required: never; // bottom type
    }
}

type RequiredOnly = {
    [P in keyof PropertyMap]: PropertyMap[P] & PropertyMap[P]["required"]
}

现在

RequiredOnly["prop1"]

应该像你想要的那样。

^{任何帮助表示赞赏。}

我明白你在那里做了什么。