Merge pull request #989 from IgorStepanov/hashOf

add object.hashOf and object.mixHash

src/object.di

@@ -634,6 +634,34 @@ bool _ArrayEq(T1, T2)(T1[] a1, T2[] a2)
     return true;
 }
 
+/**
+Calculates the hash value of $(D arg) with $(D seed) initial value.
+Result may be non-equals with $(D typeid(T).getHash(&arg))
+The $(D seed) value may be used for hash chaining:
+----
+struct Test
+{
+    int a;
+    string b;
+    MyObject c;
+
+    size_t toHash() const @safe pure nothrow
+    {
+        size_t hash = a.hashOf();
+        hash = b.hashOf(hash);
+        size_t h1 = c.myMegaHash();
+        hash = h1.hashOf(hash); //Mix two hash values
+        return hash;
+    }
+}
+----
+*/
+size_t hashOf(T)(auto ref T arg, size_t seed = 0)
+{
+    import core.internal.hash;
+    return core.internal.hash.hashOf(arg, seed);
+}
+
 bool _xopEquals(in void* ptr, in void* ptr);
 bool _xopCmp(in void* ptr, in void* ptr);
 

src/object_.d

@@ -222,7 +222,7 @@ class TypeInfo
         try
         {
             auto data = this.toString();
-            return hashOf(data.ptr, data.length);
+            return rt.util.hash.hashOf(data.ptr, data.length);
         }
         catch (Throwable)
         {
@@ -983,7 +983,7 @@ class TypeInfo_Struct : TypeInfo
         }
         else
         {
-            return hashOf(p, init().length);
+            return rt.util.hash.hashOf(p, init().length);
         }
     }
 
@@ -2768,6 +2768,12 @@ bool _ArrayEq(T1, T2)(T1[] a1, T2[] a2)
 }
 
 
+size_t hashOf(T)(auto ref T arg, size_t seed = 0)
+{
+    import core.internal.hash;
+    return core.internal.hash.hashOf(arg, seed);
+}
+
 bool _xopEquals(in void*, in void*)
 {
     throw new Error("TypeInfo.equals is not implemented");
@@ -2834,7 +2840,7 @@ size_t getArrayHash(in TypeInfo element, in void* ptr, in size_t count) @trusted
     }
 
     if(!hasCustomToHash(element))
-        return hashOf(ptr, elementSize * count);
+        return rt.util.hash.hashOf(ptr, elementSize * count);
 
     size_t hash = 0;
     foreach(size_t i; 0 .. count)

src/rt/typeinfo/ti_Acdouble.d

@@ -27,7 +27,7 @@ class TypeInfo_Ar : TypeInfo_Array
     override size_t getHash(in void* p) @trusted const
     {
         cdouble[] s = *cast(cdouble[]*)p;
-        return hashOf(s.ptr, s.length * cdouble.sizeof);
+        return rt.util.hash.hashOf(s.ptr, s.length * cdouble.sizeof);
     }
 
     override bool equals(in void* p1, in void* p2) const

src/rt/typeinfo/ti_Acfloat.d

@@ -27,7 +27,7 @@ class TypeInfo_Aq : TypeInfo_Array
     override size_t getHash(in void* p) @trusted const
     {
         cfloat[] s = *cast(cfloat[]*)p;
-        return hashOf(s.ptr, s.length * cfloat.sizeof);
+        return rt.util.hash.hashOf(s.ptr, s.length * cfloat.sizeof);
     }
 
     override bool equals(in void* p1, in void* p2) const

src/rt/typeinfo/ti_Acreal.d

@@ -27,7 +27,7 @@ class TypeInfo_Ac : TypeInfo_Array
     override size_t getHash(in void* p) @trusted const
     {
         creal[] s = *cast(creal[]*)p;
-        return hashOf(s.ptr, s.length * creal.sizeof);
+        return rt.util.hash.hashOf(s.ptr, s.length * creal.sizeof);
     }
 
     override bool equals(in void* p1, in void* p2) const

src/rt/typeinfo/ti_Adouble.d

@@ -27,7 +27,7 @@ class TypeInfo_Ad : TypeInfo_Array
     override size_t getHash(in void* p) @trusted const
     {
         double[] s = *cast(double[]*)p;
-        return hashOf(s.ptr, s.length * double.sizeof);
+        return rt.util.hash.hashOf(s.ptr, s.length * double.sizeof);
     }
 
     override bool equals(in void* p1, in void* p2) const

src/rt/typeinfo/ti_Afloat.d

@@ -27,7 +27,7 @@ class TypeInfo_Af : TypeInfo_Array
     override size_t getHash(in void* p) @trusted const
     {
         float[] s = *cast(float[]*)p;
-        return hashOf(s.ptr, s.length * float.sizeof);
+        return rt.util.hash.hashOf(s.ptr, s.length * float.sizeof);
     }
 
     override bool equals(in void* p1, in void* p2) const

src/rt/typeinfo/ti_Ag.d

