c++更通用的运算符模板

Question

所以我刚刚学习了（谢谢大家）decltype。我现在可以编写非常好的矢量模板，实际上优于 valarrays(!)：

template <typename T, typename U>
vector<decltype(T()*U())> operator*(const vector<T>& A, const vector<U>& B){
  vector<decltype(T()*U())> C = vector<decltype(T()*U())>(A.size());
  typename vector<T>::const_iterator a = A.begin();
  typename vector<U>::const_iterator b = B.begin();
  typename vector<decltype(T()*U())>::iterator c = C.begin();
  while (a!=A.end()){
    *c = (*a) + (*b);
    a++; b++; c++;
  }
  return C;
}  

是否有可能使这种模板更加“元”，因为我们允许运算符（“*”）本身作为模板参数？即，有一个适用于 *、+、% 等的模板定义，其中在 *c = (*a) op (*b) 中使用适当的运算符 op ？

我打赌不是，但那就太好了！

Answer 1

正如您所预料的，答案是“不”。 :)

但是，您可以使用预处理器来生成此类函数：

#define OPERATOR_BLOB(optype) \
    vector<…> operator optype (…) { … }

OPERATOR_BLOB(*)
OPERATOR_BLOB(+)
…

Answer 2

使用 std::declval() 而不仅仅是 T()，它可能没有默认构造函数（因为 std::vector 没有需要一个默认构造函数，仅需要一个复制构造函数）。另外，请非常确定类型和内容。参考与右值引用的正确性和转发，类可能会以不同的方式实现值、引用、const 引用、右值引用。用几个类来测试它。

另外，请注意，由于未实现的功能，返回类型提取可能不适用于 GCC 中的复合赋值运算符。

是的，我用指针包装类中的参数化宏解决了这个问题：http://frigocoder。 dyndns.org/code/Frigo/Lang/ref

例如

#define PROXY_BINARY_OPERATOR(_) \
    template <class Arg> \
    decltype(std::declval<T&&>() _ std::declval<Arg&&>()) operator _ (Arg&& arg) \
    { \
        return std::forward<T>(get()) _ std::forward<Arg>(arg); \
    } \
    template <class Arg> \
    decltype(std::declval<const T&&>() _ std::declval<Arg&&>()) operator _ (Arg&& arg) const \
    { \
        return std::forward<T>(get()) _ std::forward<Arg>(arg); \
    }