Question

我一直在尝试创建这个类，它可以使用默认的仿函数作为参数，或者用户可以根据需要提供一个。但我无法将函数指针作为模板参数传递。能否帮助我理解我所缺少的东西。

template <typename T>
struct CheckFunctor
{
    bool operator()(T obj)
    {
        return true;
    }
};



template <typename _Ty,
class _Pr = CheckFunctor<_Ty>
>
class MyClass
{
    typedef _Ty                     mapped_type;
    typedef _Pr                     CanBeCleaned_type;

    _Ty data;
    CanBeCleaned_type predicate;

public:  

    void SomeMethod()
    {
            if( predicate(data))
            {
              std::cout << "Do something";
            }
    }
       MyClass(_Ty timeOutDuration, _Pr pred = _Pr())
        : data( timeOutDuration), predicate( pred)
    {}   
};

template< typename T>
struct CheckEvenFunctor
{
   bool operator()(T val)
    {
       return (val%2 == 0);
    }
};


bool CheckEven( int val)
{
    return (val%2 == 0);
}

int main()
{
//Usage -1
    MyClass<int> obj1( 5);

//Usage- 2
 MyClass< int, CheckEven> obj2(6, CheckEven);  //Error: 'CheckEven' is not a valid template type argument for parameter '_Pr'

 //Usage -3 
 MyClass<int, CheckEvenFunctor<int>>( 7);
}

Answer 1

您尝试将CheckEven作为类型参数传递，即使CheckEven不是类型而是函数（类型bool(int)）。您应该将类型定义为指向要传递的函数类型的指针。 decltype在这里很方便：

MyClass< int, decltype(&CheckEven)> obj2(6, CheckEven);

您还可以创建工厂函数，让编译器推导出模板参数：

template<class T, class F>
MyClass<T, F> makeClass(T timeOutDuration, F pred) {
    return {timeOutDuration, pred};
}

auto obj2 = makeClass(6, CheckEven);

Answer 2

可以允许模板参数成为函数，但是MyClass期望第二个参数是类型，而不是函数。您可能认为可以使用模板特化来允许您定义MyClass以在第二个模板参数中使用函数，但它不起作用。模板特化允许您修改MyClass对于作为模板参数传递的特定类型的行为，但这些类型仍必须匹配MyClass的模板定义，即两个参数是类型。< / p>

您可以通过将第二个参数设置为不同答案中建议的函数指针类型来修改您实例化的MyClass的类型，但是您将失去模板扩展的优势，使您可以内联调用函数。另一种解决方案是创建一个帮助类，将您的函数转换为仿函数，并使用它来创建MyClass实例。

template <bool P (int)>
struct F {
    bool operator()(int obj) { return P(obj); }
};

//...
MyClass<int, F<CheckEven> > obj2(6);

C ++：函数指针作为Template参数而不是functor

2 个答案: