#1423 add Dune::*_pointer_cast for shared pointers
Metadata
Property | Value |
---|---|
Reported by | Elias Pipping (elias.pipping@fu-berlin.de) |
Reported at | Jan 21, 2014 19:41 |
Type | Bug Report |
Version | Git (pre2.4) [autotools] |
Operating System | Unspecified / All |
Last edited by | Elias Pipping (elias.pipping@fu-berlin.de) |
Last edited at | Jan 27, 2014 23:02 |
Closed by | Elias Pipping (elias.pipping@fu-berlin.de) |
Closed at | Jan 27, 2014 23:02 |
Closed in version | Unknown |
Resolution | Not a bug |
Comment | Alright, perfect, so one can just use the pointer casts from std:: and leave the Dune namespace alone :) |
Description
The Dune namespace already provides wrappers around *::shared_ptr and ::make_shared. It does not, however, provide a way to cast a shared_ptr to another shared_ptr, the way std::_pointer_cast do.
I've attached a trivial patch to have Dune::*_pointer_cast forward to ::_pointer_cast.