std:: add_cv, std:: add_const, std:: add_volatile

type メンバ型を提供します。これは、 T が関数、参照、または既にこのCV修飾子を持っている場合を除き、 T にCV修飾子が追加されたものと同じです。

プログラムがこのページで説明されているテンプレートのいずれかに対して特殊化を追加する場合、動作は未定義です。

メンバー型

ヘルパー型

実装例

template<class T> struct add_cv { typedef const volatile T type; };
template<class T> struct add_const { typedef const T type; };
template<class T> struct add_volatile { typedef volatile T type; };

タグ内に含まれているため、翻訳対象外です。HTMLタグ・属性およびC++固有の用語もすべて原文のまま保持されています。

注記

これらの変換特性は、テンプレート引数推論において non-deduced contexts を確立するために使用できます：

template<class T>
void f(const T&, const T&);
template<class T>
void g(const T&, std::add_const_t<T>&);
f(4.2, 0); // エラー: 'T' に対して矛盾する型が推論されました
g(4.2, 0); // OK: g<double> を呼び出します

例

#include <iostream>
#include <type_traits>
struct foo
{
    void m() { std::cout << "Non-cv\n"; }
    void m() const { std::cout << "Const\n"; }
    void m() volatile { std::cout << "Volatile\n"; }
    void m() const volatile { std::cout << "Const-volatile\n"; }
};
int main()
{
    foo{}.m();
    std::add_const<foo>::type{}.m();
    std::add_volatile<foo>::type{}.m();
    std::add_cv<foo>::type{}.m();
}

Non-cv
Const
Volatile
Const-volatile

関連項目