Difference between revisions of "cpp/experimental"
m (→Non-TS proposals: 2024-07 updates.) |
m (→TR/TS specifications) |
||
(8 intermediate revisions by 3 users not shown) | |||
Line 42: | Line 42: | ||
|Published 2015-06-18 ([https://www.iso.org/standard/63483.html ISO store]). Final draft: {{stddoc|n4100}} (2014-07-04).<br> | |Published 2015-06-18 ([https://www.iso.org/standard/63483.html ISO store]). Final draft: {{stddoc|n4100}} (2014-07-04).<br> | ||
{{mark_ok}}[[cpp/filesystem|Merged into C++17]]. | {{mark_ok}}[[cpp/filesystem|Merged into C++17]]. | ||
− | |{{rl|fs|Filesystem}}, {{header| | + | |{{rl|fs|Filesystem}}, {{header|filesystem}} |
|- | |- | ||
|ISO/IEC TS 19570:2015 | |ISO/IEC TS 19570:2015 | ||
Line 121: | Line 121: | ||
| | | | ||
|- | |- | ||
− | |ISO/IEC | + | |ISO/IEC TS 9922 |
|Concurrency TS Version 2 | |Concurrency TS Version 2 | ||
− | | | + | |Published 2024-10-09 ([https://www.iso.org/standard/83630.html ISO Store]). Draft: {{stddoc|n4956}} (2023-07-05). |
|{{rl|concurrency 2|Concurrency 2}} | |{{rl|concurrency 2|Concurrency 2}} | ||
|- | |- | ||
− | |ISO/IEC | + | |ISO/IEC TS 19568:2024 |
|C++ Extensions for Library Fundamentals, Version 3 | |C++ Extensions for Library Fundamentals, Version 3 | ||
− | | | + | |Published 2024-08-26 ([https://www.iso.org/standard/86293.html ISO Store]). Draft: {{stddoc|n4948}} (2023-05-08). |
|{{rl|lib extensions 3|Library extensions 3}} | |{{rl|lib extensions 3|Library extensions 3}} | ||
|- | |- | ||
Line 148: | Line 148: | ||
|- | |- | ||
|Linear Algebra | |Linear Algebra | ||
− | |{{ | + | |{{mark ok}}[[cpp/header/linalg|Merged into C++26]]. Proposal: {{stddoc|P1673R13}} (2023-11-10). |
{{cot|More proposals:}} | {{cot|More proposals:}} | ||
− | * A proposal to add linear algebra support to the C++ standard library - {{stddoc| | + | * A proposal to add linear algebra support to the C++ standard library - {{stddoc|P1385R7}} (2022-10-15) |
− | * Evolving a Standard C++ Linear Algebra Library from the BLAS - {{stddoc| | + | * Evolving a Standard C++ Linear Algebra Library from the {{enwiki|Basic Linear Algebra Subprograms|BLAS}} - {{stddoc|P1674R2}} (2022-05-15) |
− | * Presentation of P1385R7 to LEWG at Issaquah 2023 - {{stddoc|P2802R0}} (2023-02-09) | + | * Presentation of {{stddoc|P1385R7}} to LEWG at Issaquah 2023 - {{stddoc|P2802R0}} (2023-02-09) |
+ | * Fix C++26 by optimizing {{c/core|linalg::conjugated}} for non-complex value types - {{stddoc|P3050R2}} (2024-08-13) | ||
+ | * Fix C++26 by making the {{enwiki|Symmetric matrix|symmetric}} and {{enwiki|Hermitian matrix|Hermitian}} rank-k and rank-2k updates consistent with the {{enwiki|Basic Linear Algebra Subprograms|BLAS}} - {{stddoc|P3371R2}} (2024-10-14) | ||
{{cob}} | {{cob}} | ||
|{{header|linalg}} | |{{header|linalg}} | ||
Line 158: | Line 160: | ||
|{{lc|std::execution}} | |{{lc|std::execution}} | ||
|Forwarded to LWG, wording in progress.<br> | |Forwarded to LWG, wording in progress.<br> | ||
− | {{ | + | {{mark ok}}[[cpp/header/execution|Merged into C++26]]. Proposal: {{stddoc|P2300R10}} (2024-06-28). |
{{cot|More proposals:}} | {{cot|More proposals:}} | ||
− | * System execution context - {{stddoc| | + | * System execution context - {{stddoc|P2079R5}} (2024-10-16) |
* Sender-Receiver Interface for Networking - {{stddoc|P2762R2}} (2023-10-12) | * Sender-Receiver Interface for Networking - {{stddoc|P2762R2}} (2023-10-12) | ||
* Member customization points for Senders and Receivers - {{stddoc|P2855R1}} (2024-02-22) | * Member customization points for Senders and Receivers - {{stddoc|P2855R1}} (2024-02-22) | ||
Line 168: | Line 170: | ||
* A plan for {{lc|std::execution}} for C++26 - {{stddoc|P3109R0}} (2024-02-12) | * A plan for {{lc|std::execution}} for C++26 - {{stddoc|P3109R0}} (2024-02-12) | ||
* Improving diagnostics for Sender expressions - {{stddoc|P3164R0}} (2024-03-01) | * Improving diagnostics for Sender expressions - {{stddoc|P3164R0}} (2024-03-01) | ||
− | * Reconsidering the {{c|std::execution::on}} algorithm - {{stddoc|P3175R3}} (2024-06-25) | + | * Reconsidering the {{c/core|std::execution::on}} algorithm - {{stddoc|P3175R3}} (2024-06-25) |
− | * {{ | + | * {{tt|finally}}, {{tt|write_env}}, and {{tt|unstoppable}} Sender Adaptors - {{stddoc|P3284R1}} (2024-07-16) |
* Fixing Lazy Sender Algorithm Customization - {{stddoc|P3303R1}} (2024-06-25) | * Fixing Lazy Sender Algorithm Customization - {{stddoc|P3303R1}} (2024-06-25) | ||
+ | * A Utility for Creating Execution Environments - {{stddoc|P3325R3}} (2024-07-23) | ||
+ | * When Do You Know {{tt|connect}} Doesn't Throw? - {{stddoc|P3388R0}} (2024-09-10) | ||
+ | * {{c/core|std::execution}} wording fixes - {{stddoc|P3396R0}} (2024-09-16) | ||
+ | * Enabling more efficient stop-token based cancellation of senders - {{stddoc|P3409R0}} (2024-10-16) | ||
+ | * {{tt|system_scheduler}} on Win32, Darwin and Linux - {{stddoc|P3456R0}} (2024-10-15) | ||
+ | * Summarizing {{c/core|std::execution::bulk()}} issues - {{stddoc|P3481R0}} (2024-10-16) | ||
{{cob}} | {{cob}} | ||
|{{rl|execution|Execution}}, {{header|execution}} | |{{rl|execution|Execution}}, {{header|execution}} | ||
|- | |- | ||
|{{lc|std::inplace_vector}} | |{{lc|std::inplace_vector}} | ||
− | |{{ | + | |{{mark ok}}[[cpp/header/inplace_vector|Merged into C++26]]. Proposal: {{stddoc|P0843R14}} (2024-06-26). |
{{cot|More proposals:}} | {{cot|More proposals:}} | ||
+ | * {{tt|inplace_vector}} - {{stddoc|P0843}}({{stddoc|P0843R7|R7}}) LEWG presentation - {{stddoc|P2925R0}} (2023-06-16) | ||
* A direction for Vector - {{stddoc|P3147R1}} (2024-03-18) | * A direction for Vector - {{stddoc|P3147R1}} (2024-03-18) | ||
− | * An allocator-aware {{lc|std::inplace_vector}} - {{stddoc| | + | * An allocator-aware {{lc|std::inplace_vector}} - {{stddoc|P3160R2}} (2024-10-15) |
{{cob}} | {{cob}} | ||
|{{header|inplace_vector}} | |{{header|inplace_vector}} | ||
|- | |- | ||
|Pattern Matching | |Pattern Matching | ||
− | |Early development. Draft {{stddoc| | + | |Early development. Draft {{stddoc|P1371R3}} (2020-09-15). |
{{cot|More proposals:}} | {{cot|More proposals:}} | ||
− | * Pattern Matching using {{c|is}} and {{c|as}} - {{stddoc| | + | * Pattern Matching using {{c/core|is}} and {{c/core|as}} - {{stddoc|P2392R3}} (2024-10-16) |
− | * Pattern Matching: {{c|match}} expression - {{stddoc| | + | * Pattern Matching: {{c/core|match}} expression - {{stddoc|P2688R3}} (2024-10-16) |
− | * {{c|switch}} for Pattern Matching - {{stddoc|P2940R0}} (2022-04-18) | + | * {{c/core|switch}} for Pattern Matching - {{stddoc|P2940R0}} (2022-04-18) |
* Identifiers for Pattern Matching - {{stddoc|P2941R0}} (2022-02-24) | * Identifiers for Pattern Matching - {{stddoc|P2941R0}} (2022-02-24) | ||
− | * A Postcondition ''is'' a Pattern Match - {{stddoc| | + | * A Postcondition ''is'' a Pattern Match - {{stddoc|P3210R2}} (2024-09-10) |
* A unified syntax for Pattern Matching and Contracts when introducing a new name - {{stddoc|P3249R0}} (2024-05-22) | * A unified syntax for Pattern Matching and Contracts when introducing a new name - {{stddoc|P3249R0}} (2024-05-22) | ||
* A simpler notation for PM - {{stddoc|P3332R0}} (2024-06-18) | * A simpler notation for PM - {{stddoc|P3332R0}} (2024-06-18) | ||
+ | * Slides for P2688R2 - Pattern Matching: {{c/core|match}} Expression - {{stddoc|P3476R0}} (2024-10-16) | ||
{{cob}} | {{cob}} | ||
| | | | ||
Line 199: | Line 209: | ||
{{cot|More proposals:}} | {{cot|More proposals:}} | ||
* Scalable Reflection in C++ - {{stddoc|P1240R2}} (2022-01-14) | * Scalable Reflection in C++ - {{stddoc|P1240R2}} (2022-01-14) | ||
+ | * Expansion statements - {{stddoc|P1306R3}} (2024-10-14) | ||
+ | * Reflection on attributes - {{stddoc|P1887R1}} (2020-01-13) | ||
+ | * Metaprogramming - {{stddoc|P2237R0}} (2020-10-15) | ||
* Python Bindings with Value-Based Reflection - {{stddoc|P2911R1}} (2023-10-13) | * Python Bindings with Value-Based Reflection - {{stddoc|P2911R1}} (2023-10-13) | ||
− | * Reflection for C++26 - {{stddoc| | + | * Reflection for C++26 - {{stddoc|P2996R7}} (2024-10-13) |
* Using Reflection to Replace a Metalanguage for Generating JS Bindings - {{stddoc|P3010R0}} (2023-10-13) | * Using Reflection to Replace a Metalanguage for Generating JS Bindings - {{stddoc|P3010R0}} (2023-10-13) | ||
* ABI comparison with reflection - {{stddoc|P3095R0}} (2024-02-15) | * ABI comparison with reflection - {{stddoc|P3095R0}} (2024-02-15) | ||
− | * Function Parameter Reflection in Reflection for C++26 - {{stddoc| | + | * Function Parameter Reflection in Reflection for C++26 - {{stddoc|P3096R3}} (2024-09-15) |
* Generative Extensions for Reflection - {{stddoc|P3157R1}} (2024-05-22) | * Generative Extensions for Reflection - {{stddoc|P3157R1}} (2024-05-22) | ||
+ | * Syntax for Reflection - {{stddoc|P3381R0}} (2024-09-17) | ||
+ | * Attributes reflection - {{stddoc|P3385R1}} (2024-10-15) | ||
+ | * Annotations for Reflection - {{stddoc|P3394R0}} (2024-10-14) | ||
+ | * Reflection Syntax Options Summary - {{stddoc|P3419R0}} (2024-10-11) | ||
+ | * Reflection of Templates - {{stddoc|P3420R0}} (2024-10-16) | ||
+ | * Reflection header should minimize standard library dependencies - {{stddoc|P3429R0}} (2024-10-16) | ||
+ | * Reflection and meta-programming - {{stddoc|P3435R0}} (2024-10-14) | ||
+ | * Proposed default principles: Reflect C++, Generate C++ - {{stddoc|P3437R0}} (2024-10-16) | ||
+ | * Reflection on SG21 2024 Process - {{stddoc|P3443R0}} (2024-10-14) | ||
+ | * A Suggestion for Reflection Access Control - {{stddoc|P3451R0}} (2024-10-15) | ||
{{cob}} | {{cob}} | ||
| {{rl|reflect|Reflection}} | | {{rl|reflect|Reflection}} | ||
Line 212: | Line 235: | ||
{{cot|More proposals:}} | {{cot|More proposals:}} | ||
* Expected Feedback from SIMD in Parallelism TS2 - {{stddoc|P1915R0}} (2019-10-07) | * Expected Feedback from SIMD in Parallelism TS2 - {{stddoc|P1915R0}} (2019-10-07) | ||
− | * {{rlt|simd|std::simd}} - Merge data-parallel types from the Parallelism TS 2 - {{stddoc| | + | * {{rlt|simd|std::simd}} - Merge data-parallel types from the Parallelism TS 2 - {{stddoc|P1928R12}} (2024-10-11) |
* Intel's response to {{rlt|simd|std::simd}} - {{stddoc|P2638R0}} (2022-09-22) | * Intel's response to {{rlt|simd|std::simd}} - {{stddoc|P2638R0}} (2022-09-22) | ||
* Proposal to support interleaved complex values in {{rlt|simd|std::simd}} - {{stddoc|P2663R5}} (2023-12-08) | * Proposal to support interleaved complex values in {{rlt|simd|std::simd}} - {{stddoc|P2663R5}} (2023-12-08) | ||
− | * Proposal to extend {{rlt|simd|std::simd}} with permutation API - {{stddoc| | + | * Proposal to extend {{rlt|simd|std::simd}} with permutation API - {{stddoc|P2664R8}} (2024-10-15) |
* {{rlt|simd|std::simd}} Intro slides - {{stddoc|P2803R0}} (2023-02-09) | * {{rlt|simd|std::simd}} Intro slides - {{stddoc|P2803R0}} (2023-02-09) | ||
* Issaquah Slides for Intel response to {{rlt|simd|std::simd}} - {{stddoc|P2807R0}} (2023-02-10) | * Issaquah Slides for Intel response to {{rlt|simd|std::simd}} - {{stddoc|P2807R0}} (2023-02-10) | ||
Line 223: | Line 246: | ||
* {{rlt|simd|std::simd}} types should be regular - {{stddoc|P2892R0}} LEWG presentation - {{stddoc|P2926R0}} (2023-06-19) | * {{rlt|simd|std::simd}} types should be regular - {{stddoc|P2892R0}} LEWG presentation - {{stddoc|P2926R0}} (2023-06-19) | ||
* {{tt|simd_invoke}} - {{stddoc|P2929R0}} (2023-07-19) | * {{tt|simd_invoke}} - {{stddoc|P2929R0}} (2023-07-19) | ||
− | * {{rlt|simd|std::simd}} overloads for {{header|bit}} - {{stddoc| | + | * {{rlt|simd|std::simd}} overloads for {{header|bit}} - {{stddoc|P2933R2}} (2024-10-16) |
* Add saturating library support to {{rlt|simd|std::simd}} - {{stddoc|P2956R0}} (2023-08-01) | * Add saturating library support to {{rlt|simd|std::simd}} - {{stddoc|P2956R0}} (2023-08-01) | ||
* Allowing user-defined types in {{rlt|simd|std::simd}} - {{stddoc|P2964R1}} (2024-05-22) | * Allowing user-defined types in {{rlt|simd|std::simd}} - {{stddoc|P2964R1}} (2024-05-22) | ||
* Interface Directions for {{rlt|simd|std::simd}} - {{stddoc|P3024R0}} (2023-11-30) | * Interface Directions for {{rlt|simd|std::simd}} - {{stddoc|P3024R0}} (2023-11-30) | ||
* Provide predefined {{rlt|simd|std::simd}} permute generator functions for common operations - {{stddoc|P3067R0}} (2024-05-22) | * Provide predefined {{rlt|simd|std::simd}} permute generator functions for common operations - {{stddoc|P3067R0}} (2024-05-22) | ||
− | * Replace {{rlt|simd|std::simd}} operator[] with getter and setter functions - or not - {{stddoc|P3275R0}} (2024-05-22) | + | * Replace {{rlt|simd|std::simd}} {{c/core|operator[]}} with getter and setter functions - or not - {{stddoc|P3275R0}} (2024-05-22) |
− | * Exploration of namespaces for {{rlt|simd|std::simd}} - {{stddoc| | + | * Exploration of namespaces for {{rlt|simd|std::simd}} - {{stddoc|P3287R1}} (2024-10-15) |
− | * Range constructors for {{rlt|simd|std::simd}} - {{stddoc| | + | * Range constructors for {{rlt|simd|std::simd}} - {{stddoc|P3299R2}} (2024-10-16) |
* Add an {{tt|iota}} object for {{rlt|simd|std::simd}} (and more) - {{stddoc|P3319R1}} (2024-06-28) | * Add an {{tt|iota}} object for {{rlt|simd|std::simd}} (and more) - {{stddoc|P3319R1}} (2024-06-28) | ||
+ | * {{rlt|simd|std::simd}} issues: explicit, unsequenced, identity-element position, and members of disabled simd - {{stddoc|P3430R0}} (2024-10-15) | ||
+ | * Add {{tt|n_elements}} named constructor to {{rlt|simd|std::simd}} - {{stddoc|P3440R0}} (2024-10-15) | ||
+ | * Rename {{tt|simd_split}} to {{tt|simd_chunk}} - {{stddoc|P3441R0}} (2024-10-15) | ||
+ | * Add utilities for easier type-bit casting in {{rlt|simd|std::simd}} - {{stddoc|P3445R0}} (2024-10-16) | ||
+ | * {{rlt|simd|std::simd}} is a {{lconcept|range}} - {{stddoc|P3480R0}} (2024-10-16) | ||
{{cob}} | {{cob}} | ||
|{{rl|simd|Data parallel types}} | |{{rl|simd|Data parallel types}} | ||
|- | |- | ||
|Contracts | |Contracts | ||
− | |Early development. Proposal {{stddoc| | + | |Early development. Proposal {{stddoc|P2659R2}} (2022-11-30). Draft {{stddoc|P2660R0}} (2022-10-14). |
{{cot|More proposals:}} | {{cot|More proposals:}} | ||
* A Proposal to Publish a Technical Specification for Contracts - {{stddoc|P2659R2}} (2022-12-05) | * A Proposal to Publish a Technical Specification for Contracts - {{stddoc|P2659R2}} (2022-12-05) | ||
Line 254: | Line 282: | ||
* Constant evaluation of Contracts - {{stddoc|P2894R2}} (2024-01-11) | * Constant evaluation of Contracts - {{stddoc|P2894R2}} (2024-01-11) | ||
* Outstanding design questions for the Contracts MVP - {{stddoc|P2896R0}} (2023-08-22) | * Outstanding design questions for the Contracts MVP - {{stddoc|P2896R0}} (2023-08-22) | ||
− | * Contracts for C++ - {{stddoc| | + | * Contracts for C++ - {{stddoc|P2900R10}} (2024-10-13) |
* A Principled Approach to Open Design Questions for Contracts - {{stddoc|P2932R3}} (2024-01-16) | * A Principled Approach to Open Design Questions for Contracts - {{stddoc|P2932R3}} (2024-01-16) | ||
* An Attribute-Like Syntax for Contracts - {{stddoc|P2935R4}} (2023-11-05) | * An Attribute-Like Syntax for Contracts - {{stddoc|P2935R4}} (2023-11-05) | ||
* Contracts must avoid disclosing sensitive information - {{stddoc|P2947R0}} (2023-07-20) | * Contracts must avoid disclosing sensitive information - {{stddoc|P2947R0}} (2023-07-20) | ||
− | * Slides for P2861R0: Narrow Contracts and {{c/core|noexcept}} are Inherently Incompatible - {{stddoc|P2949R0}} (2023-07-14) | + | * Slides for {{stddoc|P2861R0}}: Narrow Contracts and {{c/core|noexcept}} are Inherently Incompatible - {{stddoc|P2949R0}} (2023-07-14) |
* Contracts and virtual functions for the Contracts MVP - {{stddoc|P2954R0}} (2023-08-03) | * Contracts and virtual functions for the Contracts MVP - {{stddoc|P2954R0}} (2023-08-03) | ||
− | * Contracts and coroutines - {{stddoc| | + | * Contracts and coroutines - {{stddoc|P2957R2}} (2024-10-14) |
* A natural syntax for Contracts - {{stddoc|P2961R2}} (2023-11-08) | * A natural syntax for Contracts - {{stddoc|P2961R2}} (2023-11-08) | ||
* An Overview of Syntax Choices for Contracts - {{stddoc|P3028R0}} (2023-11-05) | * An Overview of Syntax Choices for Contracts - {{stddoc|P3028R0}} (2023-11-05) | ||
* Protection against modifications in contracts - {{stddoc|P3071R1}} (2023-12-17) | * Protection against modifications in contracts - {{stddoc|P3071R1}} (2023-12-17) | ||
− | * Remove evaluation_undefined_behavior and will_continue from the Contracts MVP - {{stddoc|P3073R0}} (2024-01-27) | + | * Remove {{tt|evaluation_undefined_behavior}} and {{tt|will_continue}} from the Contracts MVP - {{stddoc|P3073R0}} (2024-01-27) |
* Should {{tt|ignore}} and {{tt|observe}} exist for constant evaluation of contracts? - {{stddoc|P3079R0}} (2024-01-11) | * Should {{tt|ignore}} and {{tt|observe}} exist for constant evaluation of contracts? - {{stddoc|P3079R0}} (2024-01-11) | ||
* Contracts for C++: Support for virtual functions - {{stddoc|P3097R0}} (2024-04-15) | * Contracts for C++: Support for virtual functions - {{stddoc|P3097R0}} (2024-04-15) | ||
− | * Undefined and erroneous | + | * Contracts for C++: Postcondition captures - {{stddoc|P3098R0}} (2024-10-14) |
+ | * Undefined and erroneous behavior are contract violations - {{stddoc|P3100R1}} (2024-10-16) | ||
* Tokyo Technical Fixes to Contracts - {{stddoc|P3119R1}} (2024-05-09) | * Tokyo Technical Fixes to Contracts - {{stddoc|P3119R1}} (2024-05-09) | ||
* Contracts on virtual functions for the Contracts MVP - {{stddoc|P3165R0}} (2024-02-27) | * Contracts on virtual functions for the Contracts MVP - {{stddoc|P3165R0}} (2024-02-27) | ||
* Inherited contracts - {{stddoc|P3169R0}} (2024-04-14) | * Inherited contracts - {{stddoc|P3169R0}} (2024-04-14) | ||
* Contract testing support - {{stddoc|P3183R1}} (2024-05-22) | * Contract testing support - {{stddoc|P3183R1}} (2024-05-22) | ||
− | * Slides for LEWG presentation of P2900R6: Contracts for C++ - {{stddoc|P3189R0}} (2024-03-19) | + | * Slides for LEWG presentation of {{stddoc|P2900R6}}: Contracts for C++ - {{stddoc|P3189R0}} (2024-03-19) |
− | * Slides for | + | * Slides for LEWG presentation of {{stddoc|P2900R7}}: Contracts for C++ - {{stddoc|P3190R0}} (2024-03-20) |
− | * A response to the Tokyo EWG polls on the Contracts MVP (P2900R6) - {{stddoc|P3197R0}} (2024-04-12) | + | * A response to the Tokyo EWG polls on the Contracts MVP ({{stddoc|P2900R6}}) - {{stddoc|P3197R0}} (2024-04-12) |
* A takeaway from the Tokyo LEWG meeting on Contracts MVP - {{stddoc|P3198R0}} (2024-03-29) | * A takeaway from the Tokyo LEWG meeting on Contracts MVP - {{stddoc|P3198R0}} (2024-03-29) | ||
+ | * The contract of {{lc|std::sort|sort()}} - {{stddoc|P3212R0}} (2024-07-03) | ||
* Contracts for C++: Naming the ''Louis semantic'' - {{stddoc|P3226R0}} (2024-04-12) | * Contracts for C++: Naming the ''Louis semantic'' - {{stddoc|P3226R0}} (2024-04-12) | ||
+ | * Contracts for C++: Fixing the contract violation handling API - {{stddoc|P3227R0}} (2024-10-16) | ||
* Contracts for C++: Revisiting contract check elision and duplication - {{stddoc|P3228R1}} (2024-05-21) | * Contracts for C++: Revisiting contract check elision and duplication - {{stddoc|P3228R1}} (2024-05-21) | ||
* An alternate proposal for naming contract semantics - {{stddoc|P3238R0}} (2024-05-06) | * An alternate proposal for naming contract semantics - {{stddoc|P3238R0}} (2024-05-06) | ||
Line 282: | Line 313: | ||
* C++ contracts with regards to function pointers - {{stddoc|P3250R0}} (2024-05-07) | * C++ contracts with regards to function pointers - {{stddoc|P3250R0}} (2024-05-07) | ||
* C++ contracts and coroutines - {{stddoc|P3251R0}} (2024-05-07) | * C++ contracts and coroutines - {{stddoc|P3251R0}} (2024-05-07) | ||
− | * Make the predicate of contract_assert more regular - {{stddoc|P3257R0}} (2024-04-26) | + | * Make the predicate of {{tt|contract_assert}} more regular - {{stddoc|P3257R0}} (2024-04-26) |
* Ship Contracts in a TS - {{stddoc|P3265R3}} (2024-05-28) | * Ship Contracts in a TS - {{stddoc|P3265R3}} (2024-05-28) | ||
* Approaches to C++ Contracts - {{stddoc|P3267R1}} (2024-05-22) | * Approaches to C++ Contracts - {{stddoc|P3267R1}} (2024-05-22) | ||
* C++ Contracts Constification Challenges Concerning Current Code - {{stddoc|P3268R0}} (2024-05-07) | * C++ Contracts Constification Challenges Concerning Current Code - {{stddoc|P3268R0}} (2024-05-07) | ||
* Do Not Ship Contracts as a TS - {{stddoc|P3269R0}} (2024-05-21) | * Do Not Ship Contracts as a TS - {{stddoc|P3269R0}} (2024-05-21) | ||
− | * Repetition, Elision, and Constification w.r.t. contract_assert - {{stddoc|P3270R0}} (2024-05-22) | + | * Repetition, Elision, and Constification w.r.t. {{tt|contract_assert}} - {{stddoc|P3270R0}} (2024-05-22) |
− | * Function Usage Types (Contracts for Function Pointers) - {{stddoc| | + | * Function Usage Types (Contracts for Function Pointers) - {{stddoc|P3271R1}} (2024-10-15) |
− | * P2900 Is Superior to a Contracts TS - {{stddoc|P3276R0}} (2024-05-18) | + | * {{stddoc|P2900}} Is Superior to a Contracts TS - {{stddoc|P3276R0}} (2024-05-18) |
* Contracts: Protecting The Protector - {{stddoc|P3285R0}} (2024-05-15) | * Contracts: Protecting The Protector - {{stddoc|P3285R0}} (2024-05-15) | ||
− | * Integrating Existing Assertions With Contracts - {{stddoc| | + | * Integrating Existing Assertions With Contracts - {{stddoc|P3290R2}} (2024-09-06) |
* C++26 Needs Contract Checking - {{stddoc|P3297R1}} (2024-06-21) | * C++26 Needs Contract Checking - {{stddoc|P3297R1}} (2024-06-21) | ||
* An opt-in approach for integration of traditional assert facilities in C++ contracts - {{stddoc|P3311R0}} (2024-05-22) | * An opt-in approach for integration of traditional assert facilities in C++ contracts - {{stddoc|P3311R0}} (2024-05-22) | ||
* Compile time resolved contracts - {{stddoc|P3317R0}} (2024-05-22) | * Compile time resolved contracts - {{stddoc|P3317R0}} (2024-05-22) | ||
− | |||
* Contracts Interaction With Tooling - {{stddoc|P3321R0}} (2024-07-12) | * Contracts Interaction With Tooling - {{stddoc|P3321R0}} (2024-07-12) | ||
+ | * Contract assertions on function pointers - {{stddoc|P3327R0}} (2024-10-16) | ||
* Observable Checkpoints During Contract Evaluation - {{stddoc|P3328R0}} (2024-06-14) | * Observable Checkpoints During Contract Evaluation - {{stddoc|P3328R0}} (2024-06-14) | ||
* Usage Experience for Contracts with BDE - {{stddoc|P3336R0}} (2024-06-23) | * Usage Experience for Contracts with BDE - {{stddoc|P3336R0}} (2024-06-23) | ||
* Contracts - What are we doing here (EWG Presentation) - {{stddoc|P3343R0}} (2024-06-25) | * Contracts - What are we doing here (EWG Presentation) - {{stddoc|P3343R0}} (2024-06-25) | ||
* Virtual Functions on Contracts (EWG - Presentation for {{stddoc|P3097}}) - {{stddoc|P3344R0}} (2024-06-28) | * Virtual Functions on Contracts (EWG - Presentation for {{stddoc|P3097}}) - {{stddoc|P3344R0}} (2024-06-28) | ||
− | + | * Class invariants and contract checking philosophy - {{stddoc|P3361R1}} (2024-07-23) | |
+ | * Static analysis and “safety” of Contracts, {{stddoc|P2900}} vs {{stddoc|P2680}}/{{stddoc|P3285}} - {{stddoc|P3362R0}} (2024-08-13) | ||
+ | * Contract assertions versus static analysis and “safety” - {{stddoc|P3376R0}} (2024-10-14) | ||
+ | * Static Analysis of Contracts with P2900 - {{stddoc|P3386R0}} (2024-10-15) | ||
+ | * Contract assertions on coroutines - {{stddoc|P3387R0}} (2024-10-09) | ||
+ | * Improving the handling of exceptions thrown from contract predicates - {{stddoc|P3417R0}} (2024-10-16) | ||
+ | * Contracts Implementors Report - {{stddoc|P3460R0}} (2024-10-16) | ||
+ | * Standard library hardening - {{stddoc|P3471R0}} (2024-10-16) | ||
+ | * Constification should not be part of the MVP ('''M'''inimal '''V'''iable '''P'''roduct) - {{stddoc|P3478R0}} (2024-10-16) | ||
{{cob}} | {{cob}} | ||
| | | | ||
|- | |- | ||
|2D Graphics | |2D Graphics | ||
− | |Early development. Draft {{stddoc| | + | |Early development. Draft {{stddoc|P0267R10}} (2019-10-07). |
+ | | | ||
+ | |- | ||
+ | |Graph Library | ||
+ | |Early development. | ||
+ | {{cot|More proposals:}} | ||
+ | * Graph Library: Overview - {{stddoc|P3126R2}} (2024-08-05) | ||
+ | * Graph Library: Algorithms - {{stddoc|P3128R2}} (2024-09-12) | ||
+ | * Graph Library: Graph Container Interface - {{stddoc|P3130R2}} (2024-08-05) | ||
+ | * Graph Library: Graph Containers - {{stddoc|P3131R2}} (2024-08-05) | ||
+ | {{cob}} | ||
| | | | ||
|} | |} |
Latest revision as of 00:18, 6 November 2024
The C++ standards committee publishes experimental C++ language and library extensions for future standardization.
Note: until 2012, these publications used the TR (technical report) format. Since 2012 ISO procedure changed to use the TS (technical specification) format.
Contents |
[edit] TR/TS specifications
ISO number | Name | Status | Links, headers |
---|---|---|---|
ISO/IEC TR 18015:2006 | Technical Report on C++ Performance | Published 2006 (ISO store).
Draft: TR18015 (2006-02-15). |
|
ISO/IEC TR 19768:2007 | Technical Report on C++ Library Extensions | Published 2007-11-15 (ISO store).
Draft: N1836 (2005-06-24) |
|
ISO/IEC 29124:2010 | Extensions to the C++ Library to support mathematical special functions | Published 2010-09-03 (ISO Store).
Final draft: N3060 (2010-03-06). |
Special functions |
ISO/IEC TR 24733:2011 | Extensions for the programming language C++ to support decimal floating-point arithmetic | Published 2011-10-25 (ISO Store)
Draft: N2849 (2009-03-06). |
|
ISO/IEC TS 18822:2015 | C++ File System Technical Specification | Published 2015-06-18 (ISO store). Final draft: N4100 (2014-07-04). |
Filesystem, <filesystem> |
ISO/IEC TS 19570:2015 | C++ Extensions for Parallelism | Published 2015-06-24. (ISO Store). Final draft: N4507 (2015-05-05). ✔Merged into C++17. |
Parallelism |
ISO/IEC TS 19841:2015 | Transactional Memory TS | Published 2015-09-16, (ISO Store). Final draft: N4514 (2015-05-08). | Transactional memory |
ISO/IEC TS 19568:2015 | C++ Extensions for Library Fundamentals | Published 2015-09-30, (ISO Store). Final draft: N4480 (2015-04-07). ✔Merged into C++17 except for invocation traits. |
Library extensions |
ISO/IEC TS 19217:2015 | C++ Extensions for Concepts | Published 2015-11-13 (ISO Store). Final draft: N4553 (2015-10-02). Current draft: P0734R0 (2017-07-14). ✔Merged into C++20 (with modifications). |
Constraints and concepts, <concepts> |
ISO/IEC TS 19571:2016 | C++ Extensions for Concurrency | Published 2016-01-19 (ISO Store). Final draft: P0159R0 (2015-10-22). ✔Partially merged into C++20. |
Concurrency |
ISO/IEC TS 19568:2017 | C++ Extensions for Library Fundamentals, Version 2 | Published 2017-03-30 (ISO Store). Draft: N4617 (2016-11-28). ✔Partially merged into C++17 and C++20. |
Library extensions 2 |
ISO/IEC TS 21425:2017 | Ranges TS | Published 2017-12-05 (ISO Store). Draft: N4685 (2017-07-31). |
Ranges, <ranges> |
ISO/IEC TS 22277:2017 | Coroutines TS | Published 2017-12-05 (ISO Store). Draft: N4736 (2018-03-31). Latest draft: N4775 (2018-10-07). |
<coroutine> |
ISO/IEC TS 19216:2018 | Networking TS | Published 2018-04-24 (ISO Store). Draft: N4734 (2017-04-04). Latest draft: N4771 (2018-10-08). | Networking |
ISO/IEC TS 21544:2018 | Modules TS | Published 2018-05-16 (ISO Store). Final Draft: N4720 (2018-01-29). |
|
ISO/IEC TS 19570:2018 | Parallelism TS Version 2 | Published 2018-11-15 (ISO Store). Final draft: N4793 (2018-11-26). Post-publication draft: N4808 (2019-03-11). See also non-TS std::simd proposals below.
|
Parallelism 2 |
ISO/IEC TS 23619:2021 | Reflection TS | Published 2021-10-11 (ISO store). Draft: N4856 (2020-03-02). See also non-TS proposals below. | Reflection |
Numerics | Early development. Draft: P1889R1 (2019-12-27). | ||
ISO/IEC TS 9922 | Concurrency TS Version 2 | Published 2024-10-09 (ISO Store). Draft: N4956 (2023-07-05). | Concurrency 2 |
ISO/IEC TS 19568:2024 | C++ Extensions for Library Fundamentals, Version 3 | Published 2024-08-26 (ISO Store). Draft: N4948 (2023-05-08). | Library extensions 3 |
ISO/IEC DTS 12907 | Transactional Memory TS, Version 2 | Early development. Draft: N4923 (2022-10-14). | |
ISO/IEC NP 19569 | Array Extensions TS | × Withdrawn. Abandoned draft: N3820 (2013-10-10). |
[edit] Non-TS proposals
Name | Status | Links, Headers | ||
---|---|---|---|---|
Linear Algebra | ✔Merged into C++26. Proposal: P1673R13 (2023-11-10).
|
<linalg> | ||
std::execution | Forwarded to LWG, wording in progress. ✔Merged into C++26. Proposal: P2300R10 (2024-06-28).
|
Execution, <execution> | ||
std::inplace_vector | ✔Merged into C++26. Proposal: P0843R14 (2024-06-26). | <inplace_vector> | ||
Pattern Matching | Early development. Draft P1371R3 (2020-09-15).
|
|||
Reflection | The main document (ISO/IEC TS 23619:2021) is described in Reflection TS above.
|
Reflection | ||
std::simd
|
The main document (TS ISO/IEC 19570:2018) is described in "C++ Extensions for Parallelism V2" above.
|
Data parallel types | ||
Contracts | Early development. Proposal P2659R2 (2022-11-30). Draft P2660R0 (2022-10-14).
|
|||
2D Graphics | Early development. Draft P0267R10 (2019-10-07). | |||
Graph Library | Early development. |
[edit] See also
C documentation for Experimental C features
|
[edit] External links
1. | PL22.16/WG21 document list - All C++ committee documents (TS/proposals) for 2016-2024. |
2. | JTC1/SC22/WG21 Proposals (mailing) for 2024. |