javascript - 如何在 Typescript 中使用 Nullish Coalescing

Question

随着 Typescript 3.7 的发布，现在支持 Nullish Coalescing .但是，似乎我用错了。我有以下结构:

type myType = { ["myKeys"]?: Array<string> }
let data: myType;
data = {};
data["myKeys"] = ["index0"];

console.log(data?.["myKeys"]?.indexOf("index0")) // 0 

if (data?.["myKeys"]?.indexOf("index0") ?? -1 === -1) { // returns false
} else {
    console.log("returns false");
}

data["myKeys"].push("index1")
console.log(data?.["myKeys"]?.indexOf("index1")) // 1

if (data?.["myKeys"]?.indexOf("index1") ?? -1 === -1) { // returns true - why?
    console.log("Why is it true"); 
}

为什么 ??当 index1 的索引时，运算符的行为会有所不同是 1而 index0 的索引是 0 .两者都应该返回 false，因为它是 !== -1
游乐场 link

Answer 1

这是一个优先级问题。您的代码被评估为:

if (data?.["myKeys"]?.indexOf("index1") ?? (-1 === -1)) {
// −−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−^−−−−−−−−−^
    console.log("Why is it true");
}

但你的意图是:

if ((data?.["myKeys"]?.indexOf("index1") ?? -1) === -1) {
// −^−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−^
    console.log("Why is it true");
}

奇怪的是，我没有看到 the proposal 中讨论的优先级。虽然在 the draft spec 中提到过作为 Jonas mentions , 它确实出现在 the issues .

如您所见，这与 || 的优先级一致，这是它非常非常近的亲戚:

const a = 2;
const b = -1;
console.log(`${a} || ${b} === ${b}:   ${a || b === b}`);
console.log(`(${a} || ${b}) === ${b}: ${(a || b) === b}`);
console.log(`${a} || (${b} === ${b}): ${a || (b === b)}`);

根据草案规范， ??优先级低于 || (大概只是更低)。 (为避免混淆， && 或 || 表达式中也不允许使用它。)