| // Licensed to the Apache Software Foundation (ASF) under one |
| // or more contributor license agreements. See the NOTICE file |
| // distributed with this work for additional information |
| // regarding copyright ownership. The ASF licenses this file |
| // to you under the Apache License, Version 2.0 (the |
| // "License"); you may not use this file except in compliance |
| // with the License. You may obtain a copy of the License at |
| // |
| // http://www.apache.org/licenses/LICENSE-2.0 |
| // |
| // Unless required by applicable law or agreed to in writing, |
| // software distributed under the License is distributed on an |
| // "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY |
| // KIND, either express or implied. See the License for the |
| // specific language governing permissions and limitations |
| // under the License. |
| |
| //! Idiomatic iterators for [`Array`](crate::Array) |
| |
| use crate::array::{ |
| ArrayAccessor, BooleanArray, FixedSizeBinaryArray, GenericBinaryArray, GenericListArray, |
| GenericStringArray, PrimitiveArray, |
| }; |
| use crate::{FixedSizeListArray, MapArray}; |
| use arrow_buffer::NullBuffer; |
| |
| /// An iterator that returns Some(T) or None, that can be used on any [`ArrayAccessor`] |
| /// |
| /// # Performance |
| /// |
| /// [`ArrayIter`] provides an idiomatic way to iterate over an array, however, this |
| /// comes at the cost of performance. In particular the interleaved handling of |
| /// the null mask is often sub-optimal. |
| /// |
| /// If performing an infallible operation, it is typically faster to perform the operation |
| /// on every index of the array, and handle the null mask separately. For [`PrimitiveArray`] |
| /// this functionality is provided by [`compute::unary`] |
| /// |
| /// If performing a fallible operation, it isn't possible to perform the operation independently |
| /// of the null mask, as this might result in a spurious failure on a null index. However, |
| /// there are more efficient ways to iterate over just the non-null indices, this functionality |
| /// is provided by [`compute::try_unary`] |
| /// |
| /// [`PrimitiveArray`]: crate::PrimitiveArray |
| /// [`compute::unary`]: https://docs.rs/arrow/latest/arrow/compute/fn.unary.html |
| /// [`compute::try_unary`]: https://docs.rs/arrow/latest/arrow/compute/fn.try_unary.html |
| #[derive(Debug)] |
| pub struct ArrayIter<T: ArrayAccessor> { |
| array: T, |
| logical_nulls: Option<NullBuffer>, |
| current: usize, |
| current_end: usize, |
| } |
| |
| impl<T: ArrayAccessor> ArrayIter<T> { |
| /// create a new iterator |
| pub fn new(array: T) -> Self { |
| let len = array.len(); |
| let logical_nulls = array.logical_nulls(); |
| ArrayIter { |
| array, |
| logical_nulls, |
| current: 0, |
| current_end: len, |
| } |
| } |
| |
| #[inline] |
| fn is_null(&self, idx: usize) -> bool { |
| self.logical_nulls |
| .as_ref() |
| .map(|x| x.is_null(idx)) |
| .unwrap_or_default() |
| } |
| } |
| |
| impl<T: ArrayAccessor> Iterator for ArrayIter<T> { |
| type Item = Option<T::Item>; |
| |
| #[inline] |
| fn next(&mut self) -> Option<Self::Item> { |
| if self.current == self.current_end { |
| None |
| } else if self.is_null(self.current) { |
| self.current += 1; |
| Some(None) |
| } else { |
| let old = self.current; |
| self.current += 1; |
| // Safety: |
| // we just checked bounds in `self.current_end == self.current` |
| // this is safe on the premise that this struct is initialized with |
| // current = array.len() |
| // and that current_end is ever only decremented |
| unsafe { Some(Some(self.array.value_unchecked(old))) } |
| } |
| } |
| |
| fn size_hint(&self) -> (usize, Option<usize>) { |
| ( |
| self.array.len() - self.current, |
| Some(self.array.len() - self.current), |
| ) |
| } |
| } |
| |
| impl<T: ArrayAccessor> DoubleEndedIterator for ArrayIter<T> { |
| fn next_back(&mut self) -> Option<Self::Item> { |
| if self.current_end == self.current { |
| None |
| } else { |
| self.current_end -= 1; |
| Some(if self.is_null(self.current_end) { |
| None |
| } else { |
| // Safety: |
| // we just checked bounds in `self.current_end == self.current` |
| // this is safe on the premise that this struct is initialized with |
| // current = array.len() |
| // and that current_end is ever only decremented |
| unsafe { Some(self.array.value_unchecked(self.current_end)) } |
| }) |
| } |
| } |
| } |
| |
| /// all arrays have known size. |
| impl<T: ArrayAccessor> ExactSizeIterator for ArrayIter<T> {} |
| |
| /// an iterator that returns Some(T) or None, that can be used on any PrimitiveArray |
| pub type PrimitiveIter<'a, T> = ArrayIter<&'a PrimitiveArray<T>>; |
| /// an iterator that returns Some(T) or None, that can be used on any BooleanArray |
| pub type BooleanIter<'a> = ArrayIter<&'a BooleanArray>; |
| /// an iterator that returns Some(T) or None, that can be used on any Utf8Array |
| pub type GenericStringIter<'a, T> = ArrayIter<&'a GenericStringArray<T>>; |
| /// an iterator that returns Some(T) or None, that can be used on any BinaryArray |
| pub type GenericBinaryIter<'a, T> = ArrayIter<&'a GenericBinaryArray<T>>; |
| /// an iterator that returns Some(T) or None, that can be used on any FixedSizeBinaryArray |
| pub type FixedSizeBinaryIter<'a> = ArrayIter<&'a FixedSizeBinaryArray>; |
| /// an iterator that returns Some(T) or None, that can be used on any FixedSizeListArray |
| pub type FixedSizeListIter<'a> = ArrayIter<&'a FixedSizeListArray>; |
| /// an iterator that returns Some(T) or None, that can be used on any ListArray |
| pub type GenericListArrayIter<'a, O> = ArrayIter<&'a GenericListArray<O>>; |
| /// an iterator that returns Some(T) or None, that can be used on any MapArray |
| pub type MapArrayIter<'a> = ArrayIter<&'a MapArray>; |
| |
| #[cfg(test)] |
| mod tests { |
| use std::sync::Arc; |
| |
| use crate::array::{ArrayRef, BinaryArray, BooleanArray, Int32Array, StringArray}; |
| |
| #[test] |
| fn test_primitive_array_iter_round_trip() { |
| let array = Int32Array::from(vec![Some(0), None, Some(2), None, Some(4)]); |
| let array = Arc::new(array) as ArrayRef; |
| |
| let array = array.as_any().downcast_ref::<Int32Array>().unwrap(); |
| |
| // to and from iter, with a +1 |
| let result: Int32Array = array.iter().map(|e| e.map(|e| e + 1)).collect(); |
| |
| let expected = Int32Array::from(vec![Some(1), None, Some(3), None, Some(5)]); |
| assert_eq!(result, expected); |
| |
| // check if DoubleEndedIterator is implemented |
| let result: Int32Array = array.iter().rev().collect(); |
| let rev_array = Int32Array::from(vec![Some(4), None, Some(2), None, Some(0)]); |
| assert_eq!(result, rev_array); |
| // check if ExactSizeIterator is implemented |
| let _ = array.iter().rposition(|opt_b| opt_b == Some(1)); |
| } |
| |
| #[test] |
| fn test_double_ended() { |
| let array = Int32Array::from(vec![Some(0), None, Some(2), None, Some(4)]); |
| let mut a = array.iter(); |
| assert_eq!(a.next(), Some(Some(0))); |
| assert_eq!(a.next(), Some(None)); |
| assert_eq!(a.next_back(), Some(Some(4))); |
| assert_eq!(a.next_back(), Some(None)); |
| assert_eq!(a.next_back(), Some(Some(2))); |
| // the two sides have met: None is returned by both |
| assert_eq!(a.next_back(), None); |
| assert_eq!(a.next(), None); |
| } |
| |
| #[test] |
| fn test_string_array_iter_round_trip() { |
| let array = StringArray::from(vec![Some("a"), None, Some("aaa"), None, Some("aaaaa")]); |
| let array = Arc::new(array) as ArrayRef; |
| |
| let array = array.as_any().downcast_ref::<StringArray>().unwrap(); |
| |
| // to and from iter, with a +1 |
| let result: StringArray = array |
| .iter() |
| .map(|e| { |
| e.map(|e| { |
| let mut a = e.to_string(); |
| a.push('b'); |
| a |
| }) |
| }) |
| .collect(); |
| |
| let expected = |
| StringArray::from(vec![Some("ab"), None, Some("aaab"), None, Some("aaaaab")]); |
| assert_eq!(result, expected); |
| |
| // check if DoubleEndedIterator is implemented |
| let result: StringArray = array.iter().rev().collect(); |
| let rev_array = StringArray::from(vec![Some("aaaaa"), None, Some("aaa"), None, Some("a")]); |
| assert_eq!(result, rev_array); |
| // check if ExactSizeIterator is implemented |
| let _ = array.iter().rposition(|opt_b| opt_b == Some("a")); |
| } |
| |
| #[test] |
| fn test_binary_array_iter_round_trip() { |
| let array = BinaryArray::from(vec![ |
| Some(b"a" as &[u8]), |
| None, |
| Some(b"aaa"), |
| None, |
| Some(b"aaaaa"), |
| ]); |
| |
| // to and from iter |
| let result: BinaryArray = array.iter().collect(); |
| |
| assert_eq!(result, array); |
| |
| // check if DoubleEndedIterator is implemented |
| let result: BinaryArray = array.iter().rev().collect(); |
| let rev_array = BinaryArray::from(vec![ |
| Some(b"aaaaa" as &[u8]), |
| None, |
| Some(b"aaa"), |
| None, |
| Some(b"a"), |
| ]); |
| assert_eq!(result, rev_array); |
| |
| // check if ExactSizeIterator is implemented |
| let _ = array.iter().rposition(|opt_b| opt_b == Some(&[9])); |
| } |
| |
| #[test] |
| fn test_boolean_array_iter_round_trip() { |
| let array = BooleanArray::from(vec![Some(true), None, Some(false)]); |
| |
| // to and from iter |
| let result: BooleanArray = array.iter().collect(); |
| |
| assert_eq!(result, array); |
| |
| // check if DoubleEndedIterator is implemented |
| let result: BooleanArray = array.iter().rev().collect(); |
| let rev_array = BooleanArray::from(vec![Some(false), None, Some(true)]); |
| assert_eq!(result, rev_array); |
| |
| // check if ExactSizeIterator is implemented |
| let _ = array.iter().rposition(|opt_b| opt_b == Some(true)); |
| } |
| } |