Changeset 1722

Timestamp:

07/04/10 21:49:57 (14 years ago)

Author:

andrei

Message:

Implemented hasIndirections

Files:

• trunk/phobos/std/traits.d (modified) (3 diffs)

trunk/phobos/std/traits.d

@@ -831 +831 @@
-// {
-//     struct S1 { char c; int i; }
-//     alias RepresentationOffsets!(S1) Offsets;
-//     static assert(Offsets[0] == 0);
-//     //pragma(msg, Offsets[1]);
-//     static assert(Offsets[1] == 4);
-// }
-
-// hasRawAliasing
-
-H
+h
-{
-    static if (T.length == 0)
-    {
-        enum result = false;
-    }
-    else
-    {
-        static if (is(T[0] foo : U*, U))
-            enum hasRawAliasing = !is(U == immutable);
-        else static if (is(T[0] foo : U[], U) && !isStaticArray!(T[0]))
-            enum hasRawAliasing = !is(U == immutable);
-        else
-            enum hasRawAliasing = false;
-H
+h
-    }
-}
-
-private template HasRawLocalPointerImpl(T...)
-{
-    static if (T.length == 0)
-    {
-        enum result = false;
-    }
-    else
@@ -899 +899 @@
-struct S3 { int a; double * b; }
-static assert(hasRawAliasing!(S3));
-// struct with an indirect pointer member
-struct S4 { S3 a; double b; }
-static assert(hasRawAliasing!(S4));
-----
-*/
-private template hasRawAliasing(T...)
-{
-    enum hasRawAliasing
-H
+h
-}
-
-unittest
-{
-// simple types
-    static assert(!hasRawAliasing!(int));
-    static assert(hasRawAliasing!(char*));
-// references aren't raw pointers
-    static assert(!hasRawAliasing!(Object));
-    static assert(!hasRawAliasing!(int));
@@ -1100 +1100 @@
-unittest
-{
-    struct S1 { int a; Object b; }
-    static assert(hasAliasing!(S1));
-    struct S2 { string a; }
-    static assert(!hasAliasing!(S2));
-    struct S3 { int a; immutable Object b; }
-    static assert(!hasAliasing!(S3));
-    struct X { float[3] vals; }
-    static assert(!hasAliasing!X);
+}
+
+/**
+Returns $(D true) if and only if $(D T)'s representation includes at
+least one of the following: $(OL $(LI a raw pointer $(D U*);) $(LI an
+array $(D U[]);) $(LI a reference to a class type $(D C).))
+ */
+
+template hasIndirections(T)
+{
+    enum hasIndirections = hasIndirectionsImpl!(RepresentationTypeTuple!T);
+}
+
+template hasIndirectionsImpl(T...)
+{
+    static if (!T.length)
+    {
+        enum hasIndirectionsImpl = false;
+    }
+    else
+    {
+        enum hasIndirectionsImpl = isPointer!(T[0]) || isDynamicArray!(T[0]) ||
+            is (T[0] : const(Object)) || hasIndirectionsImpl!(T[1 .. $]);
+    }
+}
+
+unittest
+{
+    struct S1 { int a; Object b; }
+    static assert(hasIndirections!(S1));
+    struct S2 { string a; }
+    static assert(hasIndirections!(S2));
+    struct S3 { int a; immutable Object b; }
+    static assert(hasIndirections!(S3));
-}
-
-/**
-Returns $(D true) if and only if $(D T)'s representation includes at
-least one of the following: $(OL $(LI a raw pointer $(D U*) and $(D U)
-is not immutable or shared;) $(LI an array $(D U[]) and $(D U) is not
-immutable or shared;) $(LI a reference to a class type $(D C) and
-$(D C) is not immutable or shared.))
-*/
-