我有一个类应该用于将运算符应用于标量或向量以及这些的混合2.该类可以工作,但我必须手动传递模板参数,而我希望它们从中扣除构造函数。代码如下:
template <template <class,class> class OP, typename Type1, typename Type2>
class BinaryOperator :
public OP <typename Type1::ReturnType, typename Type2::ReturnType> {
public:
BinaryOperator(Type1* arg1_, Type2* arg2_) :
m_arg1(arg1_),
m_arg2(arg2_) {
}
ReturnType evaluate() {
return this->apply(m_arg1->evaluate(), m_arg2->evaluate());
}
private:
Type1* m_arg1;
Type2* m_arg2;
};
现在,OP是一个具有完整模板特化的结构,用于Scalar / Vector的各种组合,它们是2 ctor参数的ReturnTypes。 我必须明确写出
new BinaryOperator<op_adder, Axis, Constant>(a1, c2)
虽然我只想写
new BinaryOperator<op_adder>(a1, c2)
并扣除Axis和Constant。编译器错误是:
too few template arguments for class template 'BinaryOperator'
有人可以帮忙吗?我做错了什么? 谢谢 亚历
答案 0 :(得分:5)
类类型永远不会推导出模板参数;毕竟,编译器如何知道哪些构造函数在知道您要创建的类之前要考虑哪些?
解决方案是编写辅助函数ala std::make_pair
。
template<typename T, typename U, typename V>
BinaryOperator<T, U, V> make_binary_operator(const U& u, const V& v) {
return BinaryOperator<T, U, V>(u, v);
}