On Tuesday, 4 March 2025 08:27:05 Pacific Standard Time Jarrad Waterloo via
Std-Proposals wrote:
> F.16: For “in” parameters, pass cheaply-copied types by value and others by
> reference to const

BTW, references and pointers to const are modifiable through const_cast.

I'd really want a [[really_const]] attribute to tell the compiler this
function promises not to modify the attribute. It should be independent of
[[pure]], [[unsequenced]] or any other attribute on the function.

> P.10: Prefer immutable data to mutable data
> I.2: Avoid non-const global variables

Does a function-local static const initialised by a non-constexpr initialiser
count as immutable data? The variable is actually in read-writeable memory and
is initialised on first use, under a mutex.

> ES.50: Don’t cast away const

See above.

-- 
Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org
  Principal Engineer - Intel DCAI Platform & System Engineering