boost::shared_ptr имеет необычный конструктор
template<class Y> shared_ptr(shared_ptr<Y> const & r, T * p);
и я немного озадачен тем, для чего это было бы полезно. В основном он имеет право собственности на r, но .get() вернет p. не r.get()!
Это означает, что вы можете сделать что-то вроде этого:
int main() {
boost::shared_ptr<int> x(new int);
boost::shared_ptr<int> y(x, new int);
std::cout << x.get() << std::endl;
std::cout << y.get() << std::endl;
std::cout << x.use_count() << std::endl;
std::cout << y.use_count() << std::endl;
}
И вы получите следующее:
0x8c66008
0x8c66030
2
2
Обратите внимание, что указатели являются отдельными, но оба утверждают, что имеют use_count из 2 (поскольку они разделяют право собственности на один и тот же объект).
Итак, int, принадлежащий x, будет существовать до тех пор, пока вокруг него будет x или y. И если я правильно понимаю документы, второй int никогда не будет разрушен. Я подтвердил это с помощью следующей тестовой программы:
struct T {
T() { std::cout << "T()" << std::endl; }
~T() { std::cout << "~T()" << std::endl; }
};
int main() {
boost::shared_ptr<T> x(new T);
boost::shared_ptr<T> y(x, new T);
std::cout << x.get() << std::endl;
std::cout << y.get() << std::endl;
std::cout << x.use_count() << std::endl;
std::cout << y.use_count() << std::endl;
}
Это выводит (как ожидалось):
T()
T()
0x96c2008
0x96c2030
2
2
~T()
Итак... Какова польза от этой необычной конструкции, которая разделяет владение одним указателем, но действует как другой указатель (который он не имеет) при использовании.