3491. What is a "decayed type"?

Section: 17.11.6 [cmp.alg], [range.all.general], 17.11.6 [cmp.alg] Status: New Submitter: Alisdair Meredith Opened: 2020-10-27 Last modified: 2021-10-30 08:41:14 UTC

Priority: 3

View other active issues in [cmp.alg].

View all other issues in [cmp.alg].

View all issues with New status.


Some of our newer wording for C++20 uses the term "decayed type" as if it were a defined term of art. While I have intuition for what may be intended in these cases, it turns out the "function to function pointer decay" and "array to array pointer decay" were never actually Core terms of art — having searched all standards going back as far as C++03.

We should either define this term for library use, or find a way to state our intent using existing well-defined terms of art.

Affected clauses:

[2021-01-15; Telecon prioritization]

Set priority to 3 following reflector and telecon discussions.

Proposed resolution: