【typescript】2種類の値の片方がもう一方の型を決定する型を作る【Discriminated unions】

## 何がしたかった

２種類のフォームがあるとします。

その二つは収集する情報が違うので入力された値を保持するオブジェクトには別の型が付いています。

```ts
//名前と年齢を収集するフォーム
type FormValuesA = {
    name :string,
    age: number
}

//名前とメールアドレスを収集するフォーム
type FormValuesB = {
    name :string,
    email: string
}
```

具体的には今回この2種類のフォームのどちらでも受け入れて、
条件分岐でそれぞれ定義したvuexのstateに保存する関数が書きたいと思ってこんな感じの関数を書きました。

```ts
type FormType = "formA" | "formB"
type FormValues = FormValuesA | FormValuesB

type FormObj = {
    formType : FormType,
    formValues: FormValues
}

const setFormValues = (formObj: FormObj) => {
    if (formObj.formType === 'formA')
      // 実際にはここでformA用stateに格納
      console.log("you can NOT see", formObj.formValues.age)
    else if (formObj.formType === 'formB')
      // 実際にはここでformB用stateに格納
      console.log("you can NOT see", formObj.formValues.email)
  }
```

しかし…

![スクリーンショット 2021-10-03 182428.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/304716/55768b90-9239-198c-72ce-4eb65ce36373.png)

**TS playgroundでの再現コード**

https://www.typescriptlang.org/play?#code/C4TwDgpgBAYg9gJwLYBVzQLxQEQDNFICC2UAPjvsgELYBQtoksBAagIYA2ArhAM6FQsAb1pQxUAHZsk0AFy9gCAJYSA5gBpR4tqoizJXJACMICWgF96jaPGTtufKoKgjxk6XIXK1mtxCRsShz6XiqqFvQM6Mx2nDy8zrZI9vEC5EkpjlbRSQDyRgBWzq7ilKjR+klokL6lrHF8lfUOvBZQkVAAxnASClC8EMAZDQlYABRl+QVNyFMAlIIAfC5aYkq4UBMEUwB0ZdWYGFgA5GWEx3Or4t29cBwQOxxwqmPYIHBcXWwSUAByuSh+hAINh1FBJoU9s14jsdBBLn4OAMoOtNhCClDkAdBEcoKcCFQLlcxDdeHcHk8Xm8Pl8fv9AQMQWD0ZjkiMdv5AhwEVBzEA


上のTS playgroundを開くと実際のエラーが見れますが、人間には条件分岐してるように見えても、typescriptさんはどっちのフォームが入ってくるか分からないので、そこに.ageとか.emailあるか分からんよ〜と注意してくれます。

渡す値の形式を変える方向も考えましたが、他の人が作った関数だったので出来るだけ関数の中だけで型チェックを上手いことやりたいなぁと思いしばらくごちゃごちゃ探し回り、
その日は**type predicates**という機能を発見してこれだー！と喜んで解決したことにしました。

https://www.typescriptlang.org/docs/handbook/2/narrowing.html#using-type-predicates

### **type predicatesとは**

`arg is 型名`構文を関数の戻り値の部分につけることで、ユーザー定義の型ガード用関数を作れるという機能です。

今回の例に適用すると、`isFormA`と`isFormB`という**型ガード用の関数**を用意し、if文の中で実際の条件判定に並べて型チェックすることでtypescriptエラーを消すことに成功しました。

```ts
function isFormA(
  arg: FormValues,
  formType: FormType,
): arg is FormValuesA {
  return formType === 'formA';
}
function isFormB(
  arg: FormValues,
  formType: FormType,
): arg is FormValuesB {
  return formType === 'formB';
}

 const setFormValues = (formObj: FormObj) => {
    if (isFormA(formObj.formValues, formObj.formType)){
      console.log("you can see", formObj.formValues.age)
      }
    else if (isFormB(formObj.formValues, formObj.formType)) {
      console.log("you can see", formObj.formValues.email)
    }
  }
```

**TS playgroundでの再現コード**

