C++11 std::function 詳解：通用多態函數包裝器

在C++11標準中，引入了std::function這一通用多態函數包裝器，定義于<functional>頭文件中。它徹底改變了C++中函數對象的使用方式，為不同類型的可調用實體提供了統一的接口。std::function能夠存儲、復制和調用任何可復制構造的可調用目標，包括函數指針、lambda表達式、std::bind表達式、函數對象以及成員函數指針等。這一特性極大地增強了C++在回調機制、事件處理和泛型編程方面的靈活性。

基本定義與接口

類模板聲明

std::function的核心聲明如下：

template< class >
class function; /* 未定義的主模板 */template< class R, class... Args >
class function<R(Args...)>; /* 特化版本 */

其中，R是返回類型，Args...是參數類型列表。這種聲明方式允許std::function包裝任意簽名的可調用對象。

成員類型

std::function提供了以下關鍵成員類型：

類型定義
result_type返回類型R
argument_type當參數數量為1時的參數類型（C++17中棄用，C++20中移除）
first_argument_type當參數數量為2時的第一個參數類型（C++17中棄用，C++20中移除）
second_argument_type當參數數量為2時的第二個參數類型（C++17中棄用，C++20中移除）

核心成員函數

std::function的主要操作接口包括：

  • 構造函數：創建std::function實例，可接受各種可調用對象
  • 析構函數：銷毀std::function實例
  • operator=：賦值新的目標對象
  • swap：交換兩個std::function實例的內容
  • operator bool：檢查是否包含目標對象（非空檢查）
  • operator()：調用存儲的目標對象（函數調用操作符）
  • target_type：獲取存儲目標的類型信息（typeid）
  • target：獲取指向存儲目標的指針（類型安全）

基本用法示例

std::function的強大之處在于其能夠統一處理各種可調用實體。以下是基于cppreference示例的擴展演示：

1. 存儲自由函數

#include <functional>
#include <iostream>void print_num(int i) {std::cout << i << '\n';
}int main() {// 存儲自由函數std::function<void(int)> f_display = print_num;f_display(-9);  // 輸出: -9
}

2. 存儲Lambda表達式

// 存儲lambda表達式
std::function<void()> f_display_42 = []() { print_num(42); };
f_display_42();  // 輸出: 42

3. 存儲std::bind結果

// 存儲std::bind的結果
std::function<void()> f_display_31337 = std::bind(print_num, 31337);
f_display_31337();  // 輸出: 31337

4. 存儲成員函數

struct Foo {Foo(int num) : num_(num) {}void print_add(int i) const { std::cout << num_ + i << '\n'; }int num_;
};// 存儲成員函數
std::function<void(const Foo&, int)> f_add_display = &Foo::print_add;
const Foo foo(314159);
f_add_display(foo, 1);  // 輸出: 314160

5. 存儲數據成員訪問器

// 存儲數據成員訪問器
std::function<int(Foo const&)> f_num = &Foo::num_;
std::cout << "num_: " << f_num(foo) << '\n';  // 輸出: num_: 314159

6. 結合std::bind存儲成員函數

// 結合std::bind存儲成員函數（綁定對象）
using std::placeholders::_1;
std::function<void(int)> f_add_display2 = std::bind(&Foo::print_add, foo, _1);
f_add_display2(2);  // 輸出: 314161// 結合std::bind存儲成員函數（綁定對象指針）
std::function<void(int)> f_add_display3 = std::bind(&Foo::print_add, &foo, _1);
f_add_display3(3);  // 輸出: 314162

7. 存儲函數對象

struct PrintNum {void operator()(int i) const {std::cout << i << '\n';}
};// 存儲函數對象
std::function<void(int)> f_display_obj = PrintNum();
f_display_obj(18);  // 輸出: 18

8. 實現遞歸Lambda

std::function的一個高級應用是實現遞歸Lambda表達式：

auto factorial = [](int n) {// 存儲lambda對象以模擬"遞歸lambda"std::function<int(int)> fac = [&](int n) { return (n < 2) ? 1 : n * fac(n - 1); };return fac(n);
};for (int i{5}; i != 8; ++i)std::cout << i << "! = " << factorial(i) << ";  ";
// 輸出: 5! = 120;  6! = 720;  7! = 5040;

