モダン第4章：【C++11/14】可変引数テンプレートと完全転送

#include <iostream>
#include <string>
#include <memory>
#include <utility>

// ゲームエンティティ
class Enemy {
public:
    std::string name;
    int x, y;
    int hp;

    Enemy(std::string name, int x, int y, int hp)
        : name(std::move(name)), x(x), y(y), hp(hp) {
        std::cout << "  [Enemy構築] " << this->name << " at (" << x << ", " << y << ") HP=" << hp << "\n";
    }
};

// 万能ファクトリ関数：任意のクラスを完全転送で make_unique する
template <typename T, typename... Args>
std::unique_ptr<T> createEntity(Args&&... args) {
    std::cout << "[Factory] 引数を完全転送して " << typeid(T).name() << " を生成中...\n";
    // std::forward<Args>(args)... で全引数を元の型のまま転送！
    return std::unique_ptr<T>(new T(std::forward<Args>(args)...));
}

int main() {
    std::cout << "=== 可変引数テンプレートによる完全転送テスト ===\n";

    // 1. 左辺値文字列を渡す
    std::string bossName = "MegaBoss";
    auto boss = createEntity<Enemy>(bossName, 100, 200, 500);

    // 2. 右辺値（一時オブジェクト）を直接渡す（ムーブされる）
    auto minion = createEntity<Enemy>("Drone", 50, 80, 20);

    std::cout << "\n生成完了: " << boss->name << ", " << minion->name << "\n";
    return 0;
}

• パラメータパック（Args...）: 任意の個数と型の引数をひとまとめに扱い、args... でカンマ区切りにアンパック展開するC++11の強力構文。
• 万能参照（T&&）と右辺値参照の違い: 具体的な型（Enemy&&）は右辺値しか受け取れないが、推論型（T&&）は左辺値も右辺値も受け取れる万能参照となる。
• std::forward の必然性: 関数内で名前を持った引数は左辺値になってしまうため、std::forward<T>(arg) で本来の右辺値性を取り戻して後続に渡す。
• emplace系の真髄: vector::emplace_back や make_unique は、この完全転送によってコンテナ内部で直接オブジェクトを構築している。

• 1. 右辺値（一時オブジェクト）しか受け取ることができない厳格な右辺値参照
• 2. 左辺値を渡せば左辺値参照、右辺値を渡せば右辺値参照として機能する「万能参照（フォワーディング参照）」
• 3. ポインタのポインタ（void**）と同じ意味
• 4. 引数を必ずコピー渡しすることをコンパイラに指示する記号

• 1. std::forward を書かないとコンパイルエラーになる文法規則だから
• 2. 仮引数 args は関数内部では「名前を持つ変数」なので左辺値として扱われてしまい、そのまま渡すとコピーが発生してしまうため
• 3. std::forward を書くとマルチスレッドでの排他制御が自動的に行われるため
• 4. 引数の順序を逆順にソートするため

• 1. vector の内部配列の容量（capacity）が2倍速く拡張されるため
• 2. 一時オブジェクトを生成してコピー/ムーブするのではなく、コンテナ内のメモリ領域に直接コンストラクタ引数を転送して構築できるため
• 3. マルチスレッドでのアクセス競合が自動的に解消されるため
• 4. メモリリークをガベージコレクションしてくれるため