7

以下代码将无法编译。编译器抱怨*没有匹配函数调用 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在 function 之前移动时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)'</p>

4

2 回答 2

13

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

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

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

于 2010-12-29T02:02:55.333 回答
0

当我尝试编译您的代码时，我得到一个不同的错误：

错误：'flip_all(__gnu_debug_def::map, std::allocator > >)::FlipFunctor' 使用本地类型'flip_all(__gnu_debug_def::map, std::allocator > >)::FlipFunctor'

这实际上是意料之中的，因为函数本地类型（例如这里的 FlipFunctor）具有内部链接，而模板类型必须具有外部链接。由于 std::for_each 的第三个参数是一个模板，因此您不能将函数本地类型的东西传递给它。

于 2010-12-29T02:00:29.783 回答