C++模板构造函数歧义：错误调用问题的原因与解决

问题场景 #

实例化Dummy类对象时，预期调用Dummy(std::vector<int>::size_type, const int&)构造函数，但实际却调用了模板生成的构造函数。简化代码如下：

dummy.h #

#ifndef GUARD_dummy
#define GUARD_dummy

#include <vector>

class Dummy {
public:
    Dummy() {}
    explicit Dummy(std::vector<int>::size_type n, const int& val = 0): data(n, val) {}
    template <class In>
    Dummy(In b, In e) { create(b, e); }
private:
    std::vector<int> data;

    template <class In>
    void create(In, In);
};

template <class In>
void Dummy::create(In b, In e) {
    std::copy(b, e, std::back_inserter(data));
}

#endif

test.cpp #

#include "dummy.h"

int main() {
    Dummy v(3, 4);
    return 0;
}

原因分析 #

核心是编译器的重载解析规则：

• 传入的3和4都是int类型，模板构造函数Dummy(In b, In e)会被推导为Dummy(int, int)，属于精确匹配，无需任何隐式类型转换。
• 目标构造函数Dummy(std::vector<int>::size_type, const int&)的第一个参数是size_type（通常为unsigned long或unsigned int），int转unsigned类型需要一次隐式转换，匹配优先级低于精确匹配的模板构造函数。
  因此编译器会优先选择模板构造函数。

解决方法 #

1. 显式转换参数类型 #

将第一个参数显式转为size_type类型，让目标构造函数实现精确匹配：

#include "dummy.h"

int main() {
    const size_t dim = 3; // size_t 等价于 std::vector<int>::size_type
    Dummy v(dim, 4);
    // 或者直接用 static_cast：
    // Dummy v(static_cast<std::vector<int>::size_type>(3), 4);
    return 0;
}

2. 给模板构造函数添加SFINAE限制 #

通过SFINAE（替换失败并非错误）机制，让模板构造函数只接受迭代器类型，避免与普通数值参数匹配。需要包含<type_traits>和<iterator>头文件：

#ifndef GUARD_dummy
#define GUARD_dummy

#include <vector>
#include <iterator>
#include <type_traits>

class Dummy {
public:
    Dummy() {}
    explicit Dummy(std::vector<int>::size_type n, const int& val = 0): data(n, val) {}
    // 仅当 In 是输入迭代器时，此构造函数才会被考虑
    template <class In, typename = std::enable_if_t<std::is_base_of_v<std::input_iterator_tag, typename std::iterator_traits<In>::iterator_category>>>
    Dummy(In b, In e) { create(b, e); }
private:
    std::vector<int> data;

    template <class In>
    void create(In, In);
};

template <class In>
void Dummy::create(In b, In e) {
    std::copy(b, e, std::back_inserter(data));
}

#endif

当传入int类型参数时，模板构造函数会因SFINAE规则被排除在重载候选之外，编译器会自动选择目标构造函数。

3. 重载针对int参数的构造函数 #

直接新增一个Dummy(int, const int&)构造函数，让它成为精确匹配的候选：

class Dummy {
public:
    Dummy() {}
    explicit Dummy(std::vector<int>::size_type n, const int& val = 0): data(n, val) {}
    explicit Dummy(int n, const int& val = 0): data(static_cast<std::vector<int>::size_type>(n), val) {}
    template <class In>
    Dummy(In b, In e) { create(b, e); }
    // ... 其他代码
};

这种方式直接针对int参数提供精确匹配，优先级高于模板构造函数。

新疑问解答 #

如果把构造函数定义为Dummy(int, const int&)，会出现重载歧义：

• 当传入Dummy v(3,4)时，模板构造函数会被推导为Dummy(int, int)（精确匹配），而新的构造函数Dummy(int, const int&)也是精确匹配（int转const int&属于标准转换中的左值转换，不降低匹配优先级）。
• 此时编译器无法区分两个构造函数的优先级，会报编译错误。

解决这种歧义不需要删除其中一个构造函数，更优雅的方式是给模板构造函数添加SFINAE限制（如方法2），让它只匹配迭代器类型，从而避免与数值参数的构造函数冲突。

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