重载分辨率如何适用于 std::vector:<int>:insert

How does overload resolution work for std::vector<int>::insert

本文关键字:lt gt insert int vector 适用于 std 重载 分辨率      更新时间:2023-10-16

这是来自 std::vector 的三个insert方法签名中的两个:

void insert (iterator position, size_type n, const value_type& val);
template <class InputIterator>
void insert (iterator position, InputIterator first, InputIterator last);

现在,给定一个向量和一个插入调用,

std::vector<int> v;
v.insert( v.begin(), 3, 3 );

为什么选择了第一个insert而不是第二个?

天真地,我敢肯定 - 实现了相同的签名,但这里的第二个(模板化)形式是由编译器选择的。

template <class T, int MAXSIZE>
class svector {
public:
  class iterator : public std::iterator<std::input_iterator_tag,T> { ... };
    // ...
  void insert (class iterator position, size_t n, const T& val){
    if( len + n > MAXSIZE ) throw std::out_of_range( "insert exceeds MAXSIZE" );
    uint32_t iPos = position - begin();
    uint32_t movlen = len - iPos + 1;
    for( uint32_t i = 0; i < movlen; i++ ){
      ele[len + n - i] = ele[len - i];
    }
    for( uint32_t i = 0; i < n; i++ ){
      ele[iPos + i] = val;
    }
    len += n;
  }
  template <class InputIterator>
  void insert (class iterator position, InputIterator first, InputIterator last){
    for( InputIterator it = first; it != last; it++ ){
      if( len + 1 > MAXSIZE ) throw std::out_of_range( "insert exceeds MAXSIZE" );
      *position = *reinterpret_cast<T*>( it );
    }
  }

你的阅读和编译器都是完全正确的。

标准库实现必须采取预防措施(通过std::enable_if或更一般地通过 SFINAE),以确保仅为迭代器类型选择第二个重载。