Title
Closure types that are final
Status
tentatively ready
Section
7.5.6.2 [expr.prim.lambda.closure]
Submitter
Jay Ghiron

Created on 2025-12-25.00:00:00 last changed 2 weeks ago

Messages

Date: 2026-02-21.09:24:24

Proposed resolution (approved by CWG 2026-01-23):

Change in 7.5.6.2 [expr.prim.lambda.closure] paragraph 4 as follows:

The closure type is not an aggregate type (9.5.2 [dcl.init.aggr]) and is not final (11.1 [class.pre]); it is a structural type (13.2 [temp.param]) if and only if the lambda has no lambda-capture.
Date: 2025-12-25.00:00:00

(From submission #832.)

The current specification leaves open the possibility that an implementation declares closure types as final. That is undesirable.

History
Date User Action Args
2026-02-21 09:24:24adminsetstatus: open -> tentatively ready
2026-01-21 22:18:37adminsetmessages: + msg8460
2025-12-25 00:00:00admincreate