std::launder

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ(C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ(C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

ファイルシステムライブラリ(C++17)

正規表現ライブラリ(C++11)

アトミック操作ライブラリ(C++11)

スレッドサポートライブラリ(C++11)

技術仕様書

 

ユーティリティライブラリ

言語サポート 型サポート (基本型、RTTI、型特性) ライブラリの機能テストマクロ (C++20) 動的メモリ管理 プログラムユーティリティ エラー処理 コルーチンサポート(C++20) 可変長引数関数 launder (C++17) initializer_list (C++11) source_location (C++20) 三方比較 (C++20) three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20) is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

汎用ユーティリティ 日付と時間 関数オブジェクト 書式化ライブラリ(C++20) bitset hash (C++11) integer_sequence (C++14) 関係演算子 (C++20で非推奨) rel_ops::operator!=rel_ops::operator>rel_ops::operator<=rel_ops::operator>= 整数比較関数 cmp_equalcmp_not_equalcmp_lesscmp_greatercmp_less_thancmp_greater_than (C++20)(C++20)(C++20)(C++20)(C++20)(C++20) in_range (C++20) スワップと型操作 swap ranges::swap (C++20) exchange (C++14) declval (C++11) forward (C++11) move (C++11) move_if_noexcept (C++11) as_const (C++17) 一般的な語彙の型 pair tuple (C++11) apply (C++17) make_from_tuple (C++17) optional (C++17) any (C++17) variant (C++17) 初等文字列変換 to_chars (C++17) from_chars (C++17) chars_format (C++17)

 

ヘッダ <new> で定義
template<class T> constexpr T* launder(T* p)noexcept;		(C++17以上) (C++20未満)
template<class T> [[nodiscard]]constexpr T* launder(T* p)noexcept;		(C++20以上)

p の表すアドレスに位置するオブジェクトを指すポインタを取得します。

形式的には、以下の内容を満たす場合、 std::launder(p) はオブジェクト X を指す T* 型の値を返します。 そうでなければ、動作は未定義です。

• ポインタ p がメモリ内のあるバイトのアドレス A を表している。
• オブジェクト X がアドレス A に位置している。
• X はその生存期間内である。
• X の型が T と同じである (すべてのレベルにおける cv 修飾を無視します)。
• 結果を通して到達可能であろうすべてのバイトが p を通して到達可能である (Y とポインタ相互変換可能なオブジェクト Z の記憶域内または Z を直接の要素に持つ配列内のバイトは、オブジェクト Y を指すポインタを通して到達可能です)。

T が関数型または void (または cv 修飾された void) の場合、プログラムは ill-formed です。

引数の値がコア定数式で使用できるならば、 std::launder はコア定数式で使用できます。

ノート

std::launder は引数に対する効果は持ちません。 オブジェクトにアクセスするためにはその戻り値を使用しなければなりません。 そのため戻り値を破棄することは常に誤りです。

一般的な std::launder の用途には以下のようなものがあります。

• オブジェクトが const または参照のデータメンバを持つために、またはいずれかのオブジェクトが基底クラス部分オブジェクトであるために、古いオブジェクトを指すポインタを再利用できない場合に、同じ型の既存のオブジェクトの記憶域に作成されたオブジェクトを指すポインタを取得する。
• 記憶域を提供するオブジェクトを指すポインタから配置 new によって作成されたオブジェクトを指すポインタを取得する。

到達可能性の制限により、元のポインタを通してアクセス可能でないバイトにアクセスするために std::launder を使用することはできないため、コンパイラのエスケープ解析を妨害しないことが保証されます。

int x[10];auto p = std::launder(reinterpret_cast<int(*)[10]>(&x[0]));// OK。   int x2[2][10];auto p2 = std::launder(reinterpret_cast<int(*)[10]>(&x2[0][0]));// 未定義動作。// 結果のポインタ p2 (これは &x2[0] を指します) を通して到達可能な x2[1] に// 元のポインタ &x2[0][0] を通して到達可能でありません。   struct X {int a[10];} x3, x4[2];// 標準レイアウト (パディングがない想定)auto p3 = std::launder(reinterpret_cast<int(*)[10]>(&x3.a[0]));// OK。auto p4 = std::launder(reinterpret_cast<int(*)[10]>(&x4[0].a[0]));// 未定義動作。// 結果のポインタ p4 (これは x4[0].a を指します (これは x4[0] とポインタ相互変換可能です))// を通して到達可能な x4[1] に元のポインタ &x4[0].a[0] を通して到達可能でありません。   struct Y {int a[10];double y;} x5;auto p5 = std::launder(reinterpret_cast<int(*)[10]>(&x5.a[0]));// 未定義動作。// 結果のポインタ p5 (これは x5.a を指します (これは x5 とポインタ相互変換可能です))// を通して到達可能な x5.y に元のポインタ &x5.a[0] を通して到達可能でありません。

例

Run this code

#include <new>#include <cstddef>#include <cassert>   struct X {constint n;// 注: X は const メンバを持ちます。int m;};   struct Y {int z;};   struct A {virtualint transmogrify();};   struct B : A {int transmogrify() override { new(this) A;return2;}};   int A::transmogrify(){ new(this) B;return1;}   static_assert(sizeof(B)== sizeof(A));   int main(){ X *p = new X{3, 4};constint a = p->n; X* np = new (p) X{5, 6};// X::n が const のため、 p は新しいオブジェクトを指しません// (np は新しいオブジェクトを指します)。constint b = p->n;// 未定義動作。constint c = p->m;// 未定義動作 (たとえ m が非 const でも、 p は使用できません)。constint d = std::launder(p)->n;// OK、 std::launder(p) は新しいオブジェクトを指します。constint e = np->n;// OK。   alignas(Y) std::byte s[sizeof(Y)]; Y* q = new(&s) Y{2};constint f =reinterpret_cast<Y*>(&s)->z;// 未定義動作。// reinterpret_cast<Y*>(&s) は// 「s へのポインタ」値を持ちますが// Y オブジェクトを指しはしません。constint g = q->z;// OK。constint h = std::launder(reinterpret_cast<Y*>(&s))->z;// OK。   A i;int n = i.transmogrify();// int m = i.transmogrify(); // 未定義動作。int m = std::launder(&i)->transmogrify();// OK。assert(m + n ==3);}