TypeScript 添加一个标志，将未知的优先级设置为高于任何其他未知值, ```markdown - 添加一个标志，将未知的优先级设置为高于任何其他未知值, ```

inb24sb2 于 4个月前发布在 TypeScript

关注(0)|答案(4)|浏览(47)

建议

🔍 搜索词

any vs unknown, any strict, unknown strict, unknown as any, any as unknown in strict

✅ 可实现性检查清单

我的建议符合以下准则：

这不会对现有的TypeScript/JavaScript代码造成破坏性的更改
这不会改变现有JavaScript代码的运行时行为
这可以在不根据表达式的类型发出不同的JS的情况下实现
这不是一个运行时特性(例如库功能、带有JavaScript输出的非ECMAScript语法、JS的新语法糖等)
这个特性将与 TypeScript's Design Goals 的其他部分一致。

⭐ 建议

我们有很多情况下希望人们在eslib、DOM、DT和模块中选择使用 unknown 而不是 any。我们已经在内部讨论了关于第三个原始值的想法，但这很棘手，因为它需要找到一个好的词来描述这个概念，会破坏 .d.ts 向后兼容性，而且这是一个非常细粒度的更改。
我建议我们有一个标志，可以让 unknown 在联合缩小中击败 any,我们将其归类为比严格更严格的类别。
从3.6开始一直到现在：

type A = any | unknown
//   ^? - type A = any

未来的发布

// @thisCompilerFlag: true

type A = any | unknown
//   ^? - type A = unknown

typescript

来源：https://github.com/microsoft/TypeScript/issues/46347

4条答案

按热度按时间

l7wslrjt1#

Could maybe also be used for things like:

赞(0）回复(0）举报 4个月前

imzjd6km2#

我刚想到一个替代方案，结果发现它非常接近 #45605
在用户代码( .ts 文件)到达时，向编译器添加一个选项，强制将源自于 .d.ts 文件的 any 或 unknown 类型转换为 any 或 unknown。用户仍然可以在自己的代码中决定使用 any 或 unknown 类型。我认为这也符合，甚至可以取代 "useUnknownInCatchVariables"。
例如：

a.d.ts:

export declare const unknownA: unknown;
export declare const anyA: any;

b.ts:

export declare const unknownB: unknown;
export declare const anyB: any;

这将是行为：

c.ts ( { "anyOrUnknownLibType": "as-is" } 默认)

import { unknownA, anyA } from './a';
import { unknownB, anyB } from './b';

// $ExpectType unknown
unknownA;

// $ExpectType any
anyA;

// $ExpectType unknown
unknownB;

// $ExpectType any
anyB;

c.ts ( { "anyOrUnknownLibType": "any" } )

import { unknownA, anyA } from './a';
import { unknownB, anyB } from './b';

// $ExpectType any
unknownA;

// $ExpectType any
anyA;

// $ExpectType unknown
unknownB;

// $ExpectType any
anyB;

c.ts ( { "anyOrUnknownLibType": "unknown" } )

import { unknownA, anyA } from './a';
import { unknownB, anyB } from './b';

// $ExpectType unknown
unknownA;

// $ExpectType unknown
anyA;

// $ExpectType unknown
unknownB;

// $ExpectType any
anyB;

我认为这个好处是：