實現原理簡析

std::function的實現基于類型擦除（Type Erasure） 技術，這是一種在C++中實現多態行為而不依賴繼承的機制。其核心思想是：

  1. 定義一個通用接口（通常是抽象基類），包含可調用對象的基本操作（如調用、復制等）
  2. 為不同類型的可調用對象創建具體實現類，繼承自該接口
  3. std::function存儲一個指向該接口的指針，在運行時動態綁定到具體實現

這種機制使得std::function能夠在編譯時接受任意類型的可調用對象，而在運行時保持類型安全。類型擦除的實現通常涉及模板和多態的結合，帶來一定的運行時開銷（主要是虛函數調用和堆內存分配）。

應用場景

std::function在現代C++編程中有著廣泛的應用：

1. 回調函數管理

在事件驅動編程中，std::function可以統一管理不同類型的回調函數：

class Button {
public:using Callback = std::function<void()>;void set_on_click(Callback cb) {on_click_ = std::move(cb);}void click() const {if (on_click_) {  // 檢查是否有回調on_click_();  // 調用回調}}private:Callback on_click_;
};// 使用示例
Button btn;
btn.set_on_click([]() { std::cout << "Button clicked!\n"; });
btn.click();  // 觸發回調

2. 函數表與策略模式

std::function可以輕松實現函數表（Function Table），用于策略模式：

#include <unordered_map>enum class Operation { Add, Subtract, Multiply };int main() {std::unordered_map<Operation, std::function<int(int, int)>> operations;operations[Operation::Add] = [](int a, int b) { return a + b; };operations[Operation::Subtract] = [](int a, int b) { return a - b; };operations[Operation::Multiply] = [](int a, int b) { return a * b; };std::cout << "3 + 4 = " << operations[Operation::Add](3, 4) << '\n';std::cout << "5 - 2 = " << operations[Operation::Subtract](5, 2) << '\n';std::cout << "2 * 6 = " << operations[Operation::Multiply](2, 6) << '\n';
}

3. 異步任務與事件處理

在異步編程中，std::function常用于表示異步操作完成后的回調：

// 偽代碼示例
std::future<int> async_calculate(std::function<int()> func) {return std::async(std::launch::async, func);
}// 使用
auto future = async_calculate([]() { // 耗時計算return 42; 
});// 注冊完成回調（實際實現可能更復雜）

注意事項

使用std::function時，需要注意以下幾點：

1. 空狀態處理

調用空的std::function對象會拋出std::bad_function_call異常：

std::function<void()> f;
try {f();  // 空函數調用
} catch (const std::bad_function_call& e) {std::cout << "Error: " << e.what() << '\n';
}

因此，在調用前應檢查std::function是否為空：

if (f) {  // 等價于 if (f.operator bool())f();
}

2. 返回引用類型的風險

在C++11中，當std::function存儲返回引用的函數時，如果實際返回的是臨時對象，會導致懸垂引用：

// C++11中未定義行為，C++23中禁止
std::function<const int&()> F([] { return 42; }); 
int x = F();  // 未定義行為：引用綁定到臨時對象

正確的做法是確保返回的引用指向有效對象：

// 正確示例
std::function<int&()> G([]() -> int& { static int i{42}; return i; 
});

3. 性能考量

std::function的類型擦除機制帶來了一定的性能開銷，包括：

  • 堆內存分配（大多數實現）
  • 虛函數調用
  • 類型檢查

因此，在性能敏感的場景中，應權衡靈活性和性能，考慮是否需要使用std::function，或是否可以使用模板代替。

4. 與auto的區別

std::function與auto在存儲lambda表達式時有本質區別：

  • auto根據初始化表達式推導精確類型，無運行時開銷
  • std::function可以存儲任意類型的可調用對象，但有運行時開銷
  • auto無法用于存儲不同類型的可調用對象（如函數表）
auto lambda = []() { /* ... */ };  // 精確類型
std::function<void()> func = lambda;  // 類型擦除，有開銷

總結與最佳實踐

std::function是C++11引入的強大工具，為不同類型的可調用對象提供了統一的包裝接口，極大地增強了C++的表達能力。在使用時，應遵循以下最佳實踐：

