Repository navigation
CWG3185 Exporting a static_assert-declaration #2802
Description
Activity
We should rediscuss deduction guides if we're going to rediscuss things.
EWG approves of the CWG proposed resolution to CWG3185, and forwards back to CWG. EWG also encourages CWG to consider the asm-declaration. Also, consider attribute-declaration.
SF F N A SA 1 15 5 2 0 Result: consensus
See P2615 Meaningful exports CWG2443 #1236
R0 implements the direction that Davis wants, which probably needs EWG approval.
Writing
export ;orexport static_assert(true);seems misguided and is devoid of any meaning possibly intended to be conveyed by theexport. There is already a prohibition to export declarations of partial specializations.CWG3185 wants to forbid such practices. Note that the braced form of
exportis left alone, i.e.continues to be well-formed.
There was a poll by EWG a few years ago in response to a C++23 NB comment that was called consensus for allowing
export static_assert(true);, but that was actually with a majority of "neutral" voters. It's unclear why that was called consensus.https://github.com/cplusplus/nbballot/issues/428#issuecomment-1310766777
It might also be desirable to have the set of restrictions for
exportandextern "C"(in both situations, without the braces only) to match.