c++ - 模板别名可以用于部分特化吗？

Question

给定模板别名

template<unsigned U>
using uint_ = integral_constant<unsigned,U>;

的偏特化

template<class T,class P>
struct size{};

作为

template <class T,unsigned U>
struct size<T,uint_<U>>{};

为 clang 3.1 生成警告，因为无法推导模板参数，而 gcc 4.7 不生成警告

那么，它是畸形代码吗？

Answer 1

代码在 C++11 中完美无缺。 Clang 的警告可以忽略。