TypeScriptで関数の引数に分割代入したときの型指定方法

Question

###前提・実現したいこと
TypeScriptはES6の文法を取り入れているため、分割代入ができます。ES6と同じく関数の引数にも分割代入ができます。

function display({name, age}) {
    console.log(`${name}は${age}歳です。`);
}

const taro = { name: "太郎", age: 14 };
display(taro);

const hanako = { name: { family: "鈴木", given: "花子" }, age: "ひみつ" };
display(hanako);

これでは型チェックはされず、間違っているはずのhanakoもコンパイル時に素通りしてしまいます。そこで、型チェックを考えて、次のように書いてみました。

function displayWithType({name: string, age: number}) {
    console.log(`${name}は${age}歳です。`);
}
const taro = { name: "太郎", age: 14 };
displayType(taro);

しかし、この場合は、分割代入の別名という文法になるため、型指定とは見なされません。結果、見に行きたい、nameはnameになりません。その他、({name: name: string, age: age: number})としてみましたが、文法エラーになるだけでした。

引数への分割代入はどのように型指定をすればいいのでしょうか？

###試したこと

その他、型指定する方法としては次のような方法があることがわかっています。

function displayWithDefault({name = "", age = 0}) {
    console.log(`${name}は${age}歳です。`);
}
function displayWithObjType(person: { name: string, age: number }) {
    console.log(`${person.name}は${person.age}歳です。`);
}
const taro = { name: "太郎", age: 14 };
displayWithDefault(taro);
displayWithObjType(taro);

const hanako = { name: { family: "鈴木", given: "花子" }, age: "ひみつ" };
 // 次の二行は型チェックでコンパイル時にエラー
displayWithDefault(hanako);
displayWithObjType(hanako);

displayWithDefaultはデフォルト値で型推論されて正しく型が指定されますが、デフォルト値が必須になってしまいます。displayWithObjTypeは正統派ですが、せっかくの分割代入が普通の引数への代入になってしまいます。

調査には、下記文献を参考にしました。

分割代入 - JavaScript | MDN
Functions · TypeScript Documentation

TypeScriptの型以外の動作はMDNにあるES2015以降の動作通りです。しかし、TypeScriptのFunctions(関数)に関するドキュメントには分割代入については書いていません。

その他、TypeScript 1.7 · TypeScript#Improved checking for destructuring object literalに分割代入でのデフォルト値により型推論がありましたが、型指定については見つけられませんでした。

###補足情報(言語/FW/ツール等のバージョンなど)
TypeScript 2.1.5
コンパイルオプションでstrictNullChecksは有効

Answer 1

ん～。やるとしたらこんな感じでしょうか。

function displayWithType({name, age }: {name: string, age: number}) {
    console.log(`${name}は${age}歳です。`);
}

Comments

[raccy]

分割代入の所全体を型指定すればいいと言うことですか…なるほど…
しかし、nameとかを二回も書くのはなんともこそばゆいんですが、他に方法は無いんでしょうか…

[mukkun]

やりたいことはすごく分かるんですが、
多分用意されてないんじゃないかなぁと思います。
他に方法があるとしたら「interface」の実装や、
「class」作って「constructor」とかでごにょごにょ。。←コレのほうが気持ち悪い。。

デフォルト値を設定するパターンをよく見かけます。
というか引数の型にオブジェクト型リテラルをそのまま使わない設計にするのかもしれませんね。

[raccy]

ちゃんとするにはinterfaceを用意しておくのが一番いいのかも知れませんね…。再利用もできますし。