最終更新日時:
が更新

履歴 編集

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は、型Tconst修飾および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

処理系

参照