Skip to main content

vortex_alp/alp_rd/compute/
cast.rs

1// SPDX-License-Identifier: Apache-2.0
2// SPDX-FileCopyrightText: Copyright the Vortex contributors
3
4use vortex_array::ArrayRef;
5use vortex_array::IntoArray;
6use vortex_array::builtins::ArrayBuiltins;
7use vortex_array::dtype::DType;
8use vortex_array::scalar_fn::fns::cast::CastReduce;
9use vortex_error::VortexResult;
10
11use crate::alp_rd::ALPRDArray;
12use crate::alp_rd::ALPRDVTable;
13
14impl CastReduce for ALPRDVTable {
15    fn cast(array: &ALPRDArray, dtype: &DType) -> VortexResult<Option<ArrayRef>> {
16        // ALPRDArray stores floating-point values, so only cast between float types
17        // or if just changing nullability
18
19        // Check if this is just a nullability change
20        if array.dtype().eq_ignore_nullability(dtype) {
21            // For nullability-only changes, we need to cast the left_parts array
22            // since it carries the validity information
23            let new_left_parts = array.left_parts().cast(
24                array
25                    .left_parts()
26                    .dtype()
27                    .with_nullability(dtype.nullability()),
28            )?;
29
30            return Ok(Some(
31                ALPRDArray::try_new(
32                    dtype.clone(),
33                    new_left_parts,
34                    array.left_parts_dictionary().clone(),
35                    array.right_parts().clone(),
36                    array.right_bit_width(),
37                    array.left_parts_patches().cloned(),
38                )?
39                .into_array(),
40            ));
41        }
42
43        // For other casts (e.g., f32 to f64), decode to canonical and let PrimitiveArray handle it
44        Ok(None)
45    }
46}
47
48#[cfg(test)]
49mod tests {
50    use rstest::rstest;
51    use vortex_array::ToCanonical;
52    use vortex_array::arrays::PrimitiveArray;
53    use vortex_array::builtins::ArrayBuiltins;
54    use vortex_array::compute::conformance::cast::test_cast_conformance;
55    use vortex_array::dtype::DType;
56    use vortex_array::dtype::Nullability;
57    use vortex_array::dtype::PType;
58
59    use crate::RDEncoder;
60
61    #[test]
62    fn test_cast_alprd_f32_to_f64() {
63        let values = vec![1.0f32, 1.1, 1.2, 1.3, 1.4];
64        let arr = PrimitiveArray::from_iter(values.clone());
65        let encoder = RDEncoder::new(&values);
66        let alprd = encoder.encode(&arr);
67
68        let casted = alprd
69            .to_array()
70            .cast(DType::Primitive(PType::F64, Nullability::NonNullable))
71            .unwrap();
72        assert_eq!(
73            casted.dtype(),
74            &DType::Primitive(PType::F64, Nullability::NonNullable)
75        );
76
77        let decoded = casted.to_primitive();
78        let f64_values = decoded.as_slice::<f64>();
79        assert_eq!(f64_values.len(), 5);
80        assert!((f64_values[0] - 1.0).abs() < f64::EPSILON);
81        assert!((f64_values[1] - 1.1).abs() < 1e-6); // Use larger epsilon for f32->f64 conversion
82    }
83
84    #[test]
85    fn test_cast_alprd_nullable() {
86        let arr =
87            PrimitiveArray::from_option_iter([Some(10.0f64), None, Some(10.1), Some(10.2), None]);
88        let values = vec![10.0f64, 10.1, 10.2];
89        let encoder = RDEncoder::new(&values);
90        let alprd = encoder.encode(&arr);
91
92        // Cast to NonNullable should fail since we have nulls
93        let result = alprd
94            .to_array()
95            .cast(DType::Primitive(PType::F64, Nullability::NonNullable));
96        assert!(result.is_err());
97
98        // Cast to same type with Nullable should succeed
99        let casted = alprd
100            .to_array()
101            .cast(DType::Primitive(PType::F64, Nullability::Nullable))
102            .unwrap();
103        assert_eq!(
104            casted.dtype(),
105            &DType::Primitive(PType::F64, Nullability::Nullable)
106        );
107    }
108
109    #[rstest]
110    #[case::f32({
111        let values = vec![1.23f32, 4.56, 7.89, 10.11, 12.13];
112        let arr = PrimitiveArray::from_iter(values.clone());
113        let encoder = RDEncoder::new(&values);
114        encoder.encode(&arr)
115    })]
116    #[case::f64({
117        let values = vec![100.1f64, 200.2, 300.3, 400.4, 500.5];
118        let arr = PrimitiveArray::from_iter(values.clone());
119        let encoder = RDEncoder::new(&values);
120        encoder.encode(&arr)
121    })]
122    #[case::single({
123        let values = vec![42.42f64];
124        let arr = PrimitiveArray::from_iter(values.clone());
125        let encoder = RDEncoder::new(&values);
126        encoder.encode(&arr)
127    })]
128    #[case::negative({
129        let values = vec![0.0f32, -1.5, 2.5, -3.5, 4.5];
130        let arr = PrimitiveArray::from_iter(values.clone());
131        let encoder = RDEncoder::new(&values);
132        encoder.encode(&arr)
133    })]
134    #[case::nullable({
135        let arr = PrimitiveArray::from_option_iter([Some(1.1f32), None, Some(2.2), Some(3.3), None]);
136        let values = vec![1.1f32, 2.2, 3.3];
137        let encoder = RDEncoder::new(&values);
138        encoder.encode(&arr)
139    })]
140    fn test_cast_alprd_conformance(#[case] alprd: crate::alp_rd::ALPRDArray) {
141        test_cast_conformance(&alprd.to_array());
142    }
143}