Typescript目前(或计划)是否支持安全导航操作符?。

ie:

var thing = foo?.bar
// same as:
var thing = (foo) ? foo.bar : null;

此外,这个操作符是否有更常见的名称(很难为谷歌)。


当前回答

是的。从TypeScript 3.7(2019年11月5日发布)开始,这个特性就被支持了,被称为可选链接:

在其核心,可选的链接让我们编写的代码中,TypeScript可以立即停止运行一些表达式,如果我们遇到一个null或未定义。可选连锁的明星是新的?操作符用于可选属性访问。

更多细节请参考TypeScript 3.7发布说明。


在3.7版本之前,TypeScript中不支持这一点,尽管早在TypeScript回购的第16个问题(可以追溯到2014年)中就已经请求过了。

至于如何称呼这个运算符,似乎还没有达成共识。除了“可选链接”(这也是它在JavaScript和Swift中被称为的),还有其他一些例子:

CoffeeScript将其称为存在操作符(具体来说,是存在操作符的“访问变量”):

存在操作符的访问变量?可用于吸收属性链中的空引用。使用它代替点访问器。在基值可能为空或未定义的情况下。

c#将其称为空条件操作符。

空条件操作符应用成员访问?。,或元素访问,?[],仅当该操作数的计算结果为非空时才对其操作数进行操作;否则,返回null。

Kotlin将其称为安全调用运算符。

可能还有很多其他的例子。

其他回答

是的。从TypeScript 3.7(2019年11月5日发布)开始,这个特性就被支持了,被称为可选链接:

在其核心,可选的链接让我们编写的代码中,TypeScript可以立即停止运行一些表达式,如果我们遇到一个null或未定义。可选连锁的明星是新的?操作符用于可选属性访问。

更多细节请参考TypeScript 3.7发布说明。


在3.7版本之前,TypeScript中不支持这一点,尽管早在TypeScript回购的第16个问题(可以追溯到2014年)中就已经请求过了。

至于如何称呼这个运算符,似乎还没有达成共识。除了“可选链接”(这也是它在JavaScript和Swift中被称为的),还有其他一些例子:

CoffeeScript将其称为存在操作符(具体来说,是存在操作符的“访问变量”):

存在操作符的访问变量?可用于吸收属性链中的空引用。使用它代替点访问器。在基值可能为空或未定义的情况下。

c#将其称为空条件操作符。

空条件操作符应用成员访问?。,或元素访问,?[],仅当该操作数的计算结果为非空时才对其操作数进行操作;否则,返回null。

Kotlin将其称为安全调用运算符。

可能还有很多其他的例子。

这是在ECMAScript可选链接规范中定义的,所以在讨论这个问题时,我们可能应该参考可选链接。可能实现:

const result = a?.b?.c;

从长期和短期来看,TypeScript团队正在等待ECMAScript规范的收紧,这样他们的实现就可以在未来不中断。如果他们现在实现了一些东西,如果ECMAScript重新定义了他们的规范,那么最终需要进行重大更改。

参见可选连接规范

如果有些东西永远不会成为标准JavaScript, TypeScript团队可以按照他们认为合适的方式实现,但对于未来的ECMAScript添加,他们希望保留语义,即使他们提供早期访问,就像他们对许多其他特性一样。

捷径

所以JavaScripts所有时髦的操作符都是可用的,包括类型转换,比如…

var n: number = +myString; // convert to number
var b: bool = !!myString; // convert to bool

手动解决方案

回到问题上来。我有一个愚蠢的例子,说明如何在JavaScript(以及TypeScript)中做类似的事情,尽管我绝对不是说它是你真正追求的一个优雅的特性。

(foo||{}).bar;

如果foo未定义,结果也未定义如果foo有定义并且有一个名为bar的属性,它有一个值,结果就是那个值。

我在JSFiddle上放了一个例子。

对于更长的例子来说,这看起来很粗略。

var postCode = ((person||{}).address||{}).postcode;

链函数

如果您迫切需要一个更短的版本,而规范仍然悬而未决,我在某些情况下使用这种方法。它计算表达式,并在链不能满足或最终为null/undefined时返回默认值(注意!=在这里很重要,我们不想使用!==,因为我们在这里想要一些正的杂耍)。

function chain<T>(exp: () => T, d: T) {
    try {
        let val = exp();
        if (val != null) {
            return val;
        }
    } catch { }
    return d;
}

let obj1: { a?: { b?: string }} = {
    a: {
        b: 'c'
    }
};

// 'c'
console.log(chain(() => obj1.a.b, 'Nothing'));

obj1 = {
    a: {}
};

// 'Nothing'
console.log(chain(() => obj1.a.b, 'Nothing'));

obj1 = {};

// 'Nothing'
console.log(chain(() => obj1.a.b, 'Nothing'));

obj1 = null;

// 'Nothing'
console.log(chain(() => obj1.a.b, 'Nothing'));

它叫做可选链接,在Typescript 3.7中

可选的链接让我们可以在可以立即停止的地方编写代码 如果遇到null或undefined,运行一些表达式

我一般不推荐这种方法(注意性能问题),但是您可以使用扩散操作符来浅克隆一个对象,然后您可以访问该对象上的属性。

 const person = { personId: 123, firstName: 'Simon' };
 const firstName = { ...person }.firstName;

这是可行的,因为'firstName'类型是通过'传播'的。

我将使用这个最频繁的时候,我有一个find(…)表达式,可以返回null,我需要一个单一的属性从它:

 // this would cause an error (this ID doesn't exist)
 const people = [person];
 const firstName2 = people.find(p => p.personId == 999).firstName;

 // this works - but copies every property over so raises performance concerns
 const firstName3 = { ...people.find(p => p.personId == 999) }.firstName;

typescript推断类型的方式可能有一些边缘情况,这不会被编译,但这通常应该是可行的。

终于来了!

下面是一些例子:

// properties
foo?.bar
foo?.bar()
foo?.bar.baz()
foo?.bar?.baz()

// indexing
foo?.[0]
foo?.['bar']

// check if a function is defined before invoking
foo?.()
foo.bar?.()
foo?.bar?.()

但这和你的假设不完全一样。

而不是评估

foo?.bar

对于这个我们都习惯编写的小代码片段

foo ? foo.bar : null

它的值实际上是

(foo === null || foo === undefined) ?
    undefined :
    foo.bar

它适用于所有假值,如空字符串,0或false。

我只是没有一个解释,为什么他们不编译为foo == null