c ++中基于范围的for循环

Question

似乎C ++ 11中可用的“for each”语法允许在不知道数组的实际大小（元素数量）的情况下进行数组迭代。 我认为，因为它是新标准的一部分，即使对于C阵列，这也是非常安全的。 通常，在操作C数组之前，您还必须单独知道C数组的大小，但我希望任何有这种新C ++技术经验的人都可以验证它是否与您期望的完全相同：

extern float bunch[100];

for (float &f : bunch) {
  f += someNumber;
}

对于这种技术，我应该知道哪些非明显的副作用或缺点？ 它在我看到的代码中没有显示太多，可能是因为大多数代码都是在标准之前编写的。 想要确保它的罕见用法不是因为其他一些不为人知的原因。

Answer 1

这种用法没有什么奇怪或不安全的。 数组的大小在编译时是已知的，因此可以在循环中使用。 这是一个模板函数的示例，它允许您找出数组的长度：

template< class T, std::size_t N >
std::size_t length( const T (&)[N] )
{
  return N;
}

Foo f[5];
std::cout << length(f) << "\n";

这应该清楚地表明，您不能在动态大小的C风格数组上使用此技术或基于范围的循环。

当然，如果你有基于范围的循环，那么你也应该有std::array （如果没有，你可以从std::tr1或boost得到ti），所以你可以完全避免使用C风格的数组：

extern std::array<float, 100> bunch;

for (auto &f : bunch) {
  f += someNumber;
}

Answer 2

使用带阵列的基于范围的for循环是完全安全的。 我想你担心你可能会意外地在指针上使用它：

float* array = new float[100];
for (float& f : array) {
    // ...
}

不过不用担心。 在这种情况下，编译器将产生错误。 因此，在不安全的情况下，无论如何都会出现编译错误。

Answer 3

数组可以作为引用传递，并推导出它们的类型和长度。

#include <iostream>

template<typename T, size_t N>
void fun(T const (&arr)[N])
{
    for (std::size_t i = 0; i < N; ++i)
       std::cout << arr[i] << " ";
}

int main()
{
   int x[] = { 1, 2, 3 }; // no need to set length here
   fun(x); // 1 2 3, no need to specify type and length here
}