亲宝软件园·资讯

展开

c++ volatile和variant关键字

fpcc 人气:0

一、两个长得有点像的变量

对volatile关键字,其实很多人只是能用,知道用到啥处,但其实应用的原理并不知道。在一些多线程的通信中,往往是这个关键字应用到的场所,很多人也是如此想的。但其实这个想法是不准确的。volatile这个关键字的目的最初是针对硬件IO操作的,防止访问IO操作中的缓存影响到真实的数据。但这个关键字的溢出效应是,多线程也可以应用这个原理(注意在多核和多CPU编程中有危险,但是在其它语言如Java中,得按具体的语言规范来决定),那么反而在硬件IO中的应用成了一种比较少的应用场景。
在c++17中,还有一个长得和它类似的联合体variant,如果有其它语言中var变量的使用,就大概明白了这是个啥玩意儿。既然是联合体,那么就明白了这个关键字的用处了,也就是说,它可以表示明确的类型定义,而在前面提到的std::any则不是。看一下在c++17中它的标准定义:

template <class... Types>
class variant;

之所以把它们两个搞在一起,是有的时候儿新手小菜鸟可能会把两个傻傻分不清。

二、二者的功能

类模板 std::variant 表示一个类型安全的联合体,它表示可以拥有其中的任何一个类型或者无值,它不能保有引用、数组或者void,如果表示一个空值,也要用std::variantstd::monostate 代替。同样,在默认构造时,默认保有联合体的第一个类型。面std::volatile则更多倾向于一个编译器的优化选项处理,它会防止变量被编译器缓存。正如前面所讲,这个在多线程中应用的比较多,但其实他更安全的应用其实是在硬件IO操作中。
这么看来,这二者的区别还是相当明显的,别看长得乍一看有点像,但还真不是一嘛事儿。只要写一回代码估计就记清楚了。或者简单的记忆成volatile是一个关键字,而variant是一个复合类型,是一个联合体,是一个类模板。

三、应用实例

看一个variant的例程:

#include <variant>
#include <string>
#include <cassert>
 
int main()
{
    std::variant<int, float> v, w;
    v = 12; // v 含 int
    int i = std::get<int>(v);
    w = std::get<int>(v);
    w = std::get<0>(v); // 与前一行效果相同
    w = v; // 与前一行效果相同
 
//  std::get<double>(v); // 错误: [int, float] 中无 double
//  std::get<3>(v);      // 错误:合法下标值为 0 与 1
 
    try {
      std::get<float>(w); // w 含 int 而非 float :将抛出
    }
    catch (const std::bad_variant_access&) {}
 
    using namespace std::literals;
 
    std::variant<std::string> x("abc"); // 转换构造函数在无歧义时起作用
    x = "def"; // 转换赋值在无歧义时亦起作用
 
    std::variant<std::string, void const*> y("abc");
    // 传递 char const * 时转换成 void const *
    assert(std::holds_alternative<void const*>(y)); // 成功
    y = "xyz"s;
    assert(std::holds_alternative<std::string>(y)); // 成功
}

volatitle这个关键字给一个判断的例程,就不给多线程的例程了,这玩意儿一般来说还是要小心使用,在多核,内存序未知的情况下,还是不用为妙,X86因为一些历史原因,用起来还是比较可以接受的:

#include <iostream>
#include <type_traits>
 
int main() 
{
    std::cout << boolalpha;
    std::cout << std::is_volatile<int>::value << '\n';
    std::cout << std::is_volatile<volatile int>::value  << '\n';
}

这个关键字对从Java转过来的开发人员可能有非常大的迷惑性,二者的理解意义还是有比较大的不同的。把内存序掌握好了,就知道为什么在X86的PC上跑一般没有问题的原因,如果还是无法清楚,就好好看看c++标准中对内存序的支持。这个一定要搞明白,搞不明白的话,可能不会影响到编程,但会影响到对标准的认知。

四、总结

俗话说:“看一遍不如写一遍”,这句话在计算机行业应该是非常合适的。计算机技术是一门理论科学与实践高度结合的技术,理论是源泉,实践是根本,互相反馈,不断迭代,这才是真正提高编程水平的王道。
努力吧,归来的少年

加载全部内容

相关教程
猜你喜欢
用户评论