std:: reference_constructs_from_temporary

U がスカラ型または cv void である場合、 V を std:: remove_cv_t < U > とし、それ以外の場合は U とする。 T が参照型であり、仮想的な式 e が decltype ( e ) が V となる場合、変数定義 T ref ( e ) ; が well-formed であり、 一時オブジェクトが ref にバインドされるならば、メンバ定数 value を true に設定する。それ以外の場合、 value は false となる。

T がconst修飾（volatile修飾ではない）オブジェクト型への左辺値参照型、または右辺値参照型である場合、 std:: remove_reference_t < T > と std:: remove_reference_t < U > はともに 完全型 、 cv void または 境界不明な配列 でなければならない。そうでない場合、動作は未定義となる。

上記のテンプレートのインスタンス化が、直接的または間接的に不完全型に依存しており、その型が仮に完全化された場合に異なる結果をもたらす可能性がある場合、その動作は未定義です。

プログラムが std::reference_constructs_from_temporary または std::reference_constructs_from_temporary_v に対する特殊化を追加する場合、その動作は未定義です。

ヘルパー変数テンプレート

注記

std::reference_constructs_from_temporary は、常にダングリング参照を生成する一部のケースを拒否するために使用できます。

コンパイラが CWG1696 を実装している場合、メンバー初期化子リストを使用して一時オブジェクトの参照へのバインドを拒否することも可能です。

例

#include <type_traits>
static_assert(std::reference_constructs_from_temporary_v<int&&, int> == true);
static_assert(std::reference_constructs_from_temporary_v<const int&, int> == true);
static_assert(std::reference_constructs_from_temporary_v<int&&, int&&> == false);
static_assert(std::reference_constructs_from_temporary_v<const int&, int&&> == false);
static_assert(std::reference_constructs_from_temporary_v<int&&, long&&> == true);
static_assert(std::reference_constructs_from_temporary_v<int&&, long> == true);
int main() {}

関連項目