Skip to content

Commit 4d74b59

Browse files
author
cpprefjp-autoupdate
committed
update automatically
1 parent c6c27a2 commit 4d74b59

File tree

10 files changed

+4654
-4414
lines changed

10 files changed

+4654
-4414
lines changed

‎implementation-status.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -164,8 +164,8 @@
164164

165165
<p class="text-right"><small>
166166
最終更新日時(UTC):
167-
<span itemprop="datePublished" content="2025-05-13T06:56:54">
168-
2025年05月13日 06時56分54秒
167+
<span itemprop="datePublished" content="2025-05-13T08:20:39">
168+
2025年05月13日 08時20分39秒
169169
</span>
170170
<br/>
171171
<span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -1991,8 +1991,8 @@ <h2><a href="#cpp26" id="cpp26">C++26言語機能の実装状況</a></h2>
19911991
<td></td>
19921992
</tr>
19931993
<tr>
1994-
<td>P2686R5: <span href="https://cpprefjp.github.io/lang/cpp26/constexpr_structured_bindings_and_references_to_constexpr_variables.md.nolink"><code>constexpr</code>構造化束縛の許可と、定数式への参照を定数式とする</span></td>
1995-
<td>定数式に対する構造化束縛を許可し、関連する定数式への参照が定数式になるようにする</td>
1994+
<td>P2686R5: <a href="lang/cpp26/constexpr_structured_bindings_and_references_to_constexpr_variables.html"><code>constexpr</code>構造化束縛の許可と、<code>constexpr</code>参照の制限緩和</a></td>
1995+
<td>定数式に対する構造化束縛を許可し、関連して<code>constexpr</code>参照がの制限を緩和して自動変数も参照できるようにする</td>
19961996
<td></td>
19971997
<td></td>
19981998
<td></td>

‎lang/cpp11/constexpr.html

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -188,8 +188,8 @@
188188

189189
<p class="text-right"><small>
190190
最終更新日時(UTC):
191-
<span itemprop="datePublished" content="2025-05-12T14:04:50">
192-
2025年05月12日 14時04分50秒
191+
<span itemprop="datePublished" content="2025-05-13T08:20:39">
192+
2025年05月13日 08時20分39秒
193193
</span>
194194
<br/>
195195
<span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -389,6 +389,7 @@ <h2><a href="#relative-page" id="relative-page">関連項目</a></h2>
389389
<li><a href="../cpp26/allowing_exception_throwing_in_constant-evaluation.html">C++26 定数評価での例外送出を許可</a></li>
390390
<li><a href="../cpp26/constexpr_cast_from_voidptr.html">C++26 定数式での<code>void*</code>からポインタ型へのキャストを許可</a></li>
391391
<li><a href="../cpp26/constexpr_placement_new.html">C++26 <code>constexpr</code>配置<code>new</code></a></li>
392+
<li><a href="../cpp26/constexpr_structured_bindings_and_references_to_constexpr_variables.html">C++26 <code>constexpr</code>構造化束縛の許可と、<code>constexpr</code>参照の制限緩和</a></li>
392393
</ul>
393394
<h2>参照</h2>
394395
<ul>

‎lang/cpp17/structured_bindings.html

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -188,8 +188,8 @@
188188

189189
<p class="text-right"><small>
190190
最終更新日時(UTC):
191-
<span itemprop="datePublished" content="2025-04-10T07:21:54">
192-
2025年04月10日 07時21分54秒
191+
<span itemprop="datePublished" content="2025-05-13T08:20:39">
192+
2025年05月13日 08時20分39秒
193193
</span>
194194
<br/>
195195
<span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -521,6 +521,7 @@ <h2><a href="#relative-page" id="relative-page">関連項目</a></h2>
521521
<li><a href="../cpp26/structured_binding_declaration_as_a_condition.html">C++26 条件式での構造化束縛の使用を許可</a></li>
522522
<li><a href="../cpp26/nice_placeholder_with_no_name.html">C++26 宣言のみで使用しない変数の名前として<code>_</code>をサポート</a></li>
523523
<li><a href="../cpp26/structured_bindings_can_introduce_a_pack.html">C++26 構造化束縛でパックを導入できるようにする</a></li>
524+
<li><a href="../cpp26/constexpr_structured_bindings_and_references_to_constexpr_variables.html">C++26 <code>constexpr</code>構造化束縛の許可と、<code>constexpr</code>参照の制限緩和</a></li>
524525
</ul>
525526
<h2>参照</h2>
526527
<ul>

‎lang/cpp26.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -176,8 +176,8 @@
176176

