在 TypeScript 中，有 true 类型吗？
我有这个方法：
Object.keys(lck.lockholders).length;
enqueue(k: any, obj?: any): void
顺便说一句，我认为 TS 有一种方法可以检查空字符串
''我想将其转换为：
enqueue(k: Truthy, obj?: any): void
除了我不知道如何定义 Truthy 的类型。
我想要这个的原因是我不希望用户传入
nullundefined''我不确定你为什么需要这个，但它很有趣。老实说，简短的答案是：TypeScript 不适合这种情况，您最好进行运行时检查并记录代码，以便开发人员知道
k注意：要使以下代码正常工作，请打开
strictNullChecksTruthyTruthy | null | undefined你可以几乎定义falsy，就像
type Falsy = false | 0 | "" | null | undefined
除了
NaNNaN即使你有上面的
FalsyTruthyFalsy您可以尝试使用 use 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?
注意它如何不允许任何它认为可能是假的东西，这可能就是你想要实现的目标。说不出来。
我看到您编辑了问题以澄清
kstringsymbol""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
所有这些都很棒，但不幸的是存在一个问题，如果您将通用
stringenqueue()kdeclare const str: string; // comes from somewhere else
enqueue(str); // error! how do I do this?
为了解决这个问题，您可以尝试创建一个名义类型，您可以使用它来向编译器标识一个值已被检查为空，然后创建一个用户定义的类型保护来约束
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
}
哇！这是很多跳圈。如果您认为这值得的话，这取决于您。好的，希望有帮助。祝你好运！
没有
Truthytruthytruthy让我们定义
FalsyisTruthytype Falsy = false | 0 | '' | null | undefined;
// this is a type predicate - if x is `truthy`, then it's T
const isTruthy = <T>(x: T | Falsy): x is T => !!x;
现在我们可以使用
isTruthyTruthy"truthy"示例：
{ // removing boolean "false" type
const result: string | false = Math.random() > 0.5 ? 'a' : false;
const truthyResult: string = isTruthy(result) ? result : 'was false';
}
{ // filtering only numbers from array
const result: (number | undefined)[] = [42, undefined, 8, 16];
const truthyResult: number[] = result.filter(isTruthy);
}
{ // filtering only Promises from array
const result: (Promise<string> | null)[] = [Promise.resolve('a'), null, Promise.resolve('b'), Promise.resolve('c')];
const truthyResult: Promise<string>[] = result.filter(isTruthy);
}
这是一个迟到的答案，我不是 TypeScript 专家，但我正在使用
4.8.2type Falsy = null | undefined | false | 0 | -0 | 0n | '';
type Truthy<T> = T extends Falsy ? never : T;
不幸的是我无法给出很好的解释，但下面是一个例子：
type MaybeUndefinedObject = object | undefined;
// Works
const truthyType: Truthy<MaybeUndefinedObject> = {};
// Fails with "Type 'undefined' is not assignable to type 'object'."
const truthyValue: Truthy<MaybeUndefinedObject> = undefined;
希望这对您有帮助。如果没有请举报。