c ++ type_traits：为什么我不能从另一个模板/ enable_if行调用模板化静态方法？

如何解决c ++ type_traits：为什么我不能从另一个模板/ enable_if行调用模板化静态方法？

我想在enable_if表达式的函数中的模板参数中使用静态方法。但是，静态方法也是模板，并且会出现编译器错误。

错误消息：

$ g++ test.cpp
test.cpp:20:36: error: invalid declarator before ‘(’ token 
   20 | std::enable_if_t<A::method_a<param>()>

代码示例：

#include <type_traits>

struct B
{
  template<int param>
  static constexpr int method_a()
  {
    return param == 5;
  }

  static constexpr int method_b(int param)
  {
    return param == 5;
  }
};


// this doesn't work
template<int param,typename A>
std::enable_if_t<A::method_a<param>()>
func_a(A& a)
{}

// this works
template<int param,typename A>
std::enable_if_t<A::method_b(param)>
func_b(A& a)
{}

int main()
{
  B b;
  func_b<5>(b); // this doesn't work
  func_a<5>(b); // this works


  return 0;
}

解决方法

在func_a中，名称method_a是从属名称，即method_a的含义取决于模板类型参数A。如果名称是成员模板，则需要使用template关键字进行指定：

template<int param,typename A>
std::enable_if_t<A::template method_a<param>()>
                 // ^^^^^^^^
func_a(A& a){}

这里是demo。