Add overflow-checking variants of arithmetic dyn kernels

arrow/src/array/array.rs

@@ -356,6 +356,19 @@ pub trait ArrayAccessor: Array {
     /// # Safety
     /// Caller is responsible for ensuring that the index is within the bounds of the array
     unsafe fn value_unchecked(&self, index: usize) -> Self::Item;
+
+    /// Returns a values accessor [`ArrayValuesAccessor`] for this [`ArrayAccessor`] if
+    /// it supports. Returns [`None`] if it doesn't support accessing values directly.
+    fn get_values_accessor(&self) -> Option<&dyn ArrayValuesAccessor<Item = Self::Item>> {
+        None
+    }
+}
+
+/// A trait for accessing the values of an [`ArrayAccessor`] as a slice at once. Not all
+/// [`ArrayAccessor`] implementations support this trait. Currently only [`PrimitiveArray`]
+/// supports it.
+pub trait ArrayValuesAccessor: ArrayAccessor {
+    fn values(&self) -> &[Self::Item];
 }
 
 /// Constructs an array using the input `data`.

arrow/src/array/array_primitive.rs

@@ -33,7 +33,7 @@ use crate::{
     util::trusted_len_unzip,
 };
 
-use crate::array::array::ArrayAccessor;
+use crate::array::array::{ArrayAccessor, ArrayValuesAccessor};
 use half::f16;
 
 /// Array whose elements are of primitive types.
@@ -204,6 +204,16 @@ impl<'a, T: ArrowPrimitiveType> ArrayAccessor for &'a PrimitiveArray<T> {
     unsafe fn value_unchecked(&self, index: usize) -> Self::Item {
         PrimitiveArray::value_unchecked(self, index)
     }
+
+    fn get_values_accessor(&self) -> Option<&dyn ArrayValuesAccessor<Item = Self::Item>> {
+        Some(self)
+    }
+}
+
+impl<'a, T: ArrowPrimitiveType> ArrayValuesAccessor for &'a PrimitiveArray<T> {
+    fn values(&self) -> &[Self::Item] {
+        PrimitiveArray::values(self)
+    }
 }
 
 pub(crate) fn as_datetime<T: ArrowPrimitiveType>(v: i64) -> Option<NaiveDateTime> {