質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
87.20%
TypeScript

TypeScriptは、マイクロソフトによって開発された フリーでオープンソースのプログラミング言語です。 TypeScriptは、JavaScriptの構文の拡張であるので、既存の JavaScriptのコードにわずかな修正を加えれば動作します。

解決済

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

raccy
raccy

総合スコア21669

TypeScript

TypeScriptは、マイクロソフトによって開発された フリーでオープンソースのプログラミング言語です。 TypeScriptは、JavaScriptの構文の拡張であるので、既存の JavaScriptのコードにわずかな修正を加えれば動作します。

1回答

0評価

5クリップ

11875閲覧

投稿2017/01/23 10:53

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

TypeScript

function display({name, age}) { console.log(`${name}${age}歳です。`); } const taro = { name: "太郎", age: 14 }; display(taro); const hanako = { name: { family: "鈴木", given: "花子" }, age: "ひみつ" }; display(hanako);

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

TypeScript

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

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

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

###試したこと

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

TypeScript

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は有効

良い質問の評価を上げる

以下のような質問は評価を上げましょう

  • 質問内容が明確
  • 自分も答えを知りたい
  • 質問者以外のユーザにも役立つ

評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

気になる質問をクリップする

クリップした質問は、後からいつでもマイページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

  • プログラミングに関係のない質問
  • やってほしいことだけを記載した丸投げの質問
  • 問題・課題が含まれていない質問
  • 意図的に内容が抹消された質問
  • 過去に投稿した質問と同じ内容の質問
  • 広告と受け取られるような投稿

評価を下げると、トップページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

まだ回答がついていません

会員登録して回答してみよう

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
87.20%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問

同じタグがついた質問を見る

TypeScript

TypeScriptは、マイクロソフトによって開発された フリーでオープンソースのプログラミング言語です。 TypeScriptは、JavaScriptの構文の拡張であるので、既存の JavaScriptのコードにわずかな修正を加えれば動作します。