@@ -293,12 +293,19 @@ where
293293 /// key/value pair). Returns [`None`] if a node with the same key didn't already exist.
294294 ///
295295 /// This function always succeeds.
296- pub fn insert ( & mut self , RBTreeNode { node } : RBTreeNode < K , V > ) -> Option < RBTreeNode < K , V > > {
297- let node = Box :: into_raw ( node) ;
298- // SAFETY: `node` is valid at least until we call `Box::from_raw`, which only happens when
299- // the node is removed or replaced.
300- let node_links = unsafe { addr_of_mut ! ( ( * node) . links) } ;
296+ pub fn insert ( & mut self , node : RBTreeNode < K , V > ) -> Option < RBTreeNode < K , V > > {
297+ match self . raw_entry ( & node. node . key ) {
298+ RawEntry :: Occupied ( entry) => Some ( entry. replace ( node) ) ,
299+ RawEntry :: Vacant ( entry) => {
300+ entry. insert ( node) ;
301+ None
302+ }
303+ }
304+ }
301305
306+ fn raw_entry ( & mut self , key : & K ) -> RawEntry < ' _ , K , V > {
307+ let raw_self: * mut RBTree < K , V > = self ;
308+ // The returned `RawEntry` is used to call either `rb_link_node` or `rb_replace_node`.
302309 // The parameters of `bindings::rb_link_node` are as follows:
303310 // - `node`: A pointer to an uninitialized node being inserted.
304311 // - `parent`: A pointer to an existing node in the tree. One of its child pointers must be
@@ -317,62 +324,56 @@ where
317324 // in the subtree of `parent` that `child_field_of_parent` points at. Once
318325 // we find an empty subtree, we can insert the new node using `rb_link_node`.
319326 let mut parent = core:: ptr:: null_mut ( ) ;
320- let mut child_field_of_parent: & mut * mut bindings:: rb_node = & mut self . root . rb_node ;
321- while !child_field_of_parent. is_null ( ) {
322- parent = * child_field_of_parent;
327+ let mut child_field_of_parent: & mut * mut bindings:: rb_node =
328+ // SAFETY: `raw_self` is a valid pointer to the `RBTree` (created from `self` above).
329+ unsafe { & mut ( * raw_self) . root . rb_node } ;
330+ while !( * child_field_of_parent) . is_null ( ) {
331+ let curr = * child_field_of_parent;
332+ // SAFETY: All links fields we create are in a `Node<K, V>`.
333+ let node = unsafe { container_of ! ( curr, Node <K , V >, links) } ;
323334
324- // We need to determine whether `node` should be the left or right child of `parent`,
325- // so we will compare with the `key` field of `parent` a.k.a. `this` below.
326- //
327- // SAFETY: By the type invariant of `Self`, all non-null `rb_node` pointers stored in `self`
328- // point to the links field of `Node<K, V>` objects.
329- let this = unsafe { container_of ! ( parent, Node <K , V >, links) } ;
330-
331- // SAFETY: `this` is a non-null node so it is valid by the type invariants. `node` is
332- // valid until the node is removed.
333- match unsafe { ( * node) . key . cmp ( & ( * this) . key ) } {
334- // We would like `node` to be the left child of `parent`. Move to this child to check
335- // whether we can use it, or continue searching, at the next iteration.
336- //
337- // SAFETY: `parent` is a non-null node so it is valid by the type invariants.
338- Ordering :: Less => child_field_of_parent = unsafe { & mut ( * parent) . rb_left } ,
339- // We would like `node` to be the right child of `parent`. Move to this child to check
340- // whether we can use it, or continue searching, at the next iteration.
341- //
342- // SAFETY: `parent` is a non-null node so it is valid by the type invariants.
343- Ordering :: Greater => child_field_of_parent = unsafe { & mut ( * parent) . rb_right } ,
335+ // SAFETY: `node` is a non-null node so it is valid by the type invariants.
336+ match key. cmp ( unsafe { & ( * node) . key } ) {
337+ // SAFETY: `curr` is a non-null node so it is valid by the type invariants.
338+ Ordering :: Less => child_field_of_parent = unsafe { & mut ( * curr) . rb_left } ,
339+ // SAFETY: `curr` is a non-null node so it is valid by the type invariants.
340+ Ordering :: Greater => child_field_of_parent = unsafe { & mut ( * curr) . rb_right } ,
344341 Ordering :: Equal => {
345- // There is an existing node in the tree with this key, and that node is
346- // `parent`. Thus, we are replacing parent with a new node.
347- //
348- // INVARIANT: We are replacing an existing node with a new one, which is valid.
349- // It remains valid because we "forgot" it with `Box::into_raw`.
350- // SAFETY: All pointers are non-null and valid.
351- unsafe { bindings:: rb_replace_node ( parent, node_links, & mut self . root ) } ;
352-
353- // INVARIANT: The node is being returned and the caller may free it, however,
354- // it was removed from the tree. So the invariants still hold.
355- return Some ( RBTreeNode {
356- // SAFETY: `this` was a node in the tree, so it is valid.
357- node : unsafe { Box :: from_raw ( this. cast_mut ( ) ) } ,
358- } ) ;
342+ return RawEntry :: Occupied ( OccupiedEntry {
343+ rbtree : self ,
344+ node_links : curr,
345+ } )
359346 }
360347 }
348+ parent = curr;
361349 }
362350
363- // INVARIANT: We are linking in a new node, which is valid. It remains valid because we
364- // "forgot" it with `Box::into_raw`.
365- // SAFETY: All pointers are non-null and valid (`*child_field_of_parent` is null, but `child_field_of_parent` is a
366- // mutable reference).
367- unsafe { bindings:: rb_link_node ( node_links, parent, child_field_of_parent) } ;
351+ RawEntry :: Vacant ( RawVacantEntry {
352+ rbtree : raw_self,
353+ parent,
354+ child_field_of_parent,
355+ _phantom : PhantomData ,
356+ } )
357+ }
368358
369- // SAFETY: All pointers are valid. `node` has just been inserted into the tree.
370- unsafe { bindings:: rb_insert_color ( node_links, & mut self . root ) } ;
371- None
359+ /// Gets the given key's corresponding entry in the map for in-place manipulation.
360+ pub fn entry ( & mut self , key : K ) -> Entry < ' _ , K , V > {
361+ match self . raw_entry ( & key) {
362+ RawEntry :: Occupied ( entry) => Entry :: Occupied ( entry) ,
363+ RawEntry :: Vacant ( entry) => Entry :: Vacant ( VacantEntry { raw : entry, key } ) ,
364+ }
365+ }
366+
367+ /// Used for accessing the given node, if it exists.
368+ pub fn find_mut ( & mut self , key : & K ) -> Option < OccupiedEntry < ' _ , K , V > > {
369+ match self . raw_entry ( key) {
370+ RawEntry :: Occupied ( entry) => Some ( entry) ,
371+ RawEntry :: Vacant ( _entry) => None ,
372+ }
372373 }
373374
374- /// Returns a node with the given key, if one exists .
375- fn find ( & self , key : & K ) -> Option < NonNull < Node < K , V > > > {
375+ /// Returns a reference to the value corresponding to the key .
376+ pub fn get ( & self , key : & K ) -> Option < & V > {
376377 let mut node = self . root . rb_node ;
377378 while !node. is_null ( ) {
378379 // SAFETY: By the type invariant of `Self`, all non-null `rb_node` pointers stored in `self`
@@ -384,47 +385,30 @@ where
384385 Ordering :: Less => unsafe { ( * node) . rb_left } ,
385386 // SAFETY: `node` is a non-null node so it is valid by the type invariants.
386387 Ordering :: Greater => unsafe { ( * node) . rb_right } ,
387- Ordering :: Equal => return NonNull :: new ( this. cast_mut ( ) ) ,
388+ // SAFETY: `node` is a non-null node so it is valid by the type invariants.
389+ Ordering :: Equal => return Some ( unsafe { & ( * this) . value } ) ,
388390 }
389391 }
390392 None
391393 }
392394
393- /// Returns a reference to the value corresponding to the key.
394- pub fn get ( & self , key : & K ) -> Option < & V > {
395- // SAFETY: The `find` return value is a node in the tree, so it is valid.
396- self . find ( key) . map ( |node| unsafe { & node. as_ref ( ) . value } )
397- }
398-
399395 /// Returns a mutable reference to the value corresponding to the key.
400396 pub fn get_mut ( & mut self , key : & K ) -> Option < & mut V > {
401- // SAFETY: The `find` return value is a node in the tree, so it is valid.
402- self . find ( key)
403- . map ( |mut node| unsafe { & mut node. as_mut ( ) . value } )
397+ self . find_mut ( key) . map ( |node| node. into_mut ( ) )
404398 }
405399
406400 /// Removes the node with the given key from the tree.
407401 ///
408402 /// It returns the node that was removed if one exists, or [`None`] otherwise.
409- fn remove_node ( & mut self , key : & K ) -> Option < RBTreeNode < K , V > > {
410- let mut node = self . find ( key) ?;
411-
412- // SAFETY: The `find` return value is a node in the tree, so it is valid.
413- unsafe { bindings:: rb_erase ( & mut node. as_mut ( ) . links , & mut self . root ) } ;
414-
415- // INVARIANT: The node is being returned and the caller may free it, however, it was
416- // removed from the tree. So the invariants still hold.
417- Some ( RBTreeNode {
418- // SAFETY: The `find` return value was a node in the tree, so it is valid.
419- node : unsafe { Box :: from_raw ( node. as_ptr ( ) ) } ,
420- } )
403+ pub fn remove_node ( & mut self , key : & K ) -> Option < RBTreeNode < K , V > > {
404+ self . find_mut ( key) . map ( OccupiedEntry :: remove_node)
421405 }
422406
423407 /// Removes the node with the given key from the tree.
424408 ///
425409 /// It returns the value that was removed if one exists, or [`None`] otherwise.
426410 pub fn remove ( & mut self , key : & K ) -> Option < V > {
427- self . remove_node ( key) . map ( |node| node . node . value )
411+ self . find_mut ( key) . map ( OccupiedEntry :: remove )
428412 }
429413
430414 /// Returns a cursor over the tree nodes based on the given key.
@@ -1117,6 +1101,177 @@ unsafe impl<K: Send, V: Send> Send for RBTreeNode<K, V> {}
11171101// [`RBTreeNode`] without synchronization.
11181102unsafe impl < K : Sync , V : Sync > Sync for RBTreeNode < K , V > { }
11191103
1104+ impl < K , V > RBTreeNode < K , V > {
1105+ /// Drop the key and value, but keep the allocation.
1106+ ///
1107+ /// It then becomes a reservation that can be re-initialised into a different node (i.e., with
1108+ /// a different key and/or value).
1109+ ///
1110+ /// The existing key and value are dropped in-place as part of this operation, that is, memory
1111+ /// may be freed (but only for the key/value; memory for the node itself is kept for reuse).
1112+ pub fn into_reservation ( self ) -> RBTreeNodeReservation < K , V > {
1113+ RBTreeNodeReservation {
1114+ node : Box :: drop_contents ( self . node ) ,
1115+ }
1116+ }
1117+ }
1118+
1119+ /// A view into a single entry in a map, which may either be vacant or occupied.
1120+ ///
1121+ /// This enum is constructed from the [`RBTree::entry`].
1122+ ///
1123+ /// [`entry`]: fn@RBTree::entry
1124+ pub enum Entry < ' a , K , V > {
1125+ /// This [`RBTree`] does not have a node with this key.
1126+ Vacant ( VacantEntry < ' a , K , V > ) ,
1127+ /// This [`RBTree`] already has a node with this key.
1128+ Occupied ( OccupiedEntry < ' a , K , V > ) ,
1129+ }
1130+
1131+ /// Like [`Entry`], except that it doesn't have ownership of the key.
1132+ enum RawEntry < ' a , K , V > {
1133+ Vacant ( RawVacantEntry < ' a , K , V > ) ,
1134+ Occupied ( OccupiedEntry < ' a , K , V > ) ,
1135+ }
1136+
1137+ /// A view into a vacant entry in a [`RBTree`]. It is part of the [`Entry`] enum.
1138+ pub struct VacantEntry < ' a , K , V > {
1139+ key : K ,
1140+ raw : RawVacantEntry < ' a , K , V > ,
1141+ }
1142+
1143+ /// Like [`VacantEntry`], but doesn't hold on to the key.
1144+ ///
1145+ /// # Invariants
1146+ /// - `parent` may be null if the new node becomes the root.
1147+ /// - `child_field_of_parent` is a valid pointer to the left-child or right-child of `parent`. If `parent` is
1148+ /// null, it is a pointer to the root of the [`RBTree`].
1149+ struct RawVacantEntry < ' a , K , V > {
1150+ rbtree : * mut RBTree < K , V > ,
1151+ /// The node that will become the parent of the new node if we insert one.
1152+ parent : * mut bindings:: rb_node ,
1153+ /// This points to the left-child or right-child field of `parent`, or `root` if `parent` is
1154+ /// null.
1155+ child_field_of_parent : * mut * mut bindings:: rb_node ,
1156+ _phantom : PhantomData < & ' a mut RBTree < K , V > > ,
1157+ }
1158+
1159+ impl < ' a , K , V > RawVacantEntry < ' a , K , V > {
1160+ /// Inserts the given node into the [`RBTree`] at this entry.
1161+ ///
1162+ /// The `node` must have a key such that inserting it here does not break the ordering of this
1163+ /// [`RBTree`].
1164+ fn insert ( self , node : RBTreeNode < K , V > ) -> & ' a mut V {
1165+ let node = Box :: into_raw ( node. node ) ;
1166+
1167+ // SAFETY: `node` is valid at least until we call `Box::from_raw`, which only happens when
1168+ // the node is removed or replaced.
1169+ let node_links = unsafe { addr_of_mut ! ( ( * node) . links) } ;
1170+
1171+ // INVARIANT: We are linking in a new node, which is valid. It remains valid because we
1172+ // "forgot" it with `Box::into_raw`.
1173+ // SAFETY: The type invariants of `RawVacantEntry` are exactly the safety requirements of `rb_link_node`.
1174+ unsafe { bindings:: rb_link_node ( node_links, self . parent , self . child_field_of_parent ) } ;
1175+
1176+ // SAFETY: All pointers are valid. `node` has just been inserted into the tree.
1177+ unsafe { bindings:: rb_insert_color ( node_links, addr_of_mut ! ( ( * self . rbtree) . root) ) } ;
1178+
1179+ // SAFETY: The node is valid until we remove it from the tree.
1180+ unsafe { & mut ( * node) . value }
1181+ }
1182+ }
1183+
1184+ impl < ' a , K , V > VacantEntry < ' a , K , V > {
1185+ /// Inserts the given node into the [`RBTree`] at this entry.
1186+ pub fn insert ( self , value : V , reservation : RBTreeNodeReservation < K , V > ) -> & ' a mut V {
1187+ self . raw . insert ( reservation. into_node ( self . key , value) )
1188+ }
1189+ }
1190+
1191+ /// A view into an occupied entry in a [`RBTree`]. It is part of the [`Entry`] enum.
1192+ ///
1193+ /// # Invariants
1194+ /// - `node_links` is a valid, non-null pointer to a tree node in `self.rbtree`
1195+ pub struct OccupiedEntry < ' a , K , V > {
1196+ rbtree : & ' a mut RBTree < K , V > ,
1197+ /// The node that this entry corresponds to.
1198+ node_links : * mut bindings:: rb_node ,
1199+ }
1200+
1201+ impl < ' a , K , V > OccupiedEntry < ' a , K , V > {
1202+ /// Gets a reference to the value in the entry.
1203+ pub fn get ( & self ) -> & V {
1204+ // SAFETY:
1205+ // - `self.node_links` is a valid pointer to a node in the tree.
1206+ // - We have shared access to the underlying tree, and can thus give out a shared reference.
1207+ unsafe { & ( * container_of ! ( self . node_links, Node <K , V >, links) ) . value }
1208+ }
1209+
1210+ /// Gets a mutable reference to the value in the entry.
1211+ pub fn get_mut ( & mut self ) -> & mut V {
1212+ // SAFETY:
1213+ // - `self.node_links` is a valid pointer to a node in the tree.
1214+ // - We have exclusive access to the underlying tree, and can thus give out a mutable reference.
1215+ unsafe { & mut ( * ( container_of ! ( self . node_links, Node <K , V >, links) . cast_mut ( ) ) ) . value }
1216+ }
1217+
1218+ /// Converts the entry into a mutable reference to its value.
1219+ ///
1220+ /// If you need multiple references to the `OccupiedEntry`, see [`self#get_mut`].
1221+ pub fn into_mut ( self ) -> & ' a mut V {
1222+ // SAFETY:
1223+ // - `self.node_links` is a valid pointer to a node in the tree.
1224+ // - This consumes the `&'a mut RBTree<K, V>`, therefore it can give out a mutable reference that lives for `'a`.
1225+ unsafe { & mut ( * ( container_of ! ( self . node_links, Node <K , V >, links) . cast_mut ( ) ) ) . value }
1226+ }
1227+
1228+ /// Remove this entry from the [`RBTree`].
1229+ pub fn remove_node ( self ) -> RBTreeNode < K , V > {
1230+ // SAFETY: The node is a node in the tree, so it is valid.
1231+ unsafe { bindings:: rb_erase ( self . node_links , & mut self . rbtree . root ) } ;
1232+
1233+ // INVARIANT: The node is being returned and the caller may free it, however, it was
1234+ // removed from the tree. So the invariants still hold.
1235+ RBTreeNode {
1236+ // SAFETY: The node was a node in the tree, but we removed it, so we can convert it
1237+ // back into a box.
1238+ node : unsafe {
1239+ Box :: from_raw ( container_of ! ( self . node_links, Node <K , V >, links) . cast_mut ( ) )
1240+ } ,
1241+ }
1242+ }
1243+
1244+ /// Takes the value of the entry out of the map, and returns it.
1245+ pub fn remove ( self ) -> V {
1246+ self . remove_node ( ) . node . value
1247+ }
1248+
1249+ /// Swap the current node for the provided node.
1250+ ///
1251+ /// The key of both nodes must be equal.
1252+ fn replace ( self , node : RBTreeNode < K , V > ) -> RBTreeNode < K , V > {
1253+ let node = Box :: into_raw ( node. node ) ;
1254+
1255+ // SAFETY: `node` is valid at least until we call `Box::from_raw`, which only happens when
1256+ // the node is removed or replaced.
1257+ let new_node_links = unsafe { addr_of_mut ! ( ( * node) . links) } ;
1258+
1259+ // SAFETY: This updates the pointers so that `new_node_links` is in the tree where
1260+ // `self.node_links` used to be.
1261+ unsafe {
1262+ bindings:: rb_replace_node ( self . node_links , new_node_links, & mut self . rbtree . root )
1263+ } ;
1264+
1265+ // SAFETY:
1266+ // - `self.node_ptr` produces a valid pointer to a node in the tree.
1267+ // - Now that we removed this entry from the tree, we can convert the node to a box.
1268+ let old_node =
1269+ unsafe { Box :: from_raw ( container_of ! ( self . node_links, Node <K , V >, links) . cast_mut ( ) ) } ;
1270+
1271+ RBTreeNode { node : old_node }
1272+ }
1273+ }
1274+
11201275struct Node < K , V > {
11211276 links : bindings:: rb_node ,
11221277 key : K ,
0 commit comments