是否可以使模板特化与另一种类型相同

Question

如果我有例如:

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

第一个问题:还有更优雅的解决方案吗？(仅仅是为了好奇+我有一些转换问题,等等).

第二个问题: "变通方法"是否使用继承来声明两个常用的类(在一些重要的库中等)？

Answer 1

一种可能的方法,允许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;
}