Синтаксис параметров

Question

Я столкнулся с этим примером класса http://www.boost.org/doc/libs/1_49_0/libs/smart_ptr/sp_techniques.html#as_lock, и я борюсь с синтаксисом.

class shared_lock 
{ 

private: 

    shared_ptr<void> pv; 

public: 

    template<class Mutex> explicit shared_lock(Mutex & m): pv((m.lock(), &m), mem_fn(&Mutex::unlock)) {} 
}; 

I (кажется, я) понимать все, кроме этой части "(m.lock(), & м)". Все это кажется первым параметром для инициализации умного указателя. Что оценивает этот составной оператор? Это просто адрес m? Почему блокировка помещена там как часть списка параметров (и как это законно)? Вместо этого я бы ожидал выписки вроде:

template<class Mutex> explicit shared_lock(Mutex & m): pv(&m, mem_fn(&Mutex::unlock)) {m.lock();} 

Является ли мой альтернативный оператор изменением функциональности?

Answer 1

Что оценивает этот составной оператор? Это просто адрес m?

Да

Почему замок помещен там как часть списка параметров (и как это законно)?

Конструктор должен приобрести замок, и это подходящее место для его размещения. иначе общий указатель должен быть установлен в теле конструктора.

Это законно, потому что выражения, включая оператор запятой, используются в инициализаторах. Дополнительные круглые скобки необходимы для устранения неоднозначности оператора запятой из разделяющих запятую параметров, но в остальном любое из них допускается.