Re: [boost] [AFIO] Formal review

Subject: Re: [boost] [AFIO] Formal review
From: John Bytheway (jbytheway+boost_at_[hidden])
Date: 2015-09-02 05:31:34

On 2015-09-01 18:42, Niall Douglas wrote:
> Please do correct me if I am wrong, but I had thought that this is 
> defined behaviour:
> 
> int a=5;
> void *b=(void *)(size_t) a;
> int c=(int)(size_t) b;
> assert(c==a);
> 
> This is certainly a very common pattern in C.

I believe this is implementation-defined.  Based on N3797
[expr.reinterpret.cast], paragraph 5:

"A value of integral type or enumeration type can be explicitly
converted to a pointer. A pointer converted to an integer of sufficient
size (if any such exists on the implementation) and back to the same
pointer type will have its original value; mappings between pointers and
integers are otherwise implementation-defined."

The behaviour that is defined (pointer to integer and back) is the
reverse of the one you want.

John Bytheway