Proposed resolution:

This wording is relative to N5014.

1. Modify [atomics.ref.int], as indicated:

   constexpr void store_key(value_type operand,
                            memory_order order = memory_order::seq_cst) const noexcept;
   

   -?- Constraints: is_const_v<integral-type> is `false`.

   -10- Preconditions: `order` is `memory_order::relaxed`, `memory_order::release`, or `memory_order::seq_cst`.

   -11- Effects: Atomically replaces the value referenced by `*ptr` with the result of the computation applied to the value referenced by `*ptr` and the given `operand`. Memory is affected according to the value of `order`. These operations are atomic modify-write operations ([atomics.order]).

2. Modify [atomics.ref.float], as indicated:

   constexpr void store_key(value_type operand,
                            memory_order order = memory_order::seq_cst) const noexcept;
   

   -?- Constraints: is_const_v<floating-point-type> is `false`.

   -10- Preconditions: `order` is `memory_order::relaxed`, `memory_order::release`, or `memory_order::seq_cst`.

   -11- Effects: Atomically replaces the value referenced by `*ptr` with the result of the computation applied to the value referenced by `*ptr` and the given `operand`. Memory is affected according to the value of `order`. These operations are atomic modify-write operations ([atomics.order]).

3. Modify [atomics.ref.pointer], as indicated:

   constexpr void store_key(see above operand,
                            memory_order order = memory_order::seq_cst) const noexcept;
   

   -?- Constraints: is_const_v<pointer-type> is `false`.

   -11- Mandates: `T` is a complete object type.

   -12- Preconditions: `order` is `memory_order::relaxed`, `memory_order::release`, or `memory_order::seq_cst`.

   -13- Effects: Atomically replaces the value referenced by `*ptr` with the result of the computation applied to the value referenced by `*ptr` and the given `operand`. Memory is affected according to the value of `order`. These operations are atomic modify-write operations ([atomics.order]).

[ Kona 2025-11-08; Status changed: Immediate → WP. ]

[ Kona 2025-11-05; approved by LWG. Status changed: New → Immediate. ]

The new store_key functions modify the object, so it can't be const.