<>尖括号

辛琪收录于类别 C++

2021-07-24 2021-07-24 约 1102 字预计阅读 3 分钟次阅读

< >尖括号

我习惯将尖括号用于指定类型，作为参数:

1

vector<int> vecOfInts ;

但是在rapidjson中，有这样的代码:

1

document.Parse<0>(json) ;

document.Parse方法的签名是:

1
2
3
4
5
6


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

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

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

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

最佳答案

这里有两个不同的因素。

首先，可以定义除类型以外的参数化模板。例如，这是一个简单的数组类型:

1
2
3


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

我们可以这样使用

1

Array<int, 137> myArray;

我们知道vector<int>和vector<double>是不同的类型。但是现在我们还必须指出，Array<int,137>和Array<int,136>是不同的类型。

其次，使用模板时，编译器必须能够为所有模板参数找出一个值。使用模板类时，这就是为什么通常指定所有模板参数的原因。例如，您不说vector x，而是说类似vector<double> x。使用模板函数时，大多数时候编译器可以找出参数。例如，要使用std::sort，您只需说出类似

1

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

但是，您也可以写

1

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

更明确地说。但是有时候，您有一个模板函数，对于该函数，并非所有参数都可以被找出来。在您的示例中，我们有:

1
2
3
4
5
6


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

注意，不能仅从函数的参数推导parseFlags模板参数。因此，要调用该函数，必须指定template参数，否则编译器将无法确定该参数。这就是为什么你会写类似

1

Parse<0>(myString);

此处，0是模板参数(在编译时解析)，而myString是实际参数(在运行时解析)。

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

1
2


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

在这里，如果您调用lexical_cast，则编译器可以确定Source是什么，但如果没有一些提示，就无法推断出Target。因此，要使用lexical_cast，您需要编写类似

1

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

更一般而言，编译器说您必须指定一定数量的模板参数(可选为0)，它将尝试推断其余的参数。如果可以的话，太好了!如果不是，则为编译时错误。如果需要，可以使用此代码编写类似的函数

1
2
3
4


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

要调用此函数，您必须像这样调用它:

1

DoSomething<intArg>(otherArg);

在这里，这是可行的，因为您必须显式告诉编译器IntArgument是什么，但是编译器可以从TypeArgument的参数类型推导DoSomething。

目录

<>尖括号

< >尖括号