让C++自定义foreach宏更加简洁

Question

我有一个自定义的C++宏来模拟foreach循环：

#define foreach(TYPE, ELEMENT, COLLECTION_TYPE, COLLECTION)\
for(COLLECTION_TYPE::iterator ELEMENT##__MACRO_TEMP_IT = COLLECTION.begin(); ELEMENT##__MACRO_TEMP_IT != COLLECTION.end(); ELEMENT##__MACRO_TEMP_IT++) \
{ TYPE ELEMENT = *(ELEMENT##__MACRO_TEMP_IT);

我知道有其他的方法来完成foreach循环——可以使用C ++ 11，STL，Qt或Boost的foreach函数，但是为了练习，我尝试自定义解决方案。

问题是，这个宏要么以两个括号结尾（“}}”），要么省略第一个括号并以一个括号结尾，就像这样：

foreach(int, i, std::list<int>, indexes)
{
   //do stuff
}}

或者

foreach(int, i, std::list<int>, indexes)

   //do stuff
}

我在想：有没有一个聪明的宏变通方法来解决这个问题，使得可以按照以下方式使用这个宏？

foreach(int, i, std::list<int>, indexes)
{
   //do stuff
}

- Hydren

---

任何范围内包含 __ 的标识符都是保留的。 - Piotr Skotnicki

Answer 1

#define foreach(TYPE, ELEMENT, COLLECTION_TYPE, COLLECTION)\
for(COLLECTION_TYPE::iterator ELEMENT##MACRO_TEMP_IT = (COLLECTION).begin(); ELEMENT##MACRO_TEMP_IT != (COLLECTION).end(); ++ELEMENT##MACRO_TEMP_IT)\
for(bool ELEMENT##MACRO_B = true; ELEMENT##MACRO_B;)\
for(TYPE ELEMENT = *(ELEMENT##MACRO_TEMP_IT); ELEMENT##MACRO_B; ELEMENT##MACRO_B = false)

测试：

#include <iostream>
#include <list>

int main()
{
    std::list<int> indexes{1, 2, 3};

    foreach(int, i, std::list<int>, indexes)
    {
        std::cout << i << std::endl;
    }

    foreach(int, i, std::list<int>, indexes)
        std::cout << i << std::endl;

    std::list<std::list<int>> listOfLists{{1, 2}, {3, 4}};
    foreach(std::list<int>&, li, std::list<std::list<int>>, listOfLists)
        foreach(int, i, std::list<int>, li)
            std::cout << i << std::endl;
}

DEMO

- Piotr Skotnicki

---

考虑使用 ++ELEMENT##_MACRO_TEMP_IT 替代：https://dev59.com/tHVD5IYBdhLWcg3wTJvF - Beta Carotin

使用 TYPE 的引用会更加简洁吗？像这样 for(TYPE& ELEMENT = ... - Hydren

@Hydren 让用户决定是更好的选择，例如 foreach(int&, ...。 - Piotr Skotnicki

当集合是const时，我遇到了一个问题。这会导致.begin()函数返回一个const_iterator。也许一个单独的const_foreach版本应该解决这个问题（在宏中用::const_iterator替换::iterator）。 - Hydren