質問編集履歴

1

疑問が解決したため、結論を追記します

2020/04/17 04:23

投稿

nus_miz
nus_miz

スコア5

test CHANGED
File without changes
test CHANGED
@@ -1,3 +1,11 @@
1
+ ※ 本質問文は用語の使用法が正確ではありません。
2
+
3
+ 話の流れが分かり辛くならないようにあえて質問時のままとしております。
4
+
5
+ 正確な用法に関しては yohhoy さんのご回答を参照してください。
6
+
7
+
8
+
1
9
  ### 前提・実現したいこと
2
10
 
3
11
 
@@ -137,3 +145,33 @@
137
145
  }
138
146
 
139
147
  ```
148
+
149
+
150
+
151
+ 追記:
152
+
153
+ https://lists.isocpp.org/std-discussion/2020/04/0530.php
154
+
155
+ こちらのメールで非常に丁寧にご回答いただきました。簡単に要約させていただきます。
156
+
157
+ [basic.life]/6 は段落を通して以下のポインタについて語られています。
158
+
159
+ "any pointer that represents the address of the storage location where the object will be or was located"
160
+
161
+ ([basic.life]/6 中の such a pointer は上記を指します)
162
+
163
+ 私の誤解の原因は、
164
+
165
+ "Before the lifetime of an object has started but after the storage which the object will occupy has been allocated41 or, after the lifetime of an object has ended and before the storage which the object occupied is reused or released"
166
+
167
+ という条件が、[basic.life]/6 中で言及されるポインタ全体を修飾するものだと考えていたことでした。
168
+
169
+ 実際には、上記の条件は一文目と二文目のみに関係するものとのことです。
170
+
171
+ (三文目は上記条件に当てはまらないものについての言及となります)
172
+
173
+
174
+
175
+ 私の誤解にお付き合いいただきありがとうございました。
176
+
177
+ ベストアンサーについて、私の読み間違いを指摘してくださった yohhoy さんと非常に迷いましたが、問題解決のメールを出すきっかけとなった alphya さんとさせていただきました。