非簡單模板標識的非類名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;