Add AllocatorState (#8596)

std/experimental/allocator/common.d

@@ -66,6 +66,39 @@ unittest
     static assert(stateSize!C3 == 2 * size_t.sizeof + char.sizeof);
 }
 
+/**
+State of an allocator `A`.
+
+`AllocatorState!(A).sizeof` is zero for `A` being `NullAllocator`, `Mallocator`,
+`GCAllocator`, and `MMapAllocator` and typically non-zero for the other.
+ */
+mixin template AllocatorState(A)
+if (isAllocator!A)
+{
+    static if (stateSize!A == 0)
+        alias allocator = A.instance;
+    else
+        A allocator;
+}
+
+///
+@safe @nogc nothrow pure
+unittest
+{
+    import std.experimental.allocator.building_blocks.null_allocator : NullAllocator;
+    import std.experimental.allocator.mallocator : Mallocator;
+    import std.experimental.allocator.gc_allocator : GCAllocator;
+    import std.experimental.allocator.mmap_allocator : MmapAllocator;
+    struct S
+    {
+        mixin AllocatorState!NullAllocator n;
+        mixin AllocatorState!GCAllocator g;
+        mixin AllocatorState!Mallocator m;
+        mixin AllocatorState!MmapAllocator p;
+    }
+    static assert(S.sizeof == 1);
+}
+
 /**
 Returns `true` if the `Allocator` has the alignment known at compile time;
 otherwise it returns `false`.