Question

在这种二进制树不是二叉搜索树的情况下，模板中只有一个类型为T的参数。如main函数所示，我不需要显式min_height（v，0,5），但min_height（v，0,5）就足够了。但是，在二叉搜索树的情况下，有两个模板参数，用法不起作用。我想知道为什么？非常感谢你！

#include <iostream>
#include<string>
#include<vector>
using namespace std;
template<typename T>
struct BTNode{
 T data;
 BTNode * left;
 BTNode * right;
 BTNode(T d, BTNode *left=NULL, BTNode * right=NULL): data(d) {} 
 };

template<typename T>
BTNode<T>* min_height(vector<T> &v, int left, int right ){// here is different from my paper code

 if(left<=right){
    int mid=left+ (right-left)/2;
    BTNode<T>* node=new BTNode<T>(v[mid]);
    node->left=min_height(v, left, mid-1 );
    node->right=min_height(v, mid+1, right );
    return node;
    }
}

int main() {
  vector<int> v;
  v.push_back(1);
  v.push_back(2);
  v.push_back(3);
  v.push_back(4);
  v.push_back(5);
  v.push_back(6);
  BTNode<int>* root=min_height(v, 0, 5);

  return 0;
}

Answer 1

因为在单个模板参数T的情况下，您在其中一个参数中使用T，第一个参数是矢量＆amp; v。所以当编译器看到行

时

BTNode<int>* root=min_height(v, 0, 5);

在main（）中它试图推导出T的类型，看到第一个参数v的类型为vector<int>，并且可以推导出T = int。

在上一个问题的另一种情况下，第二个模板参数Value不在传递给min_height函数的任何类型中。它只是在返回的类型中，但是C ++不能从返回值的类型中推断出模板参数类型，只能从传入的参数的类型中推断出来，所以它无法确定要用于Value的类型，你必须使用min_height<int,int>明确指定它。

扣除模板参数继续

1 个答案: