C++11 std::bind 深度解析：從 bind1st/bind2nd 到現代綁定機制

在 Cocos2d-x 等現代 C++ 框架原始碼中，頻繁出現 std::bind 定義的回調宏。本文從 C++98 的 bind1st/bind2nd 切入，層層遞進講解 C++11 std::bind 的核心機制、佔位符用法、成員函數綁定、Lambda 協作模式，並對比 std::function 協同工作流程，助你徹底掌握現代 C++ 可調用物件綁定技術。

一、歷史背景：C++98 bind1st/bind2nd 的侷限性

基本概念

std::bind1st 與 std::bind2nd 是 C++98 標準庫提供的雙參數仿函數參數綁定工具，定義於 <functional>：

• bind1st(op, val)：將二元運算 op 的**第一個參數**綁定為 val，返回一元仿函數
• bind2nd(op, val)：將二元運算 op 的**第二個參數**綁定為 val，返回一元仿函數

經典範例：統計容器中滿足條件的元素個數

#include <iostream>
#include <functional>
#include <algorithm>
#include <vector>
using namespace std;

int main() {
    vector<int> coll;
    for (int i = 1; i <= 10; ++i) coll.push_back(i);

    // less<int>() 是二元謂詞：less(a, b) 等價於 a < b
    // bind1st(less<int>(), 10) → 綁定第一參數=10 → 判斷 10 < elem
    int res = count_if(coll.begin(), coll.end(), bind1st(less<int>(), 10));
    cout << "大於 10 的個數: " << res << endl;  // 0

    // bind2nd(less<int>(), 10) → 綁定第二參數=10 → 判斷 elem < 10
    res = count_if(coll.begin(), coll.end(), bind2nd(less<int>(), 10));
    cout << "小於 10 的個數: " << res << endl;  // 9

    return 0;
}

核心缺陷

1. 僅支援二元仿函數：無法綁定一元、三元或任意元數可調用物件
2. 只能綁定單一參數：無法同時綁定多個參數或跳過參數
3. 參數位置固定：只能綁定第一或第二參數，靈活性極低
4. 不支援成員函數指標：無法直接綁定類成員函數
5. C++11 棄用，C++17 移除：現代代碼不應使用

二、C++11 std::bind：通用綁定機制

設計理念：延遲計算與參數重排

std::bind 將可調用物件與部分參數預先綁定，生成新的可調用物件，實現**參數綁定**、**參數重排**、**參數佔位**三大核心能力。其簽名：

template<class F, class... Args>
auto bind(F&& f, Args&&... args) -> /* 未指定類型 */;

基本語法與佔位符

• 命名空間：std::placeholders::_1, _2, _3... 代表新可調用物件的第 1、2、3... 個參數
• 綁定參數：具體值、變數、std::ref/std::cref 引用包裹
• 返回值：可調用物件，可隱式轉換為 std::function

核心範例：參數重排與佔位符映射

#include <iostream>
#include <functional>
using namespace std;

int TestFunc(int a, char c, float f) {
    cout << "a=" << a << ", c=" << c << ", f=" << f << endl;
    return a;
}

int main() {
    // 綁定第 1 參數佔位，第 2 參數固定 'A'，第 3 參數固定 100.1f
    auto bindFunc1 = bind(TestFunc, placeholders::_1, 'A', 100.1f);
    bindFunc1(10);  // 調用 TestFunc(10, 'A', 100.1f)

    cout << "=================================\n";

    // 參數重排：新第 1 參數→原第 2，新第 2 參數→原第 1，第 3 固定
    auto bindFunc2 = bind(TestFunc, placeholders::_2, placeholders::_1, 100.1f);
    bindFunc2('B', 20);  // 調用 TestFunc(20, 'B', 100.1f)

    cout << "=================================\n";

    // 完全重排：新參數順序 (3, 1, 2) 映射到原 (1, 2, 3)
    auto bindFunc3 = bind(TestFunc, placeholders::_3, placeholders::_1, placeholders::_2);
    bindFunc3(100.1f, 30, 'C');  // 調用 TestFunc(30, 'C', 100.1f)

    return 0;
}

佔位符映射規則總結

口訣：bind(f, _2, _1) 表示「調用時的第 2 參數給 f 的第 1 參數，調用時的第 1 參數給 f 的第 2 參數」。

三、進階綁定場景

1. 成員函數綁定（核心用例）

#include <iostream>
#include <functional>
using namespace std;

class View {
public:
    void onClick(int x, int y) {
        cout << "X: " << x << ", Y: " << y << endl;
    }
};

int main() {
    View button;
    // 綁定成員函數需傳遞物件指標/引用作為第一參數
    auto callback = bind(&View::onClick, &button, placeholders::_1, placeholders::_2);
    callback(100, 200);  // 等價 button.onClick(100, 200)

    // 配合 std::function 統一介面
    function<void(int, int)> clickCallback = bind(&View::onClick, &button, _1, _2);
    clickCallback(300, 400);

    return 0;
}

