c++ - 不能使用函数名距离

Question

以下代码编译良好:

#include <string>

int dist(std::string& a, std::string& b) {
  return 0;
}

int main() {
  std::string a, b;
  dist(a, b);
  return 0;
}

但是当我将函数从 dist 重命名为 distance 时:

#include <string>

int distance(std::string& a, std::string& b) {
  return 0;
}

int main() {
  std::string a, b;
  distance(a, b);
  return 0;
}

编译时出现此错误(gcc 4.2.1):

/usr/include/c++/4.2.1/bits/stl_iterator_base_types.h: In instantiation of ‘std::iterator_traits<std::basic_string<char, std::char_traits<char>, std::allocator<char> > >’:
b.cpp:9:   instantiated from here
/usr/include/c++/4.2.1/bits/stl_iterator_base_types.h:129: error: no type named ‘iterator_category’ in ‘struct std::basic_string<char, std::char_traits<char>, std::allocator<char> >’

为什么我不能命名函数距离？

Answer 1

原因是一种称为 std::distance 的标准算法存在，由 ADL (Argument Dependent Lookup) 找到:虽然您的调用不符合 std 命名空间，但您的参数类型 a 和 b(即 std::string)与 std::distance 函数(即 std)位于相同的命名空间中，因此std::distance() 也被考虑用于重载解析。

如果你真的想调用你的函数 distance() (我建议你不要这样做)，你可以把它放在你的命名空间中，然后完全限定函数名你调用它，或者将它留在全局命名空间中并以这种方式调用它:

    ::distance(a, b);
//  ^^

但是请注意，如果您的标准库实现提供了 SFINAE 友好版本的 iterator_traits(更多详细信息)，单独的 ADL 可能不会导致您的程序编译失败在 this Q&A on StackOverflow - 由 MooingDuck 提供)。

通过 iterator_traits 的 SFINAE 友好实现，您的编译器应该认识到 std::distance() 函数模板(因为它是一个模板)不能被实例化当给定 std::string 类型的参数时，因为它的返回类型:

template< class InputIt >
typename std::iterator_traits<InputIt>::difference_type 
//       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
//       Trying to instantiate this with InputIt = std::string
//       may result in a soft error during type deduction if
//       your implementation is SFINAE-friendly, and in a hard
//       error otherwise.
    distance( InputIt first, InputIt last );

在这种情况下，编译器将简单地丢弃此模板以解决重载问题并选择您的 distance() 函数。

但是，如果您的标准库实现不提供对 SFINAE 友好的 iterator_traits 版本，则在不符合 SFINAE 条件的上下文中可能会发生替换失败，从而导致(硬) 编译错误。

这个 live example显示了使用 GCC 4.8.0 编译的原始程序，它附带了一个 libstdc++ 版本，该版本实现了对 SFINAE 友好的 iterator_traits。