c++ - 非类名 C++11 类型名是简单模板 ID？

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.

是否有可能拥有 a simple-template-idthat is atype-name但不是 a class-name？

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

（如果答案是否定的，是否还有其他原因我错过了为什么simple-template-id在下面重复type-name？）

Answer 1

这是可能的，例如：

template <typename T> using Ptr = T *;

Ptr<int> p = 0;