c++ - 如何让 for_each 使用模板？

Question

我是 c++ 的新手，正在尝试了解 for_each 的工作原理。所以我想看看它是如何与模板一起工作的，并尝试了这段代码，但它给出了一个错误

当我尝试在 main 中使用 for each 时，它正常工作

template <class T>
void forEachTest(T a[])
{
    for (int x : a)
        cout << x << endl;
}
int main()
{
    int a[5] = { 10, 50, 30, 40, 20 };
    forEachTest(a);
    return 0;
}

Answer 1

I am new to c++ and am trying to understand how for_each works

如果您指的是 range-based for-loop 作为 for_each 这里，它只是 iterator based loop 的语法糖，适用于定义了 begin 和 end 成员函数的任何对象。

auto&& __range = range_expression;                     // (until C++17)
for (auto __begin = begin_expr, __end = end_expr; __begin != __end; ++__begin) 
{
    range_declaration = *__begin;
    loop_statement
}

数组的开始和结束迭代器(例如int a[size])可以很容易地通过a<找到 和 a + size 分别为 iterators are generalizations of pointers 。因此，无论何时遍历数组(在基于范围的 for 循环中)，编译器都应该知道底层数组的大小。

在您的版本中，传递的数组将被推断为 int*(没有可用的大小信息)而不是实际类型 int a[5]。

有几个选项可以将传递的数组推导为实际类型:

• 选项 - 1:为数组的大小提供一个非类型参数，使用以下语法。

  template <typename T, std::size_t N>
  void forEachTest(T const (&a)[N])
  //               ^^^^^^^^^^^^^^^^
  {
   for (int x : a)
       std::cout << x << std::endl;
  }
  

• Option - 2:通过 const - reference 传递它，因为值不是在函数内部被修改。

  template <typename T>
  void forEachTest(T const (&a))
  //              ^^^^^^^^^^^^
  {
   for (int x : a)
       std::cout << x << std::endl;
  }
  

• 选项 - 3: forward the array perfectly 带有转发引用。

  template <typename T>
  void forEachTest(T&& a)
  //               ^^^^^^
  {
   for (int x : a)
       std::cout << x << std::endl;
  }