  1. 明確使用場景：在需要存儲不同類型的可調用對象時使用std::function
  2. 檢查空狀態：調用前始終檢查std::function是否為空
  3. 避免不必要的使用：在性能敏感且類型固定的場景，優先使用auto或模板
  4. 注意返回引用：避免返回臨時對象的引用，防止懸垂引用
  5. 合理設計簽名：定義清晰的函數簽名，便于理解和使用

std::function與lambda表達式、std::bind共同構成了C++11及以后版本中函數式編程的基礎，掌握這些工具能夠編寫更加靈活、模塊化的C++代碼。

參考資料

  • cppreference.com - std::function
  • C++11標準文檔（N3337）

本文來自互聯網用戶投稿，該文觀點僅代表作者本人，不代表本站立場。本站僅提供信息存儲空間服務，不擁有所有權，不承擔相關法律責任。
如若轉載，請注明出處：http://www.pswp.cn/bicheng/91280.shtml
繁體地址，請注明出處：http://hk.pswp.cn/bicheng/91280.shtml
英文地址，請注明出處：http://en.pswp.cn/bicheng/91280.shtml

如若內容造成侵權/違法違規/事實不符，請聯系多彩編程網進行投訴反饋email:809451989@qq.com，一經查實，立即刪除！

相關文章

Kafka運維實戰 16 - kafka 分區重新分配【實戰】

Kafka運維實戰 16 - kafka 分區重新分配【實戰】

?? Kafka運維實戰 (17篇) ??Kafka運維實戰 17 - kafka 分區副本從 1 增加到 3【實戰】 ??Kafka運維實戰 16 - kafka 分區重新分配【實戰】 ??Kafka運維實戰 15 - kafka 重設消費者組位移入門和實戰【實戰】 ??Kafka運維實戰 14 - kafka消費者組消費進度（Lag）深入理…
閱讀更多...
智匯AI，應用領航 | 華宇萬象問數入選2025全景賦能典型案例

智匯AI，應用領航 | 華宇萬象問數入選2025全景賦能典型案例

7月29日&#xff0c;以“AI城市&#xff1a;數啟新紀元”為主題中關村人工智能與未來城市論壇在中關村國家自主創新示范區展示中心舉辦。本次論壇圍繞人工智能創新應用落地實踐、新型數據基礎設施建設、數據要素價值釋放機制、城市智能治理等關鍵議題&#xff0c;邀請院士專家和…
閱讀更多...
sqli-labs：Less-7關卡詳細解析

sqli-labs：Less-7關卡詳細解析

1. 思路&#x1f680; 本關的SQL語句為&#xff1a; $sql"SELECT * FROM users WHERE id(($id)) LIMIT 0,1";注入類型&#xff1a;字符串型&#xff08;單引號、雙括號包裹&#xff09;提示&#xff1a;參數id需以))閉合 同樣無法像常規一樣回顯&#xff0c;php輸出語…
閱讀更多...
編程算法：從理論基石到產業變革的核心驅動力

編程算法：從理論基石到產業變革的核心驅動力

文章目錄 算法的本質與效率衡量 基礎算法范式的實踐價值 排序算法的演進與選擇 動態規劃的實用技巧 算法在現代技術棧中的應用 大數據處理的算法框架 編譯器中的算法優化 算法驅動的產業變革 金融領域的算法應用 醫療健康領域的算法創新 制造業的算法優化 算法的未來趨勢 結語 …
閱讀更多...
深度學習中的注意力機制：原理、應用與未來展望

深度學習中的注意力機制：原理、應用與未來展望

在人工智能領域&#xff0c;深度學習技術已經取得了巨大的突破&#xff0c;而注意力機制&#xff08;Attention Mechanism&#xff09;作為深度學習中的一個重要概念&#xff0c;正在逐漸改變我們對模型的理解和應用。本文將深入探討注意力機制的原理、在不同領域的應用以及未來…
閱讀更多...
LeetCode 4：尋找兩個正序數組的中位數

LeetCode 4：尋找兩個正序數組的中位數

LeetCode 4&#xff1a;尋找兩個正序數組的中位數問題定義與核心挑戰 給定兩個有序&#xff08;升序&#xff09;數組 nums1 和 nums2&#xff0c;要求找到它們的中位數&#xff0c;且算法時間復雜度為 O(log(mn))&#xff08;m 和 n 分別是兩個數組的長度&#xff09;。 中位數…
閱讀更多...
獨立站如何吃掉平臺蛋糕？DTC模式下的成本重構與利潤躍升

獨立站如何吃掉平臺蛋糕？DTC模式下的成本重構與利潤躍升

一、成本結構革命&#xff1a;從「流量稅」到「用戶終身價值」亞馬遜賣家需支付15%傭金12%廣告費&#xff0c;導致每$100收入中平臺抽成$27。而成熟獨立站通過SEO&#xff08;自然流量占比超40%&#xff09;和社交媒體內容引流&#xff0c;將獲客成本壓縮至$8-$15。更關鍵的是用…
閱讀更多...
應用驅動 協同創新：中國人工智能開啟高質量發展新篇章

應用驅動 協同創新：中國人工智能開啟高質量發展新篇章

人工智能技術的突破性發展正引發全球產業格局的深刻變革。在2025年這個關鍵節點&#xff0c;中國以"應用導向"為戰略支點&#xff0c;依托新型舉國體制優勢&#xff0c;正在構建具有中國特色的人工智能發展體系&#xff0c;為全球智能革命貢獻東方智慧。一、戰略布局…
閱讀更多...
ZKMall商城開源本地部署指南

ZKMall商城開源本地部署指南

1. 開發環境配置 以下是開發工具的最低版本要求。在繼續之前&#xff0c;請務必安裝所有必需的依賴項。 工具版本JDK17MySQL5.7.3Redis5.0Maven3.9.5NodeJS20.18.0 1.1 安裝資源 如需詳細的安裝指南&#xff0c;您可以參考以下教程&#xff1a; JDK: 菜鳥教程 Java 環境搭建…
閱讀更多...
《使用Qt Quick從零構建AI螺絲瑕疵檢測系統》——8. AI賦能(下)：在Qt中部署YOLOv8模型

《使用Qt Quick從零構建AI螺絲瑕疵檢測系統》——8. AI賦能(下)：在Qt中部署YOLOv8模型

目錄一、概述1.1 背景介紹&#xff1a;從“訓練”到“部署”1.2 學習目標二、在C中集成ONNX模型2.1 準備模型文件2.2 修改Backend以加載和運行模型三、關鍵一步&#xff1a;輸出結果的后處理四、運行與驗證五、總結與展望一、概述 1.1 背景介紹&#xff1a;從“訓練”到“部署…
閱讀更多...
【動態規劃 | 多狀態問題】動態規劃求解多狀態問題

【動態規劃 | 多狀態問題】動態規劃求解多狀態問題

算法相關知識點可以通過點擊以下鏈接進行學習一起加油&#xff01;斐波那契數列模型路徑問題多狀態問題通常涉及多個決策點和狀態轉換&#xff0c;解決起來復雜且計算量大。動態規劃作為一種強大的算法工具&#xff0c;能夠通過將問題分解為子問題并逐步求解&#xff0c;顯著提…
閱讀更多...
【HTTP】防XSS+SQL注入：自定義HttpMessageConverter過濾鏈深度解決方案

【HTTP】防XSS+SQL注入：自定義HttpMessageConverter過濾鏈深度解決方案

防XSSSQL注入&#xff1a;自定義HttpMessageConverter過濾鏈深度解決方案一、安全威脅模型分析二、自定義HttpMessageConverter架構設計2.1 技術棧組成三、完整實現代碼3.1 安全過濾工具類3.2 自定義HttpMessageConverter3.3 Spring安全配置四、深度防御增強方案4.1 SQL注入參數…
閱讀更多...
學習游戲制作記錄（凍結敵人時間與黑洞技能）7.30

學習游戲制作記錄（凍結敵人時間與黑洞技能）7.30

1.實現劍擊中敵人時凍結敵人時間Enemy腳本&#xff1a;public float defaultMoveSpeed;//默認速度defaultMoveSpeed moveSpeed;//Awake&#xff08;&#xff09;中設置public virtual void FreezeTime(bool _timeFreeze)//凍結設置函數{if (_timeFreeze){moveSpeed 0;anim.sp…
閱讀更多...
【數據結構】真題 2016

【數據結構】真題 2016

待補充已知表頭元素為c的單鏈表在內存中的存儲狀態如下表所示地址元素鏈接地址1000Ha1010H1004Hb100CH1008Hc1000H100CHdNULL1010He1004H1014H現將f存放于1014H處并插入到單鏈表中&#xff0c;若f在邏輯上位于a和e之間&#xff0c;則a, e, f的“鏈接地址”依次是&#xff08; &…
閱讀更多...
雙線串行的 “跨界對話”：I2C 與 MDIO 的異同解析

雙線串行的 “跨界對話”：I2C 與 MDIO 的異同解析

在電子系統設計中，串行總線憑借其精簡的信號線數量和靈活的拓撲結構，成為芯片間通信的主流選擇。I2C（Inter-Integrated Circuit）和 MDIO（Management Data Input/Output）作為兩種典型的雙線串行總線，雖同屬低速信號范疇，卻在各自的應用領域扮演著不可替代的角色。本文將…
閱讀更多...
算法精講：二分查找（二）—— 變形技巧

算法精講：二分查找（二）—— 變形技巧

&#x1f3af; 算法精講&#xff1a;二分查找&#xff08;二&#xff09;—— 變形技巧 &#x1f50d; 友情提示&#xff1a;&#xff1a;本小節含高能代碼片段 &#x1f964; 閱讀前請確保已掌握基礎二分原理與實現代碼片段可能包含不同程度的變形&#xff0c;請根據實際情況選…
閱讀更多...
兩個程序配合實現了基于共享內存和信號量的進程間通信，具體說明如下：

兩個程序配合實現了基于共享內存和信號量的進程間通信，具體說明如下：

第一個程序&#xff1a;共享內存讀取程序&#xff08;消費者&#xff09;該程序作為消費者&#xff0c;從共享內存中讀取數據&#xff0c;通過信號量保證只有當生產者寫入數據后才能讀取。/*4 - 讀共享內存*/ #include<stdio.h> // 標準輸入輸出庫 #inc…
閱讀更多...
JeecgBoot（1）：前后臺環境搭建

JeecgBoot（1）：前后臺環境搭建

1 項目介紹 JeecgBoot 是一款基于 Java 的 AI 低代碼平臺&#xff0c;它采用了 SpringBoot、SpringCloud、Ant Design Vue3、Mybatis 等技術棧&#xff0c;并集成了代碼生成器、AI 對話助手、AI 建表、AI 寫文章等功能。JeecgBoot 的設計宗旨是實現簡單功能零代碼開發&#xf…
閱讀更多...
Nestjs框架: 關于 OOP / FP / FRP 編程

Nestjs框架: 關于 OOP / FP / FRP 編程

概述 在軟件開發過程中&#xff0c;不同的編程范式為我們提供了多樣化的思維方式與實現路徑它們不僅影響著代碼的結構和邏輯組織方式&#xff0c;也深刻影響著項目的可維護性、可擴展性以及團隊協作效率 什么是 OOP、FP 和 FRP&#xff1f;首先從三個術語的含義入手 1 &#xf…
閱讀更多...
elememtor 添加分頁功能

elememtor 添加分頁功能

各位看官好&#xff0c;最近在忙著使用elementor搭建自己的網站&#xff0c;由于我不是專業的程序員和前端&#xff0c;又沒有很多錢去找外包公司實現自己的設計&#xff0c;所以選擇了elementor. 總的來說這是一個不錯的wordpress 插件&#xff0c;也讓我們這種非專業的網站設…
閱讀更多...
最新文章

Copyright @ 2022~2023