P0009: Does layout_stride::is_contiguous() return true for rank() == 0? about cpp-proposals-pub

[crtrott]

Yeah. Because it means you could for example memset the whole span without overwriting other things. That is what is_contiguous should mean, and thus it should be true for rank()==0

[mhoemmen]

@crtrott Thanks! Should it then also be the case that mapping returns 0 when rank()==0?

[mhoemmen]

Rather, should mapping set s[0] = 0 in that case?

[mhoemmen]

Wait, oops, never mind, s has length 0 in this case.

[mhoemmen]

PRs #74 and #77 (preferred) address this.