This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of New status.

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

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: