C++模板中用户自定义类型空尖括号<>的语义疑问

嘿，这个问题其实涉及到C++模板里你可能没注意到的默认模板参数用法——这是你之前了解的两种场景之外的第三种情况！

首先，先看rapidxml库中xml_node的模板定义（核心逻辑大概是这样的）：

namespace rapidxml {
    // 给模板参数Ch设置了默认值char
    template<class Ch = char>
    class xml_node {
        // ... 内部成员、方法的具体定义
    };
}

在C++中，当类模板的参数提供了默认值时，你可以在实例化模板时省略这个参数，直接写<>来表示「使用预设的默认模板参数」。所以：

• rapidxml::xml_node<>* 完全等价于 rapidxml::xml_node<char>*
• 它的语义就是：一个指向xml_node<char>类型对象的指针，而xml_node<char>是xml_node模板用默认的char类型参数实例化出来的具体类。

对比你之前熟悉的两种场景：

1. 模板全特化的template<> class X<char>是明确针对某个类型做特化实现，和这里的默认参数逻辑完全不同；
2. 函数调用add<>(1,2)是让编译器自动推导模板参数（这里推导为int），而xml_node<>*是直接使用预定义的默认参数，不需要任何推导过程。

简单来说，这个写法就是利用模板默认参数的语法糖，让代码更简洁，避免重复书写char这个默认类型。

内容的提问来源于stack exchange，提问作者ampawd