TypeScriptの列挙型について

Question

書籍にて、TypeScriptの基本文法の学習しております。
列挙型(enum)についてのサンプルプログラムを書いてコンパイルしたところエラーになってしまったのでその理由が知りたいです。

以下がサンプルプログラムと、エラーコードです。

enum Season{
  spring,
  summer,
  autamn,
  winter
};

let s:Season = Season.summer;

switch(s){
  case Season.spring:
  document.write('<h1>Spring</h1>');
  break;

  case Season.summer:
  document.write('<h1>Summer</h1>');
  break;

  case Season.autamn:
  document.write('<h1>Autamn</h1>');
  break;

  case Season.winter:
  document.write('<h1>Winter</h1>');
  break;

}

document.write('<p>今の季節を表示しています。</p>')

hello.ts(11,8): error TS2678: Type 'Season.spring' is not comparable to type 'Season.summer'.
hello.ts(19,8): error TS2678: Type 'Season.autamn' is not comparable to type 'Season.summer'.
hello.ts(23,8): error TS2678: Type 'Season.winter' is not comparable to type 'Season.summer'.

書籍では、Seasonはs:Seasonというようにひとつの型として扱えると記述されていましたが、間違いなのでしょうか?

ちなみに上記のソースコードの変数sの型をnumber型に書き換えるとコンパイルは通りました。しかし、そうすると変数sに適切なエイリアスを設定できていないため、TypeScriptの長所が消えてしまっている気がします。

Season型どうしの値を比較しているのに、上記のコンパイルエラーになってしまう原因をご教授頂けたら幸いです。よろしくお願いいたします。

Answer 1

型の指定の仕方としては正しいのですが、sはコンパイル時にsummerであることが確定しているので、TypeScriptのCFA（Control Flow Analyzer）が、spring / autamn / winterのCaseは到達不能と判断しエラーを表示しています。

以下のようにEnumの値ではなく数値を直接いれた場合はどの値が入るかがコンパイル時にはわからなくなるため、TypeScriptはエラーを出しません。

enum Season{
  spring,
  summer,
  autumn,
  winter
};

const s: Season = 0;
switch(s){
  case Season.spring:
  document.write('<h1>Spring</h1>');
  break;

  case Season.summer:
  document.write('<h1>Summer</h1>');
  break;

  case Season.autumn:
  document.write('<h1>Autumn</h1>');
  break;

  case Season.winter:
  document.write('<h1>Winter</h1>');
  break;

}

また以下のようにコードパスを追加して値の候補を増やすとその分のCASEをエラーから除外してくれます。

let s: Season = Season.autamn;

if (s === 2) {
    s = Season.spring;
}

なかなか賢いですね。

Comments

[shuntksh]

CFAについては https://blog.mariusschulz.com/2016/09/30/typescript-2-0-control-flow-based-type-analysis が参考になると思います。

[sug1t0m0]

わかりやすい回答ありがとうございます。CFAが原因だったのですね。
数値を直接入れってしまうと、コード読みづらくなってしまいますね。

今後、似たようなエラーが起こった際はCFAも疑ってみます。参考サイトのURLとコードパスの追加によるエラー回避の方法、大変役立ちました。

ありがとうございます。

[shuntksh]

お役に立てて良かったです。TypeScriptは使い慣れるとJavaScriptに戻れなくなるくらい生産性が上がるのでとてもおすすめです。