Title
Misleading body for surrogate call function
Status
open
Section
12.2.2.2.3 [over.call.object]
Submitter
Brian Bi

Created on 2025-08-11.00:00:00 last changed 2 weeks ago

Messages

Date: 2025-08-15.21:53:59

Suggested resolution:

Change in 12.2.2.2.3 [over.call.object] paragraph 2 as follows:

..., a surrogate call function with the unique name call-function and having the form
    R call-function ( conversion-type-id F, P1 a1, ... , Pn an) { return F (a1, ..., an); } ;
is also considered as a candidate function. [ Note: If a surrogate call function is selected by overload resolution, the behavior is as described in 12.4.4 [over.call]. -- end note ] Similarly,...
Date: 2025-08-11.00:00:00

(From submission #747.)

Subclause 12.2.2.2.3 [over.call.object] paragraph 2 defines the surrogate call function has having a function body. However, this body will never be evaluated, because 12.4.4 [over.call] paragraph 1 specifies the behavior when a surrogate call function is selected by overload resolution.

History
Date User Action Args
2025-08-15 21:53:59adminsetmessages: + msg8077
2025-08-11 00:00:00admincreate