前言
首先,我们从指针的原始意义开始,c++11中简单如type* pt = nullptr; 这里的指针是c语言中的核心概念,指针并不是c++发明的,据我所知也不是c发明的。但是c规范中定义了指针,并给出了在c和c++中使用指针的指导。事实上,指针是一个变量,它存储的值是内存中的一个地址。如果你对指针进行解引用操作,就能访问指针指向的变量。指针实际上是一个基础变量,它不知道它所指向的值是否有效,也不能感知其指向的值是否无效。在c语言中,一个指针指向0,说明其不指向任何值,因此也不具有效的值。所有其他指针都应该指向内存中有意义的地址,但实际上,有些指针没有正确的初始化,或者干脆越出了应有的范围。
在c++11中,将指针正确初始化为0的方法是使用关键字nullptr。这让计算机知道该指针当前为空。另外,还有一种常用的方式是将0定义为null或者其他定义或声明。c++11中使用nullptr统一了这种方式。c++中还引入了引用,它看起来像是变量的别名,其优势是使用引用的时候必须先初始化,因此,在引用生命周期起始时需要指向一个有效地址。不过,引用也只是指针的解引用,所以,一旦其引用的变量作用范围结束,其引用也无效了,使用指针时,你可以将指针置为0,但是针对引用却不能这么做。
但是在c++11和在c++11标准之前,一些事情发生了变化,指针是语言的核心概念,但是你在现代化的c++代码和函数库中却很少看到它们。远在c++11之前,boost创建了一系列非常有用的智能指针类,针对指针进行了封装,对其核心机制通过操作符重载。智能指针本身不是一个指针,而是一个栈上的变量或对象成员。智能指针使用了raii来解决指针的一些问题,这并不是指针的职责。当在椎中分配内存时,new返回了指向该部分内存的地址,所以每分配一块动态内存,就需要使用一个指针,相当于创建对象的一个操作句柄。但是指针仅仅是一个简单的变量,不知道变量的拥有关系,也不能自动释放堆上的内存空间。智能指针担当了这一角色,拥有指针并在变量超出作用域时自动管理其堆上的值。在栈上的值意味着,一旦相应的栈被销毁,其管理的堆上的值会被自动释放,即使是在发生异常的情况下。
过去的一些年,c++出现了一些不同风格的使用,从使用类的c及大量使用指针,到类似我想widget和qt这样面向对象的框架。在过去5-10年中的形成的一种新样式被认为是现代c++,一种趋向尽力发掘语言本身扩展能力,并试图找到不同特性针对不同场合的应用。值得注意的是boost在这一趋势中起到了引领风范的c++框架。c++标准在设计其标准库时也借鉴了这一点。与此同时,变得流行起来,并且与move语义成为未来c++一个关键点。来自tony van eerds在meeting c++的一份备忘引起了我对指针的思考。它有两列,一个代表引用语义,一个代表值语义,以及其朗朗上口的主题词:
哦,不!使用指针 vs 哦,不要使用指针!
所以,在c++11或者c++14,使用值语义的趋势盖过了使用指针。指针在取后台还是工作着,不过在c++14中,new和delete都将不提倡直接使用,new被抽象化为make_shared/make_unique。其内部使用了new,但是返回一个智能指针。shared_ptr 和 unique_ptr都表现为值语义类型。智能指针同样在其作用域结束时使用delete释放内存。这让我思考,c++中的指针是不是都可以填充不同的“角色”,或者被替换掉。
继承和虚拟函数
指针一个非常重要的用途是在继承中使用指针来指向一系列拥有相同接口的类型值。我想用shape例子来阐明这一点,这里有一个基类shape,同时其含有一个虚拟函数叫area的方法。同时,它还有几个派生类叫rectange,cirecle和triangle。现在,有一个指针容器(比如:std::vector<shape*>)来容纳指向不同形状的对象指针,每个对象都有自己的计算面积方法。这是c++中最常用指针的方式,尤其是在面向对象时。现在,好消息是,这里同样支持使用智能指针,当其使用这些智能指针时,内部会进行访问指针。boost中甚至还有一个指针容器,能在清空容器时自动释放其中的智能指针元素。
现在考虑虚函数调用(这虽然不和指针有直接联系),虚函数调用通常会有点点慢,同时也不容易编译器针对其进行优化。所以,如果其类型在运行时是可知的,就可以使用静态分发或者编译器多态性来正确调用相应的虚函数方法,而不是在运行时使用虚函数指针。作为一种模式被叫做crtp,已经实现了这一方式。最近的显示,这在gcc4.8中可以提高性能。有趣的是,通常情况下使用gcc4.9,优化器可以针对动态分发进行更进一步的优化。还是让我们继续回到指针。
不确定指针
有时候指针被用于有一系列可选值作为参数或者返回不确定的函数中,通常都默认为0,用户可以选择传递一个有效的指针给该函数。或者在返回的情况下,函数返回一个空指针表示执行失败。对于错误情景,现代c++中常使用异常,但是在有些嵌入式平台上不能工作,因此,(返回0)在c++的一些场合中也是一个有效的使用方式。同样的,这里也可以使用智能指针,智能指针可以扮演指针的操作句柄。不过常常会导致堆上内存开销(使用堆),或者并没有替代不确定的角色。这需要使用一个可选值类型来代替,用于确定其存储的值是否有效。boost库有一个来表示可选值类型。因此,可以考虑在c++14中引入有一个类似的可选类型。所以,现在std::optional会被移入到技术预览版(ts)中,将来会变成c++14或者c++1y的一部分。
当前的标准库中已经使用了一些可选类型,比如std::set::insert会返回一个pair<iterator,bool>类型,其第二个参数表示请求值是否插入到set容器中。容器通常返回尾迭代器来表示无效,但是如果要求返还一个值时,这个角色过去通常都是用指针来表示,指针为0表示函数执行失败,因此这里的指针可以被可选类型替代:
optional<myvalue> ov = queryvalue(42); if(ov) cout << *ov; else cerr << "value could not be retrieved";
因此,可选类型和智能指针类型替代了指针的一部分语义,填充了其角色。但是它们是值语义,并大部分都在栈上使用。
有效的指针
在写作我对c++指针用法的思考时,我主要关注于那些指针可以被其他(比如:智能指针和可选类型等)替换的场景,但是低估了实际上有些场景指针仍然有用。感谢来自reddit,email和社交媒体的一些反馈。
非拥有者指针就是这样一个例子,这里未来的几年还是需要使用指针。shard_ptr有对应的weak_ptr,但是unique_ptr没有对应的伙伴。这里就需要使用非拥有者原始指针。比如,在一个由父和子对象构成的树或者图中。但是,未来c++中会新增来代替。
在处理函数中的传递的值时,指针还是具有用处的,herb sutter写了一篇非常好的文章:《gotw about this in may》。eric niebler 在他的meeting c++会议的中也谈及了,同时移动语义会影响你应该如何在函数中传递或者返回值。
![C++编程丨C++11的指针](https://www.ctvol.com/wp-content/themes/justnews/themer/assets/images/lazy.png)
eric niebler说过,在能使用移动语义时尽可能使用移动语义。一个可选参数为例,vector::emplace_back接收一个参数,当其只是将把元素移动到适当位置,这时你应得使用移动语义。一些输出参数返回一个值,编译器可以使用移动语义或者copyellision(拷贝去除)的优化技术。针对一些以对象为输入/输出参数,非常引用也是可选择性优化的,但是eric在他的笔记中指出:对象算法的状态在构造函数中应使用槽参数。
在传递常量(非常量)引用时,指针可以做同样的事情,不过有些不同,你需要对指针测试其是否为空。我个人更喜欢在函数/方法或者构造函数时传递引用而不是指针。
指针计算
之前我提到过,从我个人的观点,指针只是一个普通的变量,其值指向一个地址,或者更精确地说,是其指向值得一个地址号码。这个地址号码可以被复制,你可以对其进行加或减法操作。这常常用于遍历数组或者计算两个指针的的距离,这在使用数组时很有用。这里对数组的便利其实就是迭代器,所以,在实际代码时,指针可以代替迭代器使用。但是,从我多年c++开发经验来看,我几乎没有用到针对指针的计算操作。而且在c++中,指针的计算已经有了非常好的抽象。我的观点是,理解指针计算是重要的,这有助于理解代码中指针的具体作用。
再见,指针?
理论上,c++可以不使用指针,但是由于指针是c/c++语言的核心概念,指针本身仍然会继续存在。但是它的角色会变更,在你使用c++时,你不再需要考虑指针。随着c++的继续发展,c++11和c++14朝着更抽象,对开发者更友好的方向发展。使用智能指针和可选类型,指针要么被封装从而更适用安全的值类型,要么完全被它们替代掉。
博主是一个有着7年工作经验的架构师,对于c++,自己有做资料的整合,一个完整学习c语言c++的路线,学习资料和工具。可以进我的q群7418,18652领取,免费送给大家。希望你也能凭自己的努力,成为下一个优秀的程序员!另外博主的微信公众号是:c语言编程学习基地,欢迎关注!
本文来自网络收集,不代表计算机技术网立场,如涉及侵权请联系管理员删除。
ctvol管理联系方式QQ:251552304
本文章地址:https://www.ctvol.com/c-cdevelopment/604432.html