Well, if nothing else, I'm learning lots about the corners of the language! I've got the following testcase: #include #include <iostream> template<typename Base> class Handle { public: typedef boost::shared_ptr<Base> type; }; template<typename Type> void print_shared_ptr(boost::shared_ptr<Type> ptr) { std::cout << "Value is " << *ptr << std::endl; } template<typename Type> void print_handle(typename Handle<Type>::type ptr) { std::cout << "Value is " << *ptr << std::endl; } int main(void) { Handle<int>::type iptr(new int(10)); print_shared_ptr(iptr); print_handle<int>(iptr); print_handle(iptr); return(0); } The calls to print_shared_ptr and the first print_handle resolve just fine but the compiler (g++ 4.0.2) can't seem to resolve the final call to print_handle: shared_ptr.cc: In function 'int main()': shared_ptr.cc:29: error: no matching function for call to 'print_handle(boost::shared_ptr<int>&)' The point of class Handle is to hide the implementation detail that boost::shared_ptr is being used to manage resources. I would like the ability to easily change the type of smart pointer used throughout the application. What's going on here? Is there a way to make this work without having to explicitly specify the type to print_handle? Thanks. -Dave