c++ - 为什么不能将函数内部定义的结构用作 std::for_each 的仿函数？

Question

以下代码无法编译。编译器提示 *没有匹配函数来调用 for_each*。为什么会这样？

#include <map>
#include <algorithm>

struct Element
{
    void flip() {}
};

void flip_all(std::map<Element*, Element*> input)
{
    struct FlipFunctor
    {
        void operator() (std::pair<Element* const, Element*>& item)
        {
            item.second->flip();
        }
    };

    std::for_each(input.begin(), input.end(), FlipFunctor());
}

当我将 struct FlipFunctor 移动到函数 flip_all 之前时，代码会编译。

完整错误信息:

no matching function for call to ‘for_each(std::_Rb_tree_iterator<std::pair<Element* const, Element*> >, std::_Rb_tree_iterator<std::pair<Element* const, Element*> >, flip_all(std::map<Element*, Element*, std::less<Element*>, std::allocator<std::pair<Element* const, Element*> > >)::FlipFunctor)’

Answer 1

std::for_each 是一个函数模板；模板参数之一是函数参数的类型。

您不能将本地类型用作模板参数。这只是当前语言中的一个限制。在即将到来的 C++ 修订版 C++0x 中，此限制被删除，因此您可以使用本地类型作为模板参数。

Visual C++ 2010 已经支持使用本地类作为模板参数；其他编译器的支持可能会有所不同。我猜测任何支持 C++0x lambda 的编译器也将支持使用本地类作为模板参数(这可能不完全正确，但它是有道理的)。