strictモードの各オプション

// tsconfig.json
{
  "compilerOptions": {
    "strict": true // 以下のフラグをすべて有効にする
  }
}

// strictNullChecks: 有効時
let name: string = null; // エラー: null は string に代入できない
let maybeName: string | null = null; // OK

// noImplicitAny: 有効時
function greet(name) { // エラー: name は暗黙的に any になる
  return name.toUpperCase();
}
function greet(name: string) { // OK
  return name.toUpperCase();
}

// strictPropertyInitialization: 有効時
class User {
  name: string; // エラー: コンストラクタで初期化されていない
  age!: number; // ! を付けると初期化チェックを無効にできる（definite assignment assertion）
  email: string;

  constructor(email: string) {
    this.email = email;
    // name が初期化されていないためエラー
  }
}

// useUnknownInCatchVariables: 有効時
try {
  JSON.parse('{invalid}');
} catch (err) {
  // err は unknown 型（any ではない）
  if (err instanceof Error) {
    console.log(err.message); // OK
  }
}

// strictFunctionTypes: コールバックの型チェック
type Handler = (event: MouseEvent) => void;
const fn: Handler = (event: Event) => {}; // エラー: Event は MouseEvent より広い

これらのフラグの中で最も影響が大きいのは『strictNullChecks』です。これを有効にすると、null・undefined を扱うすべての箇所で明示的なチェックが必要になります。既存の JavaScript コードを TypeScript に移行する際にエラーが多発する原因の多くはこのフラグによるものです。

既存プロジェクトに後から『strict』を適用する場合は、個別フラグを一つずつ有効にしながら段階的に対応するのが現実的です。まず『noImplicitAny』を有効にして型のあいまいさをなくし、次に『strictNullChecks』で null 安全性を確保するという順番が一般的です。

『strict: true』に加えて、よく使われる追加フラグとして『noUncheckedIndexedAccess』（配列アクセスの結果を T | undefined にする）や、override の必須化に使う『noImplicitOverride』があります。詳細は tsconfig.json 主要オプション を参照してください。