Re: inline @trusted code

[kinke via Digitalmars-d-learn]

On Tuesday, 30 January 2018 at 15:05:38 UTC, ikod wrote:

Hello,

Several times I faced with next problem: I have "@safe" routine 
with few calls to @system functions inside: OS calls (recv, 
send, kqueue) os some phobos unsafe functions like 
assumeUnique. I'd like not to wrap these @system functions in 
@trusted wrappers, but somehow mark these calls @trusted inline.


In ideal case this should look like

import std.exception;

void main() @safe
{
ubyte[] a;
@trusted {
auto b = assumeUnique(a);
};
}

But the closest variant is

import std.exception;

void main() @safe
{
ubyte[] a;
delegate void() @trusted {
auto b = assumeUnique(a);
}();
}

Which looks a bit verbose.

How do you solve this problem?

Thanks!


ubyte[] a;
auto b = (() @trusted => assumeUnique(a))();

inline @trusted code

[ikod via Digitalmars-d-learn]

Hello,

Several times I faced with next problem: I have "@safe" routine 
with few calls to @system functions inside: OS calls (recv, send, 
kqueue) os some phobos unsafe functions like assumeUnique. I'd 
like not to wrap these @system functions in @trusted wrappers, 
but somehow mark these calls @trusted inline.


In ideal case this should look like

import std.exception;

void main() @safe
{
ubyte[] a;
@trusted {
auto b = assumeUnique(a);
};
}

But the closest variant is

import std.exception;

void main() @safe
{
ubyte[] a;
delegate void() @trusted {
auto b = assumeUnique(a);
}();
}

Which looks a bit verbose.

How do you solve this problem?

Thanks!