使用enable_if定义模板类会导致错误

Template class definition with enable_if causes error

本文关键字：错误 enable if 定义 使用      更新时间：2023-10-16

谁能帮我理解为什么下面的代码不编译，也帮我修复它:

template< size_t N_1, size_t N_2, typename callable, typename T_out = typename std::result_of<callable>::type, size_t N = N_1 - N_2, std::enable_if_t< N_1>=N_2>* = nullptr>
class A
{
  template<std::size_t... I>
  void foo();
};

template< size_t N_1, size_t N_2, typename callable >
template<std::size_t... I>
void A< N_1, N_2, callable>::foo()
{
}
错误:

error: nested name specifier 'A<N_1, N_2, callable>::' for declaration does not refer into a class, class template or class template partial specialization
    void A< N_1, N_2, callable>::foo()
         ~~~~~~~~~~~~~~~~~~~~~~~~^
1 error generated.

提前感谢。

模板声明的定义需要匹配该声明。std::enable_if_t确实在这里抛出了一个曲线球，但这似乎与gcc 6.2一起工作:

template< size_t N_1, size_t N_2, typename callable, typename T_out, size_t N,
      std::enable_if_t< N_1 >= N_2> *p>
template<std::size_t... I>
void A< N_1, N_2, callable, T_out, N, p>::foo()
{
}
相关文章：