功能模板作为成员 - GCC与CLANG

时间:2016-05-10 11:15:10

标签: c++ c++11 clang++

请考虑以下代码:

#include <type_traits>
#include <utility>

template <typename F>
class function
{
public:
//  using function_type = typename std::decay<F>::type;
    using function_type = F;

    function(F func)
        : function_(func)
    {
    }

private:
     function_type function_;
};

template <typename F>
function<F> make_function(F&& func)
{
    return function<F>(std::forward<F>(func));
}

double f1(double)
{
    return 0.0;
}

template <typename T>
T f2(T)
{
    return T();
}

int main()
{
    // works in both cases
    make_function(f1);

    // needs decay (with CLANG)
    make_function(f2<double>);
}

function旨在成为任何Callable的简单包装器。代码用GCC编译好(我从git存储库测试了4.9.2和7.0.0 20160427)。然而,clang(3.5.0)抱怨:

function.cpp:17:17: error: data member instantiated with function type 'function_type' (aka 'double (double)')
         function_type function_;
                       ^
function.cpp:55:2: note: in instantiation of template class 'function<double (double)>' requested here
        make_function(f2<double>);

这是GCC的错误吗?如果变量是一个参数(在make_function和构造函数中),为什么它可以工作,但如果它是一个成员变量呢?腐烂(已整理出来)是在正确的位置还是应该将其移至make_function?如果我传递函数(f1)或函数模板的显式即时(f2),为什么会有所不同?

1 个答案:

答案 0 :(得分:1)

正如评论员指出的那样,这是Clang中的错误。

代码开始使用GCC 4.7.1(也许甚至是4.7?)和Clang 3.7进行编译:请参见GodBolt