# 通知設計書 95-hintConvToBaseNotNeeded

## 概要

本ドキュメントは、Nimコンパイラにおけるヒント通知「hintConvToBaseNotNeeded」の設計を記載する。この通知は基底オブジェクトへの不要な型変換をユーザーに通知するためのものである。

### 本通知の処理概要

hintConvToBaseNotNeeded（conversion to base object is not needed）は、派生オブジェクトから基底オブジェクトへの明示的な型変換が不要な場合に発行されるヒントメッセージである。

**業務上の目的・背景**：コードの簡潔性と可読性の向上を目的とする。Nimでは派生型から基底型への変換は暗黙的に行われるため、明示的なキャストや変換は冗長である。この通知により、開発者は不要な型変換を削除し、コードをシンプルに保つことができる。

**通知の送信タイミング**：セマンティック解析時、型変換式の解析において、変換先が基底オブジェクト型で、かつ変換が不要と判断された場合に送信される。

**通知の受信者**：コンパイルを実行している開発者。標準エラー出力を通じて通知される。

**通知内容の概要**：「conversion to base object is not needed」というメッセージで通知される。

**期待されるアクション**：開発者は通知を受け、不要な型変換コードを削除する。

## 通知種別

コンパイラコンソール出力（標準エラー出力）

## 送信仕様

### 基本情報

| 項目 | 内容 |
|-----|------|
| 送信方式 | 同期 |
| 優先度 | 低（ヒント） |
| リトライ | 無 |

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

コンパイラを実行しているプロセスの標準エラー出力に直接出力される。

## 通知テンプレート

### コンソール出力の場合

| 項目 | 内容 |
|-----|------|
| 送信元 | Nimコンパイラ |
| 出力先 | stderr |
| 形式 | テキスト |

### 本文テンプレート

```
conversion to base object is not needed
```

### 添付ファイル

なし

## テンプレート変数

| 変数名 | 説明 | データ取得元 | 必須 |
|--------|------|-------------|-----|
| （なし） | 固定メッセージ | - | - |

## 送信トリガー・条件

### トリガー一覧

| トリガー種別 | トリガーイベント | 送信条件 | 説明 |
|------------|----------------|---------|------|
| 型変換解析 | semConv実行時 | 基底型への不要変換 | オブジェクト継承での暗黙変換可能時 |

### 送信抑止条件

| 条件 | 説明 |
|-----|------|
| 変換が必要な場合 | 異なる型体系への変換など |
| efNoSem2Check in flags | 第2パス処理がスキップされる場合 |

## 処理フロー

### 送信フロー

```mermaid
flowchart TD
    A[semConv呼び出し] --> B[checkConvertible実行]
    B --> C{変換ステータス?}
    C -->|convOK| D[通常処理]
    C -->|convNotNeedeed| E{efNoSem2Check?}
    E -->|Yes| D
    E -->|No| F[message hintConvToBaseNotNeeded]
    F --> D
    C -->|convNotLegal| G[エラー処理]
    C -->|convNotInRange| H[エラー処理]
```

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

### 参照テーブル一覧

コンパイラ内部の型情報を参照。データベースは使用しない。

### テーブル別参照項目詳細

該当なし

### 更新テーブル一覧

該当なし

## エラー処理

### エラーケース一覧

| エラー種別 | 発生条件 | 対処方法 |
|----------|---------|---------|
| 出力失敗 | stderr書き込みエラー | 処理継続（無視） |

### リトライ仕様

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

## 配信設定

### レート制限

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

### 配信時間帯

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

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

機密情報を含まない。固定メッセージのため、特別なセキュリティ対策は不要。

## 備考

- 整数型やRange型への変換は対象外（別のヒントまたは許容される）
- オブジェクト継承チェーンでのアップキャストが主な検出対象
- テンプレートやマクロ展開時には出力されない場合がある

---

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

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

### 推奨読解順序

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

まず、型変換ステータスと関連する型情報を理解することが重要。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 1-1 | lineinfos.nim | `compiler/lineinfos.nim` | hintConvToBaseNotNeededの定義（106行目）とメッセージ（218行目） |
| 1-2 | semexprs.nim | `compiler/semexprs.nim` | TConvStatus enumの定義（234-239行目） |

**読解のコツ**: TConvStatusのconvNotNeedeedがヒント出力のトリガーであることを理解する。

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

型変換のセマンティック解析を特定。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 2-1 | semexprs.nim | `compiler/semexprs.nim` | semConv関数（380行目付近）がエントリーポイント |

**主要処理フロー**:
1. **380行目付近**: semConv開始
2. **448行目付近**: checkConvertible呼び出し
3. **456-458行目**: convNotNeedeedの処理

#### Step 3: 変換チェックロジックを理解する

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 3-1 | semexprs.nim | `compiler/semexprs.nim` | checkConvertible関数（251-318行目） |
| 3-2 | semexprs.nim | `compiler/semexprs.nim` | convNotNeedeedの判定ロジック（254-258行目） |

**主要処理フロー**:
- **254-258行目**: sameType判定で変換不要を検出
- **256-257行目**: 整数型・Range型の除外判定
- **456-458行目**: ヒント出力

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

```
semConv (semexprs.nim:380)
    │
    ├─ semTypeNode (型の解析)
    │
    ├─ semExprWithType (式の解析)
    │
    ├─ checkConvertible (semexprs.nim:251)
    │      ├─ sameType チェック
    │      ├─ skipTypes 処理
    │      └─ convNotNeedeed 判定
    │
    └─ message(hintConvToBaseNotNeeded)
           └─ 固定メッセージ出力
```

### データフロー図

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

型変換式 ───▶ checkConvertible ───▶ stderr
    │               │
    ├─ targetTyp    ├─ sameType
    │               ├─ skipTypes
    └─ srcTyp       └─ TConvStatus判定
```

### 関連ファイル一覧

| ファイル | パス | 種別 | 役割 |
|---------|------|------|------|
| lineinfos.nim | `compiler/lineinfos.nim` | ソース | hintConvToBaseNotNeeded定義 |
| semexprs.nim | `compiler/semexprs.nim` | ソース | 型変換解析とヒント出力 |
| types.nim | `compiler/types.nim` | ソース | sameType関数 |
| msgs.nim | `compiler/msgs.nim` | ソース | message関数 |
