4. add_cv

最終更新日時(UTC):
が更新

履歴 編集

class template
<type_traits>

std::add_cv(C++11)

namespace std {
  template <class T>
  struct add_cv {
    using type = …;
  };

  template <class T>
  using add_cv_t = typename add_cv<T>::type; // C++14
}

概要

型をconst-volatile修飾する。

効果

  • add_cvは、型Tにconst修飾およびvolatile修飾両方を付加した型を、メンバ型typeとして定義する。
  • 型Tが参照、関数、すでに最上位がconst-volatile修飾された型である場合は、型Tをそのままメンバ型typeとして定義する。

例

#include <type_traits>

static_assert(std::is_same<
        std::add_cv<int>::type,
        const volatile int
    >::value,
    "transform int to const volatile int");

static_assert(std::is_same<
        std::add_cv<int&>::type,
        int&
    >::value,
    "transform int& to int&");

static_assert(std::is_same<
        std::add_cv<int*>::type,
        int* const volatile
    >::value,
    "transform int* to int* const volatile");

static_assert(std::is_same<
        std::add_cv<const int>::type,
        const volatile int
    >::value,
    "transform const int to const volatile int");

int main() {}

出力

バージョン

言語

  • C++11

処理系

  • Clang: 3.0 ✅
  • GCC: 4.3.6 ✅
  • Visual C++: 2008 (std::tr1) ✅, 2010 ✅, 2012 ✅, 2013 ✅, 2015 ✅
    • add_cv_tは2013から

参照