c – 是否可以使模板特化与其他类型相同

概述如果我有例如： template <class T>class MyOptional { /*...*/ }; 我知道我可以定义一个专门化,例如对于T = bool,它将具有不同的(单独的)实现： template <> class MyOptional<bool> { /*...*/ }; 但有可能说这个T = bool专业化等于另一种类型(例如MyOptBool)吗？ 像这样的东西： cla 如果我有例如：

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;}

总结

以上是内存溢出为你收集整理的c – 是否可以使模板特化与其他类型相同全部内容，希望文章能够帮你解决c – 是否可以使模板特化与其他类型相同所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。