# 機能設計書 99-C\any

## 概要

本ドキュメントは、Hack Standard Library (HSL) の `HH\Lib\C\any` 関数の機能設計について記述する。この関数は、Traversableのいずれかの要素が述語関数を満たすかどうかを判定する機能を提供する。

### 本機能の処理概要

**業務上の目的・背景**：
コレクション内に特定の条件を満たす要素が1つでも存在するかを確認する処理は、バリデーション、検索、条件分岐などで頻繁に必要とされる。本機能は、Traversableの各要素に対して述語関数を適用し、1つでもtrueを返す要素があれば即座にtrueを返す。これにより、条件を満たす要素の存在確認を効率的に実装できる。

**機能の利用シーン**：
- ユーザー入力に無効な値が含まれていないかチェックする際
- コレクション内に特定の状態の要素があるか確認する際
- エラー条件に該当する要素の存在確認
- 処理可能な要素が1つでも存在するか判定する際

**主要な処理内容**：
1. 述語関数が指定されていない場合はデフォルトのboolval変換を使用
2. Traversableを走査し、各要素に述語関数を適用
3. 述語がtrueを返した時点で即座にtrueを返却（早期リターン）
4. すべての要素がfalseの場合、falseを返却

**関連システム・外部連携**：
- 内部で`HH\Lib\_Private\boolval`関数を使用（デフォルト述語として）
- `C\every`（全要素がtrueか判定）と対になる関数
- `C\none`は`!C\any`で実現可能

**権限による制御**：
特になし。純粋な計算処理のため、権限による制御は行わない。

## 関連画面

| 画面No | 画面名 | 関連種別 | 関連する操作・処理 |
|--------|--------|----------|------------------|
| - | 画面なし | - | 本プロジェクトはUIを持たないライブラリ |

## 機能種別

計算処理（判定処理）

## 入力仕様

### 入力パラメータ

| パラメータ名 | 型 | 必須 | 説明 | バリデーション |
|-------------|-----|-----|------|---------------|
| $traversable | Traversable<T> | Yes | 判定対象のコレクション | - |
| $predicate | ?(function(T)[_]: bool) | No | 判定条件の述語関数 | nullの場合はbool変換 |

### 入力データソース

関数呼び出し時の引数として渡されるTraversableインスタンスと述語関数。

## 出力仕様

### 出力データ

| 項目名 | 型 | 説明 |
|--------|-----|------|
| 戻り値 | bool | いずれかの要素が述語を満たせばtrue、そうでなければfalse |

### 出力先

関数の戻り値として呼び出し元に返却。

## 処理フロー

### 処理シーケンス

```
1. 述語関数のデフォルト設定
   └─ $predicateがnullの場合、boolvalをデフォルトに設定
2. Traversableを走査
   └─ 各要素に述語関数を適用
   └─ trueを返した場合、即座にtrueを返却
3. すべての要素を走査後
   └─ falseを返却
```

### フローチャート

```mermaid
flowchart TD
    A[開始] --> B{$predicate is null?}
    B -->|Yes| C[$predicate = boolval]
    B -->|No| D[そのまま使用]
    C --> E{traversable走査}
    D --> E
    E --> F[value = 現在の要素]
    F --> G{$predicate(value)?}
    G -->|Yes| H[trueを返却]
    G -->|No| I[次の要素へ]
    I --> E
    E -->|完了| J[falseを返却]
    H --> K[終了]
    J --> K
```

## ビジネスルール

### 業務ルール

| ルールNo | ルール名 | 内容 | 適用条件 |
|---------|---------|------|---------|
| BR-01 | デフォルト述語 | 述語が指定されない場合、bool変換（boolval）を使用 | $predicate === null |
| BR-02 | 早期リターン | 1つでもtrueがあれば即座にtrueを返す | 述語がtrueを返した時 |
| BR-03 | 空コレクション | Traversableが空の場合はfalseを返す | 要素数が0 |
| BR-04 | none関数代替 | `!C\any`で`C\none`と同等の動作 | noneが必要な時 |

### 計算ロジック

- 時間計算量: O(n) - 最悪ケース、nはTraversableのサイズ
- 空間計算量: O(1)
- 早期リターンにより、条件を満たす要素が見つかり次第処理終了

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

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

該当なし。本機能はインメモリでのコレクション操作のみを行う。

## エラー処理

### エラーケース一覧

| エラーコード | エラー種別 | 発生条件 | 対処方法 |
|------------|----------|---------|---------|
| - | (述語内例外) | 述語関数内で例外がスローされた場合 | 述語関数の実装を確認 |

### リトライ仕様

該当なし。純粋関数であり、同じ入力に対しては常に同じ結果を返す（述語が純粋な場合）。

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

該当なし。インメモリ操作のみ。

## パフォーマンス要件

- 時間計算量: O(n) - 最悪ケース
- 空間計算量: O(1)
- 早期リターンにより、最良ケースはO(1)

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

特になし。純粋なデータ判定処理であり、外部リソースへのアクセスは行わない。

## 備考

- 述語関数のコンテキスト（capability）は関数全体に伝播する（`[ctx $predicate]`）
- `C\every`（全要素がtrueか）と組み合わせて使用されることが多い
- JavaScriptの`Array.prototype.some()`やPythonの`any()`に相当する

---

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

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

### 推奨読解順序

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

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 1-1 | private.php | `src/private.php` | boolval関数の実装 |

**読解のコツ**: Hackのコンテキスト制約`[ctx $predicate]`は、関数が引数として渡された関数のコンテキストを継承することを示す。

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

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 2-1 | introspect.php | `src/c/introspect.php` | any関数の実装本体 |

**主要処理フロー**:
1. **18-27行目**: ドキュメントコメント - 機能と計算量の説明
2. **28-31行目**: 関数シグネチャ - オプショナルな述語関数
3. **32行目**: デフォルト述語の設定（null合体演算子）
4. **33-37行目**: foreachで走査、trueなら即return true
5. **38行目**: return false

#### Step 3: 関連関数を理解する

| 順序 | ファイル | パス | 読解ポイント |
|-----|---------|------|-------------|
| 3-1 | introspect.php | `src/c/introspect.php` | every関数（対になる関数）の実装 |
| 3-2 | private.php | `src/private.php` | boolval関数の実装 |

**主要処理フロー**:
- **95-116行目**: every関数 - 全要素がtrueか判定
- **49-51行目** (private.php): boolval - (bool)キャストで値を変換

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

```
C\any($traversable, $predicate)
    │
    ├─ $predicate ?? boolval<>  [デフォルト述語設定]
    │
    └─ foreach ($traversable as $value)  [要素走査]
           │
           ├─ $predicate($value)  [述語適用]
           │
           └─ return true  [早期リターン]
    │
    └─ return false  [全要素がfalse]
```

### データフロー図

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

$traversable ─────────▶ 走査 ──▶ 述語適用 ──▶ bool (true/false)
                              │
$predicate ──────────────────┘
(or boolval)
```

### 関連ファイル一覧

| ファイル | パス | 種別 | 役割 |
|---------|------|------|------|
| introspect.php | `src/c/introspect.php` | ソース | any関数の実装 |
| private.php | `src/private.php` | ソース | boolval関数の実装 |
| CIntrospectTest.php | `tests/c/CIntrospectTest.php` | テスト | any関数のユニットテスト |
