extendr_api/wrapper/
logicals.rs

1use super::scalar::{Rbool, Scalar};
2use super::*;
3use extendr_ffi::{dataptr, R_xlen_t, LOGICAL_GET_REGION, SET_INTEGER_ELT, SEXPTYPE};
4use std::iter::FromIterator;
5
6/// An obscure `NA`-aware wrapper for R's logical vectors.
7/// Can be used to iterate over vectors obtained from R
8/// or to create new vectors that can be returned back to R.
9/// ```
10/// use extendr_api::prelude::*;
11/// test! {
12///     // Collect builds a Logicals from an iterator
13///     let mut vec = (0..5).map(|i| (i % 2 == 0)).collect::<Logicals>();
14///     // elt accesses a single element (altrep aware).
15///     assert_eq!(vec.elt(0), true);
16///     // Logicals behaves like &[Rbool]
17///     assert_eq!(vec[1], false);
18/// }
19/// ```
20#[derive(PartialEq, Clone)]
21pub struct Logicals {
22    pub(crate) robj: Robj,
23}
24
25use SEXPTYPE::LGLSXP;
26macros::gen_vector_wrapper_impl!(
27    vector_type: Logicals, // Implements for
28    scalar_type: Rbool,    // Element type
29    primitive_type: i32,   // Raw element type
30    r_prefix: LOGICAL,     // `R` functions prefix
31    SEXP: LGLSXP,          // `SEXP`
32    doc_name: logical,     // Singular type name used in docs
33    altrep_constructor: make_altlogical_from_iterator,
34);
35
36macros::gen_from_iterator_impl!(
37    vector_type: Logicals,
38    collect_from_type: bool,
39    underlying_type: Rbool,
40    SEXP: LGLSXP,
41    assignment: |dest: &mut Rbool, val : bool| *dest = val.into()
42);
43
44impl Logicals {
45    /// Get a region of elements from the vector.
46    pub fn get_region(&self, index: usize, dest: &mut [Rbool]) -> usize {
47        unsafe {
48            let ptr: *mut i32 = dest.as_mut_ptr() as *mut i32;
49            LOGICAL_GET_REGION(self.get(), index as R_xlen_t, dest.len() as R_xlen_t, ptr) as usize
50        }
51    }
52}
53
54// TODO: this should be a trait.
55impl Logicals {
56    pub fn set_elt(&mut self, index: usize, val: Rbool) {
57        single_threaded(|| unsafe {
58            SET_INTEGER_ELT(self.get_mut(), index as R_xlen_t, val.inner());
59        })
60    }
61}
62
63impl Deref for Logicals {
64    type Target = [Rbool];
65
66    /// Treat Logicals as if it is a slice, like `Vec<Rint>`
67    fn deref(&self) -> &Self::Target {
68        unsafe {
69            let ptr = dataptr(self.get()) as *const Rbool;
70            std::slice::from_raw_parts(ptr, self.len())
71        }
72    }
73}
74
75impl DerefMut for Logicals {
76    /// Treat Logicals as if it is a mutable slice, like `Vec<Rint>`
77    fn deref_mut(&mut self) -> &mut Self::Target {
78        unsafe {
79            let ptr = dataptr(self.get_mut()) as *mut Rbool;
80            std::slice::from_raw_parts_mut(ptr, self.len())
81        }
82    }
83}
84
85impl std::fmt::Debug for Logicals {
86    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
87        if self.len() == 1 {
88            write!(f, "{:?}", self.elt(0))
89        } else {
90            f.debug_list().entries(self.iter()).finish()
91        }
92    }
93}
94
95impl TryFrom<Vec<bool>> for Logicals {
96    type Error = Error;
97
98    fn try_from(value: Vec<bool>) -> std::result::Result<Self, Self::Error> {
99        Ok(Self { robj: value.into() })
100    }
101}
102
103#[cfg(test)]
104mod tests {
105    use crate as extendr_api;
106    use crate::r;
107    use crate::scalar::Rbool;
108    use crate::Rinternals;
109    use extendr_api::test;
110    use extendr_api::Logicals;
111
112    #[test]
113    fn from_iterator() {
114        test! {
115            let vec : Logicals = (0..3).map(|i| i % 2 == 0).collect();
116            assert_eq!(vec, Logicals::from_values([true, false, true]));
117        }
118    }
119
120    #[test]
121    fn from_iterator_ref() {
122        test! {
123            let src = vec![true, false, true];
124            let iter = src.iter();
125            let vec : Logicals = iter.collect();
126            assert_eq!(vec, Logicals::from_values(src));
127        }
128    }
129
130    #[test]
131    fn iter_mut() {
132        test! {
133            let mut vec = Logicals::from_values([true, false, true]);
134            vec.iter_mut().for_each(|v| *v = true.into());
135            assert_eq!(vec, Logicals::from_values([true, true, true]));
136        }
137    }
138
139    // #[test]
140    // fn iter() {
141    //     test! {
142    //         let mut vec = Logicals::from_values([true, false, true]);
143    //         assert_eq!(vec.iter().sum::<Rint>(), 3);
144    //     }
145    // }
146
147    #[test]
148    fn from_values_short() {
149        test! {
150            // Short (<64k) vectors are allocated.
151            let vec = Logicals::from_values([true, false, true]);
152            assert_eq!(vec.is_altrep(), false);
153            assert_eq!(r!(vec.clone()), r!([true, false, true]));
154            assert_eq!(vec.elt(1), false);
155            let mut dest = [false.into(); 2];
156            vec.get_region(1, &mut dest);
157            assert_eq!(dest, [false, true]);
158        }
159    }
160
161    #[test]
162    fn from_values_altrep() {
163        test! {
164            let vec = Logicals::from_values_altrep((0..1000000000).map(|_| Rbool::from(true)));
165            assert_eq!(vec.is_altrep(), true);
166            assert_eq!(vec.elt(12345678), true);
167            let mut dest = [false.into(); 2];
168            vec.get_region(12345678, &mut dest);
169            assert_eq!(dest, [true, true]);
170        }
171    }
172
173    #[test]
174    fn new() {
175        test! {
176            let vec = Logicals::new(10);
177            assert_eq!(vec.is_logical(), true);
178            assert_eq!(vec.len(), 10);
179        }
180    }
181
182    #[test]
183    fn test_vec_bool_logicals_conversion() {
184        test! {
185            let test = vec![false, true, true, false];
186            let test_rbool: Vec<Rbool> = test.clone().into_iter().map(|x|x.into()).collect();
187            let test_logicals: Logicals = test.try_into().unwrap();
188            assert_eq!(test_logicals.robj.as_logical_slice().unwrap(), &test_rbool);
189        }
190    }
191}