C++ 使用声明和参数依赖查找

Question

下面的代码是有效的 C++98 还是需要更新版本的 C++ 标准？

namespace basic
{
  void f(int) {}
}

namespace lib
{
  template<class T1, class T2>
  void g(T1 x1, T2 x2)
  {
    using basic::f; // pull in function f for basic types without ADL
    f(x1);
    f(x2); // error: no suitable conversion function from "user::c" to "int" exists
  }
}

namespace user
{
  class c {};

  void f(c) {}
}

int main()
{
  lib::g(1, user::c());
}

显然，我的编译器（我猜是基于 EDG 前端）在 basic::f 的 using 声明之后不考虑 user::f。根据 C++98，这是正确的行为吗？

Answer 1

我认为您的编译器的行为不正确。您的模板应该只在使用声明点之后实际解析/实例化。因此，此时它应该解析该实例化的名称，并且这些名称包括 ADL 拉入的查找，所以应该可以工作。

我认为 MSVC 仍然有待解决的事情来执行此两阶段查找，并且您的编译器（EDG 前端？编译器的名称是什么）也可能会这样做。我知道 MSVC2015 没有进行正确的两阶段查找这一事实，但我不确定这是否适用于此示例，并且您的意思是您没有使用该编译器。