c语言中能否将模板特化应用于与原模板相同类型实现？

本文共计408个文字，预计阅读时间需要2分钟。

如果您希望将上述内容简化并直接输出结果，以下是一个简化的版本：

若我有如下示例：`template class MyOptional { /*...*/ };` 我知道我可以定义一个特定类型，例如`T=bool`，这将具有不同的实现。但有人可能会说`T=b`。

如果我有例如：

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