177177
<p class="text-right"><small>
178178
最終更新日時(UTC):
179-
<span itemprop="datePublished" content="2025-05-12T14:04:50">
180-
2025年05月12日 14時04分50秒
179+
<span itemprop="datePublished" content="2025-05-13T08:20:39">
180+
2025年05月13日 08時20分39秒
181181
</span>
182182
<br/>
183183
<span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -388,8 +388,8 @@ <h3>定数式</h3>
388388
<td>定数式の文脈での配置<code>new</code>を許可</td>
389389
</tr>
390390
<tr>
391-
<td><span href="https://cpprefjp.github.io/lang/cpp26/constexpr_structured_bindings_and_references_to_constexpr_variables.md.nolink"><code>constexpr</code>構造化束縛の許可と、定数式への参照を定数式とする</span></td>
392-
<td>定数式に対する構造化束縛を許可し、関連する定数式への参照が定数式になるようにする</td>
391+
<td><a href="cpp26/constexpr_structured_bindings_and_references_to_constexpr_variables.html"><code>constexpr</code>構造化束縛の許可と、<code>constexpr</code>参照の制限緩和</a></td>
392+
<td>定数式に対する構造化束縛を許可し、関連して<code>constexpr</code>参照がの制限を緩和して自動変数も参照できるようにする</td>
393393
</tr>
394394
<tr>
395395
<td><a href="cpp26/allowing_exception_throwing_in_constant-evaluation.html">定数評価での例外送出を許可</a></td>

‎lang/cpp26/constexpr_structured_bindings_and_references_to_constexpr_variables.html

