# 通知設計書 81-warnImplicitDefaultValue

## 概要

本ドキュメントは、Nimコンパイラの警告通知「warnImplicitDefaultValue」（暗黙のデフォルト値警告）に関する設計仕様を記載する。

### 本通知の処理概要

本通知は、プロシージャやテンプレートのパラメータ定義において、複数のパラメータがセミコロンではなくカンマで区切られ、かつ最後のパラメータにのみデフォルト値が指定されている場合に、その暗黙のデフォルト値適用を開発者に警告するものである。

**業務上の目的・背景**：Nimでは `proc foo(a, b, c: int = 0)` のように記述すると、a, b, cすべてがデフォルト値0を持つことになる。しかし、開発者がc のみにデフォルト値を設定したいと意図している場合、この暗黙の動作は意図しないバグを引き起こす可能性がある。この警告は、開発者にこの暗黙の動作を認識させ、明示的な記述を促すことで、潜在的なバグを防止する。

**通知の送信タイミング**：セマンティック解析フェーズにおいて、型パラメータリストを処理する際（semtypes.nim内）に、カンマ区切りの複数パラメータに対して単一のデフォルト値が指定されていることを検出した時点で発行される。

**通知の受信者**：コンパイルを実行している開発者。ターミナルまたはIDEの出力ウィンドウに表示される。

**通知内容の概要**：「{パラメータ名リスト} all have default value '{デフォルト値}', this may be unintentional, either use ';' (semicolon) or explicitly write each default value」という形式で、暗黙のデフォルト値が適用されたパラメータ名と値を示す。

**期待されるアクション**：開発者は警告を確認し、以下のいずれかの対応を行うことが期待される：(1) セミコロンを使用してパラメータを分離する、(2) 各パラメータに明示的にデフォルト値を記述する、(3) 意図通りであれば警告を無視または抑制する。

## 通知種別

コンパイラ警告（Warning） - ターミナル/IDE出力

## 送信仕様

### 基本情報

| 項目 | 内容 |
|-----|------|
| 送信方式 | 同期（コンパイル処理中に即座に出力） |
| 優先度 | 中（Warning） |
| リトライ | なし |

### 送信先決定ロジック

コンパイラの標準エラー出力（stderr）または設定されたwritelnHookに出力される。`--stdout`オプション指定時は標準出力に出力される。

## 通知テンプレート

### コンパイラ出力の場合

| 項目 | 内容 |
|-----|------|
| 出力先 | stderr（デフォルト）/ stdout（--stdout指定時） |
| 形式 | テキスト |

### 本文テンプレート

```
{ファイル名}({行番号}, {列番号}) Warning: {パラメータ名1}, {パラメータ名2}, ... all have default value '{デフォルト値}', this may be unintentional, either use ';' (semicolon) or explicitly write each default value [ImplicitDefaultValue]
```

### 添付ファイル

なし

## テンプレート変数

| 変数名 | 説明 | データ取得元 | 必須 |
|--------|------|-------------|-----|
| $1 | 警告メッセージ本文 | semtypes.nim内で動的生成 | Yes |

## 送信トリガー・条件

### トリガー一覧

| トリガー種別 | トリガーイベント | 送信条件 | 説明 |
|------------|----------------|---------|------|
| コンパイル処理 | 型パラメータリストの解析 | カンマ区切りの複数パラメータに単一デフォルト値が指定されている | semtypes.nim内でのパラメータ解析時 |

### 送信抑止条件

| 条件 | 説明 |
|-----|------|
| --warning:ImplicitDefaultValue:off | コマンドラインオプションで抑制可能 |
| {.warning[ImplicitDefaultValue]:off.} | プラグマで抑制可能 |

## 処理フロー

### 送信フロー

```mermaid
flowchart TD
    A[型パラメータリスト解析開始] --> B{カンマ区切りの複数パラメータ?}
    B -->|No| C[通常処理継続]
    B -->|Yes| D{最後のパラメータにのみデフォルト値?}
    D -->|No| C
    D -->|Yes| E[警告メッセージ生成]
    E --> F[message関数呼び出し]
    F --> G[styledMsgWriteln出力]
    G --> H[警告カウンタインクリメント]
    H --> C
```

