# 機能設計書 62-Vec\intersect

## 概要

本ドキュメントは、Hack Standard Library（HSL）の`Vec\intersect`関数の機能設計を記載する。この関数は、複数のTraversableに共通して存在する要素のみを抽出し、新しいvecとして返す集合演算機能を提供する。

### 本機能の処理概要

**業務上の目的・背景**：
データ分析やフィルタリング処理において、複数のデータセット間で共通する要素を抽出する必要がある場面は頻繁に発生する。例えば、複数のユーザーグループに共通するメンバーの抽出、複数の条件をすべて満たすアイテムの特定、異なるデータソース間での一致データの検出などに使用される。この関数は集合論における「積集合（intersection）」操作を実装している。

**機能の利用シーン**：
- 複数のカテゴリに属するアイテムの抽出
- 複数のフィルタ条件をすべて満たすデータの特定
- 複数のリストに共通するIDの検出
- アクセス権限の複合チェック（複数グループに所属するユーザー）
- キャッシュの有効性確認（複数条件に一致するキー）

**主要な処理内容**：
1. 最初のTraversableをベースコレクションとして使用
2. 2番目以降のTraversableとの共通要素をKeyset\intersectで計算
3. ベースコレクションから共通要素に含まれる値のみをフィルタリング
4. 重複値を保持した状態で新しいvecを返却

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

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

## 関連画面

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

## 機能種別

計算処理 / 集合演算

## 入力仕様

### 入力パラメータ

| パラメータ名 | 型 | 必須 | 説明 | バリデーション |
|-------------|-----|-----|------|---------------|
| $first | Traversable<Tv as arraykey> | Yes | ベースとなる最初のコレクション | なし |
| $second | Traversable<Tv> | Yes | 交差を取る2番目のコレクション | なし |
| ...$rest | Container<Tv> | No | 追加で交差を取るコレクション群（可変長引数） | なし |

### 入力データソース

プログラムコードからの直接呼び出し。arraykeyを要素とするvec、keyset、Set、Vectorなど、Traversableを実装する任意のコレクション型を受け付ける。

## 出力仕様

### 出力データ

| 項目名 | 型 | 説明 |
|--------|-----|------|
| 戻り値 | vec<Tv> | すべてのコレクションに共通する要素を含むvec。重複は最初のコレクションに基づいて保持される |

### 出力先

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

## 処理フロー

### 処理シーケンス

```
1. 最初のTraversableがContainerでない場合、vecに変換
   └─ $first = vec($first)

2. Keyset\intersectで共通要素のkeysetを計算
   └─ $intersection = Keyset\intersect($first, $second, ...$rest)

3. 交差集合が空の場合、空のvecを返却
   └─ if (!$intersection) return vec[]

4. 最初のコレクションから交差集合に含まれる要素をフィルタ
   └─ filter($first, ($value) ==> C\contains_key($intersection, $value))

5. 結果vecを返却
```

### フローチャート

```mermaid
flowchart TD
    A[開始] --> B{$firstはContainer?}
    B -->|No| C[vec変換]
    B -->|Yes| D[Keyset\intersect実行]
    C --> D
    D --> E{交差集合は空?}
    E -->|Yes| F[空vecを返却]
    E -->|No| G[filterで共通要素を抽出]
    G --> H[結果vecを返却]
    F --> I[終了]
    H --> I
```

## ビジネスルール

### 業務ルール

| ルールNo | ルール名 | 内容 | 適用条件 |
|---------|---------|------|---------|
| BR-01 | 重複保持 | 最初のコレクションに重複値がある場合、その重複は結果にも保持される | 常時 |
| BR-02 | 順序保持 | 最初のコレクションの走査順序が結果vecでも保持される | 常時 |
| BR-03 | arraykey制約 | 要素はarraykey型（int または string）でなければならない | 常時 |
| BR-04 | 空集合処理 | いずれかのコレクションが空の場合、結果は空のvecとなる | 常時 |

### 計算ロジック

集合の積（intersection）= A ∩ B ∩ C ... = { x | x ∈ A かつ x ∈ B かつ x ∈ C ... }

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

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

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

## エラー処理

### エラーケース一覧

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

### リトライ仕様

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

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

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

## パフォーマンス要件

- 時間計算量: O(n + m)、nは最初のコレクションのサイズ、mは残りのコレクションの合計サイズ
- 空間計算量: O(n)、nは最初のコレクションのサイズ

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

- 純粋関数であり、外部リソースへのアクセスは行わない
- 集合演算の結果は元のデータの部分集合となる

## 備考

- 非arraykey要素の交差には`Vec\intersect_by`のような関数が必要だが、現時点では提供されていない
- 重複を除去したい場合は、結果に`Vec\unique`を適用する

---

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

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

### 推奨読解順序

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

keysetとvecの関係、およびarraykey型の制約を理解することが重要。

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

**読解のコツ**: `Tv as arraykey`はジェネリック型制約で、Tvがint型またはstring型のいずれかであることを要求する。これはkeysetに格納可能な型に限定される。

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

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

**主要処理フロー**:
1. **169-173行目**: 関数シグネチャ - Traversableと可変長引数を受け取る
2. **174-176行目**: Container型チェックとvec変換
3. **177行目**: Keyset\intersectで交差集合を計算
4. **178-179行目**: 空集合の早期リターン
5. **181行目**: filterで交差集合に含まれる要素を抽出

#### Step 3: 依存関数を理解する

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 3-1 | - | Keyset\intersect | 交差集合のkeyset計算（HSL Keyset名前空間） |
| 3-2 | select.php | `src/vec/select.php` | filter関数（108-120行目）- 条件に合う要素の抽出 |
| 3-3 | - | C\contains_key | keyset内のキー存在確認（HSL C名前空間） |

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

```
Vec\intersect()
    │
    ├─ Keyset\intersect()
    │      └─ 複数コレクションの交差集合を計算
    │
    ├─ Vec\filter()
    │      └─ 条件に合う要素を抽出
    │
    └─ C\contains_key()
           └─ 要素が交差集合に含まれるか判定
```

### データフロー図

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

$first      ───▶  vec変換（必要時）  ───────────▶
$second     ───▶                                           vec<Tv>
...$rest    ───▶  Keyset\intersect  ───▶  filter  ───────▶
                        │
                        ▼
                   交差keyset
                   {共通要素}
```

### 関連ファイル一覧

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