Date: Wed, 23 Sep 2020 20:52:55 -0700
On Wednesday, 23 September 2020 08:52:00 PDT Ville Voutilainen via Std-
Proposals wrote:
> 7) All this stuff seems very complex compared to being able to mark
> function parameters as disjoint from each other.
And even that breaks down if you have three pointers. How do you mark that a
function like std::copy are disjoint:
copy(T *begin, T *end, U *destination)
Obviously begin and end are NOT disjoint, since you can get to end starting
from begin.
Proposals wrote:
> 7) All this stuff seems very complex compared to being able to mark
> function parameters as disjoint from each other.
And even that breaks down if you have three pointers. How do you mark that a
function like std::copy are disjoint:
copy(T *begin, T *end, U *destination)
Obviously begin and end are NOT disjoint, since you can get to end starting
from begin.
-- Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org Software Architect - Intel DPG Cloud Engineering
Received on 2020-09-23 22:53:00