这里有两个不同的因素.
首先,可以定义除了类型之外的参数化的模板.例如,这是一个简单的数组类型:
template struct Array {
T arr[N];
};
我们可以这样使用
Array myArray;
我们知道向量< int>和载体< double>是不同的类型.但是现在我们还必须指出,Array< int> 137>和Array< int,136>是不同的类型.
其次,使用模板时,编译器必须能够找出所有模板参数的值.当您使用模板类时,这就是为什么通常指定所有模板参数的原因.例如,你不说矢量x,而是说像向量< double> X.当使用模板功能时,大多数时候编译器可以弄清楚参数.例如,要使用std :: sort,你只需要说些什么
std::sort(v.begin(),v.end());
但是,你也可以写
std::sort::iterator>(v.begin(),v.end());
更明确但是有时候,你有一个模板功能,并不是所有的参数都可以计算出来.在你的例子中,我们有:
template
GenericDocument& Parse(const Ch* str) {
RAPIDJSON_ASSERT(!(parseFlags & kParseInsituFlag));
GenericStringStream s(str);
return ParseStream(s);
}
请注意,parseFlags模板参数不能仅从函数的参数推导出来.因此,要调用该函数,必须指定template参数,否则编译器无法确定.这就是为什么你会写这样的东西
Parse<0>(myString);
这里,0是一个模板参数(在编译时解析),myString是实际的参数(在运行时解析).
您实际上可以使用组合一些类型推断和一些显式类型参数的方法.例如,在Boost中,有一个函数lexical_cast可以进行字符串类型的转换.从非字符串类型转换为字符串类型的函数签名是
template
Target lexical_cast(const Source& arg);
在这里,如果你调用lexical_cast,编译器可以弄清楚Source是什么,但是如果没有一些提示,它就不能推导出Target.因此,要使用lexical_cast,你可以写一些类似的东西
std::string myString = boost::lexical_cast<:string>(toConvertToString);
更一般地说,编译器说你必须指定一些模板参数(可选的0),它将尝试推导出其余的模板参数.如果可以的话,太棒了!如果没有,这是一个编译时错误.使用这个,如果你愿意,你可以写一个类似的功能
template
void DoSomething(const TypeArgument& t) {
/* ... */
}
要调用这个函数,你必须像这样调用它:
DoSomething(otherArg);
在这里,这是因为您必须明确告诉编译器什么是IntArgument,但是编译器可以从参数类型中推导出TypeArgument到DoSomething.
希望这可以帮助!