Qt中foreach详解

今天改Qt代码时突然看到foreach，心血来潮想研究一下。

define foreach Q_FOREACH

在看这个Q_FOREACH之前，我先贴出一些类、函数和宏名

//这是一个空结构体，大概作为一个抽象吧

struct QForeachContainerBase {};

//QForeachContainer 继承QForeachContainerBase 

template <typename T> //T是传进来的container对象，比如qvector，qlist等
class QForeachContainer : public QForeachContainerBase {
public:
    inline QForeachContainer(const T& t): c(t), brk(0), i(c.begin()), e(c.end()){}
    const T c;
    mutable int brk;
    mutable typename T::const_iterator i, e;
    inline bool condition() const { return (!brk++ && i != e); }
};

PS：在C++中，mutable也是为了突破const的限制而设置的。被mutable修饰的变量，将永远处于可变的状态，即使在一个const函数中。

//返回一个QForeachContainer对象

template <typename T> inline QForeachContainer<T> qForeachContainerNew(const T& t)
{ return QForeachContainer<T>(t); }

//把基类QForeachContainerBase 转换成派生类QForeachContainer

inline const QForeachContainer<T> *qForeachContainer(const QForeachContainerBase *base, const T *)
{ return static_cast<const QForeachContainer<T> *>(base); }

//返回值为0的T*指针

template <typename T> inline T *qForeachPointer(const T &) { return 0; }

下面来看Q_FOREACH宏，被吓到没有，耐心看吧。

# define Q_FOREACH(variable, container) \

    for (const QForeachContainerBase &_container_ = qForeachContainerNew(container); \
         qForeachContainer(&_container_, true ? 0 : qForeachPointer(container))->condition();       \
         ++qForeachContainer(&_container_, true ? 0 : qForeachPointer(container))->i)               \
        for (variable = *qForeachContainer(&_container_, true ? 0 : qForeachPointer(container))->i; \
             qForeachContainer(&_container_, true ? 0 : qForeachPointer(container))->brk;           \

             --qForeachContainer(&_container_, true ? 0 : qForeachPointer(container))->brk)

来说说for的退出条件qForeachContainer(&_container_, true ? 0 : qForeachPointer(container))->condition();

true ? 0 : qForeachPointer(container)看着很诡异吧？

很明显，这句话的运行结果始终都是0！注意 X ? Y : Z 这种语法有一个潜在的规则，就是Y和Z的类型是一致的。

所以这句话的作用就是保证类型一致，也就是保证了一个空指针的类型是qForeachPointer(container)类型的。

再来看inline bool condition() const { return (!brk++ && i != e); }

第一次的时候brk为0，所以!brk++是真，并且i != e也是真（假设容器非空），接着进入内层for循环

variable 被设置成container第一个元素，因为brk是1，所以进入循环，然后brk又减为0了，所以下一次直接退出第二层循环。这是第一层循环已经指向brk的下一个元素。

所以最终效果就是遍历container一遍，每次variable都被设置成container中当前的元素。

有人要问为什么这个宏那么费劲要写两个循环？我的答案是因为一个循环写不完，哈哈，是不是有种被骗的感觉？

自己琢磨吧，只能意会不能言传。。主要是我也不是完全懂，没办法回答你。。