为什么我对以下函数的调用不明确？

Question

请考虑以下事项：

template <typename T>
class testString
{
public:

  typedef T* iterator;

  void insert(iterator aPos, size_t numChars, T aChar);
  testString<T>& insert(size_t aIndex, size_t numChars, T aChar);
};

template <typename T>
void testString<T>::insert( iterator aPos, size_t numChars, T aChar )
{

}

template <typename T>
testString<T>& testString<T>::insert( size_t aIndex, size_t numChars, T aChar )
{
  return *this;
}

int main()
{
  testString<char> c;
  c.insert(0, 10, 'a'); // ambiguous call
  c.insert(1, 10, 'a'); // compiles fine

  return 0;
}

为什么我会接到含糊不清的电话？最初，我有一个猜测（因为它是 0，所以它可以是任何东西），但后来我查看了 std::string。我查看了源代码，这是两个函数：

void               insert ( iterator p, size_t n, char c );
string&            insert ( size_t pos1, size_t n, char c );

我尝试使用 std::string 进行相同的调用，并且工作正常。现在我不知道为什么 0 与 std::string 一起使用并立即被识别为 size_t 而在我的实现中它不是（另一个猜测是类型特征，但来源中没有证据）？

Answer 1

啊，有一次你会想“如果在 C++ 中，0 与 null 不同不是更好吗？”

不管怎样，你的迭代器类型被 typedef'd 为 T*，即 char*，而 0 是 char* 的一个很好的值，因此存在歧义（呃，正如 K-ballo 所写）。在 std::string 中，迭代器类型不会是 char*，它会像另一个（模板化）类一样奇特......

Answer 2

由于 0 既可以被视为指针，也可以被视为整数，因此会产生歧义。

如果您想区分它们，我的建议是将您的 T * 包装在 testClass 内的 class 中。这类似于：

template <typename T>
class testString
{
public:
  class iterator
  {
  public:
    T *addr;
  }
  void insert(iterator aPos, size_t numChars, T aChar);
  testString<T>& insert(size_t aIndex, size_t numChars, T aChar);
};

如果您注意到，对于 STL，您也不能将整数值作为迭代器发送，但必须传递 whateverclass::iterator 类型的迭代器。