c – 是否可以使模板特化与其他类型相同
发布时间:2020-12-16 09:22:24 所属栏目:百科 来源:网络整理
导读:如果我有例如: template class Tclass MyOptional { /*...*/ }; 我知道我可以定义一个专门化,例如对于T = bool,它将具有不同的(单独的)实现: template class MyOptionalbool { /*...*/ }; 但有可能说这个T = bool专业化等于另一种类型(例如MyOptBool)吗?
如果我有例如:
template <class T> class MyOptional { /*...*/ }; 我知道我可以定义一个专门化,例如对于T = bool,它将具有不同的(单独的)实现: template <> class MyOptional<bool> { /*...*/ }; 但有可能说这个T = bool专业化等于另一种类型(例如MyOptBool)吗? class MyOptBool { /*...*/ }; using Optional<bool> = MyOptBool; /* impossible but looking for similar functionality */ 我发现的唯一想法是使用继承: class MyOptBool { /*...*/ }; template <> class MyOptional<bool> : public MyOptBool { using MyOptBool::MyOptBool; }; 第一个问题:还有更优雅的解决方案吗? (仅仅是为了好奇我有一些转换问题,等等). 第二个问题:“变通方法”是否使用继承来声明两个常用的类(在一些重要的库中等)? 解决方法
一种可能的方法允许Optional< T>以这种方式解决,即使它实际上并没有最终专门化MyOptional,本身:
template<class T> class MyOptional {}; class MyOptBool {}; template<class T> struct OptionAlias { typedef MyOptional<T> type; }; template<> struct OptionAlias<bool> { typedef MyOptBool type; }; template<typename T> using Optional = typename OptionAlias<T>::type; void foo() { Optional<int> x; Optional<bool> y; MyOptBool z=y; } (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |