Layout of arrays

[gnzlbg]

We are missing the layout of arrays (I think we just forgot about this). Tangentially related to the layout of homogeneous structs: #36

[RalfJung]

I expect there is little controversy here: The first element is at offset 0, the stride is the element type size.

It'd be nice to eventually have types with stride > size (avoiding padding at the end), but I am not sure if that is realistic?

[gnzlbg]

It'd be nice to eventually have types with stride > size (avoiding padding at the end),

I'm not sure I follow, do you mean stride < size ?:

#[repr(align(4))] struct A([u8; 3]);  // size_of == 4
type B = [A; 4]; // size_of == 12 instead of 16 ?

[RalfJung]

I'm not sure I follow, do you mean stride < size ?:

No, that makes no sense. Then elements would overlap.
In your example, a mutable reference to two neiughboring elements of B would overlap.

I mean

struct A(u16, u8); // size == 3
type B = [A; 4]; // size == 16 because all elements need to be aligned

[RalfJung]

So to be clear, I think we should keep open the option of eventually having types where the size is not a multiple of the alignment, which implies that arrays of such types will have to have stride > size.

To that end, we should declare arrays as something like: The first element is at offset 0, and the stride of the array is computed as the size of the element type rounded up to the next multiple of the alignment of the element type.

[Amanieu]

See rust-lang/rfcs#1397.

[RalfJung]

@gnzlbg remarks that we should also state explicitly that since repr(C) types have a size that is a multiple of their alignment, for them, we'll always have stride == size. This ensures FFI compatibility.

[RalfJung]

@Amanieu thanks! The plan here is not to specify that this actually happens. but to word things in a way that it can happen in the future.

That RFC points out that this interacts with [T; 3] being the same as (T, T, T). Good point. Namely, the type could differ in that the tuple collapses its trailing padding but the array might not. So we should call out that the total size of the array might be either elem_stride * N or elem_stride*(N-1) + elem_size.

[gnzlbg]

Namely, the type could differ in that the tuple collapses its trailing padding but the array might not.

One of the many options that were proposed in #36 were that (T, T, T) should have the same layout as [T; 3]. Maybe we should call this out as an unresolved question (if we want to write something about arrays before that issue is resolved), or try to resolve both issues together.

[RalfJung]

For now I think we should just document how these decisions affect each other.

[gnzlbg]

Good point. Namely, the type could differ in that the tuple collapses its trailing padding but the array might not.

Does anybody have an example of such a type?