Title
INVOKE(f, t1, t2,... tN) and INVOKE(f, t1, t2,... tN, R) are too similar
Status
resolved
Section
[func.require]
Submitter
United States

Created on 2017-02-03.00:00:00 last changed 86 months ago

Messages

Date: 2017-03-15.00:00:00

[ 2017-03-12, post-Kona ]

Resolved by p0604r0.

Date: 2017-02-15.00:00:00

[ 2017-02-24, Daniel comments ]

I suggest to apply the paper d0604r0, available on the Kona LWG wiki, implements this suggestions.

Date: 2017-02-03.00:00:00
Addresses US 84

The distinction between INVOKE(f, t1, t2,... tN) and INVOKE(f, t1, t2,... tN, R) is too subtle. If the last argument is an expression, it represents tN, if it's a type, then it represents R. Very clumsy.

Proposed change: Rename INVOKE(f, t1, t2,... tN, R) to INVOKE_R(R, f, t1, t2,... tN) and adjust all uses of this form. (Approximately 10 occurrences of invoke would need to change.)

History
Date User Action Args
2017-03-12 23:20:40adminsetstatus: ready -> resolved
2017-03-12 23:04:12adminsetmessages: + msg9095
2017-03-12 23:04:12adminsetstatus: new -> ready
2017-02-24 21:23:01adminsetmessages: + msg8996
2017-02-03 00:00:00admincreate