|
| 1 | +<!DOCTYPE html> |
| 2 | +<html lang="en"> |
| 3 | +<head> |
| 4 | +<meta charset="utf-8"> |
| 5 | +<title>Issue 4261: P1206R7 broke uses of container adaptors with old custom sequence containers</title> |
| 6 | +<meta property="og:title" content="Issue 4261: P1206R7 broke uses of container adaptors with old custom sequence containers"> |
| 7 | +<meta property="og:description" content="C++ library issue. Status: New"> |
| 8 | +<meta property="og:url" content="https://cplusplus.github.io/LWG/issue4261.html"> |
| 9 | +<meta property="og:type" content="website"> |
| 10 | +<meta property="og:image" content="http://cplusplus.github.io/LWG/images/cpp_logo.png"> |
| 11 | +<meta property="og:image:alt" content="C++ logo"> |
| 12 | +<style> |
| 13 | + p {text-align:justify} |
| 14 | + li {text-align:justify} |
| 15 | + pre code.backtick::before { content: "`" } |
| 16 | + pre code.backtick::after { content: "`" } |
| 17 | + blockquote.note |
| 18 | + { |
| 19 | + background-color:#E0E0E0; |
| 20 | + padding-left: 15px; |
| 21 | + padding-right: 15px; |
| 22 | + padding-top: 1px; |
| 23 | + padding-bottom: 1px; |
| 24 | + } |
| 25 | + ins {background-color:#A0FFA0} |
| 26 | + del {background-color:#FFA0A0} |
| 27 | + table.issues-index { border: 1px solid; border-collapse: collapse; } |
| 28 | + table.issues-index th { text-align: center; padding: 4px; border: 1px solid; } |
| 29 | + table.issues-index td { padding: 4px; border: 1px solid; } |
| 30 | + table.issues-index td:nth-child(1) { text-align: right; } |
| 31 | + table.issues-index td:nth-child(2) { text-align: left; } |
| 32 | + table.issues-index td:nth-child(3) { text-align: left; } |
| 33 | + table.issues-index td:nth-child(4) { text-align: left; } |
| 34 | + table.issues-index td:nth-child(5) { text-align: center; } |
| 35 | + table.issues-index td:nth-child(6) { text-align: center; } |
| 36 | + table.issues-index td:nth-child(7) { text-align: left; } |
| 37 | + table.issues-index td:nth-child(5) span.no-pr { color: red; } |
| 38 | + @media (prefers-color-scheme: dark) { |
| 39 | + html { |
| 40 | + color: #ddd; |
| 41 | + background-color: black; |
| 42 | + } |
| 43 | + ins { |
| 44 | + background-color: #225522 |
| 45 | + } |
| 46 | + del { |
| 47 | + background-color: #662222 |
| 48 | + } |
| 49 | + a { |
| 50 | + color: #6af |
| 51 | + } |
| 52 | + a:visited { |
| 53 | + color: #6af |
| 54 | + } |
| 55 | + blockquote.note |
| 56 | + { |
| 57 | + background-color: rgba(255, 255, 255, .10) |
| 58 | + } |
| 59 | + } |
| 60 | +</style> |
| 61 | +</head> |
| 62 | +<body> |
| 63 | +<hr> |
| 64 | +<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> |
| 65 | +<h3 id="4261"><a href="lwg-active.html#4261">4261</a>. P1206R7 broke uses of container adaptors with old custom sequence containers</h3> |
| 66 | +<p><b>Section:</b> 27.4.3.8.2 <a href="https://wg21.link/string.find">[string.find]</a> <b>Status:</b> <a href="lwg-active.html#New">New</a> |
| 67 | + <b>Submitter:</b> Jiang An <b>Opened:</b> 2025-05-07 <b>Last modified:</b> 2025-05-18</p> |
| 68 | +<p><b>Priority: </b>Not Prioritized |
| 69 | +</p> |
| 70 | +<p><b>View other</b> <a href="lwg-index-open.html#string.find">active issues</a> in [string.find].</p> |
| 71 | +<p><b>View all other</b> <a href="lwg-index.html#string.find">issues</a> in [string.find].</p> |
| 72 | +<p><b>View all issues with</b> <a href="lwg-status.html#New">New</a> status.</p> |
| 73 | +<p><b>Discussion:</b></p> |
| 74 | +<p> |
| 75 | +<a href="https://wg21.link/P1206R7" title=" Conversions from ranges to containers">P1206R7</a> added some requirements for sequence containers, including program-defined ones. |
| 76 | +<p/> |
| 77 | +These requirements mean that if a custom C++20 sequence container type has no newly required member |
| 78 | +functions added in C++23 mode, it is no longer a sequence container, and uses of it with |
| 79 | +<code class='backtick'>std::stack</code>, <code class='backtick'>std::queue</code>, or <code class='backtick'>std::priority_queue</code> possibly have undefined behavior or |
| 80 | +make the program ill-formed. Additionally, some users want to use C++23 flat container adaptors |
| 81 | +with old sequence containers (<a href="https://github.com/llvm/llvm-project/issues/136656">llvm/llvm-project#136656</a>), |
| 82 | +it is unclear whether such uses are intentionally rejected. |
| 83 | +<p/> |
| 84 | +Perhaps the requirements on <code class='backtick'>from_range_t</code> constructor, <code class='backtick'>insert_range</code> and <code class='backtick'>assign_range</code> should be made optional, |
| 85 | +although these operations should have specified semantics whenever being well-formed in immediate contexts. |
| 86 | +</p> |
| 87 | + |
| 88 | + |
| 89 | +<p id="res-4261"><b>Proposed resolution:</b></p> |
| 90 | + |
| 91 | + |
| 92 | + |
| 93 | + |
| 94 | + |
| 95 | +</body> |
| 96 | +</html> |
0 commit comments