c – 自动推导模板中的函数类型

我有简单的地图实现和简单的id(身份)：

template <typename T>
T map(const T& x, std::function<decltype(x[0])(decltype(x[0]))> f) {
    T res(x.size());
    auto res_iter = begin(res);
    for (auto i(begin(x)); i < end(x); ++i) {
        *res_iter++ = f(*i);
    }
    return res;
}

template <typename T>
T id(T& x) {return x;}

当我打电话的时候

vector<int> a = {1,2,3,4,5,6,7,8,9};
map(a, id<const int>);

它工作,但我想要调用它没有类型规范,像这样：

map(a, id);

当我这样做时,我得到错误：

error: cannot resolve overloaded function 'id' based on conversion to type 'std::function<const int&(const int&)>'
 map(a, id);
          ^

我如何解决它,当错误包含右边界类型时,为什么编译器不能从映射中的上下文中推断出id的类型？

解决方法:

如果您处于符合C 14标准的环境中,则可以采用非常简洁的方法.不使用std :: function和模板化类,而是使用无约束转发引用和通用lambda,如下所示：

#include <vector>

template <typename T,typename F>
T map(const T& x, F &&f) {
  T res(x.size());
  auto res_iter = begin(res);
  for (auto i(begin(x)); i < end(x); ++i) {
    *res_iter++ = f(*i);
  }
  return res;
}

auto id = [](auto x) { return x;};

int main()
{
  std::vector<int> v = {1, 2, 3, 4};
  auto v2 = map(v, id);
}

在C 11中,您必须使用其operator()是模板化方法的仿函数替换泛型lambda,如下所示：

struct {
  template<typename T>
  T operator()(T x) const
  {
    return x;
  }
} id;

在C 98语法中,您将无法使用转发引用,因此您必须考虑复制和函子可变性问题.

标签：generic-programming,c,templates,c14
来源： https://codeday.me/bug/20190727/1549981.html