https://www.typescriptlang.org/play?#code/C4TwDgpgBAYg9gJwLYBVzQLxQEQDNFICC2UAPjvsgELYBQtoksBAagIYA2ArhAM6FQsAb1pQxUAHZsk0AFy9gCAJYSA5gBpR4tqoizJXJACMICWgF96jaPGTtufKoKgjxk6XIXK1mtxCRsShz6XiqqFvQM6Mx2nDy8zrZI9vEC5EkpjlbRSQDyRgBWzq7ilKjR+klokL6lrHF8lfUOvBZQ9LhcEgDGwEpwElBKvEmEABRabAiqTbEttWXVejHlNbQAlPpTqkMJGQ38LloIEMBcCIOL0Rg3UADkZYR3ANwRnT19A7tJVBNi27NkgcFgQloClppNlBtrsVpleE4SiczhcoFcmDcsA8CFQXhFRN0BgooLxTvsWs4xmV8gVATT1oIAHxHNxKXBQKkEGkAOnRmFu2OQTygADIRd8CONqYVec14uo0VyZXz1usSm5CRJeHAOBBuRw4KoxtgQHAuFBumxBgA5XIoEkQCDYBXSgqyubxbk6CDrLRuSx+DikobsznIHl8wQCsq40Xi4Y-MNICNyvgupVulUM9XiTXa3X6w3G03my02u0Op3p8PK1O8bn+QIcX3+rTmIA

見事に型ガードが効いています！これさえあれば無敵！

…と思ったのですが、家に帰って調べたら案の定無敵すぎてかなり取扱注意だという記事がありました。

https://qiita.com/kgtkr/items/7e4f18224c3362ceceeb

所詮はアサーションであり、実際の型を無視して黒を白と言えてしまうので、よほど引数が動かし難い理由がなければ使わない方が良さそうです。

というわけでドキュメントを見てたら、その下に正解がありました。


### 正解はDiscriminated unions

https://www.typescriptlang.org/docs/handbook/2/narrowing.html#discriminated-unions

この機能は、2種類のオブジェクト型の中に共通のプロパティ（discriminant property）がある場合に、typescriptが条件分岐内のプロパティを型推論してくれるという機能です。

先の例だとこうなります。

関数内がクリーンかつ、感覚的にも分かりやすいコードになりましたね。

```ts
type FormObjA = {
    formType : "formA",
    formValues: FormValuesA
}

type FormObjB = {
    formType : "formB",
    formValues: FormValuesB
}

type FormObj = FormObjA | FormObjB

 const setFormValues = (formObj: FormObj) => {
    if (formObj.formType === 'formA')
      console.log("you can see", formObj.formValues.age)
    else if (formObj.formType === 'formB')
      console.log("you can see", formObj.formValues.email)
  }
```

**TS playgroundでの再現コード**

https://www.typescriptlang.org/play?#code/C4TwDgpgBAYg9gJwLYBVzQLxQEQDNFICC2UAPjvsgELYBQtoksBAagIYA2ArhAM6FQsAb1pQxUAHZsk0AFy9gCAJYSA5gBpR4tqoizJXJACMICWgF96jaPGTtufKoKgjxk6XIXK1mtxCRsShz6XiqqFlbozHacPLzOtkj2cQLkicmOkUyJAPJGAFYCwlpilKhR+ngExL7iZRm8+umxfIQRDFG5BU7FbmVoTJVlNLWlrC2N0UkTVO3WU3n5CQSLqQvd9FAAxnASClC8EMDNDvFYABRli00rBQCUggB8LiVQSrhQl7f5AHT9URhAVAAORlQjAu6vMQ7PZwDgQH4cOCqc7YEBwLjbNgSKAAORyKAOEAg2HUUCuBT+41OPx0EEhfg4hzeHy+yEWVOQA0wQNBBCoEKh212vDhCKRKLRGKxOPxhMOJLJFN+9QmP38gQ4DKglloQA

ちなみに注意点として、条件分岐前に分割代入すると上手く型推論が働かなくなります。

