On Fri, 24 Jan 2025, Bill Wendling wrote: > > First, I should point out that the proposed standard feature in this area > > (which received along-the-lines support at the WG14 meeting in Strasbourg > > last year, though with a very large number of issues with the proposed > > wording that would need to be resolved for any such feature to go in, and > > without support for another paper needed for the feature to be useful) was > > intentionally limited; it didn't try for general expressions, just for > > .IDENTIFIER, where IDENTIFIER named a *const-qualified* structure member > > (that thus had to be set when the structure was initialized and not > > modified thereafter, so avoiding various of the complications we have with > > counted_by of defining exactly when the value applies in relation to > > accesses to different structure members). > > > Do you have a URL to the proposal?
That's https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3188.htm (note I sent 23 comments on various issues with the proposal to the WG14 reflector). https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3186.htm was the feature it depended on (not formally, but practically) to make it more convenient to initialize structures with const-qualified members (and as I noted, N3186 did not receive support). -- Joseph S. Myers josmy...@redhat.com
