変数、引数、戻り値の型はどのように注釈(アノテーション)しますか?

Question

Accepted Answer

コロンの後に型を追加します。TypeScript は多くの型を **推論** できるため、明確さが増す場所や推論が不可能な場所に注釈を付けます。

```ts
// variables — usually let inference work
let count: number = 0;     // explicit
let name = "Ann";          // inferred as string (annotation redundant)

// function parameters — always annotate (can't be inferred)
function greet(name: string, times: number): string {
  return name.repeat(times);
}

// arrays and objects
const ids: number[] = [1, 2, 3];
const user: { name: string; age: number } = { name: "Ann", age: 30 };
```

## 戻り値の型: 推論させるか、注釈するか?

```ts
function add(a: number, b: number) { return a + b; } // inferred return: number
function load(): Promise<User> { ... }                // explicit — documents the contract
```

戻り値の型は推論されますが、エクスポートされた関数や公開関数に注釈を付けるのは良い習慣です。意図を文書化し、関数 *内部* のミスを検出してくれます(誤って間違ったものを返した場合、エラーが呼び出し側ではなく関数自体を指し示します)。

## 特殊なケース

```ts
function log(msg: string): void {}     // returns nothing
function fail(): never { throw new Error(); } // never returns normally
const fn: (x: number) => string = ...; // function type annotation
```

## なぜ重要なのか

経験則として、**関数のシグネチャ(引数と公開される戻り値の型)は明示的に注釈し、ローカル変数は推論に任せる** べきです。これによりコードを簡潔に保ちつつ、関数の境界における契約を明確にしてチェックさせることができます。