什么是参数值的尖括号，它的用途是什么？

Question

我习惯使用尖括号来指定类型作为参数：

vector<int> vecOfInts ;

但是在 rapidjson 中，有代码如下：

document.Parse<0>(json) ;

document.Parse 方法的签名是：

template <unsigned parseFlags>
GenericDocument& Parse(const Ch* str) {
    RAPIDJSON_ASSERT(!(parseFlags & kParseInsituFlag));
    GenericStringStream<Encoding> s(str);
    return ParseStream<parseFlags>(s);
}

我不知道您可以在尖括号内传递值 - 认为尖括号仅用于类型名称。

这里的代码在做什么，为什么他要在尖括号中传递一个值？

这是个好主意吗？什么时候？

Answer 1

这里有两个不同的因素。

首先，可以定义对类型以外的事物进行参数化的模板。例如，这是一个简单的数组类型：

template <typename T, size_t N> struct Array {
    T arr[N];
};

我们可以这样使用它：

Array<int, 137> myArray;

我们知道 vector 和 vector 是不同的类型。但现在我们还必须指出 Array 和 Array 是不同的类型。

其次，使用模板时，编译器必须能够计算出所有模板参数的值。当您使用模板类时，这就是您通常指定所有模板参数的原因。例如，您不会说 vector x，而是说类似 vector; x。使用模板函数时，大多数时候编译器可以计算出参数。例如，要使用 std::sort，您只需说类似的内容。

std::sort(v.begin(), v.end());

但是，您也可以写得

std::sort<vector<int>::iterator>(v.begin(), v.end());

更明确。但有时，您有一个模板函数，但并非所有参数都可以计算出来。在您的示例中，我们有：

template <unsigned parseFlags>
GenericDocument& Parse(const Ch* str) {
    RAPIDJSON_ASSERT(!(parseFlags & kParseInsituFlag));
    GenericStringStream<Encoding> s(str);
    return ParseStream<parseFlags>(s);
}

请注意，不能仅从函数的参数中推导出 parseFlags 模板参数。因此，要调用该函数，您必须指定模板参数，否则编译器无法识别它。这就是为什么你会写这样的内容：

Parse<0>(myString);

Here，0 是模板参数（在编译时解析），而 myString 是实际参数（在运行时解析）。

实际上，您可以拥有结合了一些类型推断和一些显式类型参数的方法。例如，在 Boost 中，有一个函数 lexical_cast 可以进行字符串类型的转换。从非字符串类型转换为字符串类型的函数签名是

template <typename Target, typename Source>
    Target lexical_cast(const Source& arg);

Here，如果你调用lexical_cast，编译器可以找出Source是什么，但它不能' t 在没有任何提示的情况下推断出 Target 。因此，要使用 lexical_cast ，您需要编写类似的内容。

std::string myString = boost::lexical_cast<std::string>(toConvertToString);

更一般地说，编译器表示您必须指定一定数量的模板参数（可选 0），并且它将尝试推导其余部分。如果可以的话，太好了！如果不是，则是编译时错误。使用这个，如果你愿意，你可以编写一个像这样的函数

template <int IntArgument, typename TypeArgment>
    void DoSomething(const TypeArgument& t) {
       /* ... */
}

要调用这个函数，你必须像这样调用它：

DoSomething<intArg>(otherArg);

在这里，这是有效的，因为你必须明确告诉编译器什么IntArgument 是，但是编译器可以从 DoSomething 的参数类型推断出 TypeArgument。

希望这有帮助！