Is it possible to have stack allocated arrays with the size determined at runtime in Rust?

后端 未结 2 455
[愿得一人]
[愿得一人] 2020-12-01 05:43

Is there an equivalent of alloca to create variable length arrays in Rust?

I\'m looking for the equivalent of the following C99 code:



        
相关标签:
2条回答
  • 2020-12-01 06:06

    No.

    Doing that in Rust would entail the ability to store Dynamically Sized Types (DSTs) like [i32] on the stack, which the language doesn't support.

    A deeper reason is that LLVM, to my knowledge, doesn't really support this. I'm given to believe that you can do it, but it significantly interferes with optimisations. As such, I'm not aware of any near-terms plans to allow this.

    0 讨论(0)
  • 2020-12-01 06:14

    It is not possible directly, as in there is not direct syntax in the language supporting it.

    That being said, this particular feature of C99 is debatable, it has certain advantages (cache locality & bypassing malloc) but it also has disadvantages (easy to blow-up the stack, stumps a number of optimizations, may turn static offsets into dynamic offsets, ...).

    For now, I would advise you to use Vec instead. If you have performance issues, then you may look into the so-called "Small Vector Optimization". I have regularly seen the following pattern in C code where performance is required:

    SomeType array[64] = {};
    SomeType* pointer, *dynamic_pointer;
    if (n <= 64) {
        pointer = array;
    } else {
        pointer = dynamic_pointer = malloc(sizeof(SomeType) * n);
    }
    
    // ...
    
    if (dynamic_pointer) { free(dynamic_pointer); }
    

    Now, this is something that Rust supports easily (and better, in a way):

    enum InlineVector<T> {
        Inline(usize, [T; 64]),
        Dynamic(Vec<T>),
    }
    

    You can see an example simplistic implementation below.

    What matters, however, is that you now have a type which:

    • uses the stack when less than 64 elements are required
    • moves off to the heap otherwise, to avoid blowing up the stack

    Of course, it also always reserves enough space for 64 elements on the stack even if you only use 2; however in exchange there is no call to alloca so you avoid the issue of having dynamic offsets to your variants.

    And contrary to C, you still benefit from lifetime tracking so that you cannot accidentally return a reference to your stack-allocated array outside the function.

    Note: a full-blown implementation would require non-type parameters so that you could customize the 64... but Rust is not there yet.


    I will show off the most "obvious" methods:

    enum InlineVector<T> {
        Inline(usize, [T; 64]),
        Dynamic(Vec<T>),
    }
    
    impl<T: Copy + Clone> InlineVector<T> {
        fn new(v: T, n: usize) -> InlineVector<T> {
            if n <= 64 {
                InlineVector::Inline(n, [v; 64])
            } else {
                InlineVector::Dynamic(vec![v; n])
            }
        }
    }
    
    impl<T> InlineVector<T> {
        fn len(&self) -> usize {
            match self {
                InlineVector::Inline(n, _) => *n,
                InlineVector::Dynamic(vec) => vec.len(),
            }
        }
    
        fn as_slice(&self) -> &[T] {
            match self {
                InlineVector::Inline(_, array) => array,
                InlineVector::Dynamic(vec) => vec,
            }
        }
    
        fn as_mut_slice(&mut self) -> &mut [T] {
            match self {
                InlineVector::Inline(_, array) => array,
                InlineVector::Dynamic(vec) => vec,
            }
        }
    }
    
    use std::ops::{Deref, DerefMut};
    
    impl<T> Deref for InlineVector<T> {
        type Target = [T];
    
        fn deref(&self) -> &Self::Target {
            self.as_slice()
        }
    }
    
    impl<T> DerefMut for InlineVector<T> {
        fn deref_mut(&mut self) -> &mut Self::Target {
            self.as_mut_slice()
        }
    }
    

    Usage:

    fn main() {
        let mut v = InlineVector::new(1u32, 4);
        v[2] = 3;
        println!("{}: {}", v.len(), v[2])
    }
    

    Which prints 4: 3 as expected.

    0 讨论(0)
提交回复
热议问题