Tail pad optimization, cache friendlyness and C++ interrop

Walter Bright via Digitalmars-d digitalmars-d at puremagic.com
Sun Jun 15 01:33:09 PDT 2014


On 6/15/2014 12:44 AM, David Nadlinger wrote:
> On Wednesday, 11 June 2014 at 16:50:30 UTC, Walter Bright wrote:
>> On 6/11/2014 4:34 AM, Timon Gehr wrote:
>>> Not memory safe implies (is supposed to imply) not @safe but not @safe does not
>>> imply not memory safe.
>>
>> @safe in D == memory safe.
>
> What Timon is saying is that not all memory safe code is verifiably @safe.

In D, they are defined to be the same thing, so the statement makes no sense.

>
> @safe => memory safe, but not memory safe => @safe.
>
> David



More information about the Digitalmars-d mailing list