如何创建支持void或int类型的C++模板仿函数

嘿，这个问题我刚好有经验，咱们一步步来拆解解决～

首先得指出你原来代码里的小问题：当模板参数T是void时，operator()(T s)会变成operator()(void s)，这在C++里是不合法的——因为你不能声明一个void类型的变量。所以要处理void类型，得单独适配无参数的情况。

下面给你两种常用的实现方案：

方案一：模板特化（最直观的传统方式） #

先定义通用模板处理非void类型（比如int），再针对void做特化，让它的operator()不带参数：

#include <iostream>

// 通用模板：处理int（或其他非void类型）
template <typename T>
class TEMP {
public:
    int operator()(T s) {
        // 这里写你处理int类型的逻辑，比如返回参数的平方
        std::cout << "正在处理int类型参数: " << s << "\n";
        return s * s;
    }
};

// void类型的特化版本：无参数调用
template <>
class TEMP<void> {
public:
    int operator()() {
        // 这里写你处理void场景的逻辑，比如返回固定值
        std::cout << "正在处理void类型（无参数）\n";
        return 42;
    }
};

// 使用示例
int main() {
    TEMP<int> int_handler;
    int res1 = int_handler(5); // 输出"正在处理int类型参数: 5"，返回25
    std::cout << "结果1: " << res1 << "\n";

    TEMP<void> void_handler;
    int res2 = void_handler(); // 输出"正在处理void类型（无参数）"，返回42
    std::cout << "结果2: " << res2 << "\n";

    return 0;
}

方案二：单模板+if constexpr（C++17及以上） #

如果你用的是C++17或更高版本，可以用if constexpr在同一个模板里处理两种情况，不用写特化：

#include <iostream>
#include <type_traits>

template <typename T>
class TEMP {
public:
    int operator()(std::conditional_t<std::is_void_v<T>, std::monostate, T> s = {}) {
        if constexpr (std::is_void_v<T>) {
            // void场景逻辑
            std::cout << "处理void类型（无参数）\n";
            return 0;
        } else {
            // int（或其他非void）场景逻辑
            std::cout << "处理int类型参数: " << s << "\n";
            return s * 2;
        }
    }
};

// 使用示例
int main() {
    TEMP<int> int_handler;
    std::cout << int_handler(3) << "\n"; // 输出"处理int类型参数: 3"和6

    TEMP<void> void_handler;
    std::cout << void_handler() << "\n"; // 输出"处理void类型（无参数）"和0

    return 0;
}

这里用std::conditional_t和std::is_void_v来适配参数：当T是void时，参数类型是std::monostate（一个空类型），并且给默认值，这样就能支持无参数调用；非void时就用T类型的参数。

额外小提示 #

如果你不需要严格的模板参数，也可以直接在同一个类里重载operator()——一个带int参数，一个不带参数，这样不用模板也能实现需求：

class TEMP {
public:
    int operator()(int s) {
        std::cout << "处理int参数: " << s << "\n";
        return s + 10;
    }

    int operator()() {
        std::cout << "处理无参数（void）\n";
        return 99;
    }
};

这种方式更简单，适合只需要支持int和无参数的场景。

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