上面的代码将会给出一个类型错误，TypeScript的类型检查器使用Window.onmousedown函数的类型来推断右边的函数表达式类型。当它这么做的时候，便能够推断出参数mouseEvent的类型。 如果这个表达式不在可进行上下文归类的位置，参数mouseEvent 需要给定一个any类型，这样就不会出现错误了。
如果需要上下文归类的表达式内容中包含明确的类型信息，则会忽略上下文归类。我们重写上面的例子：
window.onmousedown = function(mouseEvent: any) { console.log(mouseEvent.buton); //<- 现在不会报错了 };
参数明确指定类型的函数表达式将会忽略上下文归类。经过这样的处理就不会报错了，因为没有应用到上下文归类。
上下文归类可应用于许多场景。常见的场景包括函数调用的参数、赋值的等号右边表达式、类型确定、对象成员和数组字面量、返回值语句。上下文类型也作为最佳公共类型的候选类型。例如：
function createZoo(): Animal[] { return [new Rhino(), new Elephant(), new Snake()]; }
在这个例子中，最佳公共类型有四个候选类型：Animal,Rhino,Elephant,和Snake。其中，Animal可以作为最佳公共类型。
形式有点像数学中的求最小公倍数...
您可能感兴趣的文章: