c++ - 类名后的模板参数是什么意思？

Question

今天我正在研究 Visual Studio C++ 实现的源代码，偶然发现了 std::unique_ptr 的以下几行:

template<class _Ty,class _Dx>
    class unique_ptr<_Ty[], _Dx>

我理解第一行。第二行让我感到惊讶。为什么模板参数在类名后面？这意味着什么？可能与这是 unique_ptr 的数组变体有关？

Answer 1

std::unique_ptr的主模板看起来像下面这样:

template<class _Ty, class _Dx>
class unique_ptr {
    /* ... */
};

上面的模板适用于数组以外的任何类型。因此 std::unique_ptr 有一个 partial specialization对于看起来像这样的数组:

template<class _Ty, class _Dx>
class unique_ptr<_Ty[], _Dx> {
    /* ... */
};

当编译器遇到上述模板的实例时，例如作为

std::unique_ptr<int[]> foo;

它将使用专用模板而不是主模板。