TypeScript 2.2〜2.5までに追加された新機能：特集：TypeScript 2.0概説（2/2 ページ）

[かわさきしんじ，Insider.NET編集部]

new.target

　new.targetメタプロパティはECMAScript 2015で導入されたもので、ある関数がコンストラクタとして（newを伴って）呼び出された時には、new.targetにはそのコンストラクタ関数がセットされる。newを伴わなかったときには、new.targetの値はundefinedとなる。

class Hoge {
  constructor() {
    console.log(new.target.name);
  }
}

new Hoge();  // Hoge

new.targetの使用例

文字列のenum

　TypeScript 2.4では列挙型の値に文字列を指定できるようになっている。以下に例を示す。

enum SSIGNAL {
  RED = "red",
  BLUE = "blue",
  YELLOW = "yellow"
}

enum NSIGNAL {
  RED,
  BLUE,
  YELLOW
}

var ss = SSIGNAL.RED;
var ns = NSIGNAL.RED;

console.log(ss);  // red
console.log(ns);  // REDではなく0
console.log(SSIGNAL["RED"]);  // REDではなくred
console.log(NSIGNAL[0]);      // RED

文字列のenum

　SSIGNAL型は文字列のenum、NSIGNAL型は従来の列挙だ。上のコードでは、そのメンバを使ってコンソールに出力を行っている。

　コード記述の面では、従来のenumは可読性を高めてくれるが、上のコードの出力例を見ると分かる通り、これは実際には整数値となってしまう（console.log(ns)の出力結果）。これに対して、文字列のenumを使うと、コード記述時にはenum型の値のように使える一方で、その値は文字列となっている。このため、データや出力を目視で確認するといったときには役立つだろう。

　ただし、インデックスを指定して「SSIGNAL["RED"]」のようにしても、メンバである全て大文字の「RED」ではなく、その値である"red"が取得されている点には注意したい（その下の「NSIGNAL[0]」ではメンバであるREDが取得できている）。これは文字列のenumが次のようにトランスパイルされるからだ。見ての通り、単にSSIGNALにプロパティが設定されるようになっているだけだ。

var SSIGNAL;
(function (SSIGNAL) {
    SSIGNAL["RED"] = "red";
    SSIGNAL["BLUE"] = "blue";
    SSIGNAL["YELLOW"] = "yellow";
})(SSIGNAL || (SSIGNAL = {}));

トランスパイル後のコード

弱い型定義

　ここでいう「弱い型」とは、その型の全てのプロパティがオプションとなっている型のこと。TypeScript 2.4で導入されている。例えば、以下のインタフェースReqは弱い型の例である。

interface Req {
  url?: string,
  method?: string,
  data?: string
}

function someFunc(opt: Req) {
  // 何か処理をする
}

var req1 = {
  url: "http://www.atmarkit.co.jp",
  data: "hogehoge"
}

var req2 = {  // インタフェースReqのプロパティが何もない
  message: "hello world"
}

var req3 = {
  url: "http://www.atmarkit.co.jp",
  message: "hello world"
}

someFunc(req1);
someFunc(req2);  // エラー
someFunc(req3);

弱い型の使用例

　このコードのインタフェースReqは全てのプロパティがオプションとなっている。このような型がTypeScriptでは「弱い型」と呼ばれる。一方、3つの変数は、それぞれが独自のプロパティを持っている。これらを使ってsomeFunc関数を呼び出そうというのが上のコードだ。

　TypeScript 2.4以降では、弱い型を必要とする部分（例：関数sumeFuncの引数）への代入時には、その弱い型で規定されているプロパティを何も含んでいないデータの代入が禁じられる。上の例だと、req1変数のプロパティは全てインタフェースReqで定められているプロパティと一致する（足りないものが1つあるが）。req2変数はインタフェースReqで規定されているプロパティを何も持たず、余計なプロパティを持っている。req3変数はインタフェースReqで定められているプロパティと、定められていないプロパティを持っている。これらの3つの変数を用いて、someFunc関数を呼び出そうとするとTypeScriptではreq2変数を使用したものだけがエラーとなる。

　これは知らない間に間違った引数を指定して、何らかの処理を行おうとしてしまうバグを早期に発見するために使用できる。req3変数を指定した場合には、インタフェースReqに含まれていない要素については無視されるといった処理が行われることになるだろう（もっとも、それで動作に問題がないかは、実際のコードによるが）。

catch句での変数の省略

　TypeScript 2.5からはtry／catchによる例外処理時に、catch句で例外情報を取得するための変数の記述を省略できるようになっている。以下に例を示す。これはJSONデータではないものをJSON.parseメソッドでパースしようとしているものだ。

var data = "not json data";
try {
  var json = JSON.parse(data);
} catch {  // 例外情報を取得するための変数を省略
  console.log("couldn't parse");
}

catch句での変数の省略

　トランスパイル後のコードではダミーの変数が挿入される。

var data = "not json data";
try {
    var json = JSON.parse(data);
}
catch (_a) {  // ダミーの変数が追加される
    console.log("couldn't parse");
}

トランスパイル後のコード

　例外処理コードの記述時に、例外情報にアクセスする必要がないことが明らかであるときには便利に使えるだろう。

---

　本稿ではバージョン2.2〜2.5にかけて、TypeScriptに追加された新機能を幾つか見てきた。次回は本稿で積み残している非同期イテレーションや非同期importなどの新機能について見ていくことにしよう。また、TypeScript 2.1の機能の中で拾い切れていないものについても取り上げる予定だ。

「特集：TypeScript 2.0概説」