C++17下自定义STL风格Vector的assign函数匹配异常求助

你遇到的这个问题，核心是编译器的模板参数推导规则在起作用。当你调用vec.assign(5,10)时，编译器会对比两个assign重载：

• 计数-值版：参数是size_t + const int&，这里第一个参数5是int类型，需要隐式转换为size_t
• 范围版：模板参数InputIt会被直接推导为int，因为两个参数都是int，不需要任何类型转换

根据C++的重载决议规则，不需要隐式转换的重载会被优先选中，所以编译器选择了范围版assign，但int显然不是迭代器类型，于是就出现了std::distance无法处理int参数、解引用int类型错误这些编译问题。

要解决这个问题，我们需要让范围版assign只有在InputIt确实是输入迭代器的时候才参与重载决议。在C++17中，可以通过std::enable_if结合std::iterator_traits来实现SFINAE（Substitution Failure Is Not An Error）：

修改你的范围版assign函数：

#include <type_traits>
#include <iterator>

// 范围版：仅当InputIt是输入迭代器时才生效
template<class InputIt, typename = std::enable_if_t<std::is_base_of_v<std::input_iterator_tag, typename std::iterator_traits<InputIt>::iterator_category>>>
void assign(InputIt first, InputIt last){
    size_t count = std::distance(first,last);
    if(this->_size < count){
        this->allocator.deallocate(this->arr, this->_capacity);
        this->arr = this->allocator.allocate(count);
        this->_capacity = count;
    }
    for(size_t i = 0; first != last; i++)
        this->arr[i] = *first++;
    this->_size = count;
}

这样修改后，当你传入int类型的参数时，std::iterator_traits<int>::iterator_category不存在，模板替换失败，范围版assign就会被排除在重载候选之外，编译器就会自动选择计数-值版的assign，问题就解决了。

如果你使用C++20及以上版本，还可以用更简洁的concepts来限制参数：

template<std::input_iterator InputIt>
void assign(InputIt first, InputIt last){
    // 函数体不变
}

不过你现在用的是C++17，所以std::enable_if的方案更合适。

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