如何在构造函数中正确使用std::enable_if解决lambda参数歧义问题

咱先看一个典型的歧义场景——当你的类有两个构造函数，一个接受函数指针，另一个接受std::function，这时传入无捕获的lambda就会触发编译错误：

#include <functional>

class MyClass {
public:
    // 接受普通函数指针
    MyClass(void (*func)()) {
        // 函数指针逻辑
    }

    // 接受std::function
    MyClass(std::function<void()> func) {
        // std::function逻辑
    }
};

int main() {
    // 编译报错！lambda既能转函数指针，又能转std::function，编译器懵了
    MyClass obj([](){});
    return 0;
}

问题根源很简单：无捕获的lambda可以隐式转换为同签名的函数指针，同时也能被std::function包装，这就让编译器无法判断该调用哪个构造函数。接下来咱用std::enable_if结合SFINAE（替换失败不是错误）来给这两个构造函数加上“专属触发条件”，消除歧义。

方案一：模板构造函数+双向互斥条件 #

我们把两个构造函数都改成模板形式，用std::enable_if分别约束它们的适用场景，确保同一输入只会匹配其中一个：

#include <functional>
#include <type_traits>

class MyClass {
public:
    // 场景1：参数可转为函数指针，且不是std::function类型
    template<typename Func, typename = std::enable_if_t<
        std::is_convertible_v<Func, void(*)()>,
        std::negation<std::is_same_v<std::decay_t<Func>, std::function<void()>>>
    >>
    MyClass(Func&& func) {
        // 处理函数指针逻辑，比如直接调用func()
    }

    // 场景2：参数可转为std::function，但不能转为函数指针
    template<typename Func, typename = std::enable_if_t<
        std::is_convertible_v<Func, std::function<void()>>,
        std::negation<std::is_convertible_v<Func, void(*)()>>
    >>
    MyClass(Func&& func) {
        // 处理std::function逻辑，比如存储func
    }
};

int main() {
    // 无捕获lambda，匹配第一个构造函数
    MyClass obj1([](){});

    // 带捕获lambda，无法转函数指针，匹配第二个构造函数
    int x = 5;
    MyClass obj2([x](){});

    // 直接传std::function，匹配第二个构造函数
    std::function<void()> f = [](){};
    MyClass obj3(f);
    return 0;
}

这里的核心逻辑：

• 用std::is_convertible_v判断参数是否能转换为目标类型
• 用std::negation和std::decay_t排除重叠场景（比如避免直接传std::function时匹配第一个构造函数）
• SFINAE机制会让编译器自动忽略不符合条件的构造函数，只保留匹配的那一个

方案二：非模板函数指针构造+模板std::function构造 #

如果函数指针的场景是明确的，咱可以保留非模板的函数指针构造函数（它的优先级比模板构造函数高），然后用std::enable_if约束模板构造函数，让它只处理不能转成函数指针的可调用对象：

#include <functional>
#include <type_traits>

class MyClass {
public:
    // 直接处理函数指针，优先级更高
    MyClass(void (*func)()) {
        // 函数指针逻辑
    }

    // 只处理：不能转成函数指针，但可以转成std::function的类型
    template<typename Func, typename = std::enable_if_t<
        !std::is_convertible_v<Func, void(*)()>,
        std::is_convertible_v<Func, std::function<void()>>
    >>
    MyClass(Func&& func) : MyClass(std::function<void()>(std::forward<Func>(func))) {
        // 可以委托给其他构造函数，简化代码
    }
};

这个方案更简洁：无捕获lambda会优先匹配非模板的函数指针构造，带捕获的lambda和std::function则会匹配模板构造函数，完美避开歧义。

关键要点总结 #

• SFINAE是核心：std::enable_if通过在模板参数中添加条件，让不符合要求的构造函数被编译器“隐藏”，不会参与重载决议
• 精准区分场景：利用std::is_convertible、std::is_same等类型特性，明确每个构造函数的适用边界
• 优先级利用：非模板函数的重载优先级高于模板函数，合理利用这一点可以简化代码逻辑

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