别名模板的部分专业化

Question

不允许使用别名模板的部分特化：

例如，尝试创造性，在clang中产生此错误：

template <typename T>
using unwrapped_future_t = T;

template <typename T>
using unwrapped_future_t<future<T>> = typename future<T>::value_type;
                        ^~~~~~~~~~~
> error: partial specialization of alias templates is not permitted

为什么不允许这样做？

Answer 1

您可以在别名模板的原始提案中找到答案：

2.2主要选择：专业化与其他一切

在讨论了反射器和Evolution WG后，我们发现我们必须在两个相互排斥的模型之间进行选择：

1. typedef模板本身不是别名; 只有typedef模板的（可能是专用的）实例化才是别名。 这个选择允许我们对typedef模板进行专门化。

2. typedef模板本身就是一个别名; 它不能专业化。 这个选择将允许：

   • 对typedef模板函数参数的推论（见2.4）
   • 使用typedef模板表示的声明与不带typedef模板的声明相同（参见2.5）
   • typedef模板以匹配模板模板参数（参见2.6）