型アサーション／キャストで型エラーが消える理由

Question

質問概要

TypeScriptでエラーのあるコードにおいて、キャスト（型アサーション）しただけで
そのエラーが解決する挙動について教えてください

疑問点

以下の不十分な関数の引数をmyConfig型にキャストしたらエラーが無くなります。
理解できない点は、特定の型にキャストした結果、不完全な部分のエラーが消え
チェックが「ゆるく」なってしまう結果となるのですが
これをどのように解釈すべきか悩んでいます

該当のソースコード

interface myConfig {
  name?: string;
  gender?: string;
  age: number
}

function createMember(config: myConfig): void {
  // ...
}

// エラーになる呼び出し
createMember({ name: 'Mary', gender: 'female' });

// キャスト
createMember({ name: 'Mary', gender: 'female' } as myConfig);

{
  "compilerOptions": {
    "target": "es6",
    "module": "commonjs",
    "strict": true,
    "strictNullChecks": true,
    "esModuleInterop": true,
    "sourceMap": true,
    "outDir": "./dist/js/",
    "rootDir": "./src/ts/",
    "lib": [
      "es6",
      "dom",
      "es2018",
    ],
  }
}

環境

VS Code 1.36.1
WebPack 4.16.3
typescript 3.2.4
ts-loader 4.4.2"
eslint 5.14.0

キャストと型アサーションについて（関連質問）

出処を忘れてしまったのですが、以下のような文章を見つけました
（質問内質問になってしまうのですが・・・）

型アサーションが「型キャスト」と呼ばれない理由は、
キャストは一般的に何らかのランタイムサポートを意味するからです。
しかし、型アサーションは純粋にコンパイル時の構造体であり、
コードをどのように解析するかについてのヒントをコンパイラに提供する方法です。

キャストは便宜的なランタイムに対する型指定だが、
型アサーションは型管理におけるロジックとしての一環（一部）である
・・・という理解で良いのかな？と思っているのですが、
いずれにしてもTypeScriptのコーディングで意識する必要はないですか？

Answer 1

特定の型にキャストした結果、不完全な部分のエラーが消え
チェックが「ゆるく」なってしまう結果となるのですが
これをどのように解釈すべきか悩んでいます

後述の「キャストと型アサーションについて」のところにもあるように、as myConfigの指定はまさしくTypeScriptが認識する型を変えるための指定であって、実際に変換するためのコードは入りません。

キャストは便宜的なランタイムに対する型指定だが、
型アサーションは型管理におけるロジックとしての一環（一部）である

いえ、キャストは変換のための処理が必要な可能性がある（たとえば、C++ではキャスト時の動作をメンバ関数として自分で書ける場面もあります）のに対して、TypeScriptの場合はTypeScriptコンパイラの型認識を切り替えるだけで、出力コード（JavaScriptで型情報は消滅している）には影響しないのです。

Comments

[TOMIYASU_chan]

さっそくありがとうございます。
そういうことなのですか
この引数のにおいてのみ「この引数を型myConfigにする」
という認識をTypeScriptに与えているということですね

[TOMIYASU_chan]

> TypeScriptコンパイラの型認識を切り替えるだけ
型アサーションというのはまさに表面的に、限定的に
型を指定のものに固定し、ほかを見させないように
（＝チェックさせない）するものなのですね