Typeinfo

[Steven Schveighoffer via Digitalmars-d]

On 4/2/15 8:21 PM, Andrei Alexandrescu wrote:
> Hey folks, is there any way to figure out whether a type is immutable or
> shared given its typeinfo? I see there's only the flags() method that
> doesn't tell that. I'm thinking we'd do good to extend that.
>
> This is needed for allocators. I'm thinking an allocator might be
> interested at creation time to use different allocation strategies for
> qualified types, especially shared ones.

I use this technique in lifetime.d:

// typeof(ti) is TypeInfo
auto isshared = typeid(ti) is typeid(TypeInfo_Shared);

https://github.com/D-Programming-Language/druntime/blob/master/src/rt/lifetime.d#L640

-Steve