C ++ 11基于范围的循环,没有循环变量

时间:2013-07-17 22:52:55

标签: c++ c++11

在C ++中我需要迭代一定次数,但我不需要迭代变量。例如:

for( int x=0; x<10; ++x ) {
    /* code goes here, i do not reference "x" in this code */
}

我意识到我可以通过用lambda或named函数替换“code goes here”来做到这一点,但这个问题特别针对for循环。

我希望C ++ 11基于范围的for循环能有所帮助:

for( auto x : boost::irange(0,10) ) {
    /* code goes here, i do not reference "x" in this code */
}

但上面给出了一个“未引用的局部变量”,因为我从未明确引用x。

我想知道是否有更优雅的方法来编写上面的for循环,以便代码不会生成“未引用的局部变量”警告。

10 个答案:

答案 0 :(得分:41)

现在

编辑,声明的循环变量减少了100%。

template <typename F>
void repeat(unsigned n, F f) {
    while (n--) f();
}

将其用作:

repeat(10, f);

repeat(10, [] { f(); });

int g(int);
repeat(10, std::bind(g, 42));

查看生活在http://ideone.com/4k83TJ

答案 1 :(得分:18)

可能有办法做到这一点,但我非常非常怀疑它会更优雅。你在第一个循环中所拥有的是正确的方法,限制了循环变量的范围/生命周期。

我只是忽略未使用的变量警告(它只是编译器指示某些可能错误,毕竟)或使用编译器工具(如果可用)来简单地关闭警告那时候。

根据您的环境,某些#pragma可能会出现这种情况,或者某些实现允许您执行以下操作:

for (int x = 0; x < 10; ++x) {
    (void)x;

    // Other code goes here, that does not reference "x".
}

我已经看到void技巧用于函数体中未使用的参数。

答案 2 :(得分:9)

假设10是编译时常量...

#include <cstddef>
#include <utility>
template<std::size_t N>
struct do_N_times_type {
  template<typename Lambda>
  void operator()( Lambda&& closure ) const {
    closure();
    do_N_times_type<N-1>()(std::forward<Lambda>(closure));
  }
};
template<>
struct do_N_times_type<1> {
  template<typename Lambda>
  void operator()( Lambda&& closure ) const {
    std::forward<Lambda>(closure)();
  }
};
template<>
struct do_N_times_type<0> {
  template<typename Lambda>
  void operator()( Lambda&& closure ) const {
  }
};

template<std::size_t N, typename Lambda>
void do_N_times( Lambda&& closure ) {
  do_N_times_type<N>()( std::forward<Lambda>(closure) );
};
#include <iostream>
void f() {
  std::cout << "did it!\n";
}
int main() {
  do_N_times<10>([&]{
    f();
  });
}

或只是

int main() {
  do_N_times<10>(f);
}

其他荒谬的方法:

编写一个范围迭代器(我称之为我的index),它产生一系列迭代器上的积分类型(我默认为std::size_t)。然后输入:

for( auto _:index_range(10) )

使用变量(_),但看起来非常令人困惑。

另一个疯狂的方法是创建一个类似python的生成器。编写一个生成器包装器,它接受一个可迭代的范围并生成一个在该范围的std::optional上返回value_type的函数并不棘手。

我们可以这样做:

auto _ = make_generator( index_range(10) );
while(_()) {
}

也会创建一个临时变量,而且更加迟钝。

我们可以编写一个在生成器上运行的循环函数:

template<typename Generator, typename Lambda>
void While( Generator&& g, Lambda&& l ) {
  while(true) {
    auto opt = g();
    if (!opt) return;
    l(*opt);
  }
}

然后我们称之为:

While( make_generator( index_range(10) ), [&](auto&&){
  f();
});

但这会在函数中创建一些临时变量,并且比上一个更加荒谬,并且依赖于C ++ 1y的功能,这些功能甚至还没有最终确定。

那些试图创建无变量方法重复10次的方法。

