代码之家 › 专栏 › 技术社区 › GaryO

C++中的多级函数模板

templates c++

GaryO · 技术社区 · 7 年前

我尝试用C++ 14的通用方法处理向量。我有以下代码,根据我的实际示例进行了简化(我知道这可以用std实现,我的实际示例是多线程的,而且更复杂):

#include <vector>

// there will be lots of these
struct add1_op {
  static inline void doit(float x0, float& dst) {
    dst = x0 + 1;
  }
};

// there will be multiples of these with different args
template<class Op>
void process_vec1(const std::vector<float> src, std::vector<float> dst)
{
  for (size_t i = 0; i < src.size(); i++) {
    Op::doit(src[i], dst[i]);
  }
}

using Proc_v1_to_v1 = void (*)(const std::vector<float>, std::vector<float>);

template<typename Processor> // NOTE: works with <Proc_v1_to_v1 Processor>
void dispatch(const std::vector<float> src, std::vector<float> dst, int mode)
{
  if (mode == 0)
    Processor(src, dst);
  // ... other modes ...
}

void add1_vec(const std::vector<float> src, std::vector<float> dst, int mode)
{
  dispatch<process_vec1<add1_op> >(src, dst, mode);
}

这不是用macos上的clang编译的:gets error: no matching function for call to 'dispatch' ,说 foo.cxx:28:6: note: candidate template ignored: invalid explicitly-specified argument for template parameter 'Processor'

如果我替换 typename Processor 使用实际的类型名 Proc_v1_to_v1 ,它起作用。但我不明白为什么编译器不能推断出类型。我做错什么了?

2 回复 | 直到 7 年前

r3mus n0x 7 年前

模板参数推导在传递 函数参数 其类型由 模板参数 :

template<typename Processor>
void dispatch(Processor processor, const std::vector<float> src, std::vector<float> dst, int mode);

dispatch(process_vec1<add1_op>, src, dst, mode);

但是,在您的情况下,您将向函数传递一个指针 process_vec1<add1_op> (这是一个价值 )作为模板参数的参数 Processor 这是一个类型 . 这就是错误的原因:对于类型参数,值是错误的参数。

如果确实要使用模板参数指定函数,可以:

制作 处理器 非类型模板参数 Proc_v1_to_v1
或制造 process_vec1 像雅克在回答中建议的那样,变成了一个函数。

Yakk - Adam Nevraumont 7 年前

使用无状态函数对象。

struct add1_op {
  void operator()(float x0, float& dst) const {
    dst = x0 + 1;
  }
};

template<class Op>
struct process_vec1{
  void operator()(const std::vector<float> src, std::vector<float> dst) const {
    for (size_t i = 0; i < src.size(); i++) {
      Op{}(src[i], dst[i]);
    }
  }
};

推荐文章

sungjun cho · 函数模板重叠多个匹配项

1 年前

Kaiyakha · 模板模板部分专业化

1 年前

Amaterastis · 基类接受子类和内部子类的模板参数

1 年前

111111 · 确定作为模板参数传递的函数的参数类型

1 年前

timmy george · 当类具有非constexpr std::array时,如何将std::array.size()用作模板参数

1 年前

Sam · 在LaTeX中将图像添加到预制的投影仪中

1 年前

xmllmx · 在C++20中,是否有一种优雅的方式在编译时对类型进行排序?

1 年前

Giogre · C++:类成员函数的模板特化,与另一个成员函数的不同之处仅在于通过引用而不是值接受参数

1 年前

user416983 · 模板函数成员作为模板参数

1 年前

PyOPTProblem · c++如何模板化模板参数的部分实例化?

1 年前