时间戳

首页 > 解决方案 > 如何推断模板中的数组类型？

c++ - 如何推断模板中的数组类型？

问题描述

我正在编写一些简单的模板，返回一个数组，该数组是由参数发送的两个数组的值相乘的乘积。如何推断我想要返回的数组类型？

为简单起见，我指定了两个数组的大小，因为我只是好奇如何声明第三个数组。

我只能这样做：

template <typename T, typename S>
S *New_Array(T *tab, S *tab2){

   static double tab3[5]{};       

   for (int i = 0; i < 5; i ++){
      *(tab3 + i) = *(tab +i) * *(tab2 + i);
   }

   return tab3;
}

但是这种模板不是很有用...

我想也许我应该使用类似的东西：

template <typename T, typename S>
auto New_Array(T *tab, S *tab2) -> decltype(*tab * *tab2){}

但我想它只会让我以（在这种情况下）双倍的形式返回，对吗？

此外，在我想从函数模板分配返回值的 main 中也出现了与声明新数组相同的问题。所以我尝试使用 decltype：

int tab[] = {1, 2, 3, 4, 5};
double tab2[] = {1.5, 2.3, 3.6, 7.8, 9.0};

typedef decltype(*tab * *tab2) MYARR;
MYARR tab3[5]{};

但它并没有像我坚持的那样工作，现在我被我可怕的模板困住了，不知道如何继续前进。

亲切的问候，

标签： c++arraystemplates

解决方案

我建议不要使用原始数组。它们不能按值返回，因此您必须使用静态局部变量或使用动态内存分配来获取指向数组的指针。

相反，您可以使用std::array，它就像一个原始数组，但它更容易使用。如果你使用它，那么你的功能可以变成

template <typename T1, typename T2, std::size_t N>
auto New_Array(const std::array<T1, N>& tab, const std::array<T2, N>& tab2)
{
   std::array<decltype(std::declval<T1&>() * std::declval<T2&>()), N> res;

   for (int i = 0; i < N; ++i){
      res[i] = tab[i] * tab2[i];
   }
   return res;
}

推荐阅读