但实际上,我只是做了循环。

您几乎可以通过输入x=x;

来阻止警告

或写一个函数

template<typename Unused>
void unused( Unused&& ) {}

并调用unused(x); - 使用变量x,并将其名称删除,因此编译器可能不会在内部发出警告。

所以试试这个:

template<typename Unused>
void unused( Unused&& ) {}
for(int x{};x<10;++x) {
  unused(x);
  f();
}

应该抑制警告,实际上很容易理解。

答案 3 :(得分:7)

实际上有一种方法可以使这项工作。您需要做的就是返回std::array,其长度由您提供的常量指定:

template <int N>
using range = std::array<int, N>;

int main()
{
    for (auto x : range<5>())
    {
        std::cout << "Awesome\n";
    }
}

输出:

  

真棒
  真棒
  真棒
  真棒
  真棒

Here is a demo.

注意:假设范围说明符是编译时常量,因此如果必须使用变量,请确保它有效地标记为constexpr

答案 4 :(得分:4)

没有任何方法可以为简单地迭代多个数字而创建一个基于工作的范围。

C ++ 11基于范围的循环需要一个范围表达式,可能是:

  • 数组或
  • 有一个班级
    • 会员功能begin()end()
    • 提供免费功能begin()end()(通过ADL)

除此之外:基于范围产生一些开销:

for ( for_range_declaration : expression ) statement

扩展为

range_init = (expression)
{
  auto && __range = range_init;
  for ( auto __begin = begin_expr,
  __end = end_expr;
  __begin != __end;
  ++__begin ) {
    for_range_declaration = *__begin;
    statement;
  }
}

通过数组检查或begin() / end()对获取begin_expr和end_expr。

我认为这不比简单的for循环更“干净”。特别是在性能方面。 没有电话,只是一个简单的循环。

我能想出的唯一方法是让它更优雅(优雅明显受我的意见影响)是在这里使用尺寸或无符号类型:

for(size_t x(0U); x<10U; ++x) f();

答案 5 :(得分:4)

在我看来,你滥用基于范围的循环。当逻辑为:“集合中的每个元素执行某些操作”时,应使用基于范围的循环。整个想法是摆脱索引变量,因为它并不重要。如果您有一个集合,则应使用必要的API对其进行检测,以启用基于范围的迭代。如果您没有集合,那么您就没有业务可以使用基于范围的循环(实际上,这就是编译器以不那么信息的方式所暗示的)。在这种情况下,正常的for / while循环是自然的选择。

答案 6 :(得分:4)

https://stackoverflow.com/a/21800058/1147505中已经得到了最好的回答:如何定义要在整个代码库中使用的UNUSED宏,这会抑制此警告。以便携的方式。

答案 7 :(得分:3)

您可以将STL与lambda表达式一起使用。

#include <algorithm>
#include <iostream>

int main() {
    int a[] = {1,2,3,4,5,6};

    std::for_each(std::begin(a),
            std::end(a),
            [](int){std::cout << "Don't care" << std::endl;});
}

此方法也适用于任意容器,如矢量或列表。设vector<int> a,然后拨打a.begin()a.end()。请注意,您还可以使用函数指针而不是lambda表达式。

以上内容保留了使用foreach的概念,同时没有抱怨未使用的参数。

答案 8 :(得分:1)

这适用于GCC和clang以及任何支持gnu属性的编译器:

for( [[gnu::unused]] auto x : boost::irange(0,10) ) {

并且应该在任何c ++ 11编译器中编译,但如果编译器无法识别gnu属性,则可能无法抑制警告。

答案 9 :(得分:0)

要参加比赛:

#include <iostream>
#include <boost/range/irange.hpp>
using namespace std;
using namespace boost;

namespace {
    template<typename T> inline void 
    unused(const T&) {}
}

int main() {
    for (auto&& i : irange(0,10)) {
        unused(i);
        cout << "Something" << endl;
    }
    return 0;
}