std::remove_cv, std::remove_const, std::remove_volatile

来自cppreference.com
< cpp‎ | types
 
 
工具库
类型支持(基本类型、 RTTI 、类型特性)
动态内存管理
错误处理
程序工具
变参数函数
日期和时间
函数对象
(C++11)
关系运算符
optionalanyvariant (C++17)
pair 与 tuple
(C++11)
(C++17)
swap 、 forward 与 move
(C++14)
(C++11)
(C++11)
初等字符串转换
(C++17)
(C++17)
类型运算
(C++11)
(C++17)
 
类型支持
基本类型
基础类型
定宽整数类型 (C++11)
数值极限
C 数值极限接口
运行时类型信息
类型特性
类型类别
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
类型属性
(C++11)
(C++11)
(C++11)
(C++14)
(C++11)
(C++11)(C++17 中弃用)
(C++11)
类型特性常量
元函数
(C++17)
端序
(C++20)
受支持操作
关系与属性查询
(C++11)
(C++11)
(C++11)
(C++11)
类型修改
remove_cvremove_constremove_volatile
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
类型变换
(C++11)
(C++11)
(C++17)
(C++11)(C++17 中弃用)
(C++17)
 
定义于头文件 <type_traits>
template< class T >
struct remove_cv;
(1) (C++11 起)
template< class T >
struct remove_const;
(2) (C++11 起)
template< class T >
struct remove_volatile;
(3) (C++11 起)

提供与 T 相同的成员 typedef type ,除了其最顶层 cv 限定符被移除。

1) 移除最顶层 const 、最顶层 volatile ,或二者一同,若存在。

2) 移除最顶层 const

3) 移除最顶层 volatile

目录

[编辑] 成员类型

名称 定义
type 无 cv 限定符的 T

[编辑] 帮助类型

template< class T >
using remove_cv_t       = typename remove_cv<T>::type;
(C++14 起)
template< class T >
using remove_const_t    = typename remove_const<T>::type;
(C++14 起)
template< class T >
using remove_volatile_t = typename remove_volatile<T>::type;
(C++14 起)

[编辑] 可能的实现

template< class T >
struct remove_cv {
    typedef typename std::remove_volatile<typename std::remove_const<T>::type>::type type;
};
 
template< class T > struct remove_const          { typedef T type; };
template< class T > struct remove_const<const T> { typedef T type; };
 
template< class T > struct remove_volatile             { typedef T type; };
template< class T > struct remove_volatile<volatile T> { typedef T type; };

[编辑] 示例

const volatile int * 移除 const/volatile 不修改该类型,因为该指针自身既非 const 亦非 volatile 。

#include <iostream>
#include <type_traits>
 
int main() {
    typedef std::remove_cv<const int>::type type1;
    typedef std::remove_cv<volatile int>::type type2;
    typedef std::remove_cv<const volatile int>::type type3;
    typedef std::remove_cv<const volatile int*>::type type4;
    typedef std::remove_cv<int * const volatile>::type type5;
 
    std::cout << "test1 " << (std::is_same<int, type1>::value
        ? "passed" : "failed") << '\n';
    std::cout << "test2 " << (std::is_same<int, type2>::value
        ? "passed" : "failed") << '\n';
    std::cout << "test3 " << (std::is_same<int, type3>::value
        ? "passed" : "failed") << '\n';
    std::cout << "test4 " << (std::is_same<const volatile int*, type4>::value
        ? "passed" : "failed") << '\n';
    std::cout << "test5 " << (std::is_same<int*, type5>::value
        ? "passed" : "failed") << '\n';
}

输出:

test1 passed
test2 passed
test3 passed
test4 passed
test5 passed

[编辑] 参阅

(C++11)
检查类型是否为 const 限定
(类模板) [编辑]
检查类型是否为 volatile 限定
(类模板) [编辑]