[ub] C provenance semantics proposal

Jens Maurer Jens.Maurer at gmx.net
Thu Apr 11 01:34:22 CEST 2019


On 11/04/2019 00.35, David Vandevoorde wrote:
>
>
>> On Apr 10, 2019, at 6:28 PM, Jens Maurer <Jens.Maurer at gmx.net> wrote:
>>
>> On 11/04/2019 00.06, Jens Gustedt wrote:

>>> On Wed, 10 Apr 2019 23:40:37 +0200 Jens Maurer <Jens.Maurer at gmx.net>
>>> wrote:

>> So, again, why do you need to compare pointers to arbitrary
>> objects?
>
> For hash tables where the keys are pointers to objects?

Ok, what about binary trees where the keys are pointers to objects?
(No worst-case situations, which might be important in some cases.)

Seems like you want arbitrary equality comparisons if and only if
you want arbitrary relational comparisons for the "containers"
use case.

Jens



More information about the ub mailing list