# 機能設計書 67-Vec\unique

## 概要

本ドキュメントは、Hack Standard Library（HSL）の`Vec\unique`関数の機能設計を記載する。この関数は、Traversableから重複を除去し、各要素が1回のみ出現する新しいvecを返す。

### 本機能の処理概要

**業務上の目的・背景**：
データ処理において、重複した値を除去してユニークな要素のみを取得する操作は頻繁に必要となる。例えば、重複したユーザーIDの除去、一意のカテゴリ一覧の取得、タグの正規化などに使用される。この関数は、keysetへの変換を利用して効率的に重複を除去し、結果をvecとして返す。

**機能の利用シーン**：
- 重複したIDの除去
- 一意の値リストの生成
- タグやカテゴリの正規化
- マージ後のデータのクリーンアップ
- 重複排除されたオプションリストの作成

**主要な処理内容**：
1. 入力TraversableをKeysetに変換（重複が自動的に除去される）
2. Keysetをvecに変換して返却
3. 要素の出現順序は最初の出現位置が保持される

**関連システム・外部連携**：
外部システムとの連携はない。純粋な関数型ユーティリティとして動作する。

**権限による制御**：
権限による制御は存在しない。

## 関連画面

| 画面No | 画面名 | 関連種別 | 関連する操作・処理 |
|--------|--------|----------|------------------|
| - | - | - | 本ライブラリはUIを持たないため該当なし |

## 機能種別

計算処理 / データ変換

## 入力仕様

### 入力パラメータ

| パラメータ名 | 型 | 必須 | 説明 | バリデーション |
|-------------|-----|-----|------|---------------|
| $traversable | Traversable<Tv as arraykey> | Yes | 重複を除去する対象のコレクション | なし |

### 入力データソース

プログラムコードからの直接呼び出し。要素がarraykey型（intまたはstring）のvec、keyset、Set、Vectorなど、Traversableを実装する型を受け付ける。

## 出力仕様

### 出力データ

| 項目名 | 型 | 説明 |
|--------|-----|------|
| 戻り値 | vec<Tv> | 各要素が1回のみ出現する新しいvec。最初の出現順序が保持される |

### 出力先

呼び出し元への戻り値として返却。

## 処理フロー

### 処理シーケンス

```
1. 入力Traversableをkeysetに変換
   └─ keyset($traversable)
   └─ 重複が自動的に除去される

2. keysetをvecに変換
   └─ vec(keyset(...))

3. 結果vecを返却
```

### フローチャート

```mermaid
flowchart TD
    A[開始] --> B[keyset変換]
    B --> C[重複除去完了]
    C --> D[vec変換]
    D --> E[結果vecを返却]
    E --> F[終了]
```

## ビジネスルール

### 業務ルール

| ルールNo | ルール名 | 内容 | 適用条件 |
|---------|---------|------|---------|
| BR-01 | 最初の出現保持 | 重複要素のうち、最初に出現したものの位置が保持される | 常時 |
| BR-02 | arraykey制約 | 要素はarraykey型（int または string）でなければならない | 常時 |
| BR-03 | 厳密等価 | 重複判定は厳密等価（===）で行われる | 常時 |

### 計算ロジック

keyset変換による重複除去: keyset{a, b, a, c} → keyset{a, b, c}

## データベース操作仕様

### 操作別データベース影響一覧

| 操作 | 対象テーブル | 操作種別 | 概要 |
|-----|-------------|---------|------|
| - | - | - | データベース操作なし |

## エラー処理

### エラーケース一覧

| エラーコード | エラー種別 | 発生条件 | 対処方法 |
|------------|----------|---------|---------|
| - | 型エラー | 要素がarraykey型でない場合 | 型チェッカーが静的に検出 |

### リトライ仕様

リトライは不要（純粋関数であり、同じ入力に対して常に同じ結果を返す）。

## トランザクション仕様

トランザクション管理は不要（メモリ内処理のみ）。

## パフォーマンス要件

- 時間計算量: O(n)、nは入力コレクションのサイズ
- 空間計算量: O(n)、最悪の場合すべての要素がユニーク

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

- 純粋関数であり、外部リソースへのアクセスは行わない
- 要素の同一性はハッシュベースで判定される

## 備考

- 非arraykey要素の重複除去には`Vec\unique_by`を使用
- keysetは要素の順序を保持するため、結果の順序は予測可能
- 空のTraversableを入力した場合、空のvecを返す

---

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

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

### 推奨読解順序

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

keyset型の特性と重複除去の仕組みを理解する。

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 1-1 | select.php | `src/vec/select.php` | unique関数の定義場所と型シグネチャ |

**読解のコツ**: `keyset<T>`はTがarraykeyである集合型。要素は自動的にユニークになり、順序は挿入順が保持される。

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

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 2-1 | select.php | `src/vec/select.php` | unique関数の実装（278-280行目） |

**主要処理フロー**:
1. **278行目**: 関数シグネチャ - arraykey要素のTraversableを受け取る
2. **279行目**: keysetへの変換で重複除去
3. **279行目**: vecへの変換で結果を返却

#### Step 3: 関連関数との比較

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 3-1 | select.php | `src/vec/select.php` | unique_by関数（293-298行目）との比較 |

**主要処理フロー**:
- **unique_by (293-298行目)**: スカラー関数を使用してユニーク性を判定（非arraykey対応）

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

```
Vec\unique()
    │
    ├─ keyset() (組み込み)
    │      └─ 重複除去
    │
    └─ vec() (組み込み)
           └─ vecへの変換
```

### データフロー図

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

Traversable<Tv>     ───▶  keyset()  ───▶  vec()  ───────▶  vec<Tv>
  (重複含む)                  │                           (ユニーク)
                              ▼
                         重複除去
                         {a,b,a,c} → {a,b,c}
```

### 関連ファイル一覧

| ファイル | パス | 種別 | 役割 |
|---------|------|------|------|
| select.php | `src/vec/select.php` | ソース | unique関数の実装 |
| VecSelectTest.php | `tests/vec/VecSelectTest.php` | テスト | uniqueのユニットテスト（529-550行目） |
