C++標準庫中的模板模板參數？

Question

C++標準庫中的哪些模板（如果有）具有一個或多個模板模板參數？

如果有很多，那麼幾個例子是好的。

如果C++版本很重要，那麼C++ 14/C++ 1y的最新草案會被優先考慮。

Answer 1

我不知道C++標準庫中的任何模板被指定爲模板模板參數，但在C++ 11中至少有一個標準模板，其中部分專用帶有模板模板參數：std::pointer_traits。 std::pointer_traits<Ptr>::element_type被指定爲：

Ptr::element_type如果存在這樣的類型;否則，T如果Ptr是SomePointer<T, Args>形式的類模板實例化，其中Args是零個或多個類型參數;否則， 專業化是格式不正確。

爲了實現這個，你需要一個SomePointer的模板模板參數，因爲它可以是一個任意的類模板（只要它只有類型模板參數）。下面是libstdC++ helper類的部分專業化，例如：

template<template<typename, typename...> class _SomePtr, typename _Tp, 
      typename... _Args> 
    struct __ptrtr_elt_type<_SomePtr<_Tp, _Args...>, false> 
    { 
     typedef _Tp __type; 
    };