c++ - 返回双精度或复数从模板函数

Question

我正在编写一些函数模板来重载*矩阵类的运算符。我对类型矩阵double和complex<double>. 是否可以编写一个返回正确类型的模板函数？例如：

template<class T, class U, class V>
matrix<V> operator*(const T a, const matrix<U> A)
{
    matrix<V> B(A.size(1),A.size(2));
    for(int ii = 0; ii < B.size(1); ii++)
    {
        for(int jj = 0; jj < B.size(2); jj++)
        {
            B(ii,jj) = a*A(ii,jj);
        }
    }
    return B;
}

我希望返回类型V由T*U. 这可能吗？

编辑：

我提出的后续问题收到的答案提供了适用于此处的其他信息。

Answer 1

在 C++11 中，您可以使用替代函数声明语法：

#include <utility> // for declval

template<class T, class U, class V>
auto operator*(const T a, const matrix<U> A) 
    -> decltype( std::declval<T>() * std::declval<U>() )
{
   //...
}