天方夜坛
未分类

Tricks and Traps in JavaScript / TypeScript

当你忘记了 break

当你忘记了在 switch case 的 case 里面写 break 的时候，这是一个危险的信号。及时你非常自信地认为如果在某个case throw 一个 error 就没有必要 break ，但是我建议保险起见还是 break 一下，毕竟这不会犯错

javascript
let word = "theDoors";

switch (word) {
  case "theDoors": {
    if (word === "random") {
      console.log("impossible");
    }
  }
  case "random": {
    console.log("I don't expect this to happen");
  }
  default: {
    console.log("here goes the default");
  }
}

以上的错误示例会输出：

text
I don't expect this to happen
here goes the default

我能理解没写 break 会逃逸到 default, 但是我无法理解为什么会连 random 分支也执行

finally and return

javascript
function fin_ret() {
  try {
    return "done";
  } catch (e) {
    console.log(e);
  } finally {
    console.log("final is logged");
  }
}

您猜怎么着，即使在 try 中 return 了，finally 也会执行，这是一个很好的特性，但是如果你不知道的话， 你可能会认为 finally 会在 return 之前执行，这是不对的

TypeScript try catch and return type

typescript
async function throw_or_return(x: number) {
  //           ^?
  try {
    if (x > 10) {
      throw_if_x_greater_than_12(x);
    }
    return x + "";
  } catch (error) {
    // 函数的返回类型是 Promise<string>
    // 如果移除这一行，返回类型则变成 Promise<string | undefined>
    throw error;
  }
}

function throw_if_x_greater_than_12(x: number) {
  if (x > 12) {
    throw new Error("x cannot be greater than 12");
  }
}

如果你想指明某个函数只会抛出错误，显示地标注返回类型为 never 即可:

typescript
function definitelyThrows(): never {
  throw new Error("I throws");
}

stripe 一个 T | undefined | null 中的空值：(with assert functions)

typescript
export function assertExists<T>(
  v: T | null | undefined,
  message: Error | string = "val does not exist",
): asserts v is T {
  if (v === null || v === undefined) {
    if (message instanceof Error) {
      throw message;
    }
    throw new Error(message);
  }
}

Discriminated Union 应用

playground link

typescript
type MyPet = {
  gender: 1 | 2;
  age: number;
} & (Cat | Dog);

type Cat = {
  name: "cat";
  action: "meow";
};

type Dog = {
  name: "dog";
  action: "bark";
};

declare const pet: MyPet;

if (pet.name === "cat") {
  pet.action; // 这里 typescript 能推断出 action 是 meow
  //  ^?
}

Hoist 和闭包

本来以为是很基础的问题，没想到还有变手，在看这篇博客的时候联想到的。

javascript
function run() {
  function logAfterDelay() {
    setTimeout(() => {
      // 虽然在定义的时候 nonExistVarYet 还不存在，但是他已经被 hoist 了，所以闭包还是能捕获到
      // 这里会输出 "actually hoist so it does exist in setTimeout's scope"
      console.log(nonExistVarYet);
    }, 300);
  }
  logAfterDelay()
}

// 注意这里用的是 `let` 用 var 就捕获不到了
let nonExistVarYet = "actually hoist so it does exist in setTimeout's scope";
run()