G ++,clang ++和std :: function

Question

我刚刚在C++ 11中使用了新的std :: function,我编写了一个用clang ++ 3.2和Intel C++编译器13.1编译但不用g ++ 4.8编译的例子.在我将此报告为错误之前,我想我会检查我是不是做了一些非常愚蠢的事情,而且这应该实际编译.那么,以下代码是否有效c ++ 11？

template <typename C>
void map(C& c, std::function<typename C::value_type(typename C::value_type)> f)
{
    for(auto& x : c) {
        x = f(x);
    }
}

int main()
{
    std::vector<int> v;
    v.push_back(1);
    v.push_back(2);
    v.push_back(3);
    map(v, [](int x) { return x+2; });

    for(auto x : v) {
        std::cout << x << std::endl;
    }
}

我意识到这段代码并不是很有用,但令我感到奇怪的是clang和Intel C++编译它并且gcc没有.

编辑:当传递map函子或函数指针时,gcc也不会编译相同的代码:

struct {
    int operator() (int a) {
        return a+2;
    }
} add2s;
map(v, add2s);

int add2 (int a) {
    return a+2;
}
map(v,add2);

clang和icpc也编译这两个.

Answer 1

这是一个G ++错误,它可以简化为以下不使用的示例std::function(或标准库中的任何内容):

template<typename T>
struct function
{
    function(int)
    { }
};

struct V {
  typedef int value_type;
};

template <typename C>
void map(C&, function<typename C::value_type>)
{
}

int main()
{
  V v;
  map(v, 1);
}

我已经将它作为PR 56874报告给bugzilla .该问题与lambdas无关,而与非推导上下文中的类型无关,导致参数推断失败.