在其他使用声明中使用它之前，先声明一个使用声明

问题描述

是否可以在使用之前声明使用声明？

我想做类似的事情：

using V = std::vector< V >;

或类似：

using X,Y; // declaring X and Y
using Node = std::variant< X,Y >;
using X = std::unordered_vector< Node >;
using Y = std::vector< Node >;

有可能吗？

---

编辑：评论的重点是我定义的V，超出了我的意思。

我不需要那种类型，但这是我想到的显示问题的最小示例。第二个示例使用X，Y和Node更接近我的需求。另一个类似的示例可能是：using MyList = std::pair<Data,MyList*>。

我作为示例提出的这些类型是有意义的类型，应该能够存在。我可以通过定义自己的结构来定义V，Node，MyList等，例如：struct V{ V* start; V* end; /*all the other methods here*/ }; ...但由于{{1}中已经定义了很多类型}并具有大量定义明确的语义（构造函数，运算符，迭代器内容，专用于它们的特征类型等），我不想重新定义相同的类型。

是否可以使用using-declaration创建“递归”（尤其是间接递归，如std或Node示例）类型？

解决方法

using不会创建新类型。它仅引入现有类型的别名。您不能为不存在的类型引入别名，这是您的两个示例都试图做到的。

例如，V是别名的类型的全名是什么？是std::vector<std::vector<std::vector<std::vector<...>>>>。该类型不存在，因此无法为其创建别名。

,

使用using的方法不起作用，因为这只是为现有类型引入了新名称。 using V = std::vector<V>;，即使被允许，在尝试确定V的类型时，也会导致编译器无限递归。

一种可行的方法是从类型std::vector<V>继承V。 （{using vector::vector;将vector构造函数引入V。）

struct V : std::vector<V> { using vector::vector; };

这破坏了递归。 std::vector<V>之所以有效是因为V是它自己的类型。 V继承std::vector<V>的事实与这一点无关。

请注意，当基没有声明虚拟析构函数时，不能通过指向基类型的指针来delete。这会导致未定义的行为：

std::vector<V> * ptr = new V(); // Permitted,implicit pointer upcast
delete ptr;                     // Undefined behavior

意外切割基础对象也很容易，尽管在这种情况下这样做的后果可能并不重要。

同样的方法也可以用于您的其他示例：

class Node;

using X = std::set<Node>;
using Y = std::vector<Node>;

struct Node : std::variant<X,Y> { using variant::variant; };