C++11的未来和指针

前言

首先，我们从指针的原始意义开始，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库有一个boost::optional来表示可选值类型。因而，可以考虑在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++中会新添加exempt_ptr来代替。

在解决函数中的传递的值时，指针还是具备用处的，Herb Sutter写了一篇非常好的文章:《GotW about this in May》。Eric Niebler 在他的Meeting C++会议的笔记中也谈及了，同时移动语义会影响你应该如何在函数中传递或者者返回值。

Eric Niebler说过，在能使用移动语义时尽可能使用移动语义。一个可选参数为例，vector::emplace_back接收一个参数，当其只是将把元素移动到适当位置，这时你应得使用移动语义。少量输出参数返回一个值，编译器可以使用移动语义或者者CopyEllision（拷贝去除）的优化技术。针对少量以对象为输入/输出参数，非常引用也是可选择性优化的，但是Eric在他的笔记中指出：对象算法的状态在构造函数中应使用槽参数。

在传递常量（非常量）引用时，指针可以做同样的事情，不过有些不同，你需要对指针测试其能否为空。我个人更喜欢在函数/方法或者者构造函数时传递引用而不是指针。

指针计算

之前我提到过，从我个人的观点，指针只是一个普通的变量，其值指向一个地址，或者者更准确地说，是其指向值得一个地址号码。这个地址号码可以被复制，你可以对其进行加或者减法操作。这常常用于遍历数组或者者计算两个指针的的距离，这在使用数组时很有用。这里对数组的便利其实就是迭代器，所以，在实际代码时，指针可以代替迭代器使用。但是，从我多年C++开发经验来看，我几乎没有用到针对指针的计算操作。而且在C++中，指针的计算已经有了非常好的笼统。我的观点是，了解指针计算是重要的，这有助于了解代码中指针的具体作用。

再见，指针？

理论上，C++可以不使用指针，但是因为指针是C/C++语言的核心概念，指针本身依然会继续存在。但是它的角色会变更，在你使用C++时，你不再需要考虑指针。随着C++的继续发展，C++11和C++14朝着更笼统，对开发者更友好的方向发展。使用智能指针和可选类型，指针要么被封装从而更适用安全的值类型，要么完全被它们替代掉。