C++模板函数专用化作为模板函数的一个参数

C++ template function specialization as an argument of template function

本文关键字：函数 参数 一个 专用 C++      更新时间：2023-10-16

考虑一个c++模板函数专用化：

namespace test {
   template < const int L, typename InputIt >
   typename std::iterator_traits<InputIt>::value_type
   Sum_L( InputIt beg, InputIt end)
   {
      typedef typename std::iterator_traits<InputIt>::value_type real_t;
      for( int i=0 ; i<L; ++i)
        call_rearrange_sum( beg, end);
      real_t sum( 0 );
      for( ; beg != end; ++beg)
        sum += *beg;
      return sum;
    }
   template < const int L, typename Real >
   Real
   Sum_L( const std::size_t len, Real * x)
   {          
      for( int i=0 ; i<L; ++i)
        call_rearrange_sum( x, x+len);
      Real sum( 0 );
      for( std::size_t i=0; i< len; ++i)
        sum += x[i];
      return sum;
    }
    template < typename Real, typename Func >
    Real
    special_sum( std::size_t len, const Real * const x, const Real * y, Func f)
    {
      std::vector<Real> res( 2*len );
      for( std::size_t i=0; i<len; ++i) {
        Real tmp;
        res.push_back( call_operator( x[i], y[i], &tmp);
        res.push_back( tmp );
      }
      return f( res.begin(), res.end(), f);
    }
}

现在我想使用上述功能作为：

double my_test( const std::size_t len, double * x, double * y)
{
  return test::special_sum( len, x,y, 
                            test::Sum_L< 4, typename std::vector<double>::iterator> );
}

gcc 4.9.2它无法找到正确的模板专用化函数。错误为"调用'special_sum（std:：size_t&，const double*/amp；，常量double*&，<未解析的重载函数类型>）没有匹配的函数"。

我知道编译器很难解决这个问题。无论我尝试了什么，它都是两个模板函数"Sum_L"中的一个，用于获得额外的伪模板参数。还有别的办法吗？

谢谢。

函数模板不存在部分专门化，专门化函数模板的唯一方法是提供完全专门化。您所做的实际上只是函数重载。

纠正不明确重载的最简单方法是简单地重命名其中一个重载。如果您想保留名称Sum_L以用于某些用途，您也可以用一个新函数来包装它以用于传递，比如：

template < const int L, typename InputIt >
typename std::iterator_traits<InputIt>::value_type
Sum_Wrapper(InputIt beg, InputIt end)
{
    return Sum_L<L, InputIt>(beg, end);
}

然后这应该可以正常工作：

double my_test(const std::size_t len, double * x, double * y)
{
    return test::special_sum<double>(len, x, y,
        test::Sum_Wrapper< 4, typename std::vector<double>::iterator>);
}
相关文章：