能否以函数为参数重载C++运算符？如何实现带参重载？

一、核心问题修正 #

你的代码编译报错有两个关键原因：

1. 函数传递方式错误：s_doer{} << func0()是调用func0并传递其返回值（但func0返回void，本身非法），正确写法是传递函数指针func0（不加括号）。
2. 函数签名不匹配：你声明的运算符接受void(*func)()（无参函数指针），但func0的签名是void(int&)，两者完全不兼容，这是编译失败的主要原因。

二、可行实现方案 #

当然可以以函数为参数重载运算符，也能指定函数参数。下面提供两种通用实现方式：

方案1：模板运算符+可变参数（兼容任意函数签名） #

利用模板和完美转发，让运算符接受任意可调用对象（函数、lambda、std::function等）及额外参数：

#include <iostream>
#include <utility>

struct s_doer {
    // 模板运算符，支持任意可调用对象和额外参数
    template<typename Func, typename... Args>
    friend void operator<<(s_doer, Func&& func, Args&&... args) {
        int storage;
        // 完美转发函数与参数，传入预设的storage
        std::forward<Func>(func)(storage, std::forward<Args>(args)...);
        std::cout << "Storage value: " << storage << std::endl;
    }
};

// 测试函数
void func0(int& storage) { storage = 0; }
void func1(int& storage) { storage = 1; }
void alt_func(int& storage, int alt) { storage = alt; }

int main() {
    // 传递函数指针（注意不加括号）
    s_doer{} << func0;
    s_doer{} << func1;
    // 传递带额外参数的函数，用逗号分隔参数
    s_doer{} << alt_func, 5;
}

方案2：Lambda包装带参函数（语法更直观） #

如果觉得逗号传参不够清晰，可以用Lambda包装带参函数，直接传递给运算符：

#include <iostream>

struct s_doer {
    template<typename Func>
    friend void operator<<(s_doer, Func&& func) {
        int storage;
        std::forward<Func>(func)(storage);
        std::cout << "Storage value: " << storage << std::endl;
    }
};

void func0(int& storage) { storage = 0; }
void alt_func(int& storage, int alt) { storage = alt; }

int main() {
    s_doer{} << func0;
    // 用Lambda包装参数，直接传递逻辑
    s_doer{} << [](int& s) { alt_func(s, 10); };
}

三、结构体接口统一的解决方案 #

你之前传递结构体失败的原因是没有统一接口，用C++20的概念可以约束结构体必须实现指定成员函数：

#include <iostream>
#include <concepts>

// 定义概念：要求类型必须有exec成员函数，签名为void(int&)
template<typename T>
concept Executable = requires(T t, int& s) {
    { t.exec(s) } -> std::same_as<void>;
};

struct s_test1 {
    void exec(int& storage) { storage = 0; }
};

struct s_test2 {
    void exec(int& storage) { storage = 1; }
};

struct s_doer {
    // 只接受符合Executable概念的结构体
    template<Executable T>
    friend void operator<<(s_doer, T&& t) {
        int storage;
        std::forward<T>(t).exec(storage);
        std::cout << "Storage value: " << storage << std::endl;
    }
};

int main() {
    s_doer{} << s_test1{};
    s_doer{} << s_test2{};
}

关键知识点总结 #

• 运算符重载支持任意参数类型，包括函数指针、可调用对象。
• 模板是实现通用运算符的核心，配合完美转发可兼容所有函数签名。
• 传递函数时必须传函数指针（不加括号），不要调用函数。
• C++20概念可用于约束参数类型，解决结构体接口不统一的问题。

内容的提问来源于stack exchange，提问作者ModernEraCaveman