类型别名和自引用

Question

举个例子，一个单向链表节点可能定义如下

namespace example_part1
{
    class node
    {
        node * next;
        int value;
    }
}

假设我们只有一个整数列表。这个 class 允许有一个成员指向它自己的类型，因为指针都具有相同的大小，而不管底层数据结构的大小。

现在，为什么不允许我这样做

namespace example_part2
{
    using node = std::pair<example_part2::node *, int>;
}

?

我知道这似乎是一个愚蠢的例子，但我想知道更多这无法编译背后的原因。我实际上有类似的情况，它可能有用（不是 std::pair）。另外，假设这两个代码段来自不同的程序，即我没有节点自定义 class 以及在同一程序中作为节点别名的一对。

Answer 1

引用type alias declarations at cppreference的规范时，type-id不得直接或间接引用引入的名称：

using identifier attr(optional) = type-id ; identifier - the name that is introduced by this declaration, which becomes either a type name template-parameter-list - template parameter list, as in template declaration type-id - abstract declarator or any other valid type-id (which may introduce a new type, as noted in type-id). The type-id cannot directly or indirectly refer to identifier. Note that the point of declaration of the identifier is at the semicolon following type-id.

关于命名空间，请注意 std::pair<node *, int> 中的 node 不引用命名空间 example_part1 的 node，因此仍然是未定义的类型名称。

Answer 2

注意在 type-alias

[type-id is an] abstract declarator or any other valid type-id (which may introduce a new type, as noted in type-id). The type-id cannot directly or indirectly refer to identifier.

本质上，别名可能不是递归的。

类型别名和自引用

Type aliasing and self-referencing

c++

self-reference

type-alias