## データベース参照・更新仕様

### 参照テーブル一覧

本通知はデータベースを使用しない。

### 更新テーブル一覧

本通知はデータベースを使用しない。

## エラー処理

### エラーケース一覧

| エラー種別 | 発生条件 | 対処方法 |
|----------|---------|---------|
| なし | この警告自体はエラーではない | - |

### リトライ仕様

| 項目 | 内容 |
|-----|------|
| リトライ回数 | 0（リトライなし） |
| リトライ間隔 | - |
| リトライ対象エラー | - |

## 配信設定

### レート制限

| 項目 | 内容 |
|-----|------|
| 1分あたり上限 | なし |
| 1日あたり上限 | なし |

### 配信時間帯

制限なし（コンパイル時に即座に出力）

## セキュリティ考慮事項

なし。コンパイラ警告メッセージであり、機密情報を含まない。

## 備考

- Nimバージョン1.0以降で利用可能
- 警告IDは "ImplicitDefaultValue"
- デフォルトで有効（NotesVerbosity[3]に含まれる）

---

## コードリーディングガイド

本通知を理解するために参照すべきファイルと、推奨する読み解き順序を以下に示す。

### 推奨読解順序

#### Step 1: データ構造を理解する

まず、警告メッセージの種類と定義を理解する。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 1-1 | lineinfos.nim | `compiler/lineinfos.nim` | TMsgKind列挙型でwarnImplicitDefaultValueの定義（94行目）、MsgKindToStr配列でメッセージテンプレート（203行目）を確認 |

**読解のコツ**: TMsgKind列挙型は警告・エラーの種類を定義し、MsgKindToStrは対応するメッセージテンプレートを保持する。

#### Step 2: エントリーポイントを理解する

警告が発行される箇所を特定する。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 2-1 | semtypes.nim | `compiler/semtypes.nim` | 1455-1462行目でパラメータリストを解析し、条件に一致した場合にmessage関数を呼び出す |

**主要処理フロー**:
1. **1455-1457行目**: パラメータ名リストをカンマ区切りで結合
2. **1458-1461行目**: 警告メッセージを構築
3. **1462行目**: message関数呼び出しで警告を出力

#### Step 3: メッセージ出力処理を理解する

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 3-1 | msgs.nim | `compiler/msgs.nim` | message関数（641-642行目）からliMessage関数（536-608行目）への呼び出しフローを確認 |

**主要処理フロー**:
- **641行目**: messageテンプレートがliMessageを呼び出し
- **563-573行目**: 警告の場合の処理（WarningTitle設定、警告カウンタインクリメント）
- **596行目**: styledMsgWritelnで実際の出力

### プログラム呼び出し階層図

```
semtypes.nim: semParamList (パラメータリスト解析)
    │
    └─ msgs.nim: message (警告発行)
           │
           └─ msgs.nim: liMessage (メッセージ処理)
                  │
                  ├─ msgs.nim: writeContext (コンテキスト出力)
                  ├─ msgs.nim: styledMsgWriteln (スタイル付き出力)
                  └─ msgs.nim: handleError (エラーハンドリング)
```

### データフロー図

```
[入力]                   [処理]                        [出力]

パラメータリスト ───▶ semtypes.nim ───▶ 警告条件判定
    AST                                        │
                                               ▼
                                        msgs.nim ───▶ stderr/stdout
                                     (message関数)     (警告メッセージ)
```

### 関連ファイル一覧

| ファイル | パス | 種別 | 役割 |
|---------|------|------|------|
| lineinfos.nim | `compiler/lineinfos.nim` | ソース | 警告種別定義とメッセージテンプレート |
| semtypes.nim | `compiler/semtypes.nim` | ソース | 型解析、警告発行トリガー |
| msgs.nim | `compiler/msgs.nim` | ソース | メッセージ出力処理 |
| options.nim | `compiler/options.nim` | ソース | コンパイラオプション（警告有効/無効設定） |
