Changeset 1742

Timestamp:

07/09/10 04:19:15 (14 years ago)

Author:

andrei

Message:

Defined hasElaborateCopyConstructor and hasElaborateAssign

Files:

• trunk/phobos/std/traits.d (modified) (1 diff)

trunk/phobos/std/traits.d

@@ -1166 +1166 @@
-    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));
+}
+
+/**
+ True if a type defines an elaborate copy constructor. Elaborate copy
+ constructors are introduced by defining $(D this(this)) for a $(D
+ struct). (Non-struct types do not have elaborate copy constructors.)
+ */
+template hasElaborateCopyConstructor(T)
+{
+    enum hasElaborateCopyConstructor = is(typeof(&T.__postblit));
+}
+
+unittest
+{
+    static assert(!hasElaborateCopyConstructor!int);
+    struct S
+    {
+        this(this) {}
+    }
+    static assert(hasElaborateCopyConstructor!S);
+}
+
+/**
+   True if a type defines an elaborate assignmentq. Elaborate
+   assignments are introduced by defining $(D opAssign(typeof(this)))
+   or $(D opAssign(ref typeof(this))) for a $(D struct). (Non-struct
+   types do not have elaborate assignments.)
+ */
+template hasElaborateAssign(T)
+{
+    enum hasElaborateAssign = is(typeof(T.init.opAssign(T.init)));
+}
+
+unittest
+{
+    static assert(!hasElaborateAssign!int);
+    struct S { void opAssign(S) {} }
+    static assert(hasElaborateAssign!S);
+    struct S1 { void opAssign(ref S1) {} }
+    static assert(hasElaborateAssign!S1);
+    struct S2 { void opAssign(S1) {} }
+    static assert(!hasElaborateAssign!S2);
-}
-
-//::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::://
-// 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.