c++cv限定符

cv限定符
  • 什么是cv限定符?
    cv是const和volatile的首字母缩写。
  • const
    c++变量常用const修饰,表示该变量为常量、初始化后不可修改。
const int a = 1;
const int* p = &a;
  • volatile(不稳定的)
    用volatile修饰的变量,表示其可能会发生改变(即使代码中并没有改变它)。
  • 为什么要存在volatile关键字?
    有时候编译器为了优化程序,会对变量A进行缓存(因变量A在多处使用)。将其缓存到寄存器中,之后直接从寄存器中取值。但如果变量的值意外发生了变化,这种方式就有会问题。所以,需要用volatile关键字声明,告诉编译器对于该变量不要优化。
这个模板类的实现比较简单,它使用了 C++11 中引入的 `typename` 和 `std::remove_cv` 类型转换工具类。 具体来说,这个模板类定义了一个嵌套的 `type` 类型,用于存储从原始类型中移除了顶层 `const` 和 `volatile` 限定符的新类型。在模板类中,我们首先使用 `std::remove_cv` 工具类,将原始类型中的 `const` 和 `volatile` 限定符移除掉。然后,我们将结果赋值给 `type` 类型,使得 `type` 成员类型指向移除限定符后的新类型。 具体的代码如下: ```cpp template<class _Ty> struct remove_cv { // 使用 std::remove_cv 移除顶层 const 和 volatile 限定符 typedef typename std::remove_cv<_Ty>::type _T1; // 如果原始类型是 const volatile 修饰的指针或引用,需要进一步移除修饰符 typedef typename std::conditional< std::is_same<_Ty, _T1>::value, typename std::conditional< std::is_volatile<_Ty>::value, volatile typename std::remove_cv<_Ty*>::type, typename std::remove_cv<_Ty*>::type >::type, typename std::remove_cv<_T1&>::type >::type type; }; ``` 上面的代码中,我们使用了 `std::conditional` 类型转换工具类,根据原始类型是否是 `const volatile` 修饰的指针或引用,来决定是否需要进一步移除修饰符。如果原始类型是 `const volatile` 修饰的指针或引用,则需要先移除指针或引用的 `const` 和 `volatile` 限定符,然后再添加回去。否则,我们可以直接移除引用的 `const` 和 `volatile` 限定符。这样,就得到了一个移除了所有顶层 `const` 和 `volatile` 限定符的新类型。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

林多

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值