[Typescript] 関数の引数の型チェックについて

Question

実現したいこと

関数の引数を特定の値のみに制限したいです。
例えば"A","B","C"の３つの値のみを引数に取る関数を作りたいと考えています。
ただし、引数はコマンドライン引数から受け取ります。

考えたこと

import * as commander from 'commander';

type abc = "A" | "B" | "C"

const func = (arg : abc) => {
  console.log(arg);
}

commander
 .version("0.1.0", "-v, --version")
 .arguments("<arg>")
 .action(func)

として、node test.js Dとすれば、
InvalidArgumentErrorになるのかなと考えましたが、
普通に console.log("D")されてしまいます。

考えたこと(その2)

一度、間に代入の処理を挟めばいいのだ！　と考えて、
以下のコードを書きましたが、トランスパイル時に型が保証されているのか、エラーになりませんでした。

type abc = "A" | "B" | "C"

const func = (arg : abc) => {
  const argABC : abc = arg;
  console.log(argABC);
}

考えたこと（その3)

列挙型にしてみる。

type enum abc{
 "A" = "A",
 "B" = "B",
 "C" = "C",
};

const func = (arg : abc) => {
  console.log(argABC);
}

これも普通に console.log("D") されてしまいます。。。

最終的に、、、

結局、以下のように型ではなく配列で対応しましたが、、、
型で制御する方法は無いでしょうか。。。

const abc: string[] = [ "A", "B", "C"]; 

const func = (arg : abc) => {
  if(abc.indexOf(arg) < 0)
    throw new Error( `Unknown argument '${arg}' is not found.`);
  console.log(arg);
}

Comments

[Zuishin]

https://wandbox.org/permlink/P9CWeHDTgcD6Ev1A

> prog.ts(7,6): error TS2345: Argument of type '"D"' is not assignable to parameter of type 'abc'.

エラーになりますね。

[gano]

回答を頂いたmaisumakun様の回答にも書きましたが、
引数をコマンドライン引数から受け取っているという条件を記載しておりませんでした。

[gano]

修正依頼ありがとうございます。

[miyabi_pudding]

列挙型使えばいけませんかね？
列挙型なら、コンパイル後も違う形で比較生きる・・・と信じたいですね。

[gano]

実は、列挙型にした後、Unionを試しておりまして^^;
駄目でした。。

[miyabi_pudding]

試したことは全て質問文に記載してください。

[gano]

大変失礼いたしました。いまさらですが、質問文編集し、その旨追記いたしました。

Answer 1

func("D")とすれば、

InvalidArgumentErrorになるのかなと考えましたが、

コンパイルエラーになります。

Comments

[maisumakun]

TypeScriptの型はJavaScriptに情報が残りませんので、「JavaScriptになってもチェックを維持したい」場合には別途で実装が必要です。

[gano]

失礼しました。もう少し状況が入り組んでおります。
実は、本来のコードがコマンドラインから引数を受け取っておりまして、トランスパイル後のコードを参照しております。この辺の詳細を編集しなおします。ご指摘ありがとうございました。

[gano]

理解いたしました。そうなりますと、私のケースでは「JavaScriptになってもチェックを維持したい」という状況ですので、実装する必要があるという結論になります。
情報が不足していたにも関わらず解決に導いていただきましてありがとうございました。