Re: OON: generalizing restrict

From: jsiek@lsc.nd.edu
Date: Tue Apr 04 2000 - 13:04:44 EST


Hi Bill,

Bill Homer writes:
> In fact, the semantics of copy would not allow it to be declared
> with unaliased iterators, because some aliasing is allowed:

I'm sorry, I should have been more clear about what I was talking
about. I was trying to talk about a hypothetical version of copy()
that doesn't allow aliasing. To clarify, let's call this
restricted_copy(). Now suppose that restricted_copy() calls memcpy()
in one of its specializations. So the problem is, how can I ensure
that restricted_copy() only gets called with "restricted" iterators so
that I don't get a compiler error at the point where memcpy() is
called?

Cheers,

Jeremy

--------------------- Object Oriented Numerics List --------------------------
* To subscribe/unsubscribe: use the handy web form at
http://oonumerics.org/oon/
* If this doesn't work, please send a note to owner-oon-list@oonumerics.org



This archive was generated by hypermail 2b29 : Mon Apr 10 2000 - 12:47:56 EST