如何解决在其他使用声明中使用它之前,先声明一个使用声明
是否可以在使用之前声明使用声明?
我想做类似的事情:
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; };
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。