Changeset 1709

Timestamp:

07/02/10 18:54:51 (14 years ago)

Author:

sean

Message:

Bug 2627: std.traits.hasAliasing reports true for static arrays.

Applied the same change to std.traits.hasLocalAliasing.

Files:

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

trunk/phobos/std/traits.d

@@ -859 +859 @@
-private template HasRawLocalPointerImpl(T...)
-{
-    static if (T.length == 0)
-    {
-        enum result = false;
-    }
-    else
-    {
-        static if (is(T[0] foo : U*, U))
-            enum hasRawLocalAliasing = !is(U == immutable) && !is(U == shared);
-
+ && !isStaticArray!(T[0])
-            enum hasRawLocalAliasing = !is(U == immutable) && !is(U == shared);
-        else
-            enum hasRawLocalAliasing = false;
-        enum result = hasRawLocalAliasing || HasRawLocalPointerImpl!(T[1 .. $]).result;
-    }
-}
-
-/*
-Statically evaluates to $(D true) if and only if $(D T)'s
-representation contains at least one field of pointer or array type.
@@ -1130 +1130 @@
-    static assert(!hasLocalAliasing!(S2));
-    struct S3 { int a; immutable Object b; }
-    static assert(!hasLocalAliasing!(S3));
-
-    struct S4 { int a; shared Object b; }
-    static assert(!hasLocalAliasing!(S4));
-    struct S5 { char[] a; }
-    static assert(hasLocalAliasing!(S5));
-    struct S6 { shared char[] b; }
-    static assert(!hasLocalAliasing!(S6));
+    struct S7 { float[3] vals; }
+    static assert(!hasLocalAliasing!(S7));
-}
-
-//::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::://
-// Classes and Interfaces
-//::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::://
-
-/***
- * Get a $(D_PARAM TypeTuple) of the base class and base interfaces of
- * this class or interface. $(D_PARAM BaseTypeTuple!(Object)) returns
- * the empty type tuple.