给定一个模板化的类，有没有办法获得“基本”/untemplated类型？
给定一个模板化的类，有没有办法获得“基本”/untemplated类型？
提问于 2021-04-23 23:22:48
非常简单，但可能不太可能:给定一些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>;
}我不这么认为，但我想确认一下。
回答 2
Stack Overflow用户
回答已采纳
发布于 2021-04-23 23:29:22
你当然可以，尽管模板不是一等公民会让它变得有点棘手：
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;Stack Overflow用户
发布于 2021-04-23 23:36:08
通过使用模板模板参数，您可以编写一个在给定模板实例化和另一种类型的情况下“返回”另一种类型的实例化的特征：
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;
}页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/67232693
复制相关文章
相似问题
腾讯云开发者
