P2615 Meaningful exports CWG2443 #1236

Activity

1. jfbastien

   added

   needs-revisionPaper needs changes before it can proceedPaper needs changes before it can proceed

   and removed

   C++23Targeted at C++23Targeted at C++23

   on Oct 30, 2022
2. erichkeane commented on Nov 10, 2022

   

   erichkeane

   on Nov 10, 2022

   Collaborator

   More actions

   1: export static_assert(true); // mild preference for bad
   2: export {static_assert(true);} // strong preference for OK
   3: export template void f(); // strong preference for bad
   4: template export void f(); // strong preference for bad
   5: export {template void f();} // strong preference for OK

   Forward P2615R0 (CWG 2443 resolution) to CWG for inclusion in C++23 (Options 2-5 as preferred above, Option 1 still prohibited).

   SF	F	N	A	SA
   10	9	4	2	0

   Result: Consensus

   Additionally permit Option 1 above as proposed in D2715R0.

   SF	F	N	A	SA
   2	6	13	1	0

   Result: Consensus

   Forwarding the above to CWG.
3. jfbastien

   added

   CWGCoreCore

   and removed

   needs-revisionPaper needs changes before it can proceedPaper needs changes before it can proceed

   on Nov 10, 2022
4. erichkeane

   added

   C++23Targeted at C++23Targeted at C++23

   and removed

   EWGEvolutionEvolution

   on Nov 10, 2022
5. jfbastien

   removed

   C++23Targeted at C++23Targeted at C++23

   on Nov 10, 2022
6. jensmaurer

   added

   needs-revisionPaper needs changes before it can proceedPaper needs changes before it can proceed

   on Nov 10, 2022
7. jensmaurer commented on Nov 10, 2022

   

   jensmaurer

   on Nov 10, 2022

   MemberAuthor

   More actions

   Davis tells us he needs to change the paper to implement EWG guidance.
8. jfbastien commented on Nov 10, 2022

   

   jfbastien

   on Nov 10, 2022

   Last edited by erichkeane

   Collaborator

   More actions

   We need to address a few more cases:

     static_assert(...);        // as discussed, accept
     asm("...");                // as discussed, accept
     template void f();         // as discussed, reject
     template<> void f<int>();  // as discussed, reject
     A() -> A<0>;               // treat like template and reject?
     ;                          // treat like static_assert and accept?
     [[...]];                  // treat like static_assert and accept?
9. erichkeane commented on Nov 11, 2022

   

   erichkeane

   on Nov 11, 2022

   Collaborator

   More actions

   The potentially attributed null statement may have the 'export' keyword, despite it being meaningless.

   SF	F	N	A	SA
   5	1	1	1	1

   Result: Consensus

   A deduction guide declaration inside of an export {} should be permitted, despite not having meaning.

   SF	F	N	A	SA
   7	2	0	0	1

   Result: Consensus

   export on a deduction guide declaration (no {}) should be permitted, despite not having meaning.

   SF	F	N	A	SA
   6	2	1	0	2

   Result: Consensus
10. cor3ntin

    added

    plenary-approvedPapers approved for inclusion in their target vehicle by plenary vote.Papers approved for inclusion in their target vehicle by plenary vote.

    on Nov 12, 2022
11. tkoeppe

    closed this as completedin draft#5955on Nov 24, 2022
12. wg21bot commented on Dec 5, 2022

    

    wg21bot

    on Dec 5, 2022

    Collaborator

    More actions

    P2615R1 Meaningful exports (S. Davis Herring)
13. wg21bot

    removed

    needs-revisionPaper needs changes before it can proceedPaper needs changes before it can proceed

    on Dec 5, 2022
14. jensmaurer

    modified the milestones: 2022-telecon, 2022-11 on Jan 25, 2023