Why aren't constexpr const scoped variables implicitly static?

Question

_{(Following to this question:)}

void foo() {
    constexpr const auto my_lambda = [](int z) { return z+1; };
}

Apparently, my_lambda is "not static". In what sense is it not-static, other than not officially defined to be? Why should it not be implicitly static, seeing how it seems to meet the definition?

Answer 1

In what sense is it not-static

Its not static in the sense that it doesn't have static storage duration. It has automatic storage duration.

For most purposes, it doesn't matter whether the storage duration is static or not because the initialisation and destruction of the object are trivial, and the storage isn't used at all. Still, this demonstrates an important difference:

auto* foo() {
    constexpr const auto my_lambda = [](int z) { return z+1; };
    return &my_lambda; // dangling pointer
}

auto* foo_static() {
    static constexpr const auto my_lambda = [](int z) { return z+1; };
    return &my_lambda; // OK
}