TypeScript＆amp;＆amp;运算符不会产生第二个操作数的类型

Question

以前的一些SO问题描述了来自&&的推断类型是最后一个表达式的类型。

• TypeScript does not detect union type with an && operator
• Why does the && operator produce the type of the second operand

但是TypeScript 2.4.2报告了以下代码的错误：

function isQuerySql(sql: string): boolean {
  return sql && _.trimStart(sql).toLowerCase().startsWith('select');
} 

  

错误TS2322：输入＆＃39; boolean | ＆＃34;＆＃34;＆＃39;不能分配给＆＃39; boolean＆＃39;。   输入＆＃39;＆＃34;＆＃34;＆＃39;不能分配给＆＃39;布尔＆＃39;。

我无法弄清楚出了什么问题。 _.trimStart(sql).toLowerCase().startsWith('select')被推断为布尔值。 ""来自哪里？

Answer 1

当字符串sql为空时，函数isQuerySql将返回&&之前的表达式，因此它返回一个空字符串：

isQuerySql("") === ""
isQuerySql("select") == true
isQuerySql("foo") == false

所以返回类型确实是boolean | ""

您可以通过明确第一个比较来对此进行排序：

function isQuerySql(sql: string): boolean {
  return sql !== "" && _.trimStart(sql).toLowerCase().startsWith('select');
} 

如果你需要捕获null和undefined，也可以强制它为布尔值：

function isQuerySql(sql: string): boolean {
  return !!sql && _.trimStart(sql).toLowerCase().startsWith('select');
} 

或许这个：

function isQuerySql(sql: string): boolean {
  return sql? _.trimStart(sql).toLowerCase().startsWith('select') : false;
}