std::experimental:: propagate_const

std::experimental::propagate_const は、ポインタおよびポインタ風オブジェクトのためのconst伝播ラッパーです。constアクセスパスを通じてアクセスされる場合、ラップされたポインタを const へのポインタとして扱います。これが名前の由来です。

このクラスは、基となるポインタ風の型が対応する要件を満たす場合、 MoveConstructible および MoveAssignable の要件を満たしますが、 propagate_const は CopyConstructible でも CopyAssignable でもありません。

ポインタ様クラス型に対する要件

T がクラス型の場合、このサブセクションの要件を満たさなければなりません。

与えられた

• t , 型 T の変更可能な 左辺値式 ,
• ct , 型 const T の左辺値で t と同じオブジェクトを指す（C++17以降では std:: as_const ( t ) と同等）,
• element_type , オブジェクト型.

以下の式は有効であり、指定された効果を持たなければなりません：

さらに、 T および const T は文脈的に bool に変換可能でなければならない。

さらに、 T が element_type * に暗黙的に変換可能な場合、 ( element_type * ) t は t. get ( ) と等しくなければならない。同様に、 const T が const element_type * に暗黙的に変換可能な場合、 ( const element_type * ) ct は ct. get ( ) と等しくなければならない。

メンバー型

メンバー関数

非メンバー関数

ヘルパークラス

例

#include <experimental/propagate_const>
#include <iostream>
#include <memory>
struct X
{
    void g() const { std::cout << "X::g (const)\n"; }
    void g() { std::cout << "X::g (non-const)\n"; }
};
struct Y
{
    Y() : m_propConstX(std::make_unique<X>()), m_autoPtrX(std::make_unique<X>()) {}
    void f() const
    {
        std::cout << "Y::f (const)\n";
        m_propConstX->g();
        m_autoPtrX->g();
    }
    void f()
    {
        std::cout << "Y::f (non-const)\n";
        m_propConstX->g();
        m_autoPtrX->g();
    }
    std::experimental::propagate_const<std::unique_ptr<X>> m_propConstX;
    std::unique_ptr<X> m_autoPtrX;
};
int main()
{
    Y y;
    y.f();
    const Y cy;
    cy.f();
}

Y::f (non-const)
X::g (non-const)
X::g (non-const)
Y::f (const)
X::g (const)
X::g (non-const)

不具合報告

以下の動作変更に関する欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。