給定一個模板化的 class，有沒有辦法獲得“基本”/非模板類型？

Question

非常簡單，但也許不可能：給定一些T<some_type> ，有沒有辦法得到T ？ 這里有一個更好的代碼示例：

template<class T>
struct parametrized_class{
   
};

template<class T>
using make_floaty = T<float>; // this doesn't compile since T is not the "base" type

int main() {
   using int_class = parametrized_class<int>;
   using float_class = make_floaty<int_class>;
}

我不認為是，但我想確定一下。

Answer 1

你絕對可以，雖然模板不是一等公民使它有點棘手：

template <class T>
struct make_floaty;

template <template <class> class Template, class T>
struct make_floaty<Template<T>> {
    using type = Template<float>;
};

template <class T>
using make_floaty_t = typename make_floaty<T>::type;

在 Wandbox 上現場觀看

Answer 2

通過使用模板模板參數，您可以編寫一個給定模板實例化和另一種類型的特征，它“返回”具有該其他類型的實例化：

template <typename OLDINSTANTIATION,typename NEWPARAMETER>
struct replace_template_parameter;

template <template<typename...> class T,typename OLDPARAM,typename NEWPARAM>
struct replace_template_parameter< T<OLDPARAM>,NEWPARAM> {
    using type = T<NEWPARAM>;
};

make_floaty可以寫成：

template <class T>
using make_floaty = typename replace_template_parameter< T,float>::type;

完整示例：

#include <iostream>
#include <type_traits>

template<class T> struct parametrized_class{};

template <typename OLDINSTANTIATION,typename NEWPARAMETER> struct replace_template_parameter;

template <template<typename...> class T,typename OLDPARAM,typename NEWPARAM>
struct replace_template_parameter< T<OLDPARAM>,NEWPARAM> {
    using type = T<NEWPARAM>;
};

template <class T> using make_floaty = typename replace_template_parameter< T,float>::type;

int main() {
   using int_class = parametrized_class<int>;
   using float_class = make_floaty<int_class>;
   std::cout << std::is_same< float_class, parametrized_class<float>>::value;
}