Title
What is a "decayed type"?
Status
new
Section
[cmp.alg][range.all.general][cmp.alg]
Submitter
Alisdair Meredith

Created on 2020-10-27.00:00:00 last changed 38 months ago

Messages

Date: 2021-01-15.00:00:00

[ 2021-01-15; Telecon prioritization ]

Set priority to 3 following reflector and telecon discussions.

Date: 2021-10-30.08:41:14

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:

  • [cmp.alg]: Most heavily used here.

  • [range.all.general]

  • [cmp.alg]

History
Date User Action Args
2021-01-15 21:45:23adminsetmessages: + msg11648
2020-10-27 00:00:00admincreate