如何推断模板中的数组类型？答案

【问题标题】：How to deduce array type in template?如何推断模板中的数组类型？
【发布时间】：2019-08-26 20:05:36
【问题描述】：

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

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

我只能这样：

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++ arrays templates

【解决方案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;
}

【讨论】：

但我不会使用common_type，而是decltype (tab[0] * tab2[0]) ;-)
@Jarod42 是的，我越看越觉得使用代理类型时可能是错误的。我会做同样的事情，但会有所不同；）
感谢你们两位，这正是我所寻找的。我需要阅读有关 std::array 的更多信息，然后研究您的解决方案，因为我之前没有使用它。

【解决方案2】：

C-array 有很多限制，因为你不能返回它们，更好更容易使用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<std::decay_t<decltype(tab[0] * tab2[0])>, N>
{
   std::array<std::decay_t<decltype(tab[0] * tab2[0])>, N> res;

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

有用法

std::array<int, 5> tab{{1, 2, 3, 4, 5}};
std::array<double, 5> tab2{{1.5, 2.3, 3.6, 7.8, 9.0}};

auto tab3 = New_Array(tab, tab2); // auto is std::array<double, 5>

【讨论】：