返回模板函数的类型

Question

信息：

我目前正在尝试学习模板元编程（通过阅读本书 ）。 他们给出的一个有用的例子是尺寸分析。 我在书中实现了它，一切都很好; 看到这里 。

然而，我的问题是，我想使用混合类型的维度分析框架。 通过这个我的意思是你可以说一个标量的质量乘以一个矢量与加速度的维度，以给出一个矢量力。 由于它位于链接中，因此它们仅使用相同类型T进行所有操作的输入和输出。

我有一个3向量类，它具有所有必要的操作，用于乘以/除以标量等，所以我想做类似的事情

quantity<double,mass> m(1.0);
quantity<vect,acceleration> a(vect(0.0,0.0,-9.81));
quantity<vect,force> f = m*a;

第一次尝试：

为了实现这一点，我尝试将书中的示例放到处理两个不同类型作为operator*和operator/输入，但是当涉及到返回类型时，我碰到了一个墙。

我知道double * vect的返回类型是vect但是如果它们是另一种方式vect * double它仍然是一个vect 。 更差; 原则上，返回类型可以是任何东西。 所以我想要一种方法将operator*扩展为类似的东西

template<class T1, class T2, class Dim1, class Dim2>
quantity<X, typename boost::mpl::transform<Dim1,Dim2,boost::mpl::plus<_1,_2> >::type>
operator*(const quantity<T1,Dim1>& q1, const quantity<T2,Dim2>& q2)
{
    return quantity<X,
                    typename boost::mpl::transform<Dim1,Dim2,boost::mpl::plus<_1,_2> >::type>
                   (q1.value()*q2.value());
}

其中X是q1.value()*q2.value()的返回类型，并在编译时推导出。 我尝试简单地在签名中添加另一个模板类T3并让它返回T3但似乎无法推断T3应该是什么。

第二次尝试：

接下来我尝试使用decltype如下

template<class T1, class T2>
struct return_type
{
    auto mult_f(const T1& a, const T2& b)->decltype(a*b){return a*b;}
    typedef decltype(mult_f) type;
};

template<class T1, class T2, class Dim1, class Dim2>
quantity<typename return_type<T1,T2>::type, typename boost::mpl::transform<Dim1,Dim2,boost::mpl::plus<_1,_2> >::type>
operator*(const quantity<T1,Dim1>& q1, const quantity<T2,Dim2>& q2)
{
    return quantity<typename return_type<T1,T2>::type,
                    typename boost::mpl::transform<Dim1,Dim2,boost::mpl::plus<_1,_2> >::type>
                   (q1.value()*q2.value());
}

然而，这会引发许多难以理解的编译器错误。

题：

我的问题是，我是否以正确的方式使用decltype但是缺少一些语法，例如某处的typename说明符？ 要么; 甚至可以这样做，如果不是这样，如何计算函数的返回类型？

谢谢。

Answer 1

好的，所以首先类型return_type<T1,T2>::type不是你想象的那样但是是方法的类型，即T3 (return_type::*)(const T1&, const T2&)其中T3是你期待的类型。 如果要使用中间类，可以使用：

template <typename T1, typename T2>
struct return_type
{
  typedef decltype(std::declval<T1>()*std::declval<T2>()) type;
};

但您也可以直接使用decltype(T1()*T2())来获取产品的类型。

编辑 ：我使用ildjarn的建议编辑了代码，因此不需要default-constructible类型。 只是不要忘记包含<utility>