From: Peter Dimov (pdimov_at_[hidden])
Date: 2005-05-08 15:37:30
Beman Dawes wrote:
> "Peter Dimov" <pdimov_at_[hidden]> wrote in message
>> It seems to me that the correct definition of exists() in terms of
>> status() is just !(status() & not_found_flag).
> The expectation with not_found_flag is that, assuming the branch() if
> any is found, it should be possible to create a file or directory
> with that path. Consider:
> if (!exists("foo"))
> create_directory("foo"); // surprise! This may fail: "exists
> but not a directory"
!exists("foo") == !!(status("foo") & not_found_flag) == status("foo") &
if( status("foo") & not_found_flag )
create_directory( "foo" );
I don't see your point, but I may be missing something.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk