非简单模板标识的非类名C++ 11类型名称？

Question

在C++ 11标准其描述type-name和class-name具有以下语法：

type-name: 
    class-name 
    enum-name 
    typedef-name 
    simple-template-id  <--- HERE 

class-name: 
    identifier 
    simple-template-id 

我的问题是关于simple-template-id那就是type-name的嫡系。

是否有可能有一个simple-template-id这是一个type-name但不是class-name？

例如，如果foo<bar>命名一个类型，它可以永远是非类类型吗？

（如果答案是否定的，是有我丢失为什么simple-template-id是type-name下重复其他原因？）

Answer 1

这是可能的，例如：

template <typename T> using Ptr = T *; 

Ptr<int> p = 0;