template<class T>
T deref_pointer( T* obj );

The dereferenced value

Returns a copy of the dereferenced pointer to the value

vector<int*> numbers;
numbers.push_back( new int(1) );
numbers.push_back( new int(2) );
...
// convert numbers to a vector of int
vector<int> v1 = map( numbers, deref_pointer<int> );