@@ -28,7 +28,7 @@ class TypeInfo_Ag : TypeInfo_Array
     override size_t getHash(in void* p) @trusted const
     {
         byte[] s = *cast(byte[]*)p;
-        return hashOf(s.ptr, s.length * byte.sizeof);
+        return rt.util.hash.hashOf(s.ptr, s.length * byte.sizeof);
     }
 
     override bool equals(in void* p1, in void* p2) const

src/rt/typeinfo/ti_Aint.d

@@ -29,7 +29,7 @@ class TypeInfo_Ai : TypeInfo_Array
     override size_t getHash(in void* p) @trusted const
     {
         int[] s = *cast(int[]*)p;
-        return hashOf(s.ptr, s.length * int.sizeof);
+        return rt.util.hash.hashOf(s.ptr, s.length * int.sizeof);
     }
 
     override bool equals(in void* p1, in void* p2) const

src/rt/typeinfo/ti_Along.d

@@ -27,7 +27,7 @@ class TypeInfo_Al : TypeInfo_Array
     override size_t getHash(in void* p) @trusted const
     {
         long[] s = *cast(long[]*)p;
-        return hashOf(s.ptr, s.length * long.sizeof);
+        return rt.util.hash.hashOf(s.ptr, s.length * long.sizeof);
     }
 
     override bool equals(in void* p1, in void* p2) const

src/rt/typeinfo/ti_Areal.d

@@ -27,7 +27,7 @@ class TypeInfo_Ae : TypeInfo_Array
     override size_t getHash(in void* p) @trusted const
     {
         real[] s = *cast(real[]*)p;
-        return hashOf(s.ptr, s.length * real.sizeof);
+        return rt.util.hash.hashOf(s.ptr, s.length * real.sizeof);
     }
 
     override bool equals(in void* p1, in void* p2) const

src/rt/typeinfo/ti_Ashort.d

@@ -27,7 +27,7 @@ class TypeInfo_As : TypeInfo_Array
     override size_t getHash(in void* p) @trusted const
     {
         short[] s = *cast(short[]*)p;
-        return hashOf(s.ptr, s.length * short.sizeof);
+        return rt.util.hash.hashOf(s.ptr, s.length * short.sizeof);
     }
 
     override bool equals(in void* p1, in void* p2) const

src/rt/typeinfo/ti_cdouble.d

@@ -51,7 +51,7 @@ class TypeInfo_r : TypeInfo
 
     override size_t getHash(in void* p)
     {
-        return hashOf(p, cdouble.sizeof);
+        return rt.util.hash.hashOf(p, cdouble.sizeof);
     }
 
     override bool equals(in void* p1, in void* p2)

src/rt/typeinfo/ti_cfloat.d

@@ -51,7 +51,7 @@ class TypeInfo_q : TypeInfo
 
     override size_t getHash(in void* p)
     {
-        return hashOf(p, cfloat.sizeof);
+        return rt.util.hash.hashOf(p, cfloat.sizeof);
     }
 
     override bool equals(in void* p1, in void* p2)

src/rt/typeinfo/ti_creal.d

@@ -51,7 +51,7 @@ class TypeInfo_c : TypeInfo
 
     override size_t getHash(in void* p)
     {
-        return hashOf(p, creal.sizeof);
+        return rt.util.hash.hashOf(p, creal.sizeof);
     }
 
     override bool equals(in void* p1, in void* p2)

src/rt/typeinfo/ti_delegate.d

@@ -28,7 +28,7 @@ class TypeInfo_D : TypeInfo
 
     override size_t getHash(in void* p)
     {
-        return hashOf(p, dg.sizeof);
+        return rt.util.hash.hashOf(p, dg.sizeof);
     }
 
     override bool equals(in void* p1, in void* p2)

src/rt/typeinfo/ti_double.d

@@ -49,7 +49,7 @@ class TypeInfo_d : TypeInfo
 
     override size_t getHash(in void* p)
     {
-        return hashOf(p, double.sizeof);
+        return rt.util.hash.hashOf(p, double.sizeof);
     }
 
     override bool equals(in void* p1, in void* p2)

src/rt/typeinfo/ti_long.d

@@ -28,7 +28,7 @@ class TypeInfo_l : TypeInfo
 
     override size_t getHash(in void* p)
     {
-        return hashOf(p, long.sizeof);
+        return rt.util.hash.hashOf(p, long.sizeof);
     }
 
     override bool equals(in void* p1, in void* p2)

src/rt/typeinfo/ti_real.d

@@ -49,7 +49,7 @@ class TypeInfo_e : TypeInfo
 
     override size_t getHash(in void* p)
     {
-        return hashOf(p, real.sizeof);
+        return rt.util.hash.hashOf(p, real.sizeof);
     }
 
     override bool equals(in void* p1, in void* p2)

src/rt/typeinfo/ti_ulong.d

@@ -28,7 +28,7 @@ class TypeInfo_m : TypeInfo
 
     override size_t getHash(in void* p)
     {
-        return hashOf(p, ulong.sizeof);
+        return rt.util.hash.hashOf(p, ulong.sizeof);
     }
 
     override bool equals(in void* p1, in void* p2)