C++ std::function<void(int)> 和 std::function<void()> 作为函数参数的注意事项

前言

std::function 作为标准库提供的函数指针,使用起来还是比较方便的,不过在使用过程中有一些需要注意的细节,这里做一个简单的记录。

基本使用

  • 头文件: #include <functional>
  • 语法:std::function<return_type(args_type)>
    #include <iostream>
    #include <functional>
    using namespace std;
    void func(int i, int g) {
      int count = 10;
      while (count > 0) {
        cout << "func: " << i  << " " << g<< endl;
        sleep(1);
      }
    }
    
    int main() {
    	std::function<void(int,int)> job = func;
    	job(10,10);
    	return 0;
    }
    
    其中return_type 是函数指针的返回值类型,像上面案例中func函数的void类型。
    其中args_type 是函数指针的参数类型,有多个函数参数,就可以有多个数据类型。

函数指针作为参数 需要注意的事项

  1. 如果直接使用一个已经存在的函数来进行传参数,则需要声明调用者函数参数的std::function 为const类型。
    具体也就是类似 我们使用"dfafasd" 初始化一个 void test_string(std::string& res) 引用类型的字符串参数。这个时候因为是引用传递,而传递的时候却没有用变量,而是使用了一个常量,则需要保证这个函数的声明参数中有一个const ,才能将常量数据的地址正确得放在常量区域。即 正确的声明应该如 void test_string(const std::string& res)

    同理,std::function在使用一个已经存在的函数初始化的时候类似。如下代码是正确的:

    void  stl_func(const std::function<void(int, int)>& job, int num, int g) {
     job(num, g);
    }
    void func(int i, int g) {
        int count = 10;
        while (count > 0) {
          cout << "func: " << i  << " " << g<< endl;
          sleep(1);
        }
    }
    
    int main() {
    	stl_func(func,10,1);
    	return 0;
    }
    

    如果这个时候去掉了 stl_func 函数参数中的 const 声明,则会报如下错误:

    candidate function not viable: no know conversion from 'void()' to 'std::function<void(int,int)> &' 
    for 1'st argument.
    
  2. 使用一个函数指针变量 来进行参数传递,则不需要调用者函数参数的 std::function 为const。
    还是如上代码,修改之后:

    void  stl_func(std::function<void(int, int)>& job, int num, int g) {
     job(num, g);
    }
    void func(int i, int g) {
        int count = 10;
        while (count > 0) {
          cout << "func: " << i  << " " << g<< endl;
          sleep(1);
        }
    }
    
    int main() {
    	std::function<void(int, int)> job = func;
    	// 使用函数指针 变量进行传递就没有问题
    	stl_func(job, 10, 10);
    	return 0;
    }
    
  3. 在类的成员函数之间 将 std::function 作为参数传递时需要注意 如下使用过程:

    #include <iostream>
    #include <functional>
    
    using namespace std;
    void stl_func_bak(std::function<void()>& job) {
      job();
    }
    
    class Cb {
      public:
        static void cb_func() {
          while(1) {
            cout << "cb_func: " << 10 << endl;
            usleep(100000);
          }
        }
    
        void stl_cb_func() {
          // 函数成员作为传递的参数需要确保编译期间就能够分配好函数内存
          // 函数栈需要在编译期间获得内存,所以需要声明 cb_func 成员函数 为 static
          stl_func_bak(Cb::cb_func);
        }
    };
    
    int main() {
      Cb* cb = new Cb();
      cb->stl_cb_func();
      return 0;
    }
    

欢迎大家补充使用过程中遇到的问题

