绑定重载模板函数遇歧义：解决MrMaker类make方法绑定问题

问题核心是：当用std::bind或pybind11绑定MrMaker<T>::make时，编译器无法区分两个重载——哪怕其中一个重载对当前T来说是非法的（比如MrMaker<Foo>的双参数make会因为Foo没有对应构造函数报错），但绑定阶段编译器还没实例化函数，所以会认为两个重载都可能匹配，触发歧义错误。

用SFINAE（替换失败并非错误）可以完美解决这个问题，核心思路是让每个make重载仅在T支持对应参数的构造时，才参与重载决议。

修改后的MrMaker实现 #

#include <type_traits>

template <typename T> 
struct MrMaker
{
    // 仅当T能通过单个int构造时，启用此重载
    template <std::enable_if_t<std::is_constructible_v<T, int>, int> = 0>
    T make(int a) 
    {
        return T(a);
    }

    // 仅当T能通过两个int构造时，启用此重载
    template <std::enable_if_t<std::is_constructible_v<T, int, int>, int> = 0>
    T make(int a, int b) 
    {
        return T(a, b);
    }
};

如果需要更通用的支持（比如后续扩展其他参数的构造函数），可以改成单模板函数适配任意参数：

#include <type_traits>
#include <utility>

template <typename T> 
struct MrMaker
{
    template <typename... Args, std::enable_if_t<std::is_constructible_v<T, Args...>, int> = 0>
    T make(Args&&... args) 
    {
        return T(std::forward<Args>(args)...);
    }
};

为什么之前的enable_if没生效？ #

多数情况是因为你之前的enable_if没有绑定到函数模板的参数上。SFINAE的生效前提是模板参数替换失败，如果你直接把enable_if写在非模板函数的参数或返回值里，编译器不会触发SFINAE，反而会直接报错。必须让enable_if依赖于函数自身的模板参数（比如上面代码里的匿名模板参数）。

验证代码 #

修改后不管是直接调用还是绑定都不会有歧义：

#include <functional>
#include <iostream>
using namespace std;

struct Foo
{
    int a;
    Foo(int a) : a(a) {}
    void speak() { cout << "I am Foo(" << a << ")\n"; }
};

struct Bar
{
    int a, b;
    Bar(int a, int b) : a(a), b(b) {}
    void speak() { cout << "I am Bar(" << a << ", " << b << ")\n"; }
};

// 这里放上修改后的MrMaker

int main() {
    auto foo = MrMaker<Foo>::make(12);
    foo.speak();

    auto bar = MrMaker<Bar>::make(12, 13);
    bar.speak();

    // 现在绑定不再有歧义
    function<Foo(int)> func = bind(&MrMaker<Foo>::make, placeholders::_1);
    func(42).speak();

    return 0;
}

对于pybind11场景，现在可以直接正常绑定：

#include <pybind11/pybind11.h>
namespace py = pybind11;

template <typename T>
void bind_maker(py::module_& m, const char* class_name) {
    py::class_<MrMaker<T>>(m, class_name)
        .def("make", &MrMaker<T>::make);
}

pybind11会自动识别当前T对应的有效重载，不会出现歧义问题。

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