0000: 2f 2a 2a 0a 20 2a 20 41 75 74 68 6f 72 73 3a 20 /**. * Authors:
0010: 6b 2e 69 6e 61 62 61 0a 20 2a 20 4c 69 63 65 6e k.inaba. * Licen
0020: 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 38 32 20 se: NYSL 0.9982
0030: 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 6e 6f http://www.kmono
0040: 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0a 20 2a 0a 20 s.net/nysl/. *.
0050: 2a 20 43 6f 6d 6d 6f 6e 20 74 72 69 63 6b 73 20 * Common tricks
0060: 61 6e 64 20 75 74 69 6c 69 74 69 65 73 20 66 6f and utilities fo
0070: 72 20 70 72 6f 67 72 61 6d 6d 69 6e 67 20 69 6e r programming in
0080: 20 44 2e 0a 20 2a 2f 0a 6d 6f 64 75 6c 65 20 74 D.. */.module t
0090: 72 69 63 6b 73 2e 74 72 69 63 6b 73 3b 0a 69 6d ricks.tricks;.im
00a0: 70 6f 72 74 20 74 72 69 63 6b 73 2e 74 65 73 74 port tricks.test
00b0: 3b 0a 69 6d 70 6f 72 74 20 63 6f 72 65 2e 65 78 ;.import core.ex
00c0: 63 65 70 74 69 6f 6e 3b 0d 0a 69 6d 70 6f 72 74 ception;..import
00d0: 20 73 74 64 2e 61 72 72 61 79 20 20 3a 20 61 70 std.array : ap
00e0: 70 65 6e 64 65 72 3b 0a 69 6d 70 6f 72 74 20 73 pender;.import s
00f0: 74 64 2e 66 6f 72 6d 61 74 20 3a 20 66 6f 72 6d td.format : form
0100: 61 74 74 65 64 57 72 69 74 65 3b 0d 0a 69 6d 70 attedWrite;..imp
0110: 6f 72 74 20 73 74 64 2e 74 72 61 69 74 73 3b 0d ort std.traits;.
0120: 0a 69 6d 70 6f 72 74 20 73 74 64 2e 74 79 70 65 .import std.type
0130: 74 75 70 6c 65 3b 0d 0a 0a 2f 2f 2f 20 53 69 6d tuple;.../// Sim
0140: 70 6c 65 20 57 72 61 70 70 65 72 20 66 6f 72 20 ple Wrapper for
0150: 73 74 64 2e 66 6f 72 6d 61 74 2e 64 6f 46 6f 72 std.format.doFor
0160: 6d 61 74 0a 0a 73 74 72 69 6e 67 20 73 70 72 69 mat..string spri
0170: 6e 74 66 28 73 74 72 69 6e 67 20 66 6d 74 2c 20 ntf(string fmt,
0180: 54 2e 2e 2e 29 28 54 20 70 61 72 61 6d 73 29 0a T...)(T params).
0190: 7b 0a 09 61 75 74 6f 20 77 72 69 74 65 72 20 3d {..auto writer =
01a0: 20 61 70 70 65 6e 64 65 72 21 73 74 72 69 6e 67 appender!string
01b0: 28 29 3b 0a 09 66 6f 72 6d 61 74 74 65 64 57 72 ();..formattedWr
01c0: 69 74 65 28 77 72 69 74 65 72 2c 20 66 6d 74 2c ite(writer, fmt,
01d0: 20 70 61 72 61 6d 73 29 3b 0a 09 72 65 74 75 72 params);..retur
01e0: 6e 20 77 72 69 74 65 72 2e 64 61 74 61 3b 0a 7d n writer.data;.}
01f0: 0a 0a 75 6e 69 74 74 65 73 74 0a 7b 0a 09 61 73 ..unittest.{..as
0200: 73 65 72 74 5f 65 71 28 20 73 70 72 69 6e 74 66 sert_eq( sprintf
0210: 21 22 25 73 20 3d 3d 20 25 30 34 64 22 28 22 31 !"%s == %04d"("1
0220: 2b 32 22 2c 20 33 29 2c 20 22 31 2b 32 20 3d 3d +2", 3), "1+2 ==
0230: 20 30 30 30 33 22 20 29 3b 0d 0a 09 61 73 73 65 0003" );...asse
0240: 72 74 5f 65 71 28 20 73 70 72 69 6e 74 66 21 22 rt_eq( sprintf!"
0250: 25 32 24 73 20 3d 3d 20 25 31 24 73 22 28 22 31 %2$s == %1$s"("1
0260: 2b 32 22 2c 20 35 2c 20 38 29 2c 20 22 35 20 3d +2", 5, 8), "5 =
0270: 3d 20 31 2b 32 22 20 29 3b 0d 0a 09 61 73 73 65 = 1+2" );...asse
0280: 72 74 5f 74 68 72 6f 77 21 45 72 72 6f 72 28 20 rt_throw!Error(
0290: 73 70 72 69 6e 74 66 21 22 25 73 25 73 22 28 31 sprintf!"%s%s"(1
02a0: 29 20 29 3b 0d 0a 7d 0a 0a 2f 2f 2f 20 43 72 65 ) );..}../// Cre
02b0: 61 74 65 20 61 6e 20 65 78 63 65 70 74 69 6f 6e ate an exception
02c0: 20 77 69 74 68 20 61 75 74 6f 6d 61 74 69 63 61 with automatica
02d0: 6c 6c 79 20 63 6f 6d 70 6c 65 74 65 64 20 66 69 lly completed fi
02e0: 6c 65 6e 61 6d 65 20 61 6e 64 20 6c 69 6e 65 6e lename and linen
02f0: 6f 20 69 6e 66 6f 72 6d 61 74 69 6f 6e 0a 0a 45 o information..E
0300: 78 63 65 70 74 69 6f 6e 54 79 70 65 20 67 65 6e xceptionType gen
0310: 65 78 28 45 78 63 65 70 74 69 6f 6e 54 79 70 65 ex(ExceptionType
0320: 2c 20 73 74 72 69 6e 67 20 66 6e 3d 5f 5f 46 49 , string fn=__FI
0330: 4c 45 5f 5f 2c 20 69 6e 74 20 6c 6e 3d 5f 5f 4c LE__, int ln=__L
0340: 49 4e 45 5f 5f 2c 20 54 2e 2e 2e 29 28 54 20 70 INE__, T...)(T p
0350: 61 72 61 6d 73 29 0a 7b 0a 09 73 74 61 74 69 63 arams).{..static
0360: 20 69 66 28 20 54 2e 6c 65 6e 67 74 68 20 3e 20 if( T.length >
0370: 30 20 26 26 20 69 73 28 54 5b 24 2d 31 5d 20 3a 0 && is(T[$-1] :
0380: 20 54 68 72 6f 77 61 62 6c 65 29 20 29 0a 09 09 Throwable) )...
0390: 72 65 74 75 72 6e 20 6e 65 77 20 45 78 63 65 70 return new Excep
03a0: 74 69 6f 6e 54 79 70 65 28 70 61 72 61 6d 73 5b tionType(params[
03b0: 30 2e 2e 24 2d 31 5d 2c 20 66 6e 2c 20 6c 6e 2c 0..$-1], fn, ln,
03c0: 20 70 61 72 61 6d 73 5b 24 2d 31 5d 29 3b 0a 09 params[$-1]);..
03d0: 65 6c 73 65 0a 09 09 72 65 74 75 72 6e 20 6e 65 else...return ne
03e0: 77 20 45 78 63 65 70 74 69 6f 6e 54 79 70 65 28 w ExceptionType(
03f0: 70 61 72 61 6d 73 2c 20 66 6e 2c 20 6c 6e 29 3b params, fn, ln);
0400: 0a 7d 0a 0a 75 6e 69 74 74 65 73 74 0a 7b 0a 09 .}..unittest.{..
0410: 61 73 73 65 72 74 5f 6e 65 28 20 67 65 6e 65 78 assert_ne( genex
0420: 21 45 78 63 65 70 74 69 6f 6e 28 22 6d 73 67 22 !Exception("msg"
0430: 29 2e 66 69 6c 65 2c 20 22 22 20 29 3b 0a 09 61 ).file, "" );..a
0440: 73 73 65 72 74 5f 6e 65 28 20 67 65 6e 65 78 21 ssert_ne( genex!
0450: 45 78 63 65 70 74 69 6f 6e 28 22 6d 73 67 22 29 Exception("msg")
0460: 2e 6c 69 6e 65 2c 20 30 20 29 3b 0a 09 61 73 73 .line, 0 );..ass
0470: 65 72 74 5f 6e 65 28 20 67 65 6e 65 78 21 45 78 ert_ne( genex!Ex
0480: 63 65 70 74 69 6f 6e 28 22 6d 73 67 22 2c 6e 65 ception("msg",ne
0490: 77 20 45 78 63 65 70 74 69 6f 6e 28 22 62 61 72 w Exception("bar
04a0: 22 29 29 2e 6e 65 78 74 2c 20 45 78 63 65 70 74 ")).next, Except
04b0: 69 6f 6e 2e 69 6e 69 74 20 29 3b 0a 7d 0a 0a 2f ion.init );.}../
04c0: 2f 2f 20 4d 69 78 69 6e 67 2d 69 6e 20 74 68 65 // Mixing-in the
04d0: 20 62 65 61 6e 20 63 6f 6e 73 74 72 75 63 74 6f bean constructo
04e0: 72 20 66 6f 72 20 61 20 63 6c 61 73 73 0a 0a 2f r for a class../
04f0: 2a 6d 69 78 69 6e 2a 2f 0a 74 65 6d 70 6c 61 74 *mixin*/.templat
0500: 65 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 e SimpleConstruc
0510: 74 6f 72 28 29 0a 7b 0a 09 2f 2f 2f 20 6d 65 6d tor().{../// mem
0520: 62 65 72 2d 62 79 2d 6d 65 6d 62 65 72 20 63 6f ber-by-member co
0530: 6e 73 74 72 75 63 74 6f 72 0d 0a 09 73 74 61 74 nstructor...stat
0540: 69 63 20 69 66 28 20 69 73 28 74 79 70 65 6f 66 ic if( is(typeof
0550: 28 73 75 70 65 72 29 20 3d 3d 20 4f 62 6a 65 63 (super) == Objec
0560: 74 29 20 7c 7c 20 73 75 70 65 72 2e 74 75 70 6c t) || super.tupl
0570: 65 6f 66 2e 6c 65 6e 67 74 68 3d 3d 30 20 29 0a eof.length==0 ).
0580: 09 09 74 68 69 73 28 20 74 79 70 65 6f 66 28 74 ..this( typeof(t
0590: 68 69 73 2e 74 75 70 6c 65 6f 66 29 20 70 61 72 his.tupleof) par
05a0: 61 6d 73 20 29 0a 09 09 7b 0a 09 09 09 73 74 61 ams )...{....sta
05b0: 74 69 63 20 69 66 28 74 68 69 73 2e 74 75 70 6c tic if(this.tupl
05c0: 65 6f 66 2e 6c 65 6e 67 74 68 3e 30 29 0a 09 09 eof.length>0)...
05d0: 09 09 74 68 69 73 2e 74 75 70 6c 65 6f 66 20 3d ..this.tupleof =
05e0: 20 70 61 72 61 6d 73 3b 0a 09 09 7d 0a 09 65 6c params;...}..el
05f0: 73 65 0a 09 09 74 68 69 73 28 20 74 79 70 65 6f se...this( typeo
0600: 66 28 73 75 70 65 72 2e 74 75 70 6c 65 6f 66 29 f(super.tupleof)
0610: 20 70 73 2c 20 74 79 70 65 6f 66 28 74 68 69 73 ps, typeof(this
0620: 2e 74 75 70 6c 65 6f 66 29 20 70 61 72 61 6d 73 .tupleof) params
0630: 20 29 0a 09 09 7b 0a 09 09 09 2f 2f 20 69 6e 63 )...{....// inc
0640: 6c 75 64 69 6e 67 20 28 6f 6e 6c 79 29 20 74 68 luding (only) th
0650: 65 20 64 69 72 65 63 74 20 73 75 70 65 72 20 63 e direct super c
0660: 6c 61 73 73 20 6d 65 6d 62 65 72 73 0a 09 09 09 lass members....
0670: 2f 2f 20 6d 61 79 20 6e 6f 74 20 61 6c 77 61 79 // may not alway
0680: 73 20 62 65 20 61 20 64 65 73 69 72 61 62 6c 65 s be a desirable
0690: 20 63 68 6f 69 63 65 2c 20 62 75 74 20 73 68 6f choice, but sho
06a0: 75 6c 64 20 77 6f 72 6b 20 66 6f 72 20 6d 61 6e uld work for man
06b0: 79 20 63 61 73 65 73 0a 09 09 09 73 75 70 65 72 y cases....super
06c0: 28 70 73 29 3b 0a 09 09 09 73 74 61 74 69 63 20 (ps);....static
06d0: 69 66 28 74 68 69 73 2e 74 75 70 6c 65 6f 66 2e if(this.tupleof.
06e0: 6c 65 6e 67 74 68 3e 30 29 0a 09 09 09 09 74 68 length>0).....th
06f0: 69 73 2e 74 75 70 6c 65 6f 66 20 3d 20 70 61 72 is.tupleof = par
0700: 61 6d 73 3b 0a 09 09 7d 0a 7d 0a 0a 75 6e 69 74 ams;...}.}..unit
0710: 74 65 73 74 0a 7b 0a 09 63 6c 61 73 73 20 54 65 test.{..class Te
0720: 6d 70 0a 09 7b 0a 09 09 69 6e 74 20 78 3b 0a 09 mp..{...int x;..
0730: 09 73 74 72 69 6e 67 20 79 3b 0a 09 09 6d 69 78 .string y;...mix
0740: 69 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 in SimpleConstru
0750: 63 74 6f 72 3b 0a 09 7d 0a 09 61 73 73 65 72 74 ctor;..}..assert
0760: 5f 65 71 28 20 28 6e 65 77 20 54 65 6d 70 28 31 _eq( (new Temp(1
0770: 2c 22 66 6f 6f 22 29 29 2e 78 2c 20 31 20 29 3b ,"foo")).x, 1 );
0780: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 28 6e 65 ..assert_eq( (ne
0790: 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 29 w Temp(1,"foo"))
07a0: 2e 79 2c 20 22 66 6f 6f 22 20 29 3b 0a 09 61 73 .y, "foo" );..as
07b0: 73 65 72 74 28 20 21 5f 5f 74 72 61 69 74 73 28 sert( !__traits(
07c0: 63 6f 6d 70 69 6c 65 73 2c 20 6e 65 77 20 54 65 compiles, new Te
07d0: 6d 70 29 20 29 3b 0a 09 61 73 73 65 72 74 28 20 mp) );..assert(
07e0: 21 5f 5f 74 72 61 69 74 73 28 63 6f 6d 70 69 6c !__traits(compil
07f0: 65 73 2c 20 6e 65 77 20 54 65 6d 70 28 31 29 29 es, new Temp(1))
0800: 20 29 3b 0a 09 61 73 73 65 72 74 28 20 21 5f 5f );..assert( !__
0810: 74 72 61 69 74 73 28 63 6f 6d 70 69 6c 65 73 2c traits(compiles,
0820: 20 6e 65 77 20 54 65 6d 70 28 22 66 6f 6f 22 2c new Temp("foo",
0830: 31 29 29 20 29 3b 0a 0a 09 63 6c 61 73 73 20 54 1)) );...class T
0840: 6f 6d 70 20 3a 20 54 65 6d 70 0a 09 7b 0a 09 09 omp : Temp..{...
0850: 72 65 61 6c 20 7a 3b 0a 09 09 6d 69 78 69 6e 20 real z;...mixin
0860: 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f SimpleConstructo
0870: 72 3b 0a 09 7d 0a 09 61 73 73 65 72 74 5f 65 71 r;..}..assert_eq
0880: 28 20 28 6e 65 77 20 54 6f 6d 70 28 31 2c 22 66 ( (new Tomp(1,"f
0890: 6f 6f 22 2c 32 2e 35 29 29 2e 78 2c 20 31 20 29 oo",2.5)).x, 1 )
08a0: 3b 0a 09 61 73 73 65 72 74 5f 65 71 28 20 28 6e ;..assert_eq( (n
08b0: 65 77 20 54 6f 6d 70 28 31 2c 22 66 6f 6f 22 2c ew Tomp(1,"foo",
08c0: 32 2e 35 29 29 2e 79 2c 20 22 66 6f 6f 22 20 29 2.5)).y, "foo" )
08d0: 3b 0a 09 61 73 73 65 72 74 5f 65 71 28 20 28 6e ;..assert_eq( (n
08e0: 65 77 20 54 6f 6d 70 28 31 2c 22 66 6f 6f 22 2c ew Tomp(1,"foo",
08f0: 32 2e 35 29 29 2e 7a 2c 20 32 2e 35 20 29 3b 0a 2.5)).z, 2.5 );.
0900: 09 61 73 73 65 72 74 28 20 21 5f 5f 74 72 61 69 .assert( !__trai
0910: 74 73 28 63 6f 6d 70 69 6c 65 73 2c 20 6e 65 77 ts(compiles, new
0920: 20 54 6f 6d 70 28 33 2e 31 34 29 29 20 29 3b 0a Tomp(3.14)) );.
0930: 0a 09 2f 2f 20 73 68 69 79 6f 2d 20 64 65 73 75 ..// shiyo- desu
0940: 2e 20 44 6f 6e 27 74 20 75 73 65 20 69 6e 20 74 . Don't use in t
0950: 68 69 73 20 77 61 79 2e 0a 09 2f 2f 20 20 20 54 his way...// T
0960: 61 6d 70 20 74 72 69 65 73 20 74 6f 20 63 61 6c amp tries to cal
0970: 6c 20 6e 65 77 20 54 6f 6d 70 28 72 65 61 6c 29 l new Tomp(real)
0980: 20 28 62 65 63 61 75 73 65 20 69 74 20 6f 6e 6c (because it onl
0990: 79 20 73 65 65 73 20 54 6f 6d 70 27 73 20 6d 65 y sees Tomp's me
09a0: 6d 62 65 72 73 29 2c 0a 09 2f 2f 20 20 20 62 75 mbers),..// bu
09b0: 74 20 69 74 20 66 61 69 6c 73 20 62 65 63 61 75 t it fails becau
09c0: 73 65 20 54 6f 6d 70 20 74 61 6b 65 73 20 28 69 se Tomp takes (i
09d0: 6e 74 2c 73 74 72 69 6e 67 2c 72 65 61 6c 29 2e nt,string,real).
09e0: 0a 09 61 73 73 65 72 74 28 20 21 5f 5f 74 72 61 ..assert( !__tra
09f0: 69 74 73 28 63 6f 6d 70 69 6c 65 73 2c 20 7b 0a its(compiles, {.
0a00: 09 09 63 6c 61 73 73 20 54 61 6d 70 20 3a 20 54 ..class Tamp : T
0a10: 6f 6d 70 20 7b 20 6d 69 78 69 6e 20 53 69 6d 70 omp { mixin Simp
0a20: 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b 20 7d leConstructor; }
0a30: 0a 09 7d 29 20 29 3b 0a 7d 0a 0d 0a 68 61 73 68 ..}) );.}...hash
0a40: 5f 74 20 73 74 72 75 63 74 75 72 61 6c 48 61 73 _t structuralHas
0a50: 68 28 54 29 28 54 20 78 29 0d 0a 7b 0d 0a 09 61 h(T)(T x)..{...a
0a60: 6c 69 61 73 20 53 43 5f 55 6e 71 75 61 6c 21 28 lias SC_Unqual!(
0a70: 54 29 20 55 43 54 3b 0d 0a 0d 0a 09 73 74 61 74 T) UCT;.....stat
0a80: 69 63 20 69 66 28 69 73 28 55 43 54 20 3d 3d 20 ic if(is(UCT ==
0a90: 63 6c 61 73 73 29 29 0d 0a 09 09 72 65 74 75 72 class))....retur
0aa0: 6e 20 28 78 20 69 73 20 6e 75 6c 6c 20 3f 20 30 n (x is null ? 0
0ab0: 20 3a 20 28 63 61 73 74 28 55 43 54 29 78 29 2e : (cast(UCT)x).
0ac0: 74 6f 48 61 73 68 28 29 29 3b 0d 0a 09 65 6c 73 toHash());...els
0ad0: 65 0d 0a 09 73 74 61 74 69 63 20 69 66 28 53 43 e...static if(SC
0ae0: 5f 48 61 73 47 6f 6f 64 48 61 73 68 21 28 55 43 _HasGoodHash!(UC
0af0: 54 29 29 0d 0a 09 09 7b 20 72 65 74 75 72 6e 20 T))....{ return
0b00: 74 79 70 65 69 64 28 55 43 54 29 2e 67 65 74 48 typeid(UCT).getH
0b10: 61 73 68 28 26 78 29 3b 20 7d 0d 0a 09 65 6c 73 ash(&x); }...els
0b20: 65 0d 0a 09 73 74 61 74 69 63 20 69 66 28 69 73 e...static if(is
0b30: 28 55 43 54 20 54 20 3d 3d 20 54 5b 5d 29 29 0d (UCT T == T[])).
0b40: 0a 09 09 7b 20 68 61 73 68 5f 74 20 68 3b 20 66 ...{ hash_t h; f
0b50: 6f 72 65 61 63 68 28 65 3b 20 78 29 20 68 2b 3d oreach(e; x) h+=
0b60: 73 74 72 75 63 74 75 72 61 6c 48 61 73 68 28 65 structuralHash(e
0b70: 29 3b 20 72 65 74 75 72 6e 20 68 3b 20 7d 0d 0a ); return h; }..
0b80: 09 65 6c 73 65 0d 0a 09 73 74 61 74 69 63 20 69 .else...static i
0b90: 66 28 69 73 28 55 43 54 20 3d 3d 20 73 74 72 75 f(is(UCT == stru
0ba0: 63 74 29 29 0d 0a 09 09 73 74 61 74 69 63 20 69 ct))....static i
0bb0: 66 28 5f 5f 74 72 61 69 74 73 28 63 6f 6d 70 69 f(__traits(compi
0bc0: 6c 65 73 2c 20 73 74 64 2e 62 69 67 69 6e 74 2e les, std.bigint.
0bd0: 42 69 67 49 6e 74 29 29 0d 0a 09 09 09 73 74 61 BigInt)).....sta
0be0: 74 69 63 20 69 66 28 69 73 28 55 43 54 20 3d 3d tic if(is(UCT ==
0bf0: 20 73 74 64 2e 62 69 67 69 6e 74 2e 42 69 67 49 std.bigint.BigI
0c00: 6e 74 29 29 0d 0a 09 09 09 09 72 65 74 75 72 6e nt))......return
0c10: 20 63 61 73 74 28 68 61 73 68 5f 74 29 20 78 2e cast(hash_t) x.
0c20: 74 6f 49 6e 74 28 29 3b 0d 0a 09 09 09 65 6c 73 toInt();.....els
0c30: 65 0d 0a 09 09 09 09 73 74 61 74 69 63 20 61 73 e......static as
0c40: 73 65 72 74 28 66 61 6c 73 65 2c 20 22 73 68 6f sert(false, "sho
0c50: 75 6c 64 20 6e 6f 74 20 75 73 65 20 73 74 72 75 uld not use stru
0c60: 63 74 2e 74 6f 48 61 73 68 22 29 3b 0d 0a 09 09 ct.toHash");....
0c70: 65 6c 73 65 0d 0a 09 09 09 73 74 61 74 69 63 20 else.....static
0c80: 61 73 73 65 72 74 28 66 61 6c 73 65 2c 20 22 73 assert(false, "s
0c90: 68 6f 75 6c 64 20 6e 6f 74 20 75 73 65 20 73 74 hould not use st
0ca0: 72 75 63 74 2e 74 6f 48 61 73 68 22 29 3b 0d 0a ruct.toHash");..
0cb0: 09 65 6c 73 65 0d 0a 09 09 73 74 61 74 69 63 20 .else....static
0cc0: 61 73 73 65 72 74 28 66 61 6c 73 65 2c 20 22 6e assert(false, "n
0cd0: 6f 6e 68 61 73 68 61 62 6c 65 20 64 61 74 61 74 onhashable datat
0ce0: 79 70 65 20 22 7e 55 43 54 2e 73 74 72 69 6e 67 ype "~UCT.string
0cf0: 6f 66 29 3b 0d 0a 7d 0d 0a 0d 0a 61 6c 69 61 73 of);..}....alias
0d00: 20 73 74 64 2e 74 72 61 69 74 73 2e 55 6e 71 75 std.traits.Unqu
0d10: 61 6c 20 53 43 5f 55 6e 71 75 61 6c 3b 0d 0a 0d al SC_Unqual;...
0d20: 0a 74 65 6d 70 6c 61 74 65 20 53 43 5f 48 61 73 .template SC_Has
0d30: 47 6f 6f 64 48 61 73 68 28 54 29 0d 0a 7b 0d 0a GoodHash(T)..{..
0d40: 09 65 6e 75 6d 20 53 43 5f 48 61 73 47 6f 6f 64 .enum SC_HasGood
0d50: 48 61 73 68 20 3d 0d 0a 09 09 69 73 28 54 20 3a Hash =....is(T :
0d60: 20 62 6f 6f 6c 29 20 7c 7c 20 69 73 4e 75 6d 65 bool) || isNume
0d70: 72 69 63 21 28 54 29 20 7c 7c 20 69 73 53 6f 6d ric!(T) || isSom
0d80: 65 53 74 72 69 6e 67 21 28 54 29 20 7c 7c 20 69 eString!(T) || i
0d90: 73 53 6f 6d 65 43 68 61 72 21 28 54 29 20 7c 7c sSomeChar!(T) ||
0da0: 20 69 73 50 6f 69 6e 74 65 72 21 28 54 29 3b 0d isPointer!(T);.
0db0: 0a 7d 0d 0a 0a 2f 2f 2f 20 4d 69 78 69 6e 67 2d .}.../// Mixing-
0dc0: 69 6e 20 74 68 65 20 4d 4f 53 54 2d 44 45 52 49 in the MOST-DERI
0dd0: 56 45 44 2d 6d 65 6d 62 65 72 2d 77 69 73 65 20 VED-member-wise
0de0: 63 6f 6d 70 61 72 61 74 6f 72 20 66 6f 72 20 61 comparator for a
0df0: 20 63 6c 61 73 73 0d 0a 2f 2f 2f 20 42 45 20 53 class../// BE S
0e00: 55 52 45 20 54 48 41 54 20 54 48 49 53 20 49 53 URE THAT THIS IS
0e10: 20 43 4f 4e 53 49 53 54 45 4e 54 20 57 49 54 48 CONSISTENT WITH
0e20: 20 6f 70 43 6d 70 20 61 6e 64 20 6f 70 45 71 75 opCmp and opEqu
0e30: 61 6c 73 0d 0a 0d 0a 74 65 6d 70 6c 61 74 65 20 als....template
0e40: 53 69 6d 70 6c 65 54 6f 48 61 73 68 28 29 0d 0a SimpleToHash()..
0e50: 7b 0d 0a 09 6f 76 65 72 72 69 64 65 20 68 61 73 {...override has
0e60: 68 5f 74 20 74 6f 48 61 73 68 28 29 20 63 6f 6e h_t toHash() con
0e70: 73 74 20 2f 2f 2f 20 6d 65 6d 62 65 72 2d 62 79 st /// member-by
0e80: 2d 6d 65 6d 62 65 72 20 68 61 73 68 0d 0a 09 7b -member hash...{
0e90: 0d 0a 09 09 68 61 73 68 5f 74 20 68 20 3d 20 30 ....hash_t h = 0
0ea0: 3b 0d 0a 09 09 66 6f 72 65 61 63 68 28 6d 65 6d ;....foreach(mem
0eb0: 3b 20 74 68 69 73 2e 74 75 70 6c 65 6f 66 29 0d ; this.tupleof).
0ec0: 0a 09 09 09 68 20 2b 3d 20 73 74 72 75 63 74 75 ....h += structu
0ed0: 72 61 6c 48 61 73 68 28 6d 65 6d 29 3b 0d 0a 09 ralHash(mem);...
0ee0: 09 72 65 74 75 72 6e 20 68 3b 0d 0a 09 7d 0d 0a .return h;...}..
0ef0: 7d 0d 0a 0d 0a 2f 2f 2f 20 4d 69 78 69 6e 67 2d }..../// Mixing-
0f00: 69 6e 20 74 68 65 20 4d 4f 53 54 2d 44 45 52 49 in the MOST-DERI
0f10: 56 45 44 2d 6d 65 6d 62 65 72 2d 77 69 73 65 20 VED-member-wise
0f20: 63 6f 6d 70 61 72 61 74 6f 72 20 66 6f 72 20 61 comparator for a
0f30: 20 63 6c 61 73 73 0a 0d 0a 74 65 6d 70 6c 61 74 class...templat
0f40: 65 20 53 69 6d 70 6c 65 43 6f 6d 70 61 72 65 57 e SimpleCompareW
0f50: 69 74 68 6f 75 74 54 6f 48 61 73 68 28 29 0d 0a ithoutToHash()..
0f60: 7b 0d 0a 09 6f 76 65 72 72 69 64 65 20 62 6f 6f {...override boo
0f70: 6c 20 6f 70 45 71 75 61 6c 73 28 4f 62 6a 65 63 l opEquals(Objec
0f80: 74 20 72 68 73 29 20 63 6f 6e 73 74 20 2f 2f 2f t rhs) const ///
0f90: 20 6d 65 6d 62 65 72 2d 62 79 2d 6d 65 6d 62 65 member-by-membe
0fa0: 72 20 65 71 75 61 6c 69 74 79 0d 0a 09 7b 0d 0a r equality...{..
0fb0: 09 09 72 65 74 75 72 6e 20 6f 70 43 6d 70 28 72 ..return opCmp(r
0fc0: 68 73 29 20 3d 3d 20 30 3b 0d 0a 09 7d 0d 0a 0d hs) == 0;...}...
0fd0: 0a 09 6f 76 65 72 72 69 64 65 20 69 6e 74 20 6f ..override int o
0fe0: 70 43 6d 70 28 4f 62 6a 65 63 74 20 72 68 73 5f pCmp(Object rhs_
0ff0: 29 20 63 6f 6e 73 74 20 2f 2f 2f 20 6d 65 6d 62 ) const /// memb
1000: 65 72 2d 62 79 2d 6d 65 6d 62 65 72 20 63 6f 6d er-by-member com
1010: 70 61 72 65 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 pare...{....if(
1020: 61 75 74 6f 20 72 68 73 20 3d 20 63 61 73 74 28 auto rhs = cast(
1030: 74 79 70 65 6f 66 28 74 68 69 73 29 29 72 68 73 typeof(this))rhs
1040: 5f 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 66 6f 72 _ )....{.....for
1050: 65 61 63 68 28 69 2c 5f 3b 20 74 68 69 73 2e 74 each(i,_; this.t
1060: 75 70 6c 65 6f 66 29 0d 0a 09 09 09 7b 0d 0a 09 upleof).....{...
1070: 09 09 09 73 74 61 74 69 63 20 69 66 28 69 73 28 ...static if(is(
1080: 74 79 70 65 6f 66 28 5f 29 20 3d 3d 20 73 74 72 typeof(_) == str
1090: 75 63 74 29 29 0d 0a 09 09 09 09 09 61 75 74 6f uct)).......auto
10a0: 20 63 20 3d 20 28 63 61 73 74 28 53 43 5f 55 6e c = (cast(SC_Un
10b0: 71 75 61 6c 21 28 74 79 70 65 6f 66 28 5f 29 29 qual!(typeof(_))
10c0: 29 74 68 69 73 2e 74 75 70 6c 65 6f 66 5b 69 5d )this.tupleof[i]
10d0: 29 2e 6f 70 43 6d 70 28 72 68 73 2e 74 75 70 6c ).opCmp(rhs.tupl
10e0: 65 6f 66 5b 69 5d 29 3b 0d 0a 09 09 09 09 65 6c eof[i]);......el
10f0: 73 65 0d 0a 09 09 09 09 09 61 75 74 6f 20 63 20 se.......auto c
1100: 3d 20 74 79 70 65 69 64 28 5f 29 2e 63 6f 6d 70 = typeid(_).comp
1110: 61 72 65 28 26 74 68 69 73 2e 74 75 70 6c 65 6f are(&this.tupleo
1120: 66 5b 69 5d 2c 26 72 68 73 2e 74 75 70 6c 65 6f f[i],&rhs.tupleo
1130: 66 5b 69 5d 29 3b 0d 0a 09 09 09 09 69 66 28 63 f[i]);......if(c
1140: 29 0d 0a 09 09 09 09 09 72 65 74 75 72 6e 20 63 ).......return c
1150: 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 72 65 74 75 ;.....}.....retu
1160: 72 6e 20 30 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 rn 0;....}....re
1170: 74 75 72 6e 20 74 79 70 65 69 64 28 74 68 69 73 turn typeid(this
1180: 29 2e 6f 70 43 6d 70 28 74 79 70 65 69 64 28 72 ).opCmp(typeid(r
1190: 68 73 5f 29 29 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0a hs_));...}..}...
11a0: 2f 2f 2f 20 4d 69 78 69 6e 67 2d 69 6e 20 74 68 /// Mixing-in th
11b0: 65 20 4d 4f 53 54 2d 44 45 52 49 56 45 44 2d 6d e MOST-DERIVED-m
11c0: 65 6d 62 65 72 2d 77 69 73 65 20 63 6f 6d 70 61 ember-wise compa
11d0: 72 61 74 6f 72 20 66 6f 72 20 61 20 63 6c 61 73 rator for a clas
11e0: 73 0d 0a 0d 0a 2f 2a 6d 69 78 69 6e 2a 2f 0a 74 s..../*mixin*/.t
11f0: 65 6d 70 6c 61 74 65 20 53 69 6d 70 6c 65 43 6f emplate SimpleCo
1200: 6d 70 61 72 65 28 29 0a 7b 0a 09 6d 69 78 69 6e mpare().{..mixin
1210: 20 53 69 6d 70 6c 65 54 6f 48 61 73 68 3b 0d 0a SimpleToHash;..
1220: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6d .mixin SimpleCom
1230: 70 61 72 65 57 69 74 68 6f 75 74 54 6f 48 61 73 pareWithoutToHas
1240: 68 3b 0d 0a 7d 0d 0a 0a 75 6e 69 74 74 65 73 74 h;..}...unittest
1250: 0a 7b 0a 09 63 6c 61 73 73 20 54 65 6d 70 0a 09 .{..class Temp..
1260: 7b 0a 09 09 69 6e 74 20 78 3b 0a 09 09 73 74 72 {...int x;...str
1270: 69 6e 67 20 79 3b 0a 09 09 6d 69 78 69 6e 20 53 ing y;...mixin S
1280: 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 impleConstructor
1290: 3b 0a 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 ;...mixin Simple
12a0: 43 6f 6d 70 61 72 65 3b 0a 09 7d 0a 09 61 73 73 Compare;..}..ass
12b0: 65 72 74 5f 65 71 28 20 6e 65 77 20 54 65 6d 70 ert_eq( new Temp
12c0: 28 31 2c 22 66 6f 6f 22 29 2c 20 6e 65 77 20 54 (1,"foo"), new T
12d0: 65 6d 70 28 31 2c 22 66 6f 6f 22 29 20 29 3b 0a emp(1,"foo") );.
12e0: 09 61 73 73 65 72 74 5f 65 71 28 20 28 6e 65 77 .assert_eq( (new
12f0: 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 29 2e Temp(1,"foo")).
1300: 74 6f 48 61 73 68 2c 20 28 6e 65 77 20 54 65 6d toHash, (new Tem
1310: 70 28 31 2c 22 66 6f 6f 22 29 29 2e 74 6f 48 61 p(1,"foo")).toHa
1320: 73 68 20 29 3b 0a 09 61 73 73 65 72 74 5f 6e 65 sh );..assert_ne
1330: 28 20 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 6f ( new Temp(1,"fo
1340: 6f 22 29 2c 20 6e 65 77 20 54 65 6d 70 28 32 2c o"), new Temp(2,
1350: 22 66 6f 6f 22 29 20 29 3b 0a 09 61 73 73 65 72 "foo") );..asser
1360: 74 5f 6e 65 28 20 6e 65 77 20 54 65 6d 70 28 31 t_ne( new Temp(1
1370: 2c 22 66 6f 6f 22 29 2c 20 6e 65 77 20 54 65 6d ,"foo"), new Tem
1380: 70 28 31 2c 22 62 61 72 22 29 20 29 3b 0a 09 61 p(1,"bar") );..a
1390: 73 73 65 72 74 5f 67 74 28 20 6e 65 77 20 54 65 ssert_gt( new Te
13a0: 6d 70 28 31 2c 22 66 6f 6f 22 29 2c 20 6e 65 77 mp(1,"foo"), new
13b0: 20 54 65 6d 70 28 31 2c 22 62 61 72 22 29 20 29 Temp(1,"bar") )
13c0: 3b 0a 09 61 73 73 65 72 74 5f 6c 74 28 20 6e 65 ;..assert_lt( ne
13d0: 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 2c w Temp(1,"foo"),
13e0: 20 6e 65 77 20 54 65 6d 70 28 32 2c 22 62 61 72 new Temp(2,"bar
13f0: 22 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 67 65 ") );..assert_ge
1400: 28 20 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 6f ( new Temp(1,"fo
1410: 6f 22 29 2c 20 6e 65 77 20 54 65 6d 70 28 31 2c o"), new Temp(1,
1420: 22 66 6f 6f 22 29 20 29 3b 0d 0a 0a 09 63 6c 61 "foo") );....cla
1430: 73 73 20 54 65 6d 70 44 75 6d 6d 79 0a 09 7b 0a ss TempDummy..{.
1440: 09 09 69 6e 74 20 78 3b 0a 09 09 73 74 72 69 6e ..int x;...strin
1450: 67 20 79 3b 0a 09 09 6d 69 78 69 6e 20 53 69 6d g y;...mixin Sim
1460: 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0a pleConstructor;.
1470: 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f ..mixin SimpleCo
1480: 6d 70 61 72 65 3b 0a 09 7d 0a 09 61 73 73 65 72 mpare;..}..asser
1490: 74 5f 6e 65 28 20 6e 65 77 20 54 65 6d 70 28 31 t_ne( new Temp(1
14a0: 2c 22 66 6f 6f 22 29 2c 20 6e 65 77 20 54 65 6d ,"foo"), new Tem
14b0: 70 44 75 6d 6d 79 28 31 2c 22 66 6f 6f 22 29 20 pDummy(1,"foo")
14c0: 29 3b 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 );..assert_nothr
14d0: 6f 77 28 20 6e 65 77 20 54 65 6d 70 28 31 2c 22 ow( new Temp(1,"
14e0: 66 6f 6f 22 29 20 3c 3d 20 6e 65 77 20 54 65 6d foo") <= new Tem
14f0: 70 44 75 6d 6d 79 28 31 2c 22 66 6f 6f 22 29 20 pDummy(1,"foo")
1500: 29 3b 0a 7d 0a 0a 2f 2f 2f 20 4d 69 78 69 6e 67 );.}../// Mixing
1510: 2d 69 6e 20 61 20 73 69 6d 70 6c 65 20 74 6f 53 -in a simple toS
1520: 74 72 69 6e 67 20 6d 65 74 68 6f 64 0a 0a 2f 2a tring method../*
1530: 6d 69 78 69 6e 2a 2f 0a 74 65 6d 70 6c 61 74 65 mixin*/.template
1540: 20 53 69 6d 70 6c 65 54 6f 53 74 72 69 6e 67 28 SimpleToString(
1550: 29 0a 7b 0d 0a 09 2f 2f 2f 20 6d 65 6d 62 65 72 ).{.../// member
1560: 2d 62 79 2d 6d 65 6d 62 65 72 20 74 6f 53 74 72 -by-member toStr
1570: 69 6e 67 0a 09 6f 76 65 72 72 69 64 65 20 73 74 ing..override st
1580: 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 0a ring toString().
1590: 09 7b 0a 09 09 73 74 72 69 6e 67 20 73 74 72 20 .{...string str
15a0: 3d 20 73 70 72 69 6e 74 66 21 22 25 73 28 22 28 = sprintf!"%s("(
15b0: 74 79 70 65 6f 66 28 74 68 69 73 29 2e 73 74 72 typeof(this).str
15c0: 69 6e 67 6f 66 29 3b 0a 09 09 66 6f 72 65 61 63 ingof);...foreac
15d0: 68 28 69 2c 6d 65 6d 3b 20 74 68 69 73 2e 74 75 h(i,mem; this.tu
15e0: 70 6c 65 6f 66 29 0a 09 09 7b 0a 09 09 09 69 66 pleof)...{....if
15f0: 28 69 29 20 73 74 72 20 7e 3d 20 22 2c 22 3b 0a (i) str ~= ",";.
1600: 09 09 09 73 74 61 74 69 63 20 69 66 28 20 69 73 ...static if( is
1610: 28 74 79 70 65 6f 66 28 6d 65 6d 29 20 3d 3d 20 (typeof(mem) ==
1620: 73 74 64 2e 62 69 67 69 6e 74 2e 42 69 67 49 6e std.bigint.BigIn
1630: 74 29 20 29 0a 09 09 09 09 73 74 72 20 7e 3d 20 t) ).....str ~=
1640: 73 74 64 2e 62 69 67 69 6e 74 2e 74 6f 44 65 63 std.bigint.toDec
1650: 69 6d 61 6c 53 74 72 69 6e 67 28 6d 65 6d 29 3b imalString(mem);
1660: 0a 09 09 09 65 6c 73 65 0a 09 09 09 09 73 74 72 ....else.....str
1670: 20 7e 3d 20 73 70 72 69 6e 74 66 21 22 25 73 22 ~= sprintf!"%s"
1680: 28 6d 65 6d 29 3b 0a 09 09 7d 0a 09 09 72 65 74 (mem);...}...ret
1690: 75 72 6e 20 73 74 72 20 7e 20 22 29 22 3b 0a 09 urn str ~ ")";..
16a0: 7d 0a 7d 0a 0a 76 65 72 73 69 6f 6e 28 75 6e 69 }.}..version(uni
16b0: 74 74 65 73 74 29 20 69 6d 70 6f 72 74 20 73 74 ttest) import st
16c0: 64 2e 62 69 67 69 6e 74 3b 0a 75 6e 69 74 74 65 d.bigint;.unitte
16d0: 73 74 0a 7b 0a 09 63 6c 61 73 73 20 54 65 6d 70 st.{..class Temp
16e0: 0a 09 7b 0a 09 09 69 6e 74 20 78 3b 0a 09 09 73 ..{...int x;...s
16f0: 74 72 69 6e 67 20 79 3b 0a 09 09 42 69 67 49 6e tring y;...BigIn
1700: 74 20 7a 3b 0a 09 09 6d 69 78 69 6e 20 53 69 6d t z;...mixin Sim
1710: 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0a pleConstructor;.
1720: 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 54 6f ..mixin SimpleTo
1730: 53 74 72 69 6e 67 3b 0a 09 7d 0a 09 61 73 73 65 String;..}..asse
1740: 72 74 5f 65 71 28 20 28 6e 65 77 20 54 65 6d 70 rt_eq( (new Temp
1750: 28 31 2c 22 66 6f 6f 22 2c 42 69 67 49 6e 74 28 (1,"foo",BigInt(
1760: 34 32 29 29 29 2e 74 6f 53 74 72 69 6e 67 28 29 42))).toString()
1770: 2c 20 22 54 65 6d 70 28 31 2c 66 6f 6f 2c 34 32 , "Temp(1,foo,42
1780: 29 22 20 29 3b 0a 7d 0a 0a 2f 2f 2f 20 45 76 65 )" );.}../// Eve
1790: 72 79 74 68 69 6e 67 20 69 73 20 69 6e 0a 0a 2f rything is in../
17a0: 2a 6d 69 78 69 6e 2a 2f 0a 74 65 6d 70 6c 61 74 *mixin*/.templat
17b0: 65 20 53 69 6d 70 6c 65 43 6c 61 73 73 28 29 0a e SimpleClass().
17c0: 7b 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 {..mixin SimpleC
17d0: 6f 6e 73 74 72 75 63 74 6f 72 3b 0a 09 6d 69 78 onstructor;..mix
17e0: 69 6e 20 53 69 6d 70 6c 65 43 6f 6d 70 61 72 65 in SimpleCompare
17f0: 3b 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 54 ;..mixin SimpleT
1800: 6f 53 74 72 69 6e 67 3b 0a 7d 0a 0d 0a 2f 2f 2f oString;.}...///
1810: 20 55 74 69 6c 69 74 79 0d 0a 0d 0a 74 65 6d 70 Utility....temp
1820: 6c 61 74 65 20 66 69 72 73 74 50 61 72 61 6d 28 late firstParam(
1830: 54 29 0d 0a 7b 0d 0a 09 61 6c 69 61 73 20 50 61 T)..{...alias Pa
1840: 72 61 6d 65 74 65 72 54 79 70 65 54 75 70 6c 65 rameterTypeTuple
1850: 21 28 54 29 5b 30 5d 20 66 69 72 73 74 50 61 72 !(T)[0] firstPar
1860: 61 6d 3b 0d 0a 7d 0d 0a am;..}..