<think>嗯,用户现在遇到了一个编译错误,需要帮忙分析原因。错误信息是关于std::atomic的实例化失败,提示说std::atomic需要一个trivially copyable的类型。用户之前问过关于std::optional的拷贝构造的问题,现在又遇到了模板原子操作的问题,可能是在多线程环境下开发,比如线程池或任务队列。 首先,我需要仔细看一下错误信息。错误发生在实例化std::atomic<std::pair<std::function<void()>, std::function<void()>>>的时候,系统提示静态断言失败,因为std::atomic需要一个trivially copyable的类型。这意味着用户试图用std::atomic来包装一个不满足条件的类型,也就是这里的std::pair包含两个std::function对象。 接下来,我需要回顾C++标准中对std::atomic的要求。根据C++标准,std::atomic的模板参数类型必须是TriviallyCopyable,也就是说,这个类型必须满足可以逐位复制的条件,通常这包括没有自定义的拷贝构造函数、析构函数,以及所有成员也都是TriviallyCopyable的。而std::function内部通常会有动态内存分配,包含函数指针或其他可调用对象的实例,所以它显然不是TriviallyCopyable的。同样,包含两个std::function的pair自然也不满足这个条件。 用户可能在尝试将这样的pair作为原子操作的对象,比如在多线程环境下进行无锁操作,但这是不允许的,因为std::atomic无法处理非平凡可复制的类型。这时候,用户可能需要寻找替代方案,比如使用互斥锁来保护这个pair的操作,或者重新设计数据结构,将需要原子操作的部分拆分成基本类型。 另外,我需要检查用户提供的代码片段中的相关部分。错误信息提到了WorkStealingQueue的Array构造函数WorkStealingQueue的构造函数,可能用户在这些地方使用了std::atomic的这个pair类型作为模板参数。可能的代码结构是有一个数组或队列,里面存储了这种pair类型的原子变量,但这是错误的用法。 解决方案方面,首先应该明确告诉用户为什么不能这样做,然后建议替代方法。例如,使用std::mutex来保护对非平凡类型的访问,或者如果必须使用原子操作,考虑将数据拆分成基本类型,或者使用指针,将实际数据存储在堆上,然后用原子指针来管理。例如,使用std::atomic<std::pair<std::function..., std::function...>*>,但需要注意内存管理线程安全的问题。 此外,用户可能在实现工作窃取队列(Work Stealing Queue),这是常见的多线程优化技术,但需要使用正确的同步机制。在这种情况下,可能需要每个队列有一个互斥锁,或者使用无锁结构但基于支持的类型。 最后,需要以清晰的结构解释错误原因,可能的解决方案,并给出代码示例或建议,帮助用户调整他们的代码结构。同时提醒用户注意C++中对类型的要求,特别是在使用模板时,模板参数必须满足特定的概念,否则会导致编译错误。</think>以下是编译错误的原因分析解决方案: --- ### **1. 错误原因** **核心问题:** `std::atomic` 的模板参数类型必须满足 `TriviallyCopyable`(平凡可复制),而 `std::pair<std::function<void()>, std::function<void()>>` **不满足这一条件**。 #### **关键点分析** - **`std::atomic<T>` 的要求** 根据C++标准,`std::atomic<T>` 的模板参数 `T` 必须是: - Trivially Copyable(可通过逐字节复制安全拷贝) - 非 volatile、非引用类型 - 对齐要求符合硬件支持 - **`std::function` `std::pair` 的问题** - `std::function` 内部通常包含动态分配的资源(如函数指针、捕获的上下文等),因此: - 它**不是 Trivially Copyable**(有非平凡的拷贝构造函数/析构函数) - 包含 `std::function` 的 `std::pair` 也**不满足 Trivially Copyable** 要求 - **错误触发场景** 用户代码中尝试实例化 `std::atomic<std::pair<std::function<void()>, std::function<void()>>>`,直接违反 `std::atomic` 的类型约束,导致静态断言失败。 --- ### **2. 解决方案** #### **(1) 改用互斥锁保护非平凡类型** 对于非平凡类型(如 `std::function` 或 `std::pair`),应使用 `std::mutex` 或 `std::shared_mutex` 保证线程安全: ```cpp #include <mutex> #include <functional> std::pair<std::function<void()>, std::function<void()>> data; std::mutex mtx; void safe_write(const std::function<void()>& f1, const std::function<void()>& f2) { std::lock_guard<std::mutex> lock(mtx); data = std::make_pair(f1, f2); } void safe_read() { std::lock_guard<std::mutex> lock(mtx); auto [f1, f2] = data; f1(); f2(); } ``` #### **(2) 拆分数据为可原子操作的简单类型** 若必须使用原子操作,需将数据类型拆分为基本类型(如指针): ```cpp #include <atomic> #include <memory> struct TaskPair { std::function<void()> f1; std::function<void()> f2; }; std::atomic<TaskPair*> atomic_ptr; void atomic_write(TaskPair* new_ptr) { atomic_ptr.store(new_ptr, std::memory_order_release); } TaskPair* atomic_read() { return atomic_ptr.load(std::memory_order_acquire); } // 注意需要手动管理内存生命周期 ``` #### **(3) 使用 `std::atomic_ref`(C++20+)** 如果编译器支持C++20,可对局部非平凡类型进行原子操作(需确保对象生命周期安全): ```cpp #include <atomic> #include <functional> std::pair<std::function<void()>, std::function<void()>> data; std::atomic_ref atomic_data{data}; // C++20 特性 // 通过 atomic_ref 操作 data ``` --- ### **3. 错误代码示例分析** 假设用户代码类似以下结构: ```cpp #include <atomic> #include <functional> std::atomic<std::pair<std::function<void()>, std::function<void()>>> atomic_pair; // 错误! ``` 此处 `std::atomic` 的模板参数为 `std::pair<std::function<...>, std::function<...>>`,直接触发静态断言失败。 --- ### **4. 总结** - **禁止对非平凡类型使用 `std::atomic`** `std::function`、`std::string`、包含动态资源的类等均不满足 `TriviallyCopyable` 要求。 - **替代方案** 优先使用互斥锁(如 `std::mutex`)保护数据,或通过指针/原子引用间接操作数据。 - **设计建议** 在多线程编程中,尽量将共享数据设计为可原子操作的基本类型(如 `int`、`bool`、指针等)。
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值