Skip to content

Replace KeyValuePairs' internal BTreeSet with BTreeMap #888

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Oct 17, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 10 additions & 1 deletion crates/stackable-operator/CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,14 @@ All notable changes to this project will be documented in this file.

- BREAKING: The `CustomResourceExt` trait is now re-exported from the `stackable-shared` crate. The
trait functions use the same parameters but return a different error type ([#883]).
- BREAKING: `KeyValuePairs` (as well as `Labels`/`Annotations` via it) is now backed by a `BTreeMap` rather than a `BTreeSet` ([#888]).
- The `Deref` impl now returns a `BTreeMap` instead.
- `iter()` now clones the values.

### Fixed

- BREAKING: `KeyValuePairs::insert` (as well as `Labels::`/`Annotations::` via it) now overwrites the old value if the key already exists ([#888]).
- Previously, `iter()` would return *both* values in lexicographical order (causing further conversions like `Into<BTreeMap>` to prefer the maximum value).

### Removed

Expand All @@ -22,6 +30,7 @@ All notable changes to this project will be documented in this file.

[#883]: https://github.com/stackabletech/operator-rs/pull/883
[#885]: https://github.com/stackabletech/operator-rs/pull/885
[#888]: https://github.com/stackabletech/operator-rs/pull/888

## [0.78.0] - 2024-09-30

Expand Down Expand Up @@ -273,7 +282,7 @@ All notable changes to this project will be documented in this file.

### Changed

- Implement `PartialEq` for most _Snafu_ Error enums ([#757]).
- Implement `PartialEq` for most *Snafu* Error enums ([#757]).
- Update Rust to 1.77 ([#759])

### Fixed
Expand Down
5 changes: 2 additions & 3 deletions crates/stackable-operator/src/kvp/annotation/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -293,15 +293,14 @@ impl Annotations {
pub fn contains_key(&self, key: impl TryInto<Key>) -> bool;

/// Returns an [`Iterator`] over [`Annotations`] yielding a reference to every [`Annotation`] contained within.
pub fn iter(&self) -> impl Iterator<Item = &KeyValuePair<AnnotationValue>>;

pub fn iter(&self) -> impl Iterator<Item = KeyValuePair<AnnotationValue>> + '_;
}
}
}

impl IntoIterator for Annotations {
type Item = KeyValuePair<AnnotationValue>;
type IntoIter = std::collections::btree_set::IntoIter<Self::Item>;
type IntoIter = <KeyValuePairs<AnnotationValue> as IntoIterator>::IntoIter;

/// Returns a consuming [`Iterator`] over [`Annotations`] moving every [`Annotation`] out.
/// The [`Annotations`] cannot be used again after calling this.
Expand Down
4 changes: 2 additions & 2 deletions crates/stackable-operator/src/kvp/label/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -385,15 +385,15 @@ impl Labels {
pub fn contains_key(&self, key: impl TryInto<Key>) -> bool;

/// Returns an [`Iterator`] over [`Labels`] yielding a reference to every [`Label`] contained within.
pub fn iter(&self) -> impl Iterator<Item = &KeyValuePair<LabelValue>>;
pub fn iter(&self) -> impl Iterator<Item = KeyValuePair<LabelValue>> + '_;

}
}
}

impl IntoIterator for Labels {
type Item = KeyValuePair<LabelValue>;
type IntoIter = std::collections::btree_set::IntoIter<Self::Item>;
type IntoIter = <KeyValuePairs<LabelValue> as IntoIterator>::IntoIter;

/// Returns a consuming [`Iterator`] over [`Labels`] moving every [`Label`] out.
/// The [`Labels`] cannot be used again after calling this.
Expand Down
62 changes: 39 additions & 23 deletions crates/stackable-operator/src/kvp/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -152,8 +152,8 @@ where

#[derive(Debug, PartialEq, Snafu)]
pub enum KeyValuePairsError {
#[snafu(display("key/value pair already exists"))]
PairAlreadyExists,
#[snafu(display("key already exists"))]
KeyAlreadyExists,
}

/// A validated set/list of Kubernetes key/value pairs.
Expand All @@ -178,7 +178,7 @@ pub enum KeyValuePairsError {
/// which ultimately prevent unncessary reconciliations due to changes
/// in item order.
#[derive(Clone, Debug, Default)]
pub struct KeyValuePairs<T: Value>(BTreeSet<KeyValuePair<T>>);
pub struct KeyValuePairs<T: Value>(BTreeMap<Key, T>);

impl<K, V, T> TryFrom<BTreeMap<K, V>> for KeyValuePairs<T>
where
Expand Down Expand Up @@ -224,7 +224,7 @@ where
T: Value,
{
fn from_iter<I: IntoIterator<Item = KeyValuePair<T>>>(iter: I) -> Self {
Self(iter.into_iter().collect())
Self(iter.into_iter().map(|kvp| (kvp.key, kvp.value)).collect())
}
}

Expand All @@ -242,7 +242,7 @@ where
.map(KeyValuePair::try_from)
.collect::<Result<BTreeSet<_>, KeyValuePairError<T::Error>>>()?;

Ok(Self(pairs))
Ok(Self::from_iter(pairs))
}
}

Expand All @@ -253,7 +253,7 @@ where
fn from(value: KeyValuePairs<T>) -> Self {
value
.iter()
.map(|pair| (pair.key().to_string(), pair.value().to_string()))
.map(|(k, v)| (k.to_string(), v.to_string()))
.collect()
}
}
Expand All @@ -262,7 +262,7 @@ impl<T> Deref for KeyValuePairs<T>
where
T: Value,
{
type Target = BTreeSet<KeyValuePair<T>>;
type Target = BTreeMap<Key, T>;

fn deref(&self) -> &Self::Target {
&self.0
Expand All @@ -280,7 +280,7 @@ where

/// Creates a new list of [`KeyValuePair`]s from `pairs`.
pub fn new_with(pairs: BTreeSet<KeyValuePair<T>>) -> Self {
Self(pairs)
Self::from_iter(pairs)
}

/// Extends `self` with `other`.
Expand All @@ -295,16 +295,16 @@ where
/// [`KeyValuePairs::contains_key`] before inserting or try to insert
/// fallible via [`KeyValuePairs::try_insert`].
pub fn insert(&mut self, kvp: KeyValuePair<T>) -> &mut Self {
self.0.insert(kvp);
self.0.insert(kvp.key, kvp.value);
self
}

/// Tries to insert a new [`KeyValuePair`] into the list of pairs.
///
/// If the list already had this pair present, nothing is updated, and an
/// If the list already had this key present, nothing is updated, and an
/// error is returned.
pub fn try_insert(&mut self, kvp: KeyValuePair<T>) -> Result<(), KeyValuePairsError> {
ensure!(!self.0.contains(&kvp), PairAlreadyExistsSnafu);
ensure!(!self.0.contains_key(&kvp.key), KeyAlreadyExistsSnafu);
self.insert(kvp);
Ok(())
}
Expand All @@ -314,7 +314,10 @@ where
let Ok(kvp) = kvp.try_into() else {
return false;
};
self.0.contains(&kvp)
let Some(value) = self.get(&kvp.key) else {
return false;
};
value == &kvp.value
}

/// Returns if the list contains a key/value pair with a specific [`Key`].
Expand All @@ -323,18 +326,15 @@ where
return false;
};

for kvp in &self.0 {
if kvp.key == key {
return true;
}
}

false
self.0.contains_key(&key)
}

/// Returns an [`Iterator`] over [`KeyValuePairs`] yielding a reference to every [`KeyValuePair`] contained within.
pub fn iter(&self) -> impl Iterator<Item = &KeyValuePair<T>> {
self.0.iter()
pub fn iter(&self) -> impl Iterator<Item = KeyValuePair<T>> + '_ {
self.0.iter().map(|(k, v)| KeyValuePair {
key: k.clone(),
value: v.clone(),
})
}
}

Expand All @@ -343,12 +343,15 @@ where
T: Value,
{
type Item = KeyValuePair<T>;
type IntoIter = std::collections::btree_set::IntoIter<Self::Item>;
type IntoIter =
std::iter::Map<std::collections::btree_map::IntoIter<Key, T>, fn((Key, T)) -> Self::Item>;

/// Returns a consuming [`Iterator`] over [`KeyValuePairs`] moving every [`KeyValuePair`] out.
/// The [`KeyValuePairs`] cannot be used again after calling this.
fn into_iter(self) -> Self::IntoIter {
self.0.into_iter()
self.0
.into_iter()
.map(|(key, value)| KeyValuePair { key, value })
}
}

Expand Down Expand Up @@ -488,4 +491,17 @@ mod test {
let report = Report::from_error(err);
println!("{report}")
}

#[test]
fn merge() {
let mut merged_labels =
Labels::try_from_iter([("a", "b"), ("b", "a"), ("c", "c")]).unwrap();
merged_labels.extend(Labels::try_from_iter([("a", "a"), ("b", "b"), ("d", "d")]).unwrap());
assert_eq!(
BTreeMap::from(merged_labels),
BTreeMap::from(
Labels::try_from_iter([("a", "a"), ("b", "b"), ("c", "c"), ("d", "d")]).unwrap()
)
)
}
}