2. 智慧指標與引用綁定

auto sp = make_shared<View>();
auto cb = bind(&View::onClick, sp, _1, _2);  // shared_ptr 可直接綁定

View obj;
auto cb_ref = bind(&View::onClick, ref(obj), _1, _2);  // 引用包裹，延長生命週期

3. 多態與虛函數綁定

class Base { virtual void foo(int) { cout << "Base\n"; } };
class Derived : public Base { void foo(int) override { cout << "Derived\n"; } };

Derived d;
Base* ptr = &d;
auto cb = bind(&Base::foo, ptr, _1);  // 動態多態生效，調用 Derived::foo
cb(42);

四、std::bind 關鍵特性與注意事項

五、為什麼選擇 std::bind？對比 Lambda 與舊綁定器

vs bind1st/bind2nd

• ✅ 支援任意元數可調用物件（函數、函數指標、仿函數、Lambda、成員函數）
• ✅ 任意參數位置綁定，支援參數重排、忽略、重複使用
• ✅ 型別安全，編譯期檢查參數相容性
• ✅ 標準化，長期支援（C++11 起納入標準）

vs Lambda 表達式

現代最佳實踐建議

1. 優先使用 Lambda：C++14 通用 Lambda、C++20 模板 Lambda 滿足 90%+ 場景
2. 成員函數綁定用 bind：bind(&Class::memFn, objPtr, _1, _2) 比 Lambda [objPtr](auto&&... args){ objPtr->memFn(std::forward<decltype(args)>(args)...); } 更簡潔
3. 框架回調註冊：Cocos2d-x 等框架要求 std::function 簽名時，bind 直接生成相容物件
4. 避免巢狀 bind：改用 Lambda 組合，編譯錯誤訊息更清晰

六、Cocos2d-x 回調宏實戰解析

// Cocos2d-x 回調宏定義精簡版
#define CC_CALLBACK_0(__selector__, __target__, ...) \
    std::bind(&__selector__, __target__, ##__VA_ARGS__)

#define CC_CALLBACK_1(__selector__, __target__, ...) \
    std::bind(&__selector__, __target__, std::placeholders::_1, ##__VA_ARGS__)

#define CC_CALLBACK_2(__selector__, __target__, ...) \
    std::bind(&__selector__, __target__, std::placeholders::_1, std::placeholders::_2, ##__VA_ARGS__)

// 使用範例
class MyLayer : public Layer {
    void onMenuCallback(Ref* sender) { ... }
    void onTouchCallback(Touch* touch, Event* event) { ... }
    
    void setup() {
        // 無參回調
        menuItem->setCallback(CC_CALLBACK_0(MyLayer::onMenuCallback, this));
        // 單參回調
        listener->onTouchBegan = CC_CALLBACK_1(MyLayer::onTouchCallback, this);
        // 雙參回調
        listener->onTouchMoved = CC_CALLBACK_2(MyLayer::onTouchCallback, this);
    }
};

七、總結

std::bind 是 C++11 引入的通用參數綁定機制，徹底解決了 C++98 bind1st/bind2nd 的侷限性。核心價值在於：

• 統一了函數、函數指標、仿函數、Lambda、成員函數的綁定介面
• 提供參數佔位符實現靈活的參數映射與重排
• 與 std::function 無縫協作，構成現代 C++ 回調與型別擦除的基石

雖然 Lambda 表達式在大多數場景下更優雅，但 std::bind 在**成員函數指標適配**、**框架回調註冊**、**既有函數簽名適配**等領域仍具不可替代優勢。建議開發者：以 Lambda 為主，bind 為輔，理解兩者互補關係，根據場景選擇最佳工具。

進階深入可參考：《C++ Templates: The Complete Guide》第 22 章、《Effective Modern C++》條款 24、std::bind 實現原理（型別擦除、std::tuple 儲存、std::invoke 機制）。

1. 上一篇文章： Linux C 語言時間操作函數完全指南與最佳實踐
2. 下一篇文章： C++11 std::function 完全指南：型別擦除與統一可調用介面

關於C語言

Visual C# .NET 入門指南（九）

檢查變數值 當您能控制偵錯工具時，可將滑鼠指標移至變數上以取

字符串旋轉算法詳解：暴力移位 vs 三步翻轉法（附 C++ 實現）

問題描述 給定字符串 s 長度 n，將前 m 個字符移至尾部

C# 分支陳述式：if-else 與 switch-case 完整教學

一、 if 陳述式 形式： if (運算式) { 執

C語言遞歸實現冪函數：n^k 計算與靜態變量陷阱

C語言遞歸實現冪函數：n^k 計算與靜態變量陷阱 遞歸版本