Question

我正在尝试学习某个项目的设计原理，我正在尝试运行代码作为示例。在这里，我尝试递归计算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”这用于获取变量的类型，这是如何工作的？

Answer 1

您的班级模板的最后一个参数是而不是一个类型！这是一个价值。也就是说，您通过了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

的定义中

Answer 2

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

请记住：所有这些类型都在 compliation 步骤中得到解决，这意味着在完成后，您必须定义放入< >括号的所有内容。所以你不能把变量放在里面。

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

正确使用模板功能

2 个答案: