为什么函数内定义的结构不能用作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 ，代码编译。

完整的错误消息：

没有用于调用'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 lambdas的编译器也支持使用本地类作为模板参数（这可能不完全正确，但它会有意义）。

Answer 2

我尝试编译代码时遇到了不同的错误：

错误：'flip_all（__ gnu_debug_def :: map，std :: allocator >>）:: FlipFunctor'使用本地类型'flip_all（__ gnu_debug_def :: map，std :: allocator >>）:: FlipFunctor'

这实际上是预期的，因为函数本地类型（例如此处的FlipFunctor）具有内部链接，并且模板类型必须具有外部链接。 由于std :: for_each的第三个参数是模板，因此您无法将函数本地类型传递给它。