# 通知設計書 88-warnImplicitRangeConversion

## 概要

本ドキュメントは、Nimコンパイラの警告通知「warnImplicitRangeConversion」（暗黙の範囲変換警告）に関する設計仕様を記載する。

### 本通知の処理概要

本通知は、異なる範囲型（range type）間での暗黙的な変換が行われる際に警告を発行するものである。範囲型は値の許容範囲を型レベルで制限するものであり、異なる範囲型間の変換は値の切り捨てや範囲外エラーの原因となる可能性がある。

**業務上の目的・背景**：Nimの範囲型（例：`range[0..100]`）は、変数が取りうる値の範囲をコンパイル時に制限する強力な型安全機能である。しかし、異なる範囲型間での暗黙的な変換は、実行時に範囲外エラーを引き起こす可能性がある。この警告は、そのような暗黙の変換を開発者に通知し、明示的なキャストや範囲チェックを促すことで、実行時エラーを防止する。

**通知の送信タイミング**：セマンティック解析フェーズ（sempass2.nim内）において、隠し標準変換（nkHiddenStdConv）を処理する際に、範囲型間の変換を検出した時点で発行される。

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

**通知内容の概要**：「implicit range conversion {元の型} -> {変換先の型}」という形式で、変換元と変換先の型情報を示す。

**期待されるアクション**：開発者は警告を確認し、以下のいずれかの対応を行うことが期待される：(1) 明示的なキャストを使用する、(2) 変換前に範囲チェックを追加する、(3) 型設計を見直して暗黙の変換を不要にする。

## 通知種別

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

## 送信仕様

### 基本情報

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

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

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

## 通知テンプレート

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

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

### 本文テンプレート

```
{ファイル名}({行番号}, {列番号}) Warning: implicit range conversion {元の型} -> {変換先の型} [ImplicitRangeConversion]
```

### 添付ファイル

なし

## テンプレート変数

| 変数名 | 説明 | データ取得元 | 必須 |
|--------|------|-------------|-----|
| $1 | 変換の説明文字列 | typeToString関数で生成 | Yes |

## 送信トリガー・条件

### トリガー一覧

| トリガー種別 | トリガーイベント | 送信条件 | 説明 |
|------------|----------------|---------|------|
| セマンティック解析 | nkHiddenStdConvノード処理 | 範囲型間の暗黙変換 | sempass2.nim内での型チェック時 |

### 送信抑止条件

| 条件 | 説明 |
|-----|------|
| --warning:ImplicitRangeConversion:off | コマンドラインオプションで抑制可能 |
| {.warning[ImplicitRangeConversion]:off.} | プラグマで抑制可能 |
| デフォルトで無効 | NotesVerbosity[3]から除外されている |
| 配列インデックスコンテキスト | isArrayIndexing が true の場合 |

## 処理フロー

### 送信フロー

```mermaid
flowchart TD
    A[nkHiddenStdConvノード処理] --> B{配列インデックスコンテキスト?}
    B -->|Yes| C[警告スキップ]
    B -->|No| D{範囲変換警告が必要?}
    D -->|No| C
    D -->|Yes| E[警告メッセージ生成]
    E --> F[message関数呼び出し]
    F --> G[処理継続]
    C --> G
```

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

### 参照テーブル一覧

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

### 更新テーブル一覧

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

## エラー処理

### エラーケース一覧

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

### リトライ仕様

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

## 配信設定

### レート制限

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

### 配信時間帯

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

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

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

## 備考

- 警告IDは "ImplicitRangeConversion"
- デフォルトで無効（NotesVerbosity[3]から除外）
- 有効にするには `--warning:ImplicitRangeConversion:on` が必要
- 範囲型の安全性に関わる重要な警告

---

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

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

### 推奨読解順序

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

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

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 1-1 | lineinfos.nim | `compiler/lineinfos.nim` | TMsgKind列挙型でwarnImplicitRangeConversionの定義（101行目）、MsgKindToStr配列でメッセージテンプレート（210行目）を確認 |
| 1-2 | lineinfos.nim | `compiler/lineinfos.nim` | NotesVerbosity計算（265行目）でwarnImplicitRangeConversionがデフォルト除外されていることを確認 |

**読解のコツ**: メッセージテンプレートは "implicit range conversion $1" で、$1に変換の詳細が入る。

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

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

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 2-1 | sempass2.nim | `compiler/sempass2.nim` | 1539-1543行目で範囲変換の検出と警告発行処理を確認 |

**主要処理フロー**:
1. **1540行目**: nkHiddenStdConvノードの確認
2. **1540行目**: isArrayIndexingフラグの確認（配列インデックスは除外）
3. **1541行目**: shouldWarnRangeConversion関数で警告必要性を判定
4. **1542-1543行目**: message関数呼び出しで警告を出力

#### Step 3: 範囲変換判定を理解する

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 3-1 | sempass2.nim | `compiler/sempass2.nim` | shouldWarnRangeConversion関数の実装を確認し、どのような変換で警告が発行されるかを理解する |

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

```
sempass2.nim: track (効果追跡)
    │
    ├─ nkHiddenStdConvノード検出
    │
    ├─ shouldWarnRangeConversion (変換警告判定)
    │
    ├─ typeToString (型名取得)
    │
    └─ msgs.nim: message (警告発行)
           │
           └─ msgs.nim: liMessage (メッセージ処理)
```

### データフロー図

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

nkHiddenStdConv ───▶ sempass2.nim ───▶ 範囲変換検出
    ノード              track            │
                                         ▼
                               shouldWarnRangeConversion
                                         │
                                         ▼
                                  msgs.nim ───▶ stderr/stdout
                               (message関数)     (警告メッセージ)
```

### 関連ファイル一覧

| ファイル | パス | 種別 | 役割 |
|---------|------|------|------|
| lineinfos.nim | `compiler/lineinfos.nim` | ソース | 警告種別定義とメッセージテンプレート |
| sempass2.nim | `compiler/sempass2.nim` | ソース | セマンティック解析（第2パス）、警告発行トリガー |
| msgs.nim | `compiler/msgs.nim` | ソース | メッセージ出力処理 |
