正确使用模板函数

Using Template Function properly

本文关键字：函数      更新时间：2023-10-16

我正在尝试学习一些项目的设计原理，我正在尝试运行作为示例给出的代码。在这里，我试图递归地计算n维中两点之间的距离，我可以通过许多其他方法来实现这段代码的目标，但我只想具体理解这种情况。（我想学习语法）

这是我的代码

 template <typename P1, typename P2, int D>
 struct pythagoras
 {
    typedef typename select_most_precise
    <
        typename coordinate_type<P1>::type,
        typename coordinate_type<P2>::type
    >::type computation_type;
    static  double apply(P1 & a, P2 & b)
    {
       double d = get<D-1>(a) - get<D-1>(b);
       return d * d + pythagoras<P1, P2, D-1>::apply(a, b);
    }
};
int main ()
{
   tuple<int,int> mytuple (10,20),two (10,20);
   int f=2;
   double h=pythagoras<tuple<int,int>,tuple<int,int>,int>::apply(mytuple,two,f);
   cout << h;
}

问题：

1-我正在获取错误需要类型为"int"的常量，得到的是"int"，我该如何解决？

2-错误的实际含义是什么？

3-代码"Typedef"到"computation_type"这是用来获取变量的类型的，这是如何工作的？

类模板的最后一个参数是而不是类型！这是一种价值。也就是说，您传递了int，其中需要int类型的常量，如2。你可以使用类似的类模板

double h=pythagoras<tuple<int,int>, tuple<int,int>, 2>::apply(mytuple, two);

据推测，实际上有一个函数只是将这种类型作为辅助工具。至少，我预计会有类似的东西

template <typename T1, typename T2>
double compute_pythagoras(T1 const& t1, T2 const& t2) {
    return pythagoras<T1, T2, std::tuple_size<T1>::value>::apply(t1, t2);
}

我没有看到computation_type被使用。似乎的意图是根据元组（或类似元组的实体）的元素类型来确定合适的计算类型。它的实际选择是在select_most_precise 的定义中

您定义了template <typename P1, typename P2, int>，因此在定义结构示例时，应该在其中放入一个实际的文本，例如：pythagoras<tuple<int,int>, tuple<int,int>, 123123>。

记住：所有这些类型都在编译步骤中解析，这意味着编译后，必须定义放入< >括号中的所有内容。所以你不能在里面放一个变量。

如果需要，可以将f作为构造函数的参数放入结构中。

相关文章：