Vote for std.uuid
Timon Gehr
timon.gehr at gmx.ch
Wed Jun 27 05:59:13 PDT 2012
On 06/27/2012 02:53 PM, Andrei Alexandrescu wrote:
> On 6/24/12 9:40 AM, Jonathan M Davis wrote:
>> On Sunday, June 24, 2012 15:30:15 David Nadlinger wrote:
>>> There is a serious @safe-ty issue with the current
>>> implementation: randomUUID/parseUUID are marked @trusted, but
>>> take an arbitrary range as template parameter, the methods of
>>> which might be @system.
>>
>> Nice catch. I failed to notice that and should have. @trusted on
>> templated
>> functions is generally wrong.
>
> Yah, inferred qualifiers need generally not be specified with templates
> unless explicitly meant to restrict code.
>
> Andrei
The issue is this one:
auto fun(alias a)(){ // inferred @system for @safe a
... // trusted code
a();
... // trusted code
}
IIRC std.conv.emplace suffers from the same problem.
More information about the Digitalmars-d
mailing list