Question

因此，我有一个带有两个模板参数的类，一个是类型，一个是所使用函数的类型，它具有一个reduce函数，可将该函数重复应用于数组。但是，出现编译错误。

function_template_test.cpp: In instantiation of 'class _C<int, int(int, int)>':
function_template_test.cpp:36:33:   required from here
function_template_test.cpp:11:17: error: field '_C<int, int(int, int)>::op' invalidly declared function type
  BinaryOperator op;

这是我的代码。在主方法中，我下面有一个类和驱动程序代码。

#include<iostream>
template<typename _T>
_T addition(_T x,_T y)
{
    return x+y;
}
template<typename _T,typename BinaryOperator>
class _C
{
private:
    BinaryOperator op;
public:
    _C(BinaryOperator op)
    {
        this->op=op;
    }
    _T reduce(_T*begin,_T*end)
    {
        _T _t_=*begin;
        ++begin;
        while(begin!=end)
        {
            _t_=this->op(_t_,*begin);
            ++begin;
        }
        return _t_;
    }
    _T operator()(_T*begin,_T*end)
    {
        return this->reduce(begin,end);
    }
};
int main(int argl,char**argv)
{
    int arr[]={1,4,5,2,9,3,6,8,7};
    _C<int,decltype(addition<int>)>_c_=_C<int,decltype(addition<int>)>(addition<int>);
    std::cout<<_c_(arr,arr+9)<<std::endl;
    return 0;
}

Answer 1

您要指定函数类型作为BinaryOperator的模板参数，该参数不能用作数据成员op的类型；您可以改为函数指针类型。例如

_C<int,decltype(addition<int>)*>_c_=_C<int,decltype(addition<int>)*>(addition<int>);
//                            ^                                   ^

^{BTW：在C ++中，以下划线开头的_C之类的名称是reserved。}

Answer 2

通常，在将函数分配给函数指针时，您不需要显式添加运算符（&）的地址，因为将函数本身分配给变量是无效的，因此语言会自动将其添加为了你。但是，在函数名称上执行decltype时，您会得到函数类型而不是函数指针。例如，尝试编译以下内容，所有static_assert都应该通过：

#include <type_traits>

void foo() {}

int main()
{
    auto a = foo;
    auto b = &foo;
    static_assert(std::is_same_v<decltype(a), decltype(b)>,"a and b are function pointers");
    static_assert(!std::is_same_v<decltype(a), decltype(foo)>,"foo is not a function pointer");    
    static_assert(std::is_same_v<decltype(a), decltype(&foo)>,"&foo is a function pointer");    
}

您的代码本质上等同于：

#include <type_traits>

void foo() {}

int main()
{
    decltype(foo) c = foo;
}

哪个不编译。将其更改为此可以解决问题：

#include <type_traits>

void foo() {}

int main()
{
    decltype(&foo) c = foo;
}

您的代码的解决方法是将其更改为：

_C<int,decltype(&addition<int>)>_c_=_C<int,decltype(&addition<int>)>(addition<int>);

或者您可以通过直接构造来避免重复这些类型：

_C<int,decltype(&addition<int>)>_c_(addition<int>);

或使用auto：

auto _c_=_C<int,decltype(&addition<int>)>(addition<int>);

传递函数类型作为模板参数无法编译

2 个答案: