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 63 61 73 74 28 55 43 54 29 78 29 2e 74 n (cast(UCT)x).t
0ab0: 6f 48 61 73 68 28 29 3b 0d 0a 09 65 6c 73 65 0d oHash();...else.
0ac0: 0a 09 73 74 61 74 69 63 20 69 66 28 53 43 5f 48 ..static if(SC_H
0ad0: 61 73 47 6f 6f 64 48 61 73 68 21 28 55 43 54 29 asGoodHash!(UCT)
0ae0: 29 0d 0a 09 09 7b 20 72 65 74 75 72 6e 20 74 79 )....{ return ty
0af0: 70 65 69 64 28 55 43 54 29 2e 67 65 74 48 61 73 peid(UCT).getHas
0b00: 68 28 26 78 29 3b 20 7d 0d 0a 09 65 6c 73 65 0d h(&x); }...else.
0b10: 0a 09 73 74 61 74 69 63 20 69 66 28 69 73 28 55 ..static if(is(U
0b20: 43 54 20 54 20 3d 3d 20 54 5b 5d 29 29 0d 0a 09 CT T == T[]))...
0b30: 09 7b 20 68 61 73 68 5f 74 20 68 3b 20 66 6f 72 .{ hash_t h; for
0b40: 65 61 63 68 28 65 3b 20 78 29 20 68 2b 3d 73 74 each(e; x) h+=st
0b50: 72 75 63 74 75 72 61 6c 48 61 73 68 28 65 29 3b ructuralHash(e);
0b60: 20 72 65 74 75 72 6e 20 68 3b 20 7d 0d 0a 09 65 return h; }...e
0b70: 6c 73 65 0d 0a 09 73 74 61 74 69 63 20 69 66 28 lse...static if(
0b80: 69 73 28 55 43 54 20 3d 3d 20 73 74 72 75 63 74 is(UCT == struct
0b90: 29 29 0d 0a 09 09 73 74 61 74 69 63 20 69 66 28 ))....static if(
0ba0: 5f 5f 74 72 61 69 74 73 28 63 6f 6d 70 69 6c 65 __traits(compile
0bb0: 73 2c 20 73 74 64 2e 62 69 67 69 6e 74 2e 42 69 s, std.bigint.Bi
0bc0: 67 49 6e 74 29 29 0d 0a 09 09 09 73 74 61 74 69 gInt)).....stati
0bd0: 63 20 69 66 28 69 73 28 55 43 54 20 3d 3d 20 73 c if(is(UCT == s
0be0: 74 64 2e 62 69 67 69 6e 74 2e 42 69 67 49 6e 74 td.bigint.BigInt
0bf0: 29 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 63 ))......return c
0c00: 61 73 74 28 68 61 73 68 5f 74 29 20 78 2e 74 6f ast(hash_t) x.to
0c10: 49 6e 74 28 29 3b 0d 0a 09 09 09 65 6c 73 65 0d Int();.....else.
0c20: 0a 09 09 09 09 73 74 61 74 69 63 20 61 73 73 65 .....static asse
0c30: 72 74 28 66 61 6c 73 65 2c 20 22 73 68 6f 75 6c rt(false, "shoul
0c40: 64 20 6e 6f 74 20 75 73 65 20 73 74 72 75 63 74 d not use struct
0c50: 2e 74 6f 48 61 73 68 22 29 3b 0d 0a 09 09 65 6c .toHash");....el
0c60: 73 65 0d 0a 09 09 09 73 74 61 74 69 63 20 61 73 se.....static as
0c70: 73 65 72 74 28 66 61 6c 73 65 2c 20 22 73 68 6f sert(false, "sho
0c80: 75 6c 64 20 6e 6f 74 20 75 73 65 20 73 74 72 75 uld not use stru
0c90: 63 74 2e 74 6f 48 61 73 68 22 29 3b 0d 0a 09 65 ct.toHash");...e
0ca0: 6c 73 65 0d 0a 09 09 73 74 61 74 69 63 20 61 73 lse....static as
0cb0: 73 65 72 74 28 66 61 6c 73 65 2c 20 22 6e 6f 6e sert(false, "non
0cc0: 68 61 73 68 61 62 6c 65 20 64 61 74 61 74 79 70 hashable datatyp
0cd0: 65 20 22 7e 55 43 54 2e 73 74 72 69 6e 67 6f 66 e "~UCT.stringof
0ce0: 29 3b 0d 0a 7d 0d 0a 0d 0a 61 6c 69 61 73 20 73 );..}....alias s
0cf0: 74 64 2e 74 72 61 69 74 73 2e 55 6e 71 75 61 6c td.traits.Unqual
0d00: 20 53 43 5f 55 6e 71 75 61 6c 3b 0d 0a 0d 0a 74 SC_Unqual;....t
0d10: 65 6d 70 6c 61 74 65 20 53 43 5f 48 61 73 47 6f emplate SC_HasGo
0d20: 6f 64 48 61 73 68 28 54 29 0d 0a 7b 0d 0a 09 65 odHash(T)..{...e
0d30: 6e 75 6d 20 53 43 5f 48 61 73 47 6f 6f 64 48 61 num SC_HasGoodHa
0d40: 73 68 20 3d 0d 0a 09 09 69 73 28 54 20 3a 20 62 sh =....is(T : b
0d50: 6f 6f 6c 29 20 7c 7c 20 69 73 4e 75 6d 65 72 69 ool) || isNumeri
0d60: 63 21 28 54 29 20 7c 7c 20 69 73 53 6f 6d 65 53 c!(T) || isSomeS
0d70: 74 72 69 6e 67 21 28 54 29 20 7c 7c 20 69 73 53 tring!(T) || isS
0d80: 6f 6d 65 43 68 61 72 21 28 54 29 20 7c 7c 20 69 omeChar!(T) || i
0d90: 73 50 6f 69 6e 74 65 72 21 28 54 29 3b 0d 0a 7d sPointer!(T);..}
0da0: 0d 0a 0a 2f 2f 2f 20 4d 69 78 69 6e 67 2d 69 6e .../// Mixing-in
0db0: 20 74 68 65 20 4d 4f 53 54 2d 44 45 52 49 56 45 the MOST-DERIVE
0dc0: 44 2d 6d 65 6d 62 65 72 2d 77 69 73 65 20 63 6f D-member-wise co
0dd0: 6d 70 61 72 61 74 6f 72 20 66 6f 72 20 61 20 63 mparator for a c
0de0: 6c 61 73 73 0d 0a 2f 2f 2f 20 42 45 20 53 55 52 lass../// BE SUR
0df0: 45 20 54 48 41 54 20 54 48 49 53 20 49 53 20 43 E THAT THIS IS C
0e00: 4f 4e 53 49 53 54 45 4e 54 20 57 49 54 48 20 6f ONSISTENT WITH o
0e10: 70 43 6d 70 20 61 6e 64 20 6f 70 45 71 75 61 6c pCmp and opEqual
0e20: 73 0d 0a 0d 0a 74 65 6d 70 6c 61 74 65 20 53 69 s....template Si
0e30: 6d 70 6c 65 54 6f 48 61 73 68 28 29 0d 0a 7b 0d mpleToHash()..{.
0e40: 0a 09 6f 76 65 72 72 69 64 65 20 68 61 73 68 5f ..override hash_
0e50: 74 20 74 6f 48 61 73 68 28 29 20 63 6f 6e 73 74 t toHash() const
0e60: 20 2f 2f 2f 20 6d 65 6d 62 65 72 2d 62 79 2d 6d /// member-by-m
0e70: 65 6d 62 65 72 20 68 61 73 68 0d 0a 09 7b 0d 0a ember hash...{..
0e80: 09 09 68 61 73 68 5f 74 20 68 20 3d 20 30 3b 0d ..hash_t h = 0;.
0e90: 0a 09 09 66 6f 72 65 61 63 68 28 6d 65 6d 3b 20 ...foreach(mem;
0ea0: 74 68 69 73 2e 74 75 70 6c 65 6f 66 29 0d 0a 09 this.tupleof)...
0eb0: 09 09 68 20 2b 3d 20 73 74 72 75 63 74 75 72 61 ..h += structura
0ec0: 6c 48 61 73 68 28 6d 65 6d 29 3b 0d 0a 09 09 72 lHash(mem);....r
0ed0: 65 74 75 72 6e 20 68 3b 0d 0a 09 7d 0d 0a 7d 0d eturn h;...}..}.
0ee0: 0a 0d 0a 2f 2f 2f 20 4d 69 78 69 6e 67 2d 69 6e .../// Mixing-in
0ef0: 20 74 68 65 20 4d 4f 53 54 2d 44 45 52 49 56 45 the MOST-DERIVE
0f00: 44 2d 6d 65 6d 62 65 72 2d 77 69 73 65 20 63 6f D-member-wise co
0f10: 6d 70 61 72 61 74 6f 72 20 66 6f 72 20 61 20 63 mparator for a c
0f20: 6c 61 73 73 0a 0d 0a 74 65 6d 70 6c 61 74 65 20 lass...template
0f30: 53 69 6d 70 6c 65 43 6f 6d 70 61 72 65 57 69 74 SimpleCompareWit
0f40: 68 6f 75 74 54 6f 48 61 73 68 28 29 0d 0a 7b 0d houtToHash()..{.
0f50: 0a 09 6f 76 65 72 72 69 64 65 20 62 6f 6f 6c 20 ..override bool
0f60: 6f 70 45 71 75 61 6c 73 28 4f 62 6a 65 63 74 20 opEquals(Object
0f70: 72 68 73 29 20 63 6f 6e 73 74 20 2f 2f 2f 20 6d rhs) const /// m
0f80: 65 6d 62 65 72 2d 62 79 2d 6d 65 6d 62 65 72 20 ember-by-member
0f90: 65 71 75 61 6c 69 74 79 0d 0a 09 7b 0d 0a 09 09 equality...{....
0fa0: 72 65 74 75 72 6e 20 6f 70 43 6d 70 28 72 68 73 return opCmp(rhs
0fb0: 29 20 3d 3d 20 30 3b 0d 0a 09 7d 0d 0a 0d 0a 09 ) == 0;...}.....
0fc0: 6f 76 65 72 72 69 64 65 20 69 6e 74 20 6f 70 43 override int opC
0fd0: 6d 70 28 4f 62 6a 65 63 74 20 72 68 73 5f 29 20 mp(Object rhs_)
0fe0: 63 6f 6e 73 74 20 2f 2f 2f 20 6d 65 6d 62 65 72 const /// member
0ff0: 2d 62 79 2d 6d 65 6d 62 65 72 20 63 6f 6d 70 61 -by-member compa
1000: 72 65 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 72 68 re...{....if( rh
1010: 73 5f 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 s_ is null )....
1020: 09 72 65 74 75 72 6e 20 2d 31 3b 0d 0a 09 09 69 .return -1;....i
1030: 66 28 20 61 75 74 6f 20 72 68 73 20 3d 20 63 61 f( auto rhs = ca
1040: 73 74 28 74 79 70 65 6f 66 28 74 68 69 73 29 29 st(typeof(this))
1050: 72 68 73 5f 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 rhs_ )....{.....
1060: 66 6f 72 65 61 63 68 28 69 2c 5f 3b 20 74 68 69 foreach(i,_; thi
1070: 73 2e 74 75 70 6c 65 6f 66 29 0d 0a 09 09 09 7b s.tupleof).....{
1080: 0d 0a 09 09 09 09 73 74 61 74 69 63 20 69 66 28 ......static if(
1090: 69 73 28 74 79 70 65 6f 66 28 5f 29 20 3d 3d 20 is(typeof(_) ==
10a0: 73 74 72 75 63 74 29 29 0d 0a 09 09 09 09 09 61 struct)).......a
10b0: 75 74 6f 20 63 20 3d 20 28 63 61 73 74 28 53 43 uto c = (cast(SC
10c0: 5f 55 6e 71 75 61 6c 21 28 74 79 70 65 6f 66 28 _Unqual!(typeof(
10d0: 5f 29 29 29 74 68 69 73 2e 74 75 70 6c 65 6f 66 _)))this.tupleof
10e0: 5b 69 5d 29 2e 6f 70 43 6d 70 28 72 68 73 2e 74 [i]).opCmp(rhs.t
10f0: 75 70 6c 65 6f 66 5b 69 5d 29 3b 0d 0a 09 09 09 upleof[i]);.....
1100: 09 65 6c 73 65 0d 0a 09 09 09 09 09 61 75 74 6f .else.......auto
1110: 20 63 20 3d 20 74 79 70 65 69 64 28 5f 29 2e 63 c = typeid(_).c
1120: 6f 6d 70 61 72 65 28 26 74 68 69 73 2e 74 75 70 ompare(&this.tup
1130: 6c 65 6f 66 5b 69 5d 2c 26 72 68 73 2e 74 75 70 leof[i],&rhs.tup
1140: 6c 65 6f 66 5b 69 5d 29 3b 0d 0a 09 09 09 09 69 leof[i]);......i
1150: 66 28 63 29 0d 0a 09 09 09 09 09 72 65 74 75 72 f(c).......retur
1160: 6e 20 63 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 72 n c;.....}.....r
1170: 65 74 75 72 6e 20 30 3b 0d 0a 09 09 7d 0d 0a 09 eturn 0;....}...
1180: 09 72 65 74 75 72 6e 20 74 79 70 65 69 64 28 74 .return typeid(t
1190: 68 69 73 29 2e 6f 70 43 6d 70 28 74 79 70 65 69 his).opCmp(typei
11a0: 64 28 72 68 73 5f 29 29 3b 0d 0a 09 7d 0d 0a 7d d(rhs_));...}..}
11b0: 0d 0a 0a 2f 2f 2f 20 4d 69 78 69 6e 67 2d 69 6e .../// Mixing-in
11c0: 20 74 68 65 20 4d 4f 53 54 2d 44 45 52 49 56 45 the MOST-DERIVE
11d0: 44 2d 6d 65 6d 62 65 72 2d 77 69 73 65 20 63 6f D-member-wise co
11e0: 6d 70 61 72 61 74 6f 72 20 66 6f 72 20 61 20 63 mparator for a c
11f0: 6c 61 73 73 0d 0a 0d 0a 2f 2a 6d 69 78 69 6e 2a lass..../*mixin*
1200: 2f 0a 74 65 6d 70 6c 61 74 65 20 53 69 6d 70 6c /.template Simpl
1210: 65 43 6f 6d 70 61 72 65 28 29 0a 7b 0a 09 6d 69 eCompare().{..mi
1220: 78 69 6e 20 53 69 6d 70 6c 65 54 6f 48 61 73 68 xin SimpleToHash
1230: 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 ;...mixin Simple
1240: 43 6f 6d 70 61 72 65 57 69 74 68 6f 75 74 54 6f CompareWithoutTo
1250: 48 61 73 68 3b 0d 0a 7d 0d 0a 0a 75 6e 69 74 74 Hash;..}...unitt
1260: 65 73 74 0a 7b 0a 09 63 6c 61 73 73 20 54 65 6d est.{..class Tem
1270: 70 0a 09 7b 0a 09 09 69 6e 74 20 78 3b 0a 09 09 p..{...int x;...
1280: 73 74 72 69 6e 67 20 79 3b 0a 09 09 6d 69 78 69 string y;...mixi
1290: 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 n SimpleConstruc
12a0: 74 6f 72 3b 0a 09 09 6d 69 78 69 6e 20 53 69 6d tor;...mixin Sim
12b0: 70 6c 65 43 6f 6d 70 61 72 65 3b 0a 09 7d 0a 09 pleCompare;..}..
12c0: 61 73 73 65 72 74 5f 65 71 28 20 6e 65 77 20 54 assert_eq( new T
12d0: 65 6d 70 28 31 2c 22 66 6f 6f 22 29 2c 20 6e 65 emp(1,"foo"), ne
12e0: 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 20 w Temp(1,"foo")
12f0: 29 3b 0a 09 61 73 73 65 72 74 5f 65 71 28 20 28 );..assert_eq( (
1300: 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 new Temp(1,"foo"
1310: 29 29 2e 74 6f 48 61 73 68 2c 20 28 6e 65 77 20 )).toHash, (new
1320: 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 29 2e 74 Temp(1,"foo")).t
1330: 6f 48 61 73 68 20 29 3b 0a 09 61 73 73 65 72 74 oHash );..assert
1340: 5f 6e 65 28 20 6e 65 77 20 54 65 6d 70 28 31 2c _ne( new Temp(1,
1350: 22 66 6f 6f 22 29 2c 20 6e 65 77 20 54 65 6d 70 "foo"), new Temp
1360: 28 32 2c 22 66 6f 6f 22 29 20 29 3b 0a 09 61 73 (2,"foo") );..as
1370: 73 65 72 74 5f 6e 65 28 20 6e 65 77 20 54 65 6d sert_ne( new Tem
1380: 70 28 31 2c 22 66 6f 6f 22 29 2c 20 6e 65 77 20 p(1,"foo"), new
1390: 54 65 6d 70 28 31 2c 22 62 61 72 22 29 20 29 3b Temp(1,"bar") );
13a0: 0a 09 61 73 73 65 72 74 5f 67 74 28 20 6e 65 77 ..assert_gt( new
13b0: 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 2c 20 Temp(1,"foo"),
13c0: 6e 65 77 20 54 65 6d 70 28 31 2c 22 62 61 72 22 new Temp(1,"bar"
13d0: 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 6c 74 28 ) );..assert_lt(
13e0: 20 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f new Temp(1,"foo
13f0: 22 29 2c 20 6e 65 77 20 54 65 6d 70 28 32 2c 22 "), new Temp(2,"
1400: 62 61 72 22 29 20 29 3b 0a 09 61 73 73 65 72 74 bar") );..assert
1410: 5f 67 65 28 20 6e 65 77 20 54 65 6d 70 28 31 2c _ge( new Temp(1,
1420: 22 66 6f 6f 22 29 2c 20 6e 65 77 20 54 65 6d 70 "foo"), new Temp
1430: 28 31 2c 22 66 6f 6f 22 29 20 29 3b 0a 0a 09 63 (1,"foo") );...c
1440: 6c 61 73 73 20 54 65 6d 70 44 75 6d 6d 79 0a 09 lass TempDummy..
1450: 7b 0a 09 09 69 6e 74 20 78 3b 0a 09 09 73 74 72 {...int x;...str
1460: 69 6e 67 20 79 3b 0a 09 09 6d 69 78 69 6e 20 53 ing y;...mixin S
1470: 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 impleConstructor
1480: 3b 0a 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 ;...mixin Simple
1490: 43 6f 6d 70 61 72 65 3b 0a 09 7d 0a 09 61 73 73 Compare;..}..ass
14a0: 65 72 74 5f 6e 65 28 20 6e 65 77 20 54 65 6d 70 ert_ne( new Temp
14b0: 28 31 2c 22 66 6f 6f 22 29 2c 20 6e 65 77 20 54 (1,"foo"), new T
14c0: 65 6d 70 44 75 6d 6d 79 28 31 2c 22 66 6f 6f 22 empDummy(1,"foo"
14d0: 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 6e 6f 74 ) );..assert_not
14e0: 68 72 6f 77 28 20 6e 65 77 20 54 65 6d 70 28 31 hrow( new Temp(1
14f0: 2c 22 66 6f 6f 22 29 20 3c 3d 20 6e 65 77 20 54 ,"foo") <= new T
1500: 65 6d 70 44 75 6d 6d 79 28 31 2c 22 66 6f 6f 22 empDummy(1,"foo"
1510: 29 20 29 3b 0a 7d 0a 0a 2f 2f 2f 20 4d 69 78 69 ) );.}../// Mixi
1520: 6e 67 2d 69 6e 20 61 20 73 69 6d 70 6c 65 20 74 ng-in a simple t
1530: 6f 53 74 72 69 6e 67 20 6d 65 74 68 6f 64 0a 0a oString method..
1540: 2f 2a 6d 69 78 69 6e 2a 2f 0a 74 65 6d 70 6c 61 /*mixin*/.templa
1550: 74 65 20 53 69 6d 70 6c 65 54 6f 53 74 72 69 6e te SimpleToStrin
1560: 67 28 29 0a 7b 0d 0a 09 2f 2f 2f 20 6d 65 6d 62 g().{.../// memb
1570: 65 72 2d 62 79 2d 6d 65 6d 62 65 72 20 74 6f 53 er-by-member toS
1580: 74 72 69 6e 67 0a 09 6f 76 65 72 72 69 64 65 20 tring..override
1590: 73 74 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 string toString(
15a0: 29 0a 09 7b 0a 09 09 73 74 72 69 6e 67 20 73 74 )..{...string st
15b0: 72 20 3d 20 73 70 72 69 6e 74 66 21 22 25 73 28 r = sprintf!"%s(
15c0: 22 28 74 79 70 65 6f 66 28 74 68 69 73 29 2e 73 "(typeof(this).s
15d0: 74 72 69 6e 67 6f 66 29 3b 0a 09 09 66 6f 72 65 tringof);...fore
15e0: 61 63 68 28 69 2c 6d 65 6d 3b 20 74 68 69 73 2e ach(i,mem; this.
15f0: 74 75 70 6c 65 6f 66 29 0a 09 09 7b 0a 09 09 09 tupleof)...{....
1600: 69 66 28 69 29 20 73 74 72 20 7e 3d 20 22 2c 22 if(i) str ~= ","
1610: 3b 0a 09 09 09 73 74 61 74 69 63 20 69 66 28 20 ;....static if(
1620: 69 73 28 74 79 70 65 6f 66 28 6d 65 6d 29 20 3d is(typeof(mem) =
1630: 3d 20 73 74 64 2e 62 69 67 69 6e 74 2e 42 69 67 = std.bigint.Big
1640: 49 6e 74 29 20 29 0a 09 09 09 09 73 74 72 20 7e Int) ).....str ~
1650: 3d 20 73 74 64 2e 62 69 67 69 6e 74 2e 74 6f 44 = std.bigint.toD
1660: 65 63 69 6d 61 6c 53 74 72 69 6e 67 28 6d 65 6d ecimalString(mem
1670: 29 3b 0a 09 09 09 65 6c 73 65 0a 09 09 09 09 73 );....else.....s
1680: 74 72 20 7e 3d 20 73 70 72 69 6e 74 66 21 22 25 tr ~= sprintf!"%
1690: 73 22 28 6d 65 6d 29 3b 0a 09 09 7d 0a 09 09 72 s"(mem);...}...r
16a0: 65 74 75 72 6e 20 73 74 72 20 7e 20 22 29 22 3b eturn str ~ ")";
16b0: 0a 09 7d 0a 7d 0a 0a 76 65 72 73 69 6f 6e 28 75 ..}.}..version(u
16c0: 6e 69 74 74 65 73 74 29 20 69 6d 70 6f 72 74 20 nittest) import
16d0: 73 74 64 2e 62 69 67 69 6e 74 3b 0a 75 6e 69 74 std.bigint;.unit
16e0: 74 65 73 74 0a 7b 0a 09 63 6c 61 73 73 20 54 65 test.{..class Te
16f0: 6d 70 0a 09 7b 0a 09 09 69 6e 74 20 78 3b 0a 09 mp..{...int x;..
1700: 09 73 74 72 69 6e 67 20 79 3b 0a 09 09 42 69 67 .string y;...Big
1710: 49 6e 74 20 7a 3b 0a 09 09 6d 69 78 69 6e 20 53 Int z;...mixin S
1720: 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 impleConstructor
1730: 3b 0a 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 ;...mixin Simple
1740: 54 6f 53 74 72 69 6e 67 3b 0a 09 7d 0a 09 61 73 ToString;..}..as
1750: 73 65 72 74 5f 65 71 28 20 28 6e 65 77 20 54 65 sert_eq( (new Te
1760: 6d 70 28 31 2c 22 66 6f 6f 22 2c 42 69 67 49 6e mp(1,"foo",BigIn
1770: 74 28 34 32 29 29 29 2e 74 6f 53 74 72 69 6e 67 t(42))).toString
1780: 28 29 2c 20 22 54 65 6d 70 28 31 2c 66 6f 6f 2c (), "Temp(1,foo,
1790: 34 32 29 22 20 29 3b 0a 7d 0a 0a 2f 2f 2f 20 45 42)" );.}../// E
17a0: 76 65 72 79 74 68 69 6e 67 20 69 73 20 69 6e 0a verything is in.
17b0: 0a 2f 2a 6d 69 78 69 6e 2a 2f 0a 74 65 6d 70 6c ./*mixin*/.templ
17c0: 61 74 65 20 53 69 6d 70 6c 65 43 6c 61 73 73 28 ate SimpleClass(
17d0: 29 0a 7b 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c ).{..mixin Simpl
17e0: 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0a 09 6d eConstructor;..m
17f0: 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6d 70 61 ixin SimpleCompa
1800: 72 65 3b 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c re;..mixin Simpl
1810: 65 54 6f 53 74 72 69 6e 67 3b 0a 7d 0a 0d 0a 2f eToString;.}.../
1820: 2f 2f 20 55 74 69 6c 69 74 79 0d 0a 0d 0a 74 65 // Utility....te
1830: 6d 70 6c 61 74 65 20 66 69 72 73 74 50 61 72 61 mplate firstPara
1840: 6d 28 54 29 0d 0a 7b 0d 0a 09 61 6c 69 61 73 20 m(T)..{...alias
1850: 50 61 72 61 6d 65 74 65 72 54 79 70 65 54 75 70 ParameterTypeTup
1860: 6c 65 21 28 54 29 5b 30 5d 20 66 69 72 73 74 50 le!(T)[0] firstP
1870: 61 72 61 6d 3b 0d 0a 7d 0d 0a aram;..}..