c++ - 名称查找不依赖于 VC++2008 Express 中的模板参数。这是一个错误吗？

Question

在对 C++ 模板进行一些试验时，我设法生成了这个简单的代码，其输出与我根据对 C++ 规则的理解所预期的不同。

void bar(double d)
{
    std::cout << "bar(double) function called" << std::endl;
}

template <typename T> void foo(T t)
{
    bar(3);
}

void bar(int i)
{
    std::cout << "bar(int) function called" << std::endl;
}

int main()
{
    foo(3);
    return 0;
}

当我在 VC++2008 Express 中编译这段代码时，函数 bar(int) 被调用。如果模板正文中的 bar(3); 依赖于模板参数，那将是这种行为。但事实并非如此。我找到的规则 here说“C++ 标准规定，在解析模板函数或类时，所有不依赖于模板参数的名称都绑定(bind)到它们当前的定义”。我错了吗，解析模板函数 foo 时 bar 的“当前定义”是无效栏(双 d)；？如果我错了，为什么不是这样。此编译单元中没有 bar 的前向声明。

Answer 1

确实是编译器的bug。已知该问题存在于 VS2005 和之前的版本中(我使用 Blogspot 博客作为此类案例的笔记本，请参阅 1.3 here )。显然它也存在于 VS2008 中。

您可以使用以下简单代码进行测试

int bar(double d) { return 0; }

template <typename T> void foo(T t) {
  int i = bar(3);
}

void bar(int i);

int main() {
  foo(3);
}

此代码格式正确(您可以使用 Comeau Online 编译器对其进行编译)，但我敢打赌 VS 会阻塞它，因为 VS 在这种情况下错误地实现了两阶段查找。