>>>> On Dec 14, 2018, at 1:37 PM, Chris Dumez <cdu...@apple.com >>>> <mailto:cdu...@apple.com>> wrote: >>> >>>> >>>> As far as I know, our convention in WebKit so far for our types has been >>>> that types getting moved-out are left in a valid “empty” state. This is not necessarily true. When we move out of an object to pass into a function parameter, for example, the state of the moved-from object depends on the behavior of the callee. If the callee function uses the object, we often have behavior that leaves the object in an “empty” state of some kind, but we are definitely relying on fragile undefined behavior when we do so because changing the callee to not use the parameter changes the state of the caller. We should never assume that WTFMove or std::move leaves the object in an empty state. That is always a bug that needs to be replaced by std::exchange.
> On Dec 14, 2018, at 3:20 PM, youenn fablet <youe...@gmail.com> wrote: > > Is it too late to ask for a std::optional change? Yes
_______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev
