TypeScript 型の挙動が分からない...

Question

発生している問題・エラーメッセージ

同じ変数同士なのに、型が勝手に書き換わってしまう。
initialIntervalIdの変数を、useStateの引数に代入するために、宣言していて、NodeJS.timerとnullの型をつけているのですが、useStateの引数の中のinitialIntervalIdは、null型が付与されているだけになってしまいます。

どういう条件で、勝手に型が、勝手に書き換わってしまうのでしょうか？

該当のソースコード

  const limit: number = props.limit;
  const initialIsDisabled: IsDisabled = {start: false, stop: true, pouse: true};
  const initialIntervalId: NodeJS.Timer | null = null;
  const [timeLeft, setTimeLeft] = useState(limit);
  const [isDisabled, setIsDisabled] = useState(initialIsDisabled);
  const [intervalId, setIntervalId] = useState(initialIntervalId);

Comments

[hoshi-takanori]

TypeScript の型推論が賢いので、initialIntervalId には null しか入らないことが分かっちゃうからでしょうね。
initialIntervalId を定義せずに、
const [intervalId, setIntervalId] = useState<NodeJS.Timer | null>(null);
とすれば良いのでは。

[Patao150205]

なるほど！型推論で、型が変わってしまう場合があるのですね。
ありがとうございます！

Answer 1

型推論で型が書き換わる事がある！