hasUnsharedAliasing

Returns true if and only if T's representation includes at least one of the following:

a raw pointer U* and U is not immutable or shared;
an array U[] and U is not immutable or shared;
a reference to a class type C and C is not immutable or shared.
an associative array that is not immutable or shared.
a delegate that is not shared.

template hasUnsharedAliasing (

T...

) {

enum hasUnsharedAliasing;

}

Examples

struct S1 { int a; Object b; }
struct S2 { string a; }
struct S3 { int a; immutable Object b; }
static assert( hasUnsharedAliasing!S1);
static assert(!hasUnsharedAliasing!S2);
static assert(!hasUnsharedAliasing!S3);

struct S4 { int a; shared Object b; }
struct S5 { char[] a; }
struct S6 { shared char[] b; }
struct S7 { float[3] vals; }
static assert(!hasUnsharedAliasing!S4);
static assert( hasUnsharedAliasing!S5);
static assert(!hasUnsharedAliasing!S6);
static assert(!hasUnsharedAliasing!S7);

hasUnsharedAliasing

Examples

Meta

Source