```ts
// これはダメ😵

const setFormValues = ( {formType, formValues } : FormObj) => { 
    // const {formType,formValues } = formObj  関数の中で分割代入しても同じくエラー
    if (formType === 'formA')
      console.log("you can NOT see", formValues.age)
    else if (formType === 'formB')
      console.log("you can NOT see", formValues.email)
  }
```

さて問題は無事解決ですが、フォームが増えた時を考えると、一つ一つフォームごとの型を定義していくのはちょっとダルいので、ジェネリック型を使ってFormObj型のunionに追加していけば良いようにします。

```ts
type Form<T extends string, V extends {}> = {
  formType: T;
  formValues: V;
};
type FormObj =
  | Form<'formA', FormObjA>
  | Form<'formB', FormObjB>;
```

## 完成コード

```ts
type FormValuesA = {
    name :string,
    age: number
}

type FormValuesB = {
    name :string,
    email: string
}

type Form<T extends string, V extends {}> = {
  formType: T;
  formValues: V;
};
type FormObj =
  | Form<'formA', FormValuesA>
  | Form<'formB', FormValuesB>;

 const setFormValues = (formObj: FormObj) => {
    if (formObj.formType === 'formA')
      console.log("you can see", formObj.formValues.age)
    else if (formObj.formType === 'formB')
      console.log("you can see", formObj.formValues.email)
  }
```

こうやってunion型で追加していくと、このsetFormValuesを呼び出す際にも、formTypeと実際のフォームの種類がズレていた場合はtypescriptが教えてくれるので脳死でコーディングできます。ありがたいですね。

```ts
    setFormValues({
      formType: 'formA',
      formValuesObj: actualFormValues, // ここの値がformBのものだとエラー！
    });
```

## その他考えたことメモ

これってそもそもformType渡す必要あるのか？という疑問は考えているあいだ度々脳裏をよぎったのですが、
一応「フォームの項目はすべて同じだけど、フォーム自体は違う」というタイプのフォームが2つ以上現れた場合に、そうなるとやはり呼び出し側からstateのセット先を指定する必要があります、よね…？
まぁとりあえずこのやり方ならFormCを足したら条件分岐内にformCValues以外の引数は入ってこないことが保証されます。

**FormCを追加したTS playgroundでの再現コード**

https://www.typescriptlang.org/play?#code/C4TwDgpgBAYg9gJwLYDUCGAbArhAzgQSgF4oBvAKCiqgDs0loAuXYBASxoHMAaS6tThEa0sSAEYQE5AL7lyoSLESpMOXACFiZPlToMozVhx46oEJGjYZhLdlxlyF0eMnTY8AYS0Vqtek1tjXl8BIRFxSQd5cGdlAB4AFW4oFAA+bz4AM2UEmOEEgG4s5Tc1YRQi6SKnJWQAeTEAK2I+AB9apDiAcmzkfC7klxV3AlS2ju7epHUBjtK8dTGqdqHJ5Q9ZofncD1SiygBjOBoWKFwIYC3VPC0ACimGxuEhx4BKYnSfajZMqHvlR4AOimuUURHBUB6yn6r1MVCOJzgGAggIwcE4twARCA4FgoAc0DQzhAIJjkg8msCStdcIDQrDfBAMOcoD8-hTGlTkKDoOCSFDkDMGb58cdcEiUWiMdjcfjCcTSeSAZSpttAeZLBhhVQmSy2f96iqcjFiBCBUgNtrqAjxcjUeisTi8QSiedFVAOVzhmo6YJ3nxZOQgA

その他にも、こういう色々策を弄する必要があるときは大抵もっと大元の組み立てが間違ってると思うので、この場合はフォームのstateを一つのstoreで管理するべきなのか？とか、vuex actionを一つの関数にまとめる必要があるのか？とか、（特に前者を）もう少し考えたほうが良い気もするけど。
まぁとりあえず今回はtypescriptの機能で綺麗に解決できたので、良いことにします。

お読みいただきありがとうございました！