Does span propagate const?

Question

The standard containers propagate const. That is, their elements are automatically const if the containers themselves are const. For example:

const std::vector vec{3, 1, 4, 1, 5, 9, 2, 6};
ranges::fill(vec, 314); // impossible

const std::list lst{2, 7, 1, 8, 2, 8, 1, 8};
ranges::fill(lst, 272); // impossible

Builtin arrays also propagate const:

const int arr[] {1, 4, 1, 4, 2, 1, 3, 5};
ranges::fill(arr, 141); // impossible

However, I noticed that std::span (presumably) does not propagate const. Minimal Reproducible Example:

#include <algorithm>
#include <cassert>
#include <span>

namespace ranges = std::ranges;

int main()
{
    int arr[] {1, 7, 3, 2, 0, 5, 0, 8};

    const std::span spn{arr};
    ranges::fill(spn, 173);               // this compiles

    assert(ranges::count(arr, 173) == 8); // passes
}

Why does this code work fine? Why does std::span treat const differently than the standard containers?

score 22 · Accepted Answer · answered Jul 05 '19 at 02:22

Propagating const for a type like span doesn't actually make much sense, since it cannot protect you from anything anyway.

Consider:

void foo(std::span<int> const& s) {
    // let's say we want this to be ill-formed
    // that is, s[0] gives a int const& which
    // wouldn't be assignable
    s[0] = 42;

    // now, consider what this does
    std::span<int> t = s;

    // and this
    t[0] = 42;
}

Even if s[0] gave an int const&, t[0] surely gives an int&. And t refers to the exactly same elements as s. It's a copy after all, and span doesn't own its elements - it's a reference type. Even if s[0] = 42 failed, std::span(s)[0] = 42 would succeed. This restriction wouldn't do anyone any good.

The difference with the regular containers (e.g. vector) is that the copies here still refer to the same elements, whereas copying a vector would give you entirely new elements.

The way to have span refer to immutable elements isn't to make the span itself const, it's to make the underlying elements themselves const. That is: span<T const>, not span<T> const.

Good point, explains why span cannot propagate const sensibly. Also, is it intended that `s` is a reference? — L. F., Jul 05 '19 at 02:27
@L.F. No the ref isn't important, it's just that const& parameters are a pretty typical way to end up with a const span. — Barry, Jul 05 '19 at 12:12
I accepted this answer because it explains better than mine. — L. F., Aug 05 '19 at 23:08

score 8 · Answer 2 · edited Jul 04 '19 at 11:29

Think of pointers. Pointers do not propagate const either. The constness of the pointer is independent from the constness of the element type.

Considered the modified Minimal Reproducible Example:

#include <algorithm>
#include <cassert>
#include <span>

namespace ranges = std::ranges;

int main()
{
    int var = 42;

    int* const ptr{&var};
    ranges::fill_n(ptr, 1, 84); // this also compiles

    assert(var == 84);          // passes
}

It is by design that std::span is kind of a pointer to a contiguous sequence of elements. Per [span.iterators]:

constexpr iterator begin() const noexcept;
constexpr iterator end() const noexcept;

Note that begin() and end() return a non-const iterator regardless of whether the span itself is const or not. Thus, std::span does not propagate const, in a way that is analogous to pointers. The constness of the span is independent from the constness of the element type.

const₁ std::span<const₂ ElementType, Extent>

The first const specifies the constness of the span itself. The second const specifies the constness of the elements. In other words:

      std::span<      T> // non-const span of non-const elements
      std::span<const T> // non-const span of     const elements
const std::span<      T> //     const span of non-const elements
const std::span<const T> //     const span of     const elements

If we change the declaration of spn in the Example to:

std::span<const int, 8> spn{arr};

The code fails to compile, just like the standard containers. It doesn't matter whether you mark spn itself as const in this regard. (You can't do things like spn = another_arr, though, if you mark it as const)

(Note: you can still use class template argument deduction with the help of std::as_const:

std::span spn{std::as_const(arr)};

Just don't forget to #include <utility>.)

Note that I don't have access to a compiler that can actually compile the code (yet), so I stand to be corrected. — L. F., Jul 04 '19 at 10:57

Does span propagate const?

2 Answers2