isMutable

Determines whether T is mutable, i.e. has one of the following qualifiers or a combination of them:

$(D_KEYWORD const)
$(D_KEYWORD immutable)
$(D_KEYWORD const)

template isMutable (

T

) {

static if(is(T U == const U) || is(T U == inout U) || is(T U == inout const U) || is(T U == immutable U) || is(T U == shared const U) || is(T U == shared inout U) || is(T U == shared inout const U))

enum bool isMutable;

static if(!(is(T U == const U) || is(T U == inout U) || is(T U == inout const U) || is(T U == immutable U) || is(T U == shared const U) || is(T U == shared inout U) || is(T U == shared inout const U)))

enum bool isMutable;

}

Members

Variables

isMutable enum bool isMutable;: Undocumented in source.
isMutable enum bool isMutable;: Undocumented in source.

Parameters

T: A type.

Return Value

$(D_KEYWORD true) if T is mutable, $(D_KEYWORD false) otherwise.

Examples

static struct S
{
    void method()
    {
        static assert(isMutable!(typeof(this)));
    }

    void method() inout
    {
        static assert(!isMutable!(typeof(this)));
    }

    void immMethod() const
    {
        static assert(!isMutable!(typeof(this)));
    }
    void immMethod() immutable
    {
        static assert(!isMutable!(typeof(this)));
    }
}

Meta

Source

See Implementation

tanya meta trait aliases

enums

FunctionAttribute

templates

variables