《C++ Concurrency in Action》笔记7 mutex(3)pop和top问题之示例

采用上一篇所说的方案一和方案三定义的一个线程安全的stack，它其实是个stack的包装类，代码如下：

struct empty_stack : exception{const char* what() const throw(){return "the stack is empty";};};template<typename T>class threadsafe_stack{private:stack<T> data;mutable mutex m;public:threadsafe_stack() {}threadsafe_stack(const threadsafe_stack& other){lock_guard<mutex> lock(other.m);data = other.data;}threadsafe_stack& operator=(const threadsafe_stack&) = delete;void push(T new_value){lock_guard<mutex> lock(m);data.push(new_value);}shared_ptr<T> pop(){lock_guard<mutex> lock(m);if (data.empty()) throw empty_stack();shared_ptr<T> const res(make_shared<T>(data.top()));data.pop();return res;}void pop(T& value){lock_guard<mutex> lock(m);if (data.empty()) throw empty_stack();value = data.top();data.pop();}bool empty() const{lock_guard<mutex> lock(m);return data.empty();}};

为了最大化其安全性，整个stack的操作都被严格限制。赋值操作被删除，但是可以拷贝构造，假设其元素类型支持拷贝。2个pop()函数有可能抛出empty_stack异常，保证即使stack为空的情况下执行pop也没有问题。接口由原来的5个变为现在的3个：push()、pop()、empty()，尽管empty()有些多余。

注意他的拷贝构造函数，他没有在初始化列表中初始化成员，而是在函数体内赋值。这样做的目的是为了让mutex起到保护作用。