Lines changed: 278 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,278 @@
1+
<!doctype html>
2+
<html class="cpprefjp" lang="ja" itemscope="" itemtype="http://schema.org/WebPage">
3+
<head>
4+
5+
6+
<!-- Google tag (gtag.js) -->
7+
<script async src="https://www.googletagmanager.com/gtag/js?id=G-NXNBNVBTJS"></script>
8+
<script>
9+
window.dataLayer = window.dataLayer || [];
10+
function gtag(){dataLayer.push(arguments);}
11+
gtag('js', new Date());
12+
13+
gtag('config', 'G-NXNBNVBTJS');
14+
</script>
15+
16+
17+
<meta charset="UTF-8">
18+
19+
<title>constexpr構造化束縛の許可と、constexpr参照の制限緩和 [P2686R5] - cpprefjp C++日本語リファレンス</title>
20+
21+
<meta name="viewport" content="width=device-width,initial-scale=1">
22+
<meta name="keywords" content="
23+
C++,標準ライブラリ,リファレンス,ドキュメント,STL,std,cpp26
24+
">
25+
<meta name="title" content="constexpr構造化束縛の許可と、constexpr参照の制限緩和 [P2686R5] - cpprefjp C++日本語リファレンス" />
26+
<meta itemprop="name" content="constexpr構造化束縛の許可と、constexpr参照の制限緩和 [P2686R5] - cpprefjp C++日本語リファレンス" />
27+
<meta property="og:title" content="constexpr構造化束縛の許可と、constexpr参照の制限緩和 [P2686R5] - cpprefjp C++日本語リファレンス" />
28+
<meta property="og:url" content="https://cpprefjp.github.io/lang/cpp26/constexpr_structured_bindings_and_references_to_constexpr_variables.html" />
29+
<meta property="og:site_name" content="cpprefjp - C++日本語リファレンス" />
30+
<meta property="og:type" content="article" />
31+
<meta property="og:description" content="C++26では、定数式の文脈での構造化束縛が許可されるようになり、`constexpr`変数への参照が定数式として扱われるようになる。" />
32+
<meta name="twitter:card" content="summary" />
33+
<meta name="twitter:title" content="constexpr構造化束縛の許可と、constexpr参照の制限緩和 [P2686R5] - cpprefjp C++日本語リファレンス" />
34+
<meta name="twitter:url" content="https://cpprefjp.github.io/lang/cpp26/constexpr_structured_bindings_and_references_to_constexpr_variables.html" />
35+
<meta name="twitter:description" content="C++26では、定数式の文脈での構造化束縛が許可されるようになり、`constexpr`変数への参照が定数式として扱われるようになる。" />
36+
37+
38+
<link rel="alternate" type="application/atom+xml" title="Atom" href="https://cpprefjp.github.io/rss.xml" />
39+
40+
41+
<link rel="apple-touch-icon" sizes="180x180" href="../../static/favicons/apple-touch-icon.png?cachebust=2a7ddc62f9c987d65760cb7e6115f210c1266a7e">
42+
<link rel="icon" type="image/png" sizes="32x32" href="../../static/favicons/favicon-32x32.png?cachebust=2a7ddc62f9c987d65760cb7e6115f210c1266a7e">
43+
<link rel="icon" type="image/png" sizes="16x16" href="../../static/favicons/favicon-16x16.png?cachebust=2a7ddc62f9c987d65760cb7e6115f210c1266a7e">
44+
<link rel="manifest" href="../../manifest.json?cachebust=2a7ddc62f9c987d65760cb7e6115f210c1266a7e">
45+
<meta name="theme-color" content="#f5f8fc">
46+
47+
<link rel="stylesheet" href="../../static/pygments/default.css?cachebust=2a7ddc62f9c987d65760cb7e6115f210c1266a7e">
48+
<!-- <link rel="stylesheet" href="../../static/css/root.css"> -->
49+
50+
51+
52+
53+
54+
<link href="../../static/kunai/css/kunai-stage-0.css?cachebust=2a7ddc62f9c987d65760cb7e6115f210c1266a7e" rel="stylesheet">
55+
<link href="../../static/kunai/css/kunai-stage-1.css?cachebust=2a7ddc62f9c987d65760cb7e6115f210c1266a7e" rel="stylesheet">
56+
<link href="../../static/kunai/css/kunai-stage-2.css?cachebust=2a7ddc62f9c987d65760cb7e6115f210c1266a7e" rel="stylesheet">
57+
<link href="../../static/kunai/css/kunai-stage-3.css?cachebust=2a7ddc62f9c987d65760cb7e6115f210c1266a7e" rel="stylesheet">
58+
59+
<script type="text/javascript" src="../../static/kunai/js/kunai-vendor.js?cachebust=2a7ddc62f9c987d65760cb7e6115f210c1266a7e"></script>
60+
<script type="text/javascript" src="../../static/kunai/js/kunai.js?cachebust=2a7ddc62f9c987d65760cb7e6115f210c1266a7e"></script>
61+
62+
<script type="text/javascript">
63+
document.addEventListener('DOMContentLoaded', function() {
64+
var kn = new Kunai;
65+
kn.cpprefjp();
66+
});
67+
</script>
68+
69+
</head>
70+
<body>
71+
<header data-kunai-mdinfo="{&#34;meta&#34;: {&#34;cpp&#34;: [&#34;cpp26&#34;]}, &#34;sources&#34;: [], &#34;page_id&#34;: [&#34;lang&#34;, &#34;cpp26&#34;, &#34;constexpr_structured_bindings_and_references_to_constexpr_variables&#34;]}">
72+
<nav class="navbar navbar-default" role="navigation">
73+
<div class="container-fluid">
74+
<div class="navbar-header">
75+
<button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#navbar-collapse">
76+
<span class="sr-only">Toggle navigation</span>
77+
<span class="icon-bar"></span>
78+
<span class="icon-bar"></span>
79+
<span class="icon-bar"></span>
80+
</button>
81+
<a class="navbar-brand" href="../../index.html">
82+
<div class="title-wrapper clearfix">
83+
<div class="title">cpprefjp - C++日本語リファレンス</div>
84+
</div>
85+
</a>
86+
</div>
87+
88+
<div class="collapse navbar-collapse" id="navbar-collapse">
89+
<ul class="nav navbar-nav navbar-right">
90+
<li>
91+
<div class="google-search">
92+
93+
94+
<script>
95+
(function() {
96+
var cx = '013316413321391058734:ji_u66hl7hq';
97+
var gcse = document.createElement('script');
98+
gcse.type = 'text/javascript';
99+
gcse.async = true;
100+
gcse.src = (document.location.protocol == 'https:' ? 'https:' : 'http:') +
101+
'//www.google.com/cse/cse.js?cx=' + cx;
102+
var s = document.getElementsByTagName('script')[0];
103+
s.parentNode.insertBefore(gcse, s);
104+
})();
105+
</script>
106+
<div class="gcse-search"></div>
107+
108+
109+
</div>
110+
</li>
111+
<li>
112+
<a href="https://github.com/cpprefjp/site">GitHub Project</a>
113+
</li>
114+
</ul>
115+
</div>
116+
</div>
117+
</nav>
118+
</header>
119+
120+
<main id="main" role="main">
121+
<div class="container-fluid">
122+
<div class="row">
123+
<div class="col-sm-9 col-sm-push-3" itemscope itemtype="http://schema.org/Article">
124+
<div class="row">
125+
<div class="col-sm-12 google-search-result">
126+
<gcse:searchresults></gcse:searchresults>
127+
</div>
128+
</div>
129+
<div class="row">
130+
<div class="col-sm-12 content-header">
131+
132+
<ol class="breadcrumb">
133+
134+
<li itemscope itemtype="http://www.schema.org/SiteNavigationElement">
135+
<span>
136+
137+
<a href="../../index.html" itemprop="url">
138+
139+
<i class="fa fa-fw fa-home"></i>
140+
141+
</a>
142+
143+
</span>
144+
</li>
145+
146+
<li itemscope itemtype="http://www.schema.org/SiteNavigationElement">
147+
<span>
148+
149+
<a href="../../lang.html" itemprop="url">
150+
151+
<span itemprop="name">言語機能</span>
152+
153+
</a>
154+
155+
</span>
156+
</li>
157+
158+
<li itemscope itemtype="http://www.schema.org/SiteNavigationElement">
159+
<span>
160+
161+
<a href="../../lang/cpp26.html" itemprop="url">
162+
163+
<span itemprop="name">C++26</span>
164+
165+
</a>
166+
167+
</span>
168+
</li>
169+
170+
<li class="active" itemscope itemtype="http://www.schema.org/SiteNavigationElement">
171+
<span>
172+
173+
174+
<span itemprop="name">constexpr構造化束縛の許可と、constexpr参照の制限緩和 [P2686R5]</span>
175+
176+
177+
</span>
178+
</li>
179+
180+
</ol>
181+
<div class="crsearch"></div>
182+
183+
</div>
184+
</div>
185+
<div class="row">
186+
<div class="col-sm-12 edit-button">
187+
188+
189+
<p class="text-right"><small>
190+
最終更新日時(UTC):
191+
<span itemprop="datePublished" content="2025-05-13T08:20:39">
192+
2025年05月13日 08時20分39秒
193+
</span>
194+
<br/>
195+
<span itemprop="author" itemscope itemtype="http://schema.org/Person">
196+
<span itemprop="name">Akira Takahashi</span>
197+
</span>
198+
が更新
199+
</small></p>
200+
201+
202+
<p class="text-right">
203+
<a class="history" target="_blank" href="https://github.com/cpprefjp/site/commits/master/lang/cpp26/constexpr_structured_bindings_and_references_to_constexpr_variables.md">
204+
<span class="fa fa-fw fa-clock-o fa-flip-horizontal"></span>履歴
205+
</a>
206+
<a class="edit" target="_blank" href="https://github.com/cpprefjp/site/edit/master/lang/cpp26/constexpr_structured_bindings_and_references_to_constexpr_variables.md">
207+
<span class="fa fa-fw fa-pencil"></span>編集
208+
</a>
209+
</p>
210+
</div>
211+
</div>
212+
<div class="row">
213+
<div class="col-sm-12 content-body">
214+
215+
<h1 itemprop="name"><span class="token">constexpr構造化束縛の許可と、constexpr参照の制限緩和 [P2686R5]</span><span class="cpp cpp26" title="C++26で追加">(C++26)</span></h1>
216+
<div itemprop="articleBody"><p></p>
217+
<p>このページはC++26に採用される見込みの言語機能の変更を解説しています。</p>
218+
<p>のちのC++規格でさらに変更される場合があるため<a href="#relative-page">関連項目</a>を参照してください。</p>
219+
<p></p>
220+
<h2>概要</h2>
221+
<p>C++26では、定数式の文脈での構造化束縛が許可されるようになり、<code>constexpr</code>変数への参照が定数式として扱われるようになる。</p>
222+
<h3><code>constexpr</code>構造化束縛の許可</h3>
223+
<p>C++23までは構造化束縛を<code>constexpr</code>として使用することはできなかったが、C++26では以下のようなコードが許可される。</p>
224+
<p><div class="codehilite"><pre><span></span><code><span class="k">constexpr</span> <span class="n"><a href="../../reference/tuple/tuple.html">std::tuple</a></span><span class="o">&lt;</span><span class="kt">int</span><span class="p">,</span> <span class="kt">int</span><span class="o">&gt;</span> <span class="n">p</span><span class="p">{</span><span class="mi">1</span><span class="p">,</span> <span class="mi">2</span><span class="p">};</span>
225+
<span class="k">constexpr</span> <span class="k">auto</span> <span class="p">[</span><span class="n">x</span><span class="p">,</span> <span class="n">y</span><span class="p">]</span> <span class="o">=</span> <span class="n">p</span><span class="p">;</span> <span class="c1">// C++26: OK</span>
226+
</code></pre></div>
227+
</p>
228+
<p>構造化束縛は以下のように参照に展開されるため、<code>constexpr</code>参照と同じ制限を受ける：</p>
229+
<p><div class="codehilite"><pre><span></span><code><span class="kt">void</span> <span class="nf">f</span><span class="p">()</span> <span class="p">{</span>
230+
<span class="k">constexpr</span> <span class="n"><a href="../../reference/tuple/tuple.html">std::tuple</a></span><span class="o">&lt;</span><span class="kt">int</span><span class="p">,</span> <span class="kt">int</span><span class="o">&gt;</span> <span class="n">p</span><span class="p">{</span><span class="mi">1</span><span class="p">,</span> <span class="mi">2</span><span class="p">};</span>
231+
<span class="k">constexpr</span> <span class="k">const</span> <span class="k">auto</span><span class="o">&amp;</span> <span class="n">x</span> <span class="o">=</span> <span class="n"><a href="../../reference/tuple/tuple/get.html">get</a></span><span class="o">&lt;</span><span class="mi">0</span><span class="o">&gt;</span><span class="p">(</span><span class="n">p</span><span class="p">);</span>
232+
<span class="k">constexpr</span> <span class="k">const</span> <span class="k">auto</span><span class="o">&amp;</span> <span class="n">y</span> <span class="o">=</span> <span class="n"><a href="../../reference/tuple/tuple/get.html">get</a></span><span class="o">&lt;</span><span class="mi">1</span><span class="o">&gt;</span><span class="p">(</span><span class="n">p</span><span class="p">);</span>
233+
<span class="p">}</span>
234+
</code></pre></div>
235+
</p>
236+
<h3><code>constexpr</code>変数への参照の制限緩和</h3>
237+
<p><code>constexpr</code>参照はC++23まで、静的記憶域をもつ変数への参照のみ許可されていた (テンプレートパラメータの<code>template &lt;auto&amp; r&gt;</code>も同様)。C++26ではその制限が緩和され、自動記憶域 (ブロックスコープ) をもつ変数でも<code>constexpr</code>参照ができるようになる。</p>
238+
<p><div class="codehilite"><pre><span></span><code><span class="kt">void</span> <span class="nf">f</span><span class="p">()</span> <span class="p">{</span>
239+
<span class="k">constexpr</span> <span class="kt">int</span> <span class="n">a</span> <span class="o">=</span> <span class="mi">42</span><span class="p">;</span>
240+
<span class="k">constexpr</span> <span class="k">const</span> <span class="kt">int</span><span class="o">&amp;</span> <span class="n">ref</span> <span class="o">=</span> <span class="n">a</span><span class="p">;</span> <span class="c1">// C++23: NG, C++26: OK</span>
241+
<span class="p">}</span>
242+
</code></pre></div>
243+
</p>
244+
<p>ただし<code>constexpr</code>参照の制限として、参照する変数のアドレスが、参照または構造化束縛が存在するスタックフレームを基準とした定数である場合に限られる。</p>
245+
<h2><a href="#relative-page" id="relative-page">関連項目</a></h2>
246+
<ul>
247+
<li><a href="../cpp11/constexpr.html">C++11 constexpr</a></li>
248+
<li><a href="../cpp17/structured_bindings.html">C++17 構造化束縛</a></li>
249+
</ul>
250+
<h2>参照</h2>
251+
<ul>
252+
<li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2686r5.pdf" target="_blank">P2686R5 <code>constexpr</code> structured bindings and references to <code>constexpr</code> variables</a></li>
253+
<li><a href="https://herbsutter.com/2024/11/24/wg21-2024-11/" target="_blank">Trip report: November 2024 ISO C++ standards meeting (Wrocław, Poland) - Sutter's Mill</a></li>
254+
</ul></div>
255+
256+
</div>
257+
</div>
258+
</div>
259+
260+
261+
<div id="sidebar" class="col-sm-3 col-sm-pull-9">
262+
</div>
263+
264+
265+
</div>
266+
</div>
267+
</main>
268+
<footer class="footer navbar navbar-default">
269+
<div class="container-fluid">
270+
<p><small>
271+
本サイトの情報は、
272+
<a href="https://creativecommons.org/licenses/by/3.0/deed.ja" rel="nofollow">クリエイティブ・コモンズ 表示 3.0 非移植 ライセンス(CC BY)</a>
273+
の下に提供されています。
274+
</small></p>
275+
</div>
276+
</footer>
277+
</body>
278+
</html>

0 commit comments

Comments
 (0)