c++ - 具有相同参数的命名空间中的函数和函数之间的歧义

Question

任何人都可以解释为什么 A::f(const B& b) 之间存在歧义和 f(const A::B& b) .我认为代码对意图非常明确。

#include <iostream>

namespace A
{
  class B
  {
  protected:
    double value_;
  public:
    B() : value_(15.0) {}
    double getValue() const {return value_;}
  };

  void f(const B& b)
  {
    std::cout << "f(b) = " << b.getValue() << std::endl;
  }
}

void f(const A::B& b)
{
  std::cout << "Other f(b) = " << b.getValue() << std::endl;
}

int main()
{
  A::B b;
  A::f(b);
  f(b);
  return 0;
}

但是，g++ 7.5.0 和 clang 6.0.0 都提示函数调用不明确
( error: call of overloaded ‘f(A::B&)’ is ambiguous ) 无论编译器标志和优化如何。

Answer 1

这是argument-dependent lookup的一个例子.
即使 ::main位于全局命名空间中，A::f无需使用完全限定名称即可调用，因为它是在 namespace A 中查找的其论点，A::B .结果，::f之间存在歧义和 A::f .
要解决歧义，您需要调用 A::f(b) (正如您所做的那样)，或 ::f(b) .