How does C++ template metaprogramming enable compile-time computation, and what are its trade-offs?

Explain how std::shared_ptr manages memory and where its overhead comes from.