c++ 如何获取要在模板中使用的函数的返回类型?

lf5gs5x2  于 2024-01-09  发布在  其他
关注(0)|答案(4)|浏览(157)

我在某处有一个名为x的函数,它返回一个已知的值,并具有已知的参数:

  1. int x(int y);

字符串
我想创建一个容器来包含这个函数的n调用,然后我想执行它很多次。
问题是,我不想依赖于它是一个int返回类型。我需要在编译时推导返回类型。类似于:

  1. std::vector<result_of<x(int)>::type> results;


但我不想指定参数值,因为它们是静态的。

ssm49v7z

ssm49v7z1#

你可以创建自己的特征,比如:

  1. template <typename F> struct my_result_of;
  2. template <typename F> struct my_result_of<F*> : my_result_of<F> {};
  3. template <typename Ret, typename ... Ts>
  4. struct my_result_of<Ret(Ts...)>
  5. {
  6. using type = Ret;
  7. };
  8. template <typename F> using my_result_of_t = typename my_result_of<F>::type;

字符串
并像这样使用它(假设x没有过载):

  1. std::vector<my_result_of_t<decltype(x)>::type> results;

展开查看全部
6qqygrtg

6qqygrtg2#

假设T是调用函数的模板参数:

  1. std::vector<decltype(x(std::declval<T>()))> results;

字符串

w80xi6nr

w80xi6nr3#

您可以滥用std::function::result_type

  1. int x(int y);
  2. static_assert(std::is_same_v<int,std::function<decltype(x)>::result_type>);

字符串
当然,这只适用于x是一个函数的情况。如果x是一个任意的函数对象,那么它的结果类型可能取决于它的参数类型,在这种情况下,如果不指定参数,你就无法知道它的结果类型。

krcsximq

krcsximq4#

我假设你可以使用最新的标准修订版,因为你没有指定它。
下面是一个最小的工作示例:

  1. #include<vector>
  2. #include<functional>
  3. #include<utility>
  4. template<std::size_t... I, typename F, typename... A>
  5. auto gen(std::index_sequence<I...>, F &&f, A... args) {
  6. return std::vector<decltype(std::forward<F>(f)(args...))>{
  7. (I, std::forward<F>(f)(args...))...
  8. };
  9. }
  10. template<std::size_t N, typename F, typename... A>
  11. auto gen(F &&f, A... args) {
  12. return gen(std::make_index_sequence<N>{}, std::forward<F>(f), args...);
  13. }
  14. int f(int, char) { return 0; }
  15. int main() {
  16. auto vec = gen<10>(&f, 0, 'c');
  17. }

字符串
函数的返回类型很容易推断为:

  1. decltype(std::forward<F>(f)(args...))


我想创建一个容器来包含这个函数的n次调用。然后我想执行它那么多次。
为此,我使用std::index_sequence创建了一个大小合适的参数包。
然后向量本身被初始化如下:

  1. (I, std::forward<F>(f)(args...))...


其基本思想是利用逗号运算符来解包上面提到的参数包,并执行N次函数。f调用返回的值用于填充向量。
请注意,args并没有完全转发到f
如果在第一次执行期间消耗了可移动对象,则可能会导致问题。

展开查看全部

相关问题