模板和非模板类的C++符号范围搜索顺序不同？

Question

#include <iostream>

void foo()
{
    std::cout << "global foo()" << std::endl;
}

struct A {
    void foo()
    {
        std::cout << "A::foo()" << std::endl;
    }
};

struct B : public A {
    void call()
    {
        foo();
    }
};

int main(int argc, char **argv )
{
    B b;
    b.call();
    return 0;
}

这给了expected result：

A::foo()

但是在更改两行之后（B 类为模板）：

#include <iostream>

void foo()
{
    std::cout << "global foo()" << std::endl;
}

struct A {
    void foo()
    {
        std::cout << "A::foo()" << std::endl;
    }
};

template <typename T> // change here
struct B : public T {
    void call()
    {
        foo();
    }
};

int main(int argc, char **argv )
{
    B<A> b; // and here
    b.call();
    return 0;
}

我收到unexpected result:

global foo()

并且使用this-> 不是一个选项，因为我正在尝试创建一个“后备”机制。

Answer 1

你得到的是预期的结果。这在 C++ 标准中称为“两阶段名称查找”。

模板内的名称分为两种：

Dependent – 依赖于模板参数但不在模板中声明的名称。

不依赖 – 不依赖于模板参数的名称，加上模板本身的名称和在其中声明的名称。

当编译器试图解析代码中的某个名称时，它首先判断该名称是否依赖，而解析过程源于这种区别。虽然“正常”解析非依赖名称 - 当定义模板时，依赖名称的解析发生在模板实例化的点。

您的示例中的B::call 中的foo(); 是一个非依赖名称，因此在模板定义时它被解析为全局foo()。

Answer 2

接受的答案解释了您看到该行为的原因，但没有解释如何实现您想要的“后备”行为。这可以使用SFINAE 来完成，通过引入一对成员模板重载，其中一个仅在基类具有名为foo 的成员函数时才存在。

template <typename T>
struct B : T {
    template <void (T::*)()> struct has_mem_fn {};

    template <typename U> void call(has_mem_fn<&U::foo>*) {this->foo();}
    template <typename U> void call(...) {foo();}

    void call() {call<T>(0);}
};

struct X {};

int main()
{
    B<A> ba;
    ba.call();  // A::foo()

    B<X> bx;
    bx.call();  // global foo()
}

更新：我刚刚在另一个答案中注意到您的 cmets，您说您知道这种方法，但由于必须支持功能失调的编译器而无法使用它。那样的话，你想要的恐怕是不可能的。

Answer 3

你需要明确告诉使用T类方法。

template <typename T>
struct B : public T {
    void call()
    {
        T::foo();
    }
};

---

但至于回退机制，你可以检查这个问题：Is it possible to write a template to check for a function's existence?

使用Substitution failure is not an error (SFINAE)，您可以检查 T 中的方法 foo，然后运行正确的方法。