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 0a 2f 2f 2f 20 4d ..}) );.}../// M
0a40: 69 78 69 6e 67 2d 69 6e 20 74 68 65 20 4d 4f 53 ixing-in the MOS
0a50: 54 2d 44 45 52 49 56 45 44 2d 6d 65 6d 62 65 72 T-DERIVED-member
0a60: 2d 77 69 73 65 20 63 6f 6d 70 61 72 61 74 6f 72 -wise comparator
0a70: 20 66 6f 72 20 61 20 63 6c 61 73 73 0d 0a 0d 0a for a class....
0a80: 74 65 6d 70 6c 61 74 65 20 53 69 6d 70 6c 65 54 template SimpleT
0a90: 6f 48 61 73 68 28 29 0d 0a 7b 0d 0a 09 6f 76 65 oHash()..{...ove
0aa0: 72 72 69 64 65 20 68 61 73 68 5f 74 20 74 6f 48 rride hash_t toH
0ab0: 61 73 68 28 29 20 63 6f 6e 73 74 20 2f 2f 2f 20 ash() const ///
0ac0: 6d 65 6d 62 65 72 2d 62 79 2d 6d 65 6d 62 65 72 member-by-member
0ad0: 20 68 61 73 68 0d 0a 09 7b 0d 0a 09 09 68 61 73 hash...{....has
0ae0: 68 5f 74 20 68 20 3d 20 30 3b 0d 0a 09 09 66 6f h_t h = 0;....fo
0af0: 72 65 61 63 68 28 6d 65 6d 3b 20 74 68 69 73 2e reach(mem; this.
0b00: 74 75 70 6c 65 6f 66 29 0d 0a 09 09 09 68 20 2b tupleof).....h +
0b10: 3d 20 74 79 70 65 69 64 28 6d 65 6d 29 2e 67 65 = typeid(mem).ge
0b20: 74 48 61 73 68 28 26 6d 65 6d 29 3b 0d 0a 09 09 tHash(&mem);....
0b30: 72 65 74 75 72 6e 20 68 3b 0d 0a 09 7d 0d 0a 7d return h;...}..}
0b40: 0d 0a 0d 0a 2f 2f 2f 20 4d 69 78 69 6e 67 2d 69 ..../// Mixing-i
0b50: 6e 20 74 68 65 20 4d 4f 53 54 2d 44 45 52 49 56 n the MOST-DERIV
0b60: 45 44 2d 6d 65 6d 62 65 72 2d 77 69 73 65 20 63 ED-member-wise c
0b70: 6f 6d 70 61 72 61 74 6f 72 20 66 6f 72 20 61 20 omparator for a
0b80: 63 6c 61 73 73 0a 0a 2f 2a 6d 69 78 69 6e 2a 2f class../*mixin*/
0b90: 0a 74 65 6d 70 6c 61 74 65 20 53 69 6d 70 6c 65 .template Simple
0ba0: 43 6f 6d 70 61 72 65 28 29 0a 7b 0a 09 6f 76 65 Compare().{..ove
0bb0: 72 72 69 64 65 20 62 6f 6f 6c 20 6f 70 45 71 75 rride bool opEqu
0bc0: 61 6c 73 28 4f 62 6a 65 63 74 20 72 68 73 5f 29 als(Object rhs_)
0bd0: 20 63 6f 6e 73 74 20 2f 2f 2f 20 6d 65 6d 62 65 const /// membe
0be0: 72 2d 62 79 2d 6d 65 6d 62 65 72 20 65 71 75 61 r-by-member equa
0bf0: 6c 69 74 79 0a 09 7b 0a 09 09 69 66 28 20 61 75 lity..{...if( au
0c00: 74 6f 20 72 68 73 20 3d 20 63 61 73 74 28 74 79 to rhs = cast(ty
0c10: 70 65 6f 66 28 74 68 69 73 29 29 72 68 73 5f 20 peof(this))rhs_
0c20: 29 0a 09 09 7b 0a 09 09 09 66 6f 72 65 61 63 68 )...{....foreach
0c30: 28 69 2c 5f 3b 20 74 68 69 73 2e 74 75 70 6c 65 (i,_; this.tuple
0c40: 6f 66 29 0a 09 09 09 09 69 66 28 20 74 68 69 73 of).....if( this
0c50: 2e 74 75 70 6c 65 6f 66 5b 69 5d 20 21 3d 20 28 .tupleof[i] != (
0c60: 63 61 73 74 28 63 6f 6e 73 74 29 72 68 73 29 2e cast(const)rhs).
0c70: 74 75 70 6c 65 6f 66 5b 69 5d 20 29 0a 09 09 09 tupleof[i] )....
0c80: 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b 0a ..return false;.
0c90: 09 09 09 72 65 74 75 72 6e 20 74 72 75 65 3b 0a ...return true;.
0ca0: 09 09 7d 0a 09 09 61 73 73 65 72 74 28 66 61 6c ..}...assert(fal
0cb0: 73 65 2c 20 73 70 72 69 6e 74 66 21 22 43 61 6e se, sprintf!"Can
0cc0: 6e 6f 74 20 63 6f 6d 70 61 72 65 20 25 73 20 77 not compare %s w
0cd0: 69 74 68 20 25 73 22 28 74 79 70 65 69 64 28 74 ith %s"(typeid(t
0ce0: 68 69 73 29 2c 20 74 79 70 65 69 64 28 72 68 73 his), typeid(rhs
0cf0: 5f 29 29 29 3b 0a 09 7d 0a 0d 0a 09 6d 69 78 69 _)));..}....mixi
0d00: 6e 20 53 69 6d 70 6c 65 54 6f 48 61 73 68 3b 0a n SimpleToHash;.
0d10: 0a 09 6f 76 65 72 72 69 64 65 20 69 6e 74 20 6f ..override int o
0d20: 70 43 6d 70 28 4f 62 6a 65 63 74 20 72 68 73 5f pCmp(Object rhs_
0d30: 29 20 63 6f 6e 73 74 20 2f 2f 2f 20 6d 65 6d 62 ) const /// memb
0d40: 65 72 2d 62 79 2d 6d 65 6d 62 65 72 20 63 6f 6d er-by-member com
0d50: 70 61 72 65 0a 09 7b 0a 09 09 69 66 28 20 61 75 pare..{...if( au
0d60: 74 6f 20 72 68 73 20 3d 20 63 61 73 74 28 74 79 to rhs = cast(ty
0d70: 70 65 6f 66 28 74 68 69 73 29 29 72 68 73 5f 20 peof(this))rhs_
0d80: 29 0a 09 09 7b 0a 09 09 09 66 6f 72 65 61 63 68 )...{....foreach
0d90: 28 69 2c 5f 3b 20 74 68 69 73 2e 74 75 70 6c 65 (i,_; this.tuple
0da0: 6f 66 29 0d 0a 09 09 09 09 69 66 28 20 74 68 69 of)......if( thi
0db0: 73 2e 74 75 70 6c 65 6f 66 5b 69 5d 20 21 3d 20 s.tupleof[i] !=
0dc0: 28 63 61 73 74 28 63 6f 6e 73 74 29 72 68 73 29 (cast(const)rhs)
0dd0: 2e 74 75 70 6c 65 6f 66 5b 69 5d 20 29 20 7b 0d .tupleof[i] ) {.
0de0: 0a 09 09 09 09 09 61 75 74 6f 20 61 20 3d 20 28 ......auto a = (
0df0: 63 61 73 74 28 53 43 5f 55 6e 71 75 61 6c 21 28 cast(SC_Unqual!(
0e00: 74 79 70 65 6f 66 28 74 68 69 73 29 29 29 74 68 typeof(this)))th
0e10: 69 73 29 2e 74 75 70 6c 65 6f 66 5b 69 5d 3b 0d is).tupleof[i];.
0e20: 0a 09 09 09 09 09 61 75 74 6f 20 62 20 3d 20 20 ......auto b =
0e30: 72 68 73 2e 74 75 70 6c 65 6f 66 5b 69 5d 3b 0d rhs.tupleof[i];.
0e40: 0a 09 09 09 09 09 72 65 74 75 72 6e 20 61 20 3c ......return a <
0e50: 20 62 20 3f 20 2d 31 20 3a 20 2b 31 3b 0d 0a 09 b ? -1 : +1;...
0e60: 09 09 09 7d 0d 0a 2f 2f 20 6e 6f 74 20 77 6f 72 ...}..// not wor
0e70: 6b 20 77 65 6c 6c 20 66 6f 72 20 73 74 72 75 63 k well for struc
0e80: 74 75 72 65 73 3f 3f 3f 3f 3f 3f 3f 0a 2f 2f 09 tures???????.//.
0e90: 09 09 09 69 66 28 61 75 74 6f 20 63 20 3d 20 74 ...if(auto c = t
0ea0: 79 70 65 69 64 28 5f 29 2e 63 6f 6d 70 61 72 65 ypeid(_).compare
0eb0: 28 26 74 68 69 73 2e 74 75 70 6c 65 6f 66 5b 69 (&this.tupleof[i
0ec0: 5d 2c 26 72 68 73 2e 74 75 70 6c 65 6f 66 5b 69 ],&rhs.tupleof[i
0ed0: 5d 29 29 0a 2f 2f 09 09 09 09 09 72 65 74 75 72 ])).//.....retur
0ee0: 6e 20 63 3b 0a 09 09 09 72 65 74 75 72 6e 20 30 n c;....return 0
0ef0: 3b 0a 09 09 7d 0a 09 09 61 73 73 65 72 74 28 66 ;...}...assert(f
0f00: 61 6c 73 65 2c 20 73 70 72 69 6e 74 66 21 22 43 alse, sprintf!"C
0f10: 61 6e 6e 6f 74 20 63 6f 6d 70 61 72 65 20 25 73 annot compare %s
0f20: 20 77 69 74 68 20 25 73 22 28 74 79 70 65 69 64 with %s"(typeid
0f30: 28 74 68 69 73 29 2c 20 74 79 70 65 69 64 28 72 (this), typeid(r
0f40: 68 73 5f 29 29 29 3b 0a 09 7d 0a 7d 0d 0a 0d 0a hs_)));..}.}....
0f50: 61 6c 69 61 73 20 73 74 64 2e 74 72 61 69 74 73 alias std.traits
0f60: 2e 55 6e 71 75 61 6c 20 53 43 5f 55 6e 71 75 61 .Unqual SC_Unqua
0f70: 6c 3b 0a 0a 75 6e 69 74 74 65 73 74 0a 7b 0a 09 l;..unittest.{..
0f80: 63 6c 61 73 73 20 54 65 6d 70 0a 09 7b 0a 09 09 class Temp..{...
0f90: 69 6e 74 20 78 3b 0a 09 09 73 74 72 69 6e 67 20 int x;...string
0fa0: 79 3b 0a 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c y;...mixin Simpl
0fb0: 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0a 09 09 eConstructor;...
0fc0: 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6d 70 mixin SimpleComp
0fd0: 61 72 65 3b 0a 09 7d 0a 09 61 73 73 65 72 74 5f are;..}..assert_
0fe0: 65 71 28 20 6e 65 77 20 54 65 6d 70 28 31 2c 22 eq( new Temp(1,"
0ff0: 66 6f 6f 22 29 2c 20 6e 65 77 20 54 65 6d 70 28 foo"), new Temp(
1000: 31 2c 22 66 6f 6f 22 29 20 29 3b 0a 09 61 73 73 1,"foo") );..ass
1010: 65 72 74 5f 65 71 28 20 28 6e 65 77 20 54 65 6d ert_eq( (new Tem
1020: 70 28 31 2c 22 66 6f 6f 22 29 29 2e 74 6f 48 61 p(1,"foo")).toHa
1030: 73 68 2c 20 28 6e 65 77 20 54 65 6d 70 28 31 2c sh, (new Temp(1,
1040: 22 66 6f 6f 22 29 29 2e 74 6f 48 61 73 68 20 29 "foo")).toHash )
1050: 3b 0a 09 61 73 73 65 72 74 5f 6e 65 28 20 6e 65 ;..assert_ne( ne
1060: 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 2c w Temp(1,"foo"),
1070: 20 6e 65 77 20 54 65 6d 70 28 32 2c 22 66 6f 6f new Temp(2,"foo
1080: 22 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 6e 65 ") );..assert_ne
1090: 28 20 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 6f ( new Temp(1,"fo
10a0: 6f 22 29 2c 20 6e 65 77 20 54 65 6d 70 28 31 2c o"), new Temp(1,
10b0: 22 62 61 72 22 29 20 29 3b 0a 09 61 73 73 65 72 "bar") );..asser
10c0: 74 5f 67 74 28 20 6e 65 77 20 54 65 6d 70 28 31 t_gt( new Temp(1
10d0: 2c 22 66 6f 6f 22 29 2c 20 6e 65 77 20 54 65 6d ,"foo"), new Tem
10e0: 70 28 31 2c 22 62 61 72 22 29 20 29 3b 0a 09 61 p(1,"bar") );..a
10f0: 73 73 65 72 74 5f 6c 74 28 20 6e 65 77 20 54 65 ssert_lt( new Te
1100: 6d 70 28 31 2c 22 66 6f 6f 22 29 2c 20 6e 65 77 mp(1,"foo"), new
1110: 20 54 65 6d 70 28 32 2c 22 62 61 72 22 29 20 29 Temp(2,"bar") )
1120: 3b 0a 09 61 73 73 65 72 74 5f 67 65 28 20 6e 65 ;..assert_ge( ne
1130: 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 2c w Temp(1,"foo"),
1140: 20 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f new Temp(1,"foo
1150: 22 29 20 29 3b 0a 0a 09 63 6c 61 73 73 20 54 65 ") );...class Te
1160: 6d 70 44 75 6d 6d 79 0a 09 7b 0a 09 09 69 6e 74 mpDummy..{...int
1170: 20 78 3b 0a 09 09 73 74 72 69 6e 67 20 79 3b 0a x;...string y;.
1180: 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f ..mixin SimpleCo
1190: 6e 73 74 72 75 63 74 6f 72 3b 0a 09 09 6d 69 78 nstructor;...mix
11a0: 69 6e 20 53 69 6d 70 6c 65 43 6f 6d 70 61 72 65 in SimpleCompare
11b0: 3b 0a 09 7d 0a 09 61 73 73 65 72 74 5f 74 68 72 ;..}..assert_thr
11c0: 6f 77 21 41 73 73 65 72 74 45 72 72 6f 72 28 20 ow!AssertError(
11d0: 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 new Temp(1,"foo"
11e0: 29 20 3d 3d 20 6e 65 77 20 54 65 6d 70 44 75 6d ) == new TempDum
11f0: 6d 79 28 31 2c 22 66 6f 6f 22 29 20 29 3b 0a 09 my(1,"foo") );..
1200: 61 73 73 65 72 74 5f 74 68 72 6f 77 21 41 73 73 assert_throw!Ass
1210: 65 72 74 45 72 72 6f 72 28 20 6e 65 77 20 54 65 ertError( new Te
1220: 6d 70 28 31 2c 22 66 6f 6f 22 29 20 3c 3d 20 6e mp(1,"foo") <= n
1230: 65 77 20 54 65 6d 70 44 75 6d 6d 79 28 31 2c 22 ew TempDummy(1,"
1240: 66 6f 6f 22 29 20 29 3b 0a 7d 0a 0a 2f 2f 2f 20 foo") );.}..///
1250: 4d 69 78 69 6e 67 2d 69 6e 20 61 20 73 69 6d 70 Mixing-in a simp
1260: 6c 65 20 74 6f 53 74 72 69 6e 67 20 6d 65 74 68 le toString meth
1270: 6f 64 0a 0a 2f 2a 6d 69 78 69 6e 2a 2f 0a 74 65 od../*mixin*/.te
1280: 6d 70 6c 61 74 65 20 53 69 6d 70 6c 65 54 6f 53 mplate SimpleToS
1290: 74 72 69 6e 67 28 29 0a 7b 0d 0a 09 2f 2f 2f 20 tring().{...///
12a0: 6d 65 6d 62 65 72 2d 62 79 2d 6d 65 6d 62 65 72 member-by-member
12b0: 20 74 6f 53 74 72 69 6e 67 0a 09 6f 76 65 72 72 toString..overr
12c0: 69 64 65 20 73 74 72 69 6e 67 20 74 6f 53 74 72 ide string toStr
12d0: 69 6e 67 28 29 0a 09 7b 0a 09 09 73 74 72 69 6e ing()..{...strin
12e0: 67 20 73 74 72 20 3d 20 73 70 72 69 6e 74 66 21 g str = sprintf!
12f0: 22 25 73 28 22 28 74 79 70 65 6f 66 28 74 68 69 "%s("(typeof(thi
1300: 73 29 2e 73 74 72 69 6e 67 6f 66 29 3b 0a 09 09 s).stringof);...
1310: 66 6f 72 65 61 63 68 28 69 2c 6d 65 6d 3b 20 74 foreach(i,mem; t
1320: 68 69 73 2e 74 75 70 6c 65 6f 66 29 0a 09 09 7b his.tupleof)...{
1330: 0a 09 09 09 69 66 28 69 29 20 73 74 72 20 7e 3d ....if(i) str ~=
1340: 20 22 2c 22 3b 0a 09 09 09 73 74 61 74 69 63 20 ",";....static
1350: 69 66 28 20 69 73 28 74 79 70 65 6f 66 28 6d 65 if( is(typeof(me
1360: 6d 29 20 3d 3d 20 73 74 64 2e 62 69 67 69 6e 74 m) == std.bigint
1370: 2e 42 69 67 49 6e 74 29 20 29 0a 09 09 09 09 73 .BigInt) ).....s
1380: 74 72 20 7e 3d 20 73 74 64 2e 62 69 67 69 6e 74 tr ~= std.bigint
1390: 2e 74 6f 44 65 63 69 6d 61 6c 53 74 72 69 6e 67 .toDecimalString
13a0: 28 6d 65 6d 29 3b 0a 09 09 09 65 6c 73 65 0a 09 (mem);....else..
13b0: 09 09 09 73 74 72 20 7e 3d 20 73 70 72 69 6e 74 ...str ~= sprint
13c0: 66 21 22 25 73 22 28 6d 65 6d 29 3b 0a 09 09 7d f!"%s"(mem);...}
13d0: 0a 09 09 72 65 74 75 72 6e 20 73 74 72 20 7e 20 ...return str ~
13e0: 22 29 22 3b 0a 09 7d 0a 7d 0a 0a 76 65 72 73 69 ")";..}.}..versi
13f0: 6f 6e 28 75 6e 69 74 74 65 73 74 29 20 69 6d 70 on(unittest) imp
1400: 6f 72 74 20 73 74 64 2e 62 69 67 69 6e 74 3b 0a ort std.bigint;.
1410: 75 6e 69 74 74 65 73 74 0a 7b 0a 09 63 6c 61 73 unittest.{..clas
1420: 73 20 54 65 6d 70 0a 09 7b 0a 09 09 69 6e 74 20 s Temp..{...int
1430: 78 3b 0a 09 09 73 74 72 69 6e 67 20 79 3b 0a 09 x;...string y;..
1440: 09 42 69 67 49 6e 74 20 7a 3b 0a 09 09 6d 69 78 .BigInt z;...mix
1450: 69 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 in SimpleConstru
1460: 63 74 6f 72 3b 0a 09 09 6d 69 78 69 6e 20 53 69 ctor;...mixin Si
1470: 6d 70 6c 65 54 6f 53 74 72 69 6e 67 3b 0a 09 7d mpleToString;..}
1480: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 28 6e 65 ..assert_eq( (ne
1490: 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 2c 42 w Temp(1,"foo",B
14a0: 69 67 49 6e 74 28 34 32 29 29 29 2e 74 6f 53 74 igInt(42))).toSt
14b0: 72 69 6e 67 28 29 2c 20 22 54 65 6d 70 28 31 2c ring(), "Temp(1,
14c0: 66 6f 6f 2c 34 32 29 22 20 29 3b 0a 7d 0a 0a 2f foo,42)" );.}../
14d0: 2f 2f 20 45 76 65 72 79 74 68 69 6e 67 20 69 73 // Everything is
14e0: 20 69 6e 0a 0a 2f 2a 6d 69 78 69 6e 2a 2f 0a 74 in../*mixin*/.t
14f0: 65 6d 70 6c 61 74 65 20 53 69 6d 70 6c 65 43 6c emplate SimpleCl
1500: 61 73 73 28 29 0a 7b 0a 09 6d 69 78 69 6e 20 53 ass().{..mixin S
1510: 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 impleConstructor
1520: 3b 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 ;..mixin SimpleC
1530: 6f 6d 70 61 72 65 3b 0a 09 6d 69 78 69 6e 20 53 ompare;..mixin S
1540: 69 6d 70 6c 65 54 6f 53 74 72 69 6e 67 3b 0a 7d impleToString;.}
1550: 0a 0d 0a 2f 2f 2f 20 57 69 6c 6c 20 62 65 20 75 .../// Will be u
1560: 73 65 64 20 66 6f 72 20 64 79 6e 61 6d 69 63 20 sed for dynamic
1570: 6f 76 65 72 6c 6f 61 64 20 72 65 73 6f 6c 75 74 overload resolut
1580: 69 6f 6e 20 70 61 74 74 65 72 6e 0d 0a 0d 0a 74 ion pattern....t
1590: 65 6d 70 6c 61 74 65 20 66 69 72 73 74 50 61 72 emplate firstPar
15a0: 61 6d 28 54 29 0d 0a 7b 0d 0a 09 61 6c 69 61 73 am(T)..{...alias
15b0: 20 50 61 72 61 6d 65 74 65 72 54 79 70 65 54 75 ParameterTypeTu
15c0: 70 6c 65 21 28 54 29 5b 30 5d 20 66 69 72 73 74 ple!(T)[0] first
15d0: 50 61 72 61 6d 3b 0d 0a 7d 0d 0a Param;..}..