Is it possible to control the size of an array using the type parameter of a generic?

后端 未结 2 601
独厮守ぢ
独厮守ぢ 2020-11-22 16:46

What follows is just used as an example, and not valid Rust code.

struct Vec {
    a: [T; Count]
}

Something like it

2条回答
  •  日久生厌
    2020-11-22 17:28

    This ability is not available yet. RFC 2000 — const generics will support it when it is implemented and progress is tracked in issue #44580.

    In nightly Rust, your example would look like:

    #![feature(const_generics)]
    
    struct Vec {
        a: [T; COUNT],
    }
    

    If you look at the design of Rust, you will notice that it started first by tackling the hardest problems (memory-safe, data-race free) but there are otherwise lots of areas where it is "incomplete" (compared to what could be achieved).

    In particular, generic structures and functions are somewhat limited today:

    • lack of Higher Kinded Types (HKT)
    • lack of non-type parameters => arrays are special-cased, and implementing a trait for an array is a known issue, the work-around being to implement it for a few different dimensions
    • lack of variadic parameters => tuples are special-cased, and implementing a trait for all tuples is similarly difficult

    For the moment, those are not implemented, not because they are not desired but simply because time was lacking. The idea of Rust 1.0 was not to release a final product that would not evolve, but a stable base from which to start; some or maybe all will come.

提交回复
热议问题