forked from lwg/issues
-
Notifications
You must be signed in to change notification settings - Fork 28
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Automatic update from GitHub Actions workflow
- Loading branch information
github-actions
committed
Nov 25, 2024
1 parent
04051a7
commit 7befc66
Showing
23 changed files
with
258 additions
and
136 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,100 @@ | ||
| <!DOCTYPE html> | ||
| <html lang="en"> | ||
| <head> | ||
| <meta charset="utf-8"> | ||
| <title>Issue 4176: Refer back to container requirements when extending them</title> | ||
| <meta property="og:title" content="Issue 4176: Refer back to container requirements when extending them"> | ||
| <meta property="og:description" content="C++ library issue. Status: New"> | ||
| <meta property="og:url" content="https://cplusplus.github.io/LWG/issue4176.html"> | ||
| <meta property="og:type" content="website"> | ||
| <meta property="og:image" content="http://cplusplus.github.io/LWG/images/cpp_logo.png"> | ||
| <meta property="og:image:alt" content="C++ logo"> | ||
| <style> | ||
| p {text-align:justify} | ||
| li {text-align:justify} | ||
| pre code.backtick::before { content: "`" } | ||
| pre code.backtick::after { content: "`" } | ||
| blockquote.note | ||
| { | ||
| background-color:#E0E0E0; | ||
| padding-left: 15px; | ||
| padding-right: 15px; | ||
| padding-top: 1px; | ||
| padding-bottom: 1px; | ||
| } | ||
| ins {background-color:#A0FFA0} | ||
| del {background-color:#FFA0A0} | ||
| table.issues-index { border: 1px solid; border-collapse: collapse; } | ||
| table.issues-index th { text-align: center; padding: 4px; border: 1px solid; } | ||
| table.issues-index td { padding: 4px; border: 1px solid; } | ||
| table.issues-index td:nth-child(1) { text-align: right; } | ||
| table.issues-index td:nth-child(2) { text-align: left; } | ||
| table.issues-index td:nth-child(3) { text-align: left; } | ||
| table.issues-index td:nth-child(4) { text-align: left; } | ||
| table.issues-index td:nth-child(5) { text-align: center; } | ||
| table.issues-index td:nth-child(6) { text-align: center; } | ||
| table.issues-index td:nth-child(7) { text-align: left; } | ||
| table.issues-index td:nth-child(5) span.no-pr { color: red; } | ||
| @media (prefers-color-scheme: dark) { | ||
| html { | ||
| color: #ddd; | ||
| background-color: black; | ||
| } | ||
| ins { | ||
| background-color: #225522 | ||
| } | ||
| del { | ||
| background-color: #662222 | ||
| } | ||
| a { | ||
| color: #6af | ||
| } | ||
| a:visited { | ||
| color: #6af | ||
| } | ||
| blockquote.note | ||
| { | ||
| background-color: rgba(255, 255, 255, .10) | ||
| } | ||
| } | ||
| </style> | ||
| </head> | ||
| <body> | ||
| <hr> | ||
| <p><em>This page is a snapshot from the LWG issues list, see the <a href="lwg-active.html">Library Active Issues List</a> for more information and the meaning of <a href="lwg-active.html#New">New</a> status.</em></p> | ||
| <h3 id="4176"><a href="lwg-active.html#4176">4176</a>. Refer back to container requirements when extending them</h3> | ||
| <p><b>Section:</b> 23 <a href="https://wg21.link/containers">[containers]</a> <b>Status:</b> <a href="lwg-active.html#New">New</a> | ||
| <b>Submitter:</b> Jonathan Wakely <b>Opened:</b> 2024-11-22 <b>Last modified:</b> 2024-11-25</p> | ||
| <p><b>Priority: </b>Not Prioritized | ||
| </p> | ||
| <p><b>View other</b> <a href="lwg-index-open.html#containers">active issues</a> in [containers].</p> | ||
| <p><b>View all other</b> <a href="lwg-index.html#containers">issues</a> in [containers].</p> | ||
| <p><b>View all issues with</b> <a href="lwg-status.html#New">New</a> status.</p> | ||
| <p><b>Discussion:</b></p> | ||
| <p> | ||
| We sometimes give detailed specifications of container members which add | ||
| additional specification to the common requirements in | ||
| 23.2.2 <a href="https://wg21.link/container.requirements.general">[container.requirements.general]</a>, for example | ||
| 23.3.11.5 <a href="https://wg21.link/vector.modifiers">[vector.modifiers]</a> defines <code class='backtick'>vector::erase</code> without actually | ||
| saying it erases any elements. The actual effects of <code class='backtick'>erase</code> are given in | ||
| 23.2.4 <a href="https://wg21.link/sequence.reqmts">[sequence.reqmts]</a>. | ||
| </p> | ||
| <p> | ||
| Authors of library wording often struggle with this non-local form of | ||
| specification, where we sometimes do spell out container member functions | ||
| in full, and sometimes rely on distant wording that applies to all containers. | ||
| It would be easier if <code class='backtick'>vector::erase</code> referred back to | ||
| 23.2.4 <a href="https://wg21.link/sequence.reqmts">[sequence.reqmts]</a>. | ||
| </p> | ||
|
|
||
|
|
||
| <p id="res-4176"><b>Proposed resolution:</b></p> | ||
| <p> | ||
| </p> | ||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
| </body> | ||
| </html> |
Oops, something went wrong.