在模板中的自动类型推断变量上调用模板函数 class

Question

此问题发生在 google 带有类型化测试用例的测试框架的上下文中。这里继承和模板混合在一起，因此我们必须通过 this-> 引用基 class 的成员。下面的简短代码是问题的根源。

如果使用 ref 的第一个定义 (1)，则以下代码无法在 gcc-4.9.2、gcc-5.1.0、clang-3.5 上编译。如果使用第二个版本 (2)，clang 甚至不会编译。如果在 (3) 中使用实际类型（在 http://gcc.godbolt.org/ 上测试），则所有编译都很好。

我的问题是编译器不编译它是否正确以及为什么它们是正确的。或者如果这是格式正确的 c++11。

#include <iostream>
struct A {
    template<int e> void foo() { std::cout << e << std::endl; }
    void bar(){}
};
template<typename T> struct B {
    A a;
    void baz() {
        auto& ref = this->a; // (1)
        // auto& ref = a;       // (2)
        // A& ref = this->a;    // (3)
        static_assert(std::is_same<decltype(ref),A&>::value, 
                      "ref should have type A&");
        ref.bar();
        ref.foo<1>(); // this line causes a compile error
    }
};

int main() {
    B<int> b;
}

Answer 1

编译器不知道ref.foo是一个模板，所以你需要告诉它：

ref.foo<1>();
//change to
ref.template foo<1>();

语法有点奇怪，但请查看 this question 了解更多详细信息。

在模板中的自动类型推断变量上调用模板函数 class

calling a template function on a auto type-inferred variable in a template class

c++

gcc

compiler-errors

auto

c++11