这段代码（容器遍历的宏）有效吗？如果是，为什么？

Question

在 TopCoder 上的 Dmitry Korolev 教程之后，我遇到了这个 generic-container-traverse 宏：

#define tr(c,i) for(typeof((c).begin() i = (c).begin(); i != (c).end(); i++) 

它让我感到困惑，因为它似乎缺少括号。在解释中他说 typeof(...) 被表达式 (...) 的类型替换，这让我对这个遍历宏更加困惑（因为我的直觉看到 typeof (x ; y ; z) 和不会 工作，因为 x;y;z 不是一个表达式，即使它工作 typeof(...) 也会“吃掉” (...))。

有效吗？为什么？

Answer 1

#define tr(container, it) \ 
 for(typeof(container.begin()) it = container.begin(); \ 
                               it != container.end(); \
                                it++
    )

这是他写的，语法上是正确的。 BTW typeof 是一个 gcc 扩展，不能在其他编译器中工作。

如果您的编译器支持 C++0x，您可能需要使用 auto

例如，相同的宏可以在 C++0x 中编写为

#define tr(container, it) \ 
 for(auto it = container.begin(); \ 
          it != container.end(); \
          it++
    )

Answer 2

这是一个错字。应该是：

#define tr(c,i) for(typeof((c).begin()) i = (c).begin(); i != (c).end(); i++)

Answer 3

如果 typeof((c).begin() 之后有一个额外的括号，那就可以了。我不知道原始来源是什么，但如果它实际上缺少一个括号，那么原始的放置它的人可能输入错误。

#define tr(c,i) for(typeof((c).begin()) i = (c).begin(); i != (c).end(); i++)

可以用来代替容器上的 for 循环的顶行，例如：

tr(myvector, i)
{
    std::cout << *i;
}

Answer 4

这是错误的。应该是：

#define tr(c,i) for(typeof((c).begin()) i = (c).begin(); i != (c).end(); i++)