Boost logo

Boost Users :

Subject: Re: [Boost-users] [Review] UUID library (mini-)review starts today, November 23rd
From: Rodrigo Madera (rodrigo.madera_at_[hidden])
Date: 2008-12-03 07:42:06


>
> ... No fundamental type --
> no standard library type either, that I can think of -- has T() !=
> T(), yet you want uuid() != uuid().
>

I totally agree. Sometimes it "feels" that you must implement something the
"practical" way, but the theory behind it that makes the building blocks
possible has to be respected at all times to remain mathematically
consistent and somewhat predictable for future uses to come.

IMHO, it should always be true that T() == T(), and uuid should not be the
exception: uuid() == uuid().

Rodrigo



Boost-users list run by williamkempf at hotmail.com, kalb at libertysoft.com, bjorn.karlsson at readsoft.com, gregod at cs.rpi.edu, wekempf at cox.net