Следующий код извлекается из: https://github.com/facebook/folly/blob/master/folly/Synchronized.h
Недавно я посмотрел библиотеку Folly и нашел что-то интересное. Рассмотрим следующий пример:
#include <iostream>
struct Lock {
void lock() {
std::cout << "Locking" << std::endl;
}
void unlock() {
std::cout << "Unlocking" << std::endl;
}
};
template <class T, class Mutex = Lock >
struct Synchronized {
struct LockedPtr {
explicit LockedPtr(Synchronized* parent) : p(parent) {
p->m.lock();
}
~LockedPtr() {
p->m.unlock();
}
T* operator->() {
std::cout << "second" << std::endl;
return &p->t;
}
private:
Synchronized* p;
};
LockedPtr operator->() {
std::cout << "first" << std::endl;
return LockedPtr(this);
}
private:
T t;
mutable Mutex m;
};
struct Foo {
void a() {
std::cout << "a" << std::endl;
}
};
int main(int argc, const char *argv[])
{
Synchronized<Foo> foo;
foo->a();
return 0;
}
Вывод:
first
Locking
second
a
Unlocking
Мой вопрос: почему этот код действителен? У этого шаблона есть имя?
Оператор → вызывается дважды, но он был написан только один раз.