search for: fancy_pointer

...dyn_cast, etc more generic. Since we added unique pointers support for these template functions (see ab480f45cd23c08cb9aa3f427aad072df249135f) I propose to generalize their semantics to deal with any pointer-like type (i.e. dereferenceable and implicitly convertible to bool) so that: - for each fancy_pointer<T> t: isa<G>(t) returns true iff current implementation of isa<G>(nonfancy_t) returns true where decltype(nonfancy_t) is T* - all old cast operations should return a raw pointer of type typename std::pointer_traits<fancy_pointer<T>>::element_type * and do n...

...ince > we added unique pointers support for these template functions (see > ab480f45cd23c08cb9aa3f427aad072df249135f) I propose to generalize their > semantics to deal with any pointer-like type (i.e. dereferenceable and > implicitly convertible to bool) so that: > > - for each fancy_pointer<T> t: isa<G>(t) returns true iff current > implementation of isa<G>(nonfancy_t) returns true where > decltype(nonfancy_t) is T* > - all old cast operations should return a raw pointer of type typename > std::pointer_traits<fancy_pointer<T>>::ele...

...ince > we added unique pointers support for these template functions (see > ab480f45cd23c08cb9aa3f427aad072df249135f) I propose to generalize their > semantics to deal with any pointer-like type (i.e. dereferenceable and > implicitly convertible to bool) so that: > > - for each fancy_pointer<T> t: isa<G>(t) returns true iff current > implementation of isa<G>(nonfancy_t) returns true where > decltype(nonfancy_t) is T* > - all old cast operations should return a raw pointer of type typename > std::pointer_traits<fancy_pointer<T>>::ele...