使用g ++和clang ++调用Integral模板成员函数时出错

Question

我目前陷入编译错误,我无法确定...

这是一个最小的工作示例:

#include <iostream>

template <typename T, int R>
class a_type
{
public:
     template <int N>
     double segment()
      {
           return 42;
      }
};

template <int M>
double func()
{
     a_type<double, M> a;
     return a.segment<1>();
}

int main(int argc, char *argv[])
{
     std::cout << func<10>() << std::endl;
     return 0;
}

GCC的错误消息如下:

g++ main.cpp -o main
main.cpp: In function 'double func()':
main.cpp:18:26: error: expected primary-expression before ')' token
      return a.segment<1>();
                          ^
main.cpp: In instantiation of 'double func() [with int M = 10]':
main.cpp:23:28:   required from here
main.cpp:18:22: error: invalid operands of types '<unresolved overloaded function type>' and 'int' to binary 'operator<'
      return a.segment<1>();
                  ^

Clang也说了类似的话:

clang++ main.cpp -o main
main.cpp:18:26: error: expected expression
     return a.segment<1>();
                         ^

因此,基于GCC的错误消息,'a.segment'是缺少括号的成员函数调用,显然会被拒绝.但这根本没有意义,因为我认为没有任何理由将这种表达视为这样.此外,如果我将M改为第17行的任何整数,就像这样:

#include <iostream>

template <typename T, int R>
class a_type
{
public:
     template <int N>
     double segment()
      {
           return 42;
      }
};

template <int M>
double func()
{
     a_type<double, 58> a;
     return a.segment<1>();
}

int main(int argc, char *argv[])
{
     std::cout << func<10>() << std::endl;
     return 0;
}

然后代码编译并产生预期的结果.

如果有人能够启发并向我展示我在这里缺少的东西,我会很高兴.

Answer 1

编译器不知道这a.segment是一个模板（它可能取决于 的值M）。所以你必须告诉它：

return a.template segment<1>();

在您的第二个示例中，它知道有关 类型的所有信息a，因此没有问题。