Displaying 3 results from an estimated 3 matches for "nonfancy_t".
2018 Jan 23
2
RFC: Towards unified semantic for casts
...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 not perform
ownership transfer.
- move_[dyn_]cast should do what unique_dyn_cast is currently...
2018 Jan 23
0
RFC: Towards unified semantic for casts
...7aad072df249135f) 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 not perform
> ownership transfer.
> - move_[dyn_]cast should do what uni...
2018 Jan 23
0
MachineVerifier and undef
...7aad072df249135f) 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 not perform
> ownership transfer.
> - move_[dyn_]cast should do what uni...