传递一个仿函数作为C++模板参数

Question

作为我个人启发的练习，我使用表达式模板实现了向量数学。我想实现一些将所有元素应用到一个向量表达式的相同一元函数的操作。到目前为止，我这样做。

我的基本矢量表达式模板实现这样

template <typename E> 
class VectorExpr { 
public: 
    int size() const { return static_cast<E const&>(*this).size(); } 

    float operator[](int i) const { return static_cast<E const&>(*this)[i]; } 

    operator E&() { return static_cast<E&>(*this); } 

    operator E const&() const { return static_cast<const E&>(*this); } 
}; // class VectorExpr 

然后，应该是一个向量看起来像这样

class Vector2 : public VectorExpr<Vector2> { 
public: 
    inline size_t size() const { return 2; } 

    template <typename E> 
    inline Vector2(VectorExpr<E> const& inExpr) { 
    E const& u = inExpr; 
    for(int i = 0; i < size(); ++i) 
     mTuple[i] = u[i]; 
    } 

private: 
    float mTuple[2]; 
}; 

比方说，我想申请STD对象::罪到表达式的所有元素

template <typename E> 
class VectorSin : public VectorExpr<VectorSin<E> > { 
    E const& mV; 

public: 
    VectorSin(VectorExpr<E> const& inV) : mV(inV) {} 

    int size() const { return mV.size(); } 

    float operator [] (int i) const { return std::sin(mV[i]); } 
}; 

Question =>如果我想添加更多函数，复制粘贴我为sin函数执行的操作，对于每个函数（如cos，sqrt，fabs等）。我怎样才能避免这种复制粘贴？我尝试了一些东西，发现我的模板功能还很低。无升压允许^^

Answer 1

template <typename F, typename E> 
class VectorFunc : public VectorExpr<VectorFunc<F, E> > { 
    E const& mV; 

public: 
    VectorSin(VectorExpr<E> const& inV) : mV(inV) {} 

    int size() const { return mV.size(); } 

    float operator [] (int i) const { return f(mV[i]); } 

    // this assumes the Functor f is default constructible, this is 
    // already not true for &std::sin. Adding the constructor that 
    // takes f, is left as an exercise ;) 
    F f; 
}; 

Answer 2

除了答复pmr，标准<cmath>功能不仿函数，所以你不能直接使用它们来指定类的唯一特例 - 即你不会为std :: sin与std :: cos有一个单独的模板实例化（这是我收集的你的目标？纠正我，如果我误解了你的话）。

您可以创建一个包装器，以便将函数指针映射到不同的类型，例如，

#include <iostream> 

template< void (*FuncPtr)() > struct Func2Type 
{ 
    void operator()() { FuncPtr(); } 
}; 

void Hello() { std::cout << "Hello" << std::endl; } 
void World() { std::cout << "world" << std::endl; } 

int main() 
{ 
    Func2Type<Hello> test1; 
    Func2Type<World> test2; 
    test1(); 
    test2(); 
} 

这样，你可以用它们作为模板参数以同样的方式作为一个正常的函数子类