- Java 双重比较
- java - 比较器与 Apache BeanComparator
- Objective-C 完成 block 导致额外的方法调用?
- database - RESTful URI 是否应该公开数据库主键?
在 TypeScript 中,有没有表示真值的类型?
我有这个方法:Object.keys(lck.lockholders).length;enqueue(k: any, obj?: any): void顺便说一句,想想 TS 有一种方法可以检查空字符串 ''。我想将其转换为:
enqueue(k: Truthy, obj?: any): void
除非我不知道如何定义 Truthy 的类型。顺便说一下,我认为使用 TS 有一种方法可以检查空字符串 ''。
我想要这个的原因是我不希望用户传入null
、undefined
、''
等,因为散列的键。
最佳答案
我不确定您为什么需要这个,但它很有趣。老实说,简短的回答是:TypeScript 不适合这个,你最好进行运行时检查和记录你的代码,以便开发人员知道 k
参数应该是真实的。尽管如此,如果您打算强制 TypeScript 做这样的事情,请继续阅读:
注意:要使下面的工作正常,请打开 strictNullChecks
编译器选项。这是必要的,因为无法区分 Truthy
和 Truthy |空 | undefined
会是个问题。
您几乎可以定义falsy , 这就像
type Falsy = false | 0 | "" | null | undefined
except NaN
也是假的,并且 TypeScript 没有用于 NaN
的数字文字(参见 microsoft/TypeScript#15135 )。
即使你有如上所述的 Falsy
,TypeScript 中没有否定类型(参见 microsoft/TypeScript#4196 ),所以没有办法表达 Truthy
为“除 Falsy
之外的所有内容”。
您可以尝试使用 conditional types在 enqueue()
中排除可能为假的参数,但这很奇怪:
type DefinitelyTruthy<T> =
false extends T ? never :
0 extends T ? never :
"" extends T ? never :
null extends T ? never :
undefined extends T ? never :
T
declare function enqueue<T extends number | string | true | object>(
k: T & DefinitelyTruthy<T>,
obj?: any
): void
declare const str: string;
enqueue(str); // error, might be falsy
enqueue("a"); // okay
enqueue(1); // okay
enqueue(0); // error
enqueue(NaN); // error
enqueue(true); // okay
enqueue(false); // error
enqueue([]); //okay
enqueue({a: "hello"}); // okay
enqueue({}); // error, interpreted as type {} which could be an empty string:
const zilch = "" as {};
enqueue(zilch); // error, see?
注意它如何不允许任何它认为可能是虚假的东西,这可能是您想要实现的。说不清。
我看到您编辑了问题以阐明 k
参数实际上应该是一个 string
(或者可能是一个 symbol
)并且您需要排除的唯一值是空字符串 ""
。在这种情况下,您可以将上面的内容简化为:
type DefinitelyNotEmptyString<T> = "" extends T ? never : T
declare function enqueue<T extends string | symbol>(
k: T & DefinitelyNotEmptyString<T>,
obj?: any
): void
enqueue(""); // error
enqueue("a"); // okay
所有这一切都很棒,但不幸的是,如果您将通用 string
传递给 enqueue()
,它会失败,有时开发人员可能需要如果他们用于 k
参数的值不是他们指定的字符串文字,则执行此操作:
declare const str: string; // comes from somewhere else
enqueue(str); // error! how do I do this?
为了解决这个问题,您可以尝试创建一个 nominal type你可以用它来向编译器识别一个值已经被检查为空,然后生成一个 user-defined type guard将 string
限制为该类型:
type NotEmptyString = string & {"***NotEmptyString***": true};
function notEmptyString(x: string): x is NotEmptyString {
return x !== "";
}
现在开发人员可以这样做:
declare const str: string;
enqueue(str); // error, might be falsy
if (notEmptyString(str)) {
enqueue(str); // okay, str is NotEmptyString
}
哇!这是很多跳圈。如果您认为这是值得的,则取决于您。好的,希望有帮助。祝你好运!
关于typescript - 类型为非假,又名 truthy,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/51390276/
我已经写了并且 npm 发布了这个:https://github.com/justin-calleja/pkg-dependents 现在我正在用 Typescript 编写这个包:https://g
我有一个函数,我想在 TypeScript 中模拟它以进行测试。在我的测试中,我只关心 json和 status .但是,当使用 Jest 的 jest.spyOn 时我的模拟函数的类型设置为返回 h
我正在使用一个库 (Axios),它的包中包含 Typescript 声明。 我想声明一个将 AxiosResponse(在库的 .d.ts 文件中声明)作为参数的函数。我有以下内容: functio
我是 Typescript 的新手。我想使用 将一个 Typescript 文件加载到另一个 Typescript 文件中标签。 我做了一些事情,但它不起作用!请帮助我。 first.ts: imp
为什么我会收到下面屏幕截图中显示的错误? Atom 说我的 tsconfig.json“项目文件包含无效选项”用于 allowJs、buildOnSave 和 compileOnSave。 但是应该允
所以我正在创建一个 TypeScript 库,我可以轻松地将所有生成的 JS 文件编译成一个文件。有没有办法将所有 .ts 和 .d.ts 编译成一个 .ts 文件? 除了支持 JS 的版本(较少的智
Microsoft Research 提供了一种名为Safer TypeScript 的新 TypeScript 编译器变体: http://research.microsoft.com/en-us/
我需要这个来在单个文件中分发 TypeScript 中的库。有没有办法将多个 typescript 文件合并到(一个js文件+一个 typescript 定义)文件中? 最佳答案 要创建一个库,您可以
用例:我想知道一个函数在 typescript 中执行需要多少时间。我想为此目的使用装饰器。我希望装饰器应该返回时间以便(我可以进一步使用它),而不仅仅是打印它。 例如: export functio
我想检查一个类型是否可以为 null,以及它是否具有值的条件类型。 我尝试实现 type IsNullable = T extends null ? true : false; 但是好像不行 type
我的问题是基于这个 question and answer 假设我们有下一个代码: const myFn = (p: { a: (n: number) => T, b: (o: T) => v
我知道双重否定前缀,我知道 TypeScript 的单后缀(非空断言)。 但是这个双后缀感叹号是什么? /.*验证码为(\d{6}).*/.exec(email.body!!)!![1] 取自here
我正在使用以下文件结构在 Webstorm 中开发一个项目 | src | ... | many files | types | SomeInterface |
在 TypeScript 类中,可以为属性声明类型,例如: class className { property: string; }; 如何在对象字面量中声明属性的类型? 我试过下面的代码,但它
我正在寻找一种在不丢失推断类型信息的情况下将 TypeScript 中的文字值限制为特定类型的好方法。 让我们考虑一个类型Named,它保证有一个名字。 type Named = { name:
在 TypeScript 中,我想创建一个联合类型来表示属于一个或多个不同类型的值,类似于 oneOf在 OpenAPI或 JSON Schema .根据a previous answer on a
type Func = (foo:string) => void // function expression const myFunctionExpression:Func = function(f
假设我有一个联合类型,我正在使用类似 reducer 的 API 调用模式,看起来像这样: type Action = { request: { action: "create
我在 typescript 中有以下去抖功能: export function debounce( callback: (...args: any[]) => void, wait: numb
在 Vue3 的 defineComponent 函数中,第一个泛型参数是 Props,所以我在这里使用 Typescript 接口(interface)提供我的 props 类型。喜欢: expor
我是一名优秀的程序员,十分优秀!