C++ Logo

std-proposals

Advanced search

Re: RFC: disjoint qualifier

From: Thiago Macieira <thiago_at_[hidden]>
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.

-- 
Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org
   Software Architect - Intel DPG Cloud Engineering

Received on 2020-09-23 22:53:00