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

Question

我正在编写一些简单的模板，返回一个数组，该数组是参数发送的两个数组的值相乘的产物。我怎样才能推断出我想要返回的数组类型？

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

我只能这样做:

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]{};

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

亲切的问候，

Answer 1

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

相反，您可以使用 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;
}