Question

我想为通用运算符创建一个模板类。该类将有两个表示值作为输入的结构：

struct Value {
   DataType type;
   size_t dataSize;
   char* data;    
};

我已经用oldschool switch-cases写了一个类型演绎。在将data-ptr转换为类型之后，我想对输入值应用一个操作，如下所示：

template<class Operation>
class ApplyOperation {
    Value* operator()(const Value* a, const Value* b) const {
    //find type of a and b
    //cast a and b to their types
    Operation<aT,bT> op;
    return op(a,b);
  }
};

现在我可以为每个操作编写一个像这样的小结构：

template<class A, class B>
struct Add {
  A operator()(A a, B b) const { return a + b; }
};

我见过一个名为运算符的boost类：http://www.boost.org/doc/libs/1_59_0/libs/utility/operators.htm

我想用于我的目的。但我不知道如何整合它，因为结构中的运算符不是函子。那么可以像这样使用它吗？：

ApplyOperation<boost::addable::operator+> add;
add(a,b);

实际上我正在尝试用这个类进行测试：

template<template<class T, class U, class...> class OperatorClass,class F>
struct ApplyOperator {

    template<class T, class U>
    T foo(T a, U b) {
        OperatorClass<T,U> opClass;
        return opClass.operator+(a,b);  //this works of course
    }
};

我想得到的是：

template<template<class T, class U, class...> class OperatorClass,class F>
struct ApplyOperator {

    template<class T, class U>
    T foo(T a, U b) {
        OperatorClass<T,U> opClass;
        return opClass.F(a,b);
    }
};

实例化如下：

ApplyOperation<boost::addable, operator+> add;

这当然不起作用，因为未知类型的运算符+。那么如何用模板调用operator + -function？

有没有办法解决这个问题？

Answer 1

我不确定我完全理解这个问题。但看起来您正在尝试向模板ApplyOperator提供对象实例（而不是类型）。因为operator +绝对不是一个类型而不是一个整数常量，所以它绝不能用作模板参数。您需要做的是使操作成为构造函数的参数，而不是对象的类型。

模板化类的功能作为模板参数

1 个答案: