This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 114b. See for the official list.


2442. Incorrect requirement for default arguments

Section: 12.2.3  [over.match.viable]     Status: C++20     Submitter: S. B. Tam     Date: 2019-09-24

[Adopted as a DR at the November, 2019 meeting.]

(From editorial issue 3235.)

According to 12.2.3 [over.match.viable] bullet 2.3 says,

First, to be a viable function, a candidate function shall have enough parameters to agree in number with the arguments in the list.

However, this is incorrect; [dcl.fct.default] paragraph 4 permits parameter packs to follow parameters with default arguments.

Proposed resolution (October, 2019):

Change 12.2.3 [over.match.viable] bullet 2.3 as follows: