C++中的智能指针
摘要：本文将深入探讨C++中的智能指针技术，介绍其概念、用法和实现原理。智能指针是一种C++语言特性，用于管理动态分配的内存资源，以解决常见的内存泄漏和资源释放问题。本文将重点介绍三种常见的智能指针类型：unique_ptr、shared_ptr和weak_ptr，并通过详细的示例代码演示它们的使用。
1 引言
1.1 C++中的内存管理问题
C++是一种功能强大的编程语言，但在内存管理方面存在一些挑战。手动管理动态分配的内存资源容易出现各种问题。比如：
- 内存泄漏：内存泄漏是指程序在动态分配内存后没有正确释放它，导致内存无法再次使用。这会导致程序占用越来越多的内存，最终可能耗尽可用内存。内存泄漏的发生通常是因为忘记释放动态分配的内存，或者在特定情况下无法正常释放内存。
- 悬空指针：悬空指针是指指向已释放或无效的内存地址的指针。当程序试图访问悬空指针时，可能会导致未定义的行为，例如崩溃或数据损坏。悬空指针通常是由于释放内存后未将指针设置为nullptr，或者指针超出了其作用域但仍被使用而导致的。
- 野指针：野指针是指指向未知或无效内存地址的指针。与悬空指针类似，使用野指针也会导致未定义的行为。野指针通常是由于未初始化指针、指针越界或者指针错误地指向其他对象而产生的。
- 二次释放：二次释放是指对已释放内存进行多次释放操作。这会导致内存破坏和程序崩溃。常见的情况是释放后未将指针置为nullptr，导致在后续代码中再次释放同一块内存。
这些内存管理问题会导致程序的健壮性和可靠性下降。为了解决这些问题，C++提供了智能指针技术。智能指针通过封装指针，并使用引用计数或其他机制来自动管理内存。它们负责在不再使用资源时自动释放内存，避免了手动管理内存的复杂性和错误。
1.2 智能指针的概念和作用
智能指针是C++中的一种特殊类型的指针，它们具有自动化的内存管理和资源释放功能。智能指针通过在对象上维护引用计数或其他机制，来跟踪资源的使用情况，并在不再需要时自动释放相关资源，从而减少了手动管理内存的复杂性和错误。
其作用是提供一种安全、便捷的方式来管理动态分配的资源，如堆上的对象或其他资源。它们可以帮助解决内存泄漏和悬挂指针等常见的内存管理问题。
常见类型包括unique_ptr、shared_ptr和weak_ptr等。每种类型都有其特定的应用场景和语义。通过选择适当的智能指针类型，开发人员可以根据实际需求来管理资源，提高代码的可靠性和可维护性。
2 unique_ptr：独占所有权的智能指针
2.1 unique_ptr的基本用法
unique_ptr是一种独占所有权的智能指针，它确保每个对象只有一个智能指针可以管理。本节将介绍unique_ptr的基本用法，包括创建、访问和释放资源等操作。
#include 2.2 移动语义和转移所有权
unique_ptr支持移动语义，可以高效地转移所有权。
#include 2.3 自定义删除器
unique_ptr还支持自定义删除器，用于在释放资源时执行额外的操作。本节将介绍自定义删除器的用法，并提供示例代码进行演示。
#include 3 shared_ptr：共享所有权的智能指针
3.1 shared_ptr的基本用法
shared_ptr是一种共享所有权的智能指针，可以被多个智能指针共同管理。本节将介绍shared_ptr的基本用法，包括创建、访问和释放资源等操作。
#include 3.2 引用计数和循环引用
shared_ptr使用引用计数来管理资源的生命周期，当引用计数为0时，资源会被释放。然而，循环引用可能导致资源无法释放，从而引发内存泄漏。
#include 3.3 weak_ptr的使用
为了解决循环引用的问题，C++提供了weak_ptr。weak_ptr是一种弱引用，它可以观测shared_ptr所管理的资源，但不会增加引用计数。
#include 4 实现原理与内部机制
4.1 unique_ptr的实现原理
unique_ptr是C++11中引入的一种独占式智能指针，用于管理动态分配的资源。它的实现基于C++11中引入的右值引用和移动语义，提供了高效的资源管理和所有权转移。下面将介绍unique_ptr的实现原理。
独占所有权：
unique_ptr的核心特性是独占所有权，即一个unique_ptr对象可以独占地拥有资源。这意味着一个资源只能由一个unique_ptr对象管理，避免了多个智能指针同时管理一个资源的问题。通过独占所有权，unique_ptr可以在不需要显式释放资源的情况下，自动在合适的时机释放资源。
右值引用和移动语义：
unique_ptr利用了C++11中的右值引用和移动语义，实现了资源的所有权转移。右值引用允许我们将资源的所有权从一个unique_ptr对象转移到另一个unique_ptr对象，而不需要进行资源的复制或拷贝。这大大提高了资源的转移效率和性能。
构造和析构：
unique_ptr的构造函数接受一个指针参数，并将该指针作为资源进行管理。构造函数会将资源指针保存起来，并且会默认将删除器（deleter）设置为使用delete操作符释放资源。析构函数会在unique_ptr对象销毁时自动调用，并在析构时释放资源。通过这种方式，unique_ptr确保资源的释放不会被遗漏。
删除器（deleter）：
unique_ptr还提供了自定义删除器的功能，用于释放资源时调用特定的函数或操作符。删除器可以是函数指针、函数对象或lambda表达式，用于执行特定的释放操作。通过删除器，我们可以灵活地定义资源的释放方式，例如释放动态数组、调用特定的析构函数等。
禁用拷贝和赋值：
为了确保独占所有权的特性，unique_ptr禁用了拷贝构造函数和赋值操作符的默认实现。这意味着一个unique_ptr对象不能被拷贝或赋值给另一个unique_ptr对象，从而防止资源的所有权被多个unique_ptr对象共享。
unique_ptr提供了高效的资源管理和所有权转移。它在C++中广泛应用于管理动态分配的资源，避免了手动释放资源和内存泄漏的风险，提高了代码的安全性和可维护性。
4.2 shared_ptr的实现原理
shared_ptr是C++中的一种智能指针，用于管理动态分配的资源，并实现资源的共享。它的实现基于引用计数技术和控制块（control block）的概念。下面将介绍shared_ptr的实现原理。
引用计数：
shared_ptr通过引用计数来追踪有多少个shared_ptr对象共享同一个资源。引用计数是一个整数值，记录了资源被共享的次数。每当一个新的shared_ptr对象开始管理某个资源时，引用计数会增加。当一个shared_ptr对象不再使用资源时，引用计数会减少。只有当引用计数为零时，资源才会被释放。
控制块（control block）：
shared_ptr维护一个控制块，其中包含了资源指针、引用计数和删除器等信息。控制块通常是在堆上分配的，而资源指针指向堆上的资源。控制块可以被多个shared_ptr对象共享，而资源指针则指向唯一的资源。通过控制块，shared_ptr对象可以共享资源的管理和释放。
构造和析构：
shared_ptr的构造函数接受一个指针参数，并将该指针作为资源进行管理。构造函数会分配一个新的控制块，并将资源指针和引用计数初始化。同时，如果提供了删除器（deleter），也会将删除器保存在控制块中。析构函数会在shared_ptr对象销毁时自动调用，并在析构时减少引用计数。当引用计数为零时，析构函数会释放资源，并销毁控制块。
引用计数的增减：
shared_ptr提供了拷贝构造函数和赋值操作符重载，用于实现共享资源的功能。当一个shared_ptr对象被拷贝或赋值给另一个shared_ptr对象时，引用计数会增加。这样，多个shared_ptr对象可以共享同一个资源，并共同管理它。引用计数的增减是线程安全的，因此shared_ptr可以在多线程环境中使用。
弱引用：
shared_ptr还支持弱引用（weak_ptr），用于解决循环引用的问题。弱引用不增加引用计数，不拥有资源，只是观测shared_ptr对象的存在与否。弱引用可以通过lock()函数获取一个有效的shared_ptr对象，如果原始的shared_ptr对象已经被销毁，则返回一个空的shared_ptr对象。
shared_ptr实现了资源的共享和引用计数的管理。它在C++中广泛应用于共享资源的场景，如动态分配的对象、容器元素等。shared_ptr的实现保证了资源的正确释放和避免了内存泄漏的风险，提高了代码的安全性和可靠性。
4.3 weak_ptr的实现原理
weak_ptr是C++中的一种智能指针，用于解决shared_ptr可能出现的循环引用问题。它的实现依赖于shared_ptr，并通过共享控制块的方式实现对共享资源的观测。下面将介绍weak_ptr的实现原理。
共享控制块：
在shared_ptr的实现中，每个shared_ptr对象都有一个指向控制块（control block）的指针，控制块中包含了资源指针、引用计数和删除器等信息。为了实现weak_ptr的观测功能，shared_ptr引入了一个额外的计数器，称为弱引用计数（weak reference count）。
弱引用计数：
弱引用计数记录了有多少个weak_ptr对象观测（但不共享）同一个资源。与shared_ptr的引用计数不同，弱引用计数并不影响资源的生命周期，它仅用于判断资源是否被释放。
构造和析构：
weak_ptr的构造函数接受一个shared_ptr对象作为参数，并从该shared_ptr对象中获取控制块的指针。构造函数不会增加资源的引用计数，而是增加弱引用计数。析构函数会在weak_ptr对象销毁时自动调用，并在析构时减少弱引用计数。当弱引用计数和引用计数都为零时，析构函数会释放资源，并销毁控制块。
检测资源是否存在：
weak_ptr提供了expired()函数和lock()函数来检测共享资源是否存在。expired()函数用于判断资源是否已经被释放，如果资源已经被释放，则返回true，否则返回false。lock()函数用于获取一个有效的shared_ptr对象，如果资源仍然存在，则返回一个指向该资源的shared_ptr对象；如果资源已经被释放，则返回一个空的shared_ptr对象。
解决循环引用：
由于weak_ptr只是观测共享资源，而不增加引用计数，因此它不会导致循环引用。通过使用weak_ptr来解决循环引用，可以避免资源的内存泄漏，确保资源能够正确释放。
weak_ptr提供了一种观测共享资源的机制，避免了shared_ptr可能出现的循环引用问题。它在需要观测共享资源而不持有所有权的场景下非常有用，如缓存、观察者模式等。weak_ptr的实现保证了资源的正确释放和避免了循环引用带来的问题，提高了代码的可靠性和安全性。
5 性能和注意事项
5.1 智能指针的性能考虑
智能指针是一种方便的资源管理工具，但它们也带来了一些性能开销。在使用智能指针时，有几个性能方面的考虑需要注意。
空间开销：
智能指针通常需要额外的空间来存储控制块或其他管理信息。这些额外的开销会增加每个智能指针对象的大小。对于大量的智能指针对象或者资源较小的情况下，这可能会造成内存开销的增加。因此，在选择智能指针时需要权衡空间开销和资源管理的便利性。
引用计数的更新：
对于引用计数型的智能指针（如shared_ptr），在每个智能指针的构造、析构和拷贝操作中，需要更新引用计数。这涉及到原子操作或其他同步机制，以确保多个线程并发访问时的一致性。引用计数的更新可能会带来一定的性能开销，特别是在高并发的情况下。因此，在多线程环境中使用智能指针时，需要谨慎考虑性能开销和并发访问的正确性。
循环引用：
智能指针的一个潜在问题是循环引用，即多个智能指针对象相互引用形成环路。这种情况下，资源可能无法释放，导致内存泄漏。为了解决循环引用问题，可以使用弱引用（如weak_ptr）来观测资源而不持有所有权，或者采用其他手段避免循环引用的产生。
删除器的开销：
智能指针允许自定义删除器来释放资源，这可能会引入额外的开销。例如，如果删除器是一个函数对象或lambda表达式，它的调用可能会带来一定的性能开销。在选择使用自定义删除器时，需要考虑其对性能的影响，并进行适当的权衡。
使用智能指针时需要考虑其性能开销。合理地选择智能指针的类型和使用方式，可以在提供便利的资源管理的同时，尽量减少性能开销。在关注性能敏感的场景中，可以对智能指针的使用进行评估和优化，以获得更好的性能表现。
5.2 避免循环引用和内存泄漏
循环引用和内存泄漏是智能指针使用中常见的问题，但可以通过采取一些方法来避免它们的发生。下面将介绍更多关于避免循环引用和内存泄漏的实用技巧和最佳实践：
使用weak_ptr和shared_ptr配合：
在存在潜在循环引用的情况下，使用weak_ptr作为观测指针可以有效避免循环引用。将weak_ptr与shared_ptr配合使用，可以确保资源正确释放，并且避免内存泄漏。通过调用weak_ptr的lock()函数，可以获取一个有效的shared_ptr对象来访问资源，如果资源已经被释放，则返回一个空的shared_ptr对象。
手动解除循环引用：
如果发现存在循环引用的情况，可以手动解除循环引用来避免内存泄漏。这可以通过将某个智能指针对象置为nullptr或使用reset()函数来释放资源。这样，引用计数会减少，资源可以被正确释放。需要注意的是，在解除循环引用时，要确保资源的生命周期符合预期，并避免潜在的访问空指针的错误。
使用弱引用和强引用的组合：
除了使用weak_ptr作为观测指针外，还可以结合使用强引用（如shared_ptr）来管理资源的生命周期。在某些情况下，只需要在特定的时机持有资源的所有权，而在其他时机则只需要观测资源即可。通过合理使用弱引用和强引用的组合，可以避免循环引用，并且提高代码的可维护性和可读性。
避免循环依赖：
循环依赖是指多个对象之间相互依赖，形成了环状的依赖关系。这种情况下，如果使用智能指针来管理资源，可能会导致循环引用和内存泄漏。为了避免循环依赖，应该合理设计对象之间的依赖关系，尽量减少不必要的相互依赖。如果确实需要存在循环依赖，可以考虑使用弱引用或其他手段来观测资源而不持有所有权。
使用智能指针库提供的辅助工具：
一些智能指针库提供了辅助工具，如weak_ptr和shared_ptr之间的转换、自定义删除器等。这些工具可以帮助更方便地管理资源和避免循环引用。使用这些工具可以简化代码，并减少因手动管理资源而可能引入的错误。同时，阅读智能指针库的文档和了解其特性也是避免循环引用和内存泄漏的关键。
通过采取上述方法，可以更好地避免循环引用和内存泄漏的发生。在使用智能指针时，除了关注代码的正确性和功能实现外，还应该考虑资源的生命周期和对象之间的依赖关系。合理设计和使用智能指针能够提高代码的可靠性和健壮性，同时减少内存泄漏的风险。
6 其他智能指针和扩展阅读
6.1 weak_ptr的应用场景
weak_ptr是一种弱引用智能指针，它用于解决shared_ptr可能引发的循环引用和内存泄漏问题。weak_ptr并不增加引用计数，它只是观测shared_ptr所管理的资源，不影响资源的生命周期。下面介绍几个常见的weak_ptr的应用场景：
解决循环引用问题：
循环引用是指两个或多个对象相互持有shared_ptr，导致资源无法释放的情况。使用weak_ptr可以打破循环引用，避免内存泄漏。其中一个对象持有shared_ptr，而另一个对象持有对应的weak_ptr。
class Node {
public:
std::shared_ptr<Node> next;
};
int main() {
std::shared_ptr<Node> node1(new Node());
std::shared_ptr<Node> node2(new Node());
node1->next = node2;
node2->next = node1; // 循环引用
std::weak_ptr<Node> weakNode1 = node1;
std::weak_ptr<Node> weakNode2 = node2;
// ...
}
node1和node2相互引用，形成循环引用。但由于weak_ptr不增加引用计数，当node1和node2的shared_ptr释放时，资源会正确地被释放。
缓存和高速缓存：
在一些场景中，我们可能需要缓存某些资源，并且希望能够在需要时访问缓存中的资源，但又不希望缓存影响资源的生命周期。使用weak_ptr可以实现这样的缓存机制。
class ResourceManager {
private:
std::unordered_map<std::string, std::weak_ptr<Resource>> cache;
public:
std::shared_ptr<Resource> getResource(const std::string& key) {
std::shared_ptr<Resource> resource = cache[key].lock();
if (!resource) {
resource = std::make_shared<Resource>(key);
cache[key] = resource;
}
return resource;
}
};
ResourceManager维护了一个资源的缓存，使用unordered_map来存储缓存项。通过使用weak_ptr作为unordered_map的值类型，资源的生命周期不受缓存的影响。当需要访问缓存中的资源时，可以使用lock()函数获取shared_ptr并使用。
观察者模式：
观察者模式中，通常有一个主题对象和多个观察者对象，观察者对象需要订阅主题对象的事件。使用weak_ptr可以实现观察者模式，避免观察者对象被主题对象持有而无法释放。
class Observer {
public:
virtual void update() = 0;
};
class Subject {
private:
std::vector<std::weak_ptr<Observer>> observers;
public:
void addObserver(const std::shared_ptr<Observer>& observer) {
observers.push_back(observer);
}
void notifyObservers() {
for (auto it = observers.begin(); it != observers.end();) {
if (auto observer = it->lock()) {
observer->update();
++it;
} else {
it = observers.erase(it);
}
}
}
};
Subject维护了一个观察者列表，使用weak_ptr来持有观察者对象。当主题对象触发事件时，通过遍历观察者列表，如果观察者仍然有效，则调用其update()函数进行通知；如果观察者已经被释放，则从列表中移除。
weak_ptr在解决循环引用和实现缓存、观察者模式等场景中非常有用。它能够帮助我们更好地管理资源的生命周期，避免内存泄漏和对象的过早销毁。
6.2 make_shared和allocate_shared函数
在C++中，make_shared和allocate_shared是用于创建shared_ptr的两个常用函数模板。它们提供了方便的方法来创建和初始化shared_ptr对象。下面将介绍make_shared和allocate_shared函数的使用和区别。
make_shared函数模板
make_shared函数模板用于创建一个shared_ptr对象，并直接初始化该对象所管理的资源。它接受构造函数的参数，并返回一个shared_ptr指向初始化后的对象。
std::shared_ptr<T> make_shared<Args...>(Args&&... args);
其中，T是要创建的对象类型，Args是构造函数的参数类型。
使用make_shared函数可以更简洁地创建shared_ptr对象，并避免了直接使用new操作符分配内存的繁琐过程。
std::shared_ptr<int> ptr = std::make_shared<int>(42);
make_shared函数创建了一个shared_ptr对象，其值为42。make_shared函数会自动分配内存并初始化对象，返回一个指向该对象的shared_ptr。
allocate_shared函数模板
allocate_shared函数模板用于在指定的内存位置上创建一个shared_ptr对象，并使用构造函数对对象进行初始化。它接受一个分配器对象和构造函数的参数，并返回一个shared_ptr指向初始化后的对象。
std::shared_ptr<T> allocate_shared<Args...>(const Alloc& alloc, Args&&... args);
其中，T是要创建的对象类型，Alloc是分配器类型，Args是构造函数的参数类型。
allocate_shared函数与make_shared函数的区别在于，allocate_shared函数可以在预先分配的内存上创建对象，而不是动态分配新的内存。这对于一些特殊的内存需求或者与其他库的集成非常有用。
std::allocator<int> alloc;
std::shared_ptr<int> ptr = std::allocate_shared<int>(alloc, 42);
allocate_shared函数使用了std::allocator作为分配器对象，创建了一个shared_ptr对象，其值为42。allocate_shared函数会在预先分配的内存位置上初始化对象，返回一个指向该对象的shared_ptr。
使用make_shared和allocate_shared函数可以更方便地创建和初始化shared_ptr对象。它们提供了一种安全且高效的方式来管理动态分配的资源，并避免内存泄漏和资源管理问题。根据实际需求选择合适的函数来创建shared_ptr对象。
6.3 自定义智能指针
在C++中，我们可以自定义智能指针类型来管理资源的生命周期。通过自定义智能指针，我们可以实现自定义的资源管理策略和附加功能。下面将介绍如何自定义智能指针。要自定义智能指针，我们需要实现以下几个关键部分：
类模板的定义：
定义一个类模板，作为我们自定义智能指针的类型。这个类应该包含一个指向资源的指针和必要的成员函数和操作符重载。
构造函数：
定义适当的构造函数来创建智能指针对象。构造函数应该接受需要管理的资源作为参数，并进行必要的初始化。
拷贝构造函数和赋值操作符重载：
如果需要支持拷贝和赋值操作，我们需要实现拷贝构造函数和赋值操作符重载，确保智能指针的引用计数正确地增加和减少。
析构函数：
定义析构函数，释放智能指针管理的资源。在析构函数中，需要检查引用计数，并在最后一个引用被释放时销毁资源。
指针访问操作符重载：
为了方便地访问所管理的资源，可以重载指针访问操作符（*和->），使智能指针对象可以像原始指针一样使用。
其他辅助函数和操作符重载：
根据需要，可以实现其他辅助函数和操作符重载，以提供更多功能和方便的操作。
下面是一个简单的示例，展示了如何自定义一个简单的计数型智能指针：
template <typename T>
class CountingPtr {
private:
T* ptr;
int* refCount;
public:
CountingPtr(T* p = nullptr) : ptr(p), refCount(new int(1)) {}
~CountingPtr() {
if (--(*refCount) == 0) {
delete ptr;
delete refCount;
}
}
CountingPtr(const CountingPtr<T>& other) : ptr(other.ptr), refCount(other.refCount) {
++(*refCount);
}
CountingPtr<T>& operator=(const CountingPtr<T>& other) {
if (this != &other) {
if (--(*refCount) == 0) {
delete ptr;
delete refCount;
}
ptr = other.ptr;
refCount = other.refCount;
++(*refCount);
}
return *this;
}
T& operator*() const {
return *ptr;
}
T* operator->() const {
return ptr;
}
};
我们定义了一个名为CountingPtr的类模板，用于管理指向资源的指针。它包含一个指向资源的指针ptr和一个引用计数的指针refCount。构造函数、析构函数、拷贝构造函数和赋值操作符重载被实现以管理资源和引用计数。同时，我们还重载了指针访问操作符*和->，使得可以方便地使用智能指针对象访问所管理的资源。
通过自定义智能指针，我们可以根据实际需求实现各种不同的资源管理策略和附加功能。这使得我们能够更加灵活和精确地管理动态分配的资源，并减少内存泄漏和资源泄漏的风险。
6.4 其他智能指针库的介绍
除了C++标准库中提供的智能指针（如shared_ptr和weak_ptr）外，还有一些第三方库提供了更多功能和特性的智能指针。这些库广泛应用于C++开发中，并且在特定的场景和需求下提供了更好的解决方案。
Boost Smart Pointers
Boost是一个流行的C++库集合，其中包含了丰富的功能和扩展性强大的智能指针库。Boost Smart Pointers提供了shared_ptr、weak_ptr和scoped_ptr等智能指针类型，并提供了许多附加功能和扩展选项，如循环引用检测、自定义删除器、多线程支持等。Boost Smart Pointers在C++社区中被广泛使用，并且为C++标准库中的智能指针提供了很多灵感。
folly::SharedMutex
folly是Facebook开源的一个C++库，其中包含了各种高性能的工具和组件。folly::SharedMutex是一个与std::shared_mutex类似的智能指针，但它提供了更好的性能和扩展性。它采用了无锁技术实现读写锁，使得在高并发情况下性能更好。folly::SharedMutex在需要频繁读写操作的场景中非常有用，如并发容器、多线程缓存等。
Poco::SharedPtr
Poco是一个轻量级的C++类库，提供了许多功能和工具。Poco::SharedPtr是Poco库中的一个智能指针类型，与std::shared_ptr类似，但提供了更好的性能和异常安全。它采用了引用计数技术，能够自动释放资源，并且在多线程环境下提供了原子操作。Poco::SharedPtr适用于各种资源管理场景，并且易于使用和集成到现有代码中。
EASTL::shared_ptr
EASTL是Electronic Arts开发的一个高效的C++模板库，包含了许多数据结构和算法。EASTL::shared_ptr是EASTL库中的一个智能指针实现，与std::shared_ptr功能相似。它提供了内存分配控制、自定义删除器、循环引用检测等功能，并且在性能方面进行了优化。EASTL::shared_ptr适用于游戏开发和嵌入式系统等对性能有较高要求的领域。
这些智能指针库提供了更多的功能和特性，使得在特定的场景和需求下能够更好地管理和控制资源。根据项目需求和个人偏好，选择适合的智能指针库能够提升代码的质量和性能。需要注意的是，使用第三方智能指针库时需要仔细阅读其文档和使用说明，确保正确使用和理解其特性和行为。
结论
本文深入探究了C++中的智能指针技术，详细介绍了unique_ptr、shared_ptr和weak_ptr的概念、用法和实现原理。智能指针是一种重要的内存管理工具，可以帮助开发者有效地管理动态分配的内存资源，减少内存泄漏和资源释放问题的发生。
参考文献
- C++ Primer, 5th Edition (Lippman, Lajoie, and Moo)
- Effective Modern C++ (Scott Meyers)
- C++ Concurrency in Action (Anthony Williams)
- C++11标准草案（http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/n3242.pdf）