Question

如何实现模板？

std::result_of不能那样工作。

我希望能够通过外部的其他方式更改std::vector

我希望F和V作为我模板中的第一个

优先于C ++ 17

由于

template <typename F, typename V=vector<result_of<F>>, typename T, typename Ts ...>
auto call (F f, const T & t, const Ts & ... ts) {
  V v;  //  v is a container for values returned from f
  f(....);  // f is a funtion
  ....
  return v;
}

Answer 1

据我所知，您希望根据函数的返回类型提供默认模板参数，而不需要函数参数类型。我不知道这样做的好方法，但这个黑客似乎可以解决你的问题

template <typename F, typename V=bool, typename T, typename... Ts>
auto call(F f, const T& t, const Ts&... ts) {
      using Container = typename std::conditional<std::is_same<bool,
      V>::value,
      std::vector<decltype(f(/*... whatever the args are*/))>,
      V>::type;

      Container c;
     // do stuff...
     return c;
}

Answer 2

不确定你想要什么......

但我想如下：

template <template <typename...> class C = std::vector,
          typename F, typename T, typename ... Ts>
auto call (F f, const T & t, const Ts & ... ts)
 {
   C<decltype(f(t))> v;

   (v.emplace_back(t), ..., v.emplace_back(ts));

   return v;
}

其中容器类型是第一个模板参数，默认为std::vector。

所以你可以打电话给

auto cv = call<std::vector>(foo, '0', '1', '2', '3');

或

auto cv = call(foo, '0', '1', '2', '3');

但我看到的真正问题是：如何在容器中插入元素？

我使用emplace_back()，在std::vector思考;但是如果你想要传递（例如）std::set，你就找不到emplace_back()但emplace()。那么你是否也想将insert方法作为模板参数传递？

无论如何，以下是一个完整的工作示例

#include <vector>
#include <iostream>

template <template <typename...> class C = std::vector,
          typename F, typename T, typename ... Ts>
auto call (F f, const T & t, const Ts & ... ts)
 {
   C<decltype(f(t))> v;

   (v.emplace_back(t), ..., v.emplace_back(ts));

   return v;
}

int foo (char ch)
 { return ch; }

int main()
 {
   auto cv = call(foo, '0', '1', '2', '3');

   for ( auto const & i : cv )
      std::cout << i << ' ';

   std::cout << std::endl;
 }

Answer 3

最后我得到了这个

template <typename Rt = void, typename F, typename T, typename... Ts>
      auto mapf(F f, const T & t, const Ts & ... ts) {
          auto m = minsize(t, ts...);
          using Vt = decltype(std::forward<F>(f)(*begin(t), *begin(ts)...));
          using V = typename std::conditional<is_same<Rt,void>::value, vector<Vt>, Rt>::type;
          V r;                                                                                                                                                                                                                                                               
          r.resize(m);
          for(auto i = 0u; i < m; i++) {
              auto tuples =  make_tuple(*next(begin(t),i), *next(begin(ts),i)...);
             auto v = apply<tuple<typename T::value_type, typename Ts::value_type ...>>(tuples, forward<F>(f));
              *next(begin(r),i) = move(v);
          }    
          return r;
      }

返回C ++中函数模板的类型作为第二个模板参数

3 个答案: