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 73 74 64 2e 61 72 72 ;.import std.arr
00c0: 61 79 20 20 20 20 20 20 3a 20 61 70 70 65 6e 64 ay : append
00d0: 65 72 3b 0a 69 6d 70 6f 72 74 20 73 74 64 2e 66 er;.import std.f
00e0: 6f 72 6d 61 74 20 20 20 20 20 3a 20 66 6f 72 6d ormat : form
00f0: 61 74 74 65 64 57 72 69 74 65 3b 0d 0a 69 6d 70 attedWrite;..imp
0100: 6f 72 74 20 63 6f 72 65 2e 65 78 63 65 70 74 69 ort core.excepti
0110: 6f 6e 3b 0a 69 6d 70 6f 72 74 20 73 74 64 2e 74 on;.import std.t
0120: 72 61 69 74 73 3b 0d 0a 69 6d 70 6f 72 74 20 73 raits;..import s
0130: 74 64 2e 74 79 70 65 74 75 70 6c 65 3b 0d 0a 0a td.typetuple;...
0140: 2f 2f 2f 20 53 69 6d 70 6c 65 20 57 72 61 70 70 /// Simple Wrapp
0150: 65 72 20 66 6f 72 20 73 74 64 2e 66 6f 72 6d 61 er for std.forma
0160: 74 2e 64 6f 46 6f 72 6d 61 74 0a 0a 73 74 72 69 t.doFormat..stri
0170: 6e 67 20 73 70 72 69 6e 74 66 28 73 74 72 69 6e ng sprintf(strin
0180: 67 20 66 6d 74 2c 20 54 2e 2e 2e 29 28 54 20 70 g fmt, T...)(T p
0190: 61 72 61 6d 73 29 0a 7b 0a 09 61 75 74 6f 20 77 arams).{..auto w
01a0: 72 69 74 65 72 20 3d 20 61 70 70 65 6e 64 65 72 riter = appender
01b0: 21 73 74 72 69 6e 67 28 29 3b 0a 09 66 6f 72 6d !string();..form
01c0: 61 74 74 65 64 57 72 69 74 65 28 77 72 69 74 65 attedWrite(write
01d0: 72 2c 20 66 6d 74 2c 20 70 61 72 61 6d 73 29 3b r, fmt, params);
01e0: 0a 09 72 65 74 75 72 6e 20 77 72 69 74 65 72 2e ..return writer.
01f0: 64 61 74 61 3b 0a 7d 0a 0a 75 6e 69 74 74 65 73 data;.}..unittes
0200: 74 0a 7b 0a 09 61 73 73 65 72 74 5f 65 71 28 20 t.{..assert_eq(
0210: 73 70 72 69 6e 74 66 21 22 25 73 20 3d 3d 20 25 sprintf!"%s == %
0220: 30 34 64 22 28 22 31 2b 32 22 2c 20 33 29 2c 20 04d"("1+2", 3),
0230: 22 31 2b 32 20 3d 3d 20 30 30 30 33 22 20 29 3b "1+2 == 0003" );
0240: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 73 70 ...assert_eq( sp
0250: 72 69 6e 74 66 21 22 25 32 24 73 20 3d 3d 20 25 rintf!"%2$s == %
0260: 31 24 73 22 28 22 31 2b 32 22 2c 20 35 2c 20 38 1$s"("1+2", 5, 8
0270: 29 2c 20 22 35 20 3d 3d 20 31 2b 32 22 20 29 3b ), "5 == 1+2" );
0280: 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 ...assert_throw!
0290: 45 72 72 6f 72 28 20 73 70 72 69 6e 74 66 21 22 Error( sprintf!"
02a0: 25 73 25 73 22 28 31 29 20 29 3b 0d 0a 7d 0a 0a %s%s"(1) );..}..
02b0: 2f 2f 2f 20 43 72 65 61 74 65 20 61 6e 20 65 78 /// Create an ex
02c0: 63 65 70 74 69 6f 6e 20 77 69 74 68 20 61 75 74 ception with aut
02d0: 6f 6d 61 74 69 63 61 6c 6c 79 20 63 6f 6d 70 6c omatically compl
02e0: 65 74 65 64 20 66 69 6c 65 6e 61 6d 65 20 61 6e eted filename an
02f0: 64 20 6c 69 6e 65 6e 6f 20 69 6e 66 6f 72 6d 61 d lineno informa
0300: 74 69 6f 6e 0a 0a 45 78 63 65 70 74 69 6f 6e 54 tion..ExceptionT
0310: 79 70 65 20 67 65 6e 65 78 28 45 78 63 65 70 74 ype genex(Except
0320: 69 6f 6e 54 79 70 65 2c 20 73 74 72 69 6e 67 20 ionType, string
0330: 66 6e 3d 5f 5f 46 49 4c 45 5f 5f 2c 20 69 6e 74 fn=__FILE__, int
0340: 20 6c 6e 3d 5f 5f 4c 49 4e 45 5f 5f 2c 20 54 2e ln=__LINE__, T.
0350: 2e 2e 29 28 54 20 70 61 72 61 6d 73 29 0a 7b 0a ..)(T params).{.
0360: 09 73 74 61 74 69 63 20 69 66 28 20 54 2e 6c 65 .static if( T.le
0370: 6e 67 74 68 20 3e 20 30 20 26 26 20 69 73 28 54 ngth > 0 && is(T
0380: 5b 24 2d 31 5d 20 3a 20 54 68 72 6f 77 61 62 6c [$-1] : Throwabl
0390: 65 29 20 29 0a 09 09 72 65 74 75 72 6e 20 6e 65 e) )...return ne
03a0: 77 20 45 78 63 65 70 74 69 6f 6e 54 79 70 65 28 w ExceptionType(
03b0: 70 61 72 61 6d 73 5b 30 2e 2e 24 2d 31 5d 2c 20 params[0..$-1],
03c0: 66 6e 2c 20 6c 6e 2c 20 70 61 72 61 6d 73 5b 24 fn, ln, params[$
03d0: 2d 31 5d 29 3b 0a 09 65 6c 73 65 0a 09 09 72 65 -1]);..else...re
03e0: 74 75 72 6e 20 6e 65 77 20 45 78 63 65 70 74 69 turn new Excepti
03f0: 6f 6e 54 79 70 65 28 70 61 72 61 6d 73 2c 20 66 onType(params, f
0400: 6e 2c 20 6c 6e 29 3b 0a 7d 0a 0a 75 6e 69 74 74 n, ln);.}..unitt
0410: 65 73 74 0a 7b 0a 09 61 73 73 65 72 74 5f 6e 65 est.{..assert_ne
0420: 28 20 67 65 6e 65 78 21 45 78 63 65 70 74 69 6f ( genex!Exceptio
0430: 6e 28 22 6d 73 67 22 29 2e 66 69 6c 65 2c 20 22 n("msg").file, "
0440: 22 20 29 3b 0a 09 61 73 73 65 72 74 5f 6e 65 28 " );..assert_ne(
0450: 20 67 65 6e 65 78 21 45 78 63 65 70 74 69 6f 6e genex!Exception
0460: 28 22 6d 73 67 22 29 2e 6c 69 6e 65 2c 20 30 20 ("msg").line, 0
0470: 29 3b 0a 09 61 73 73 65 72 74 5f 6e 65 28 20 67 );..assert_ne( g
0480: 65 6e 65 78 21 45 78 63 65 70 74 69 6f 6e 28 22 enex!Exception("
0490: 6d 73 67 22 2c 6e 65 77 20 45 78 63 65 70 74 69 msg",new Excepti
04a0: 6f 6e 28 22 62 61 72 22 29 29 2e 6e 65 78 74 2c on("bar")).next,
04b0: 20 45 78 63 65 70 74 69 6f 6e 2e 69 6e 69 74 20 Exception.init
04c0: 29 3b 0a 7d 0a 0a 2f 2f 2f 20 4d 69 78 69 6e 67 );.}../// Mixing
04d0: 2d 69 6e 20 74 68 65 20 62 65 61 6e 20 63 6f 6e -in the bean con
04e0: 73 74 72 75 63 74 6f 72 20 66 6f 72 20 61 20 63 structor for a c
04f0: 6c 61 73 73 0a 0a 2f 2a 6d 69 78 69 6e 2a 2f 0a lass../*mixin*/.
0500: 74 65 6d 70 6c 61 74 65 20 53 69 6d 70 6c 65 43 template SimpleC
0510: 6f 6e 73 74 72 75 63 74 6f 72 28 29 0a 7b 0a 09 onstructor().{..
0520: 2f 2f 2f 20 6d 65 6d 62 65 72 2d 62 79 2d 6d 65 /// member-by-me
0530: 6d 62 65 72 20 63 6f 6e 73 74 72 75 63 74 6f 72 mber constructor
0540: 0d 0a 09 73 74 61 74 69 63 20 69 66 28 20 69 73 ...static if( is
0550: 28 74 79 70 65 6f 66 28 73 75 70 65 72 29 20 3d (typeof(super) =
0560: 3d 20 4f 62 6a 65 63 74 29 20 7c 7c 20 73 75 70 = Object) || sup
0570: 65 72 2e 74 75 70 6c 65 6f 66 2e 6c 65 6e 67 74 er.tupleof.lengt
0580: 68 3d 3d 30 20 29 0a 09 09 74 68 69 73 28 20 74 h==0 )...this( t
0590: 79 70 65 6f 66 28 74 68 69 73 2e 74 75 70 6c 65 ypeof(this.tuple
05a0: 6f 66 29 20 70 61 72 61 6d 73 20 29 0a 09 09 7b of) params )...{
05b0: 0a 09 09 09 73 74 61 74 69 63 20 69 66 28 74 68 ....static if(th
05c0: 69 73 2e 74 75 70 6c 65 6f 66 2e 6c 65 6e 67 74 is.tupleof.lengt
05d0: 68 3e 30 29 0a 09 09 09 09 74 68 69 73 2e 74 75 h>0).....this.tu
05e0: 70 6c 65 6f 66 20 3d 20 70 61 72 61 6d 73 3b 0a pleof = params;.
05f0: 09 09 7d 0a 09 65 6c 73 65 0a 09 09 74 68 69 73 ..}..else...this
0600: 28 20 74 79 70 65 6f 66 28 73 75 70 65 72 2e 74 ( typeof(super.t
0610: 75 70 6c 65 6f 66 29 20 70 73 2c 20 74 79 70 65 upleof) ps, type
0620: 6f 66 28 74 68 69 73 2e 74 75 70 6c 65 6f 66 29 of(this.tupleof)
0630: 20 70 61 72 61 6d 73 20 29 0a 09 09 7b 0a 09 09 params )...{...
0640: 09 2f 2f 20 69 6e 63 6c 75 64 69 6e 67 20 28 6f .// including (o
0650: 6e 6c 79 29 20 74 68 65 20 64 69 72 65 63 74 20 nly) the direct
0660: 73 75 70 65 72 20 63 6c 61 73 73 20 6d 65 6d 62 super class memb
0670: 65 72 73 0a 09 09 09 2f 2f 20 6d 61 79 20 6e 6f ers....// may no
0680: 74 20 61 6c 77 61 79 73 20 62 65 20 61 20 64 65 t always be a de
0690: 73 69 72 61 62 6c 65 20 63 68 6f 69 63 65 2c 20 sirable choice,
06a0: 62 75 74 20 73 68 6f 75 6c 64 20 77 6f 72 6b 20 but should work
06b0: 66 6f 72 20 6d 61 6e 79 20 63 61 73 65 73 0a 09 for many cases..
06c0: 09 09 73 75 70 65 72 28 70 73 29 3b 0a 09 09 09 ..super(ps);....
06d0: 73 74 61 74 69 63 20 69 66 28 74 68 69 73 2e 74 static if(this.t
06e0: 75 70 6c 65 6f 66 2e 6c 65 6e 67 74 68 3e 30 29 upleof.length>0)
06f0: 0a 09 09 09 09 74 68 69 73 2e 74 75 70 6c 65 6f .....this.tupleo
0700: 66 20 3d 20 70 61 72 61 6d 73 3b 0a 09 09 7d 0a f = params;...}.
0710: 7d 0a 0a 75 6e 69 74 74 65 73 74 0a 7b 0a 09 63 }..unittest.{..c
0720: 6c 61 73 73 20 54 65 6d 70 0a 09 7b 0a 09 09 69 lass Temp..{...i
0730: 6e 74 20 78 3b 0a 09 09 73 74 72 69 6e 67 20 79 nt x;...string y
0740: 3b 0a 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 ;...mixin Simple
0750: 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0a 09 7d 0a Constructor;..}.
0760: 09 61 73 73 65 72 74 5f 65 71 28 20 28 6e 65 77 .assert_eq( (new
0770: 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 29 2e Temp(1,"foo")).
0780: 78 2c 20 31 20 29 3b 0a 09 61 73 73 65 72 74 5f x, 1 );..assert_
0790: 65 71 28 20 28 6e 65 77 20 54 65 6d 70 28 31 2c eq( (new Temp(1,
07a0: 22 66 6f 6f 22 29 29 2e 79 2c 20 22 66 6f 6f 22 "foo")).y, "foo"
07b0: 20 29 3b 0a 09 61 73 73 65 72 74 28 20 21 5f 5f );..assert( !__
07c0: 74 72 61 69 74 73 28 63 6f 6d 70 69 6c 65 73 2c traits(compiles,
07d0: 20 6e 65 77 20 54 65 6d 70 29 20 29 3b 0a 09 61 new Temp) );..a
07e0: 73 73 65 72 74 28 20 21 5f 5f 74 72 61 69 74 73 ssert( !__traits
07f0: 28 63 6f 6d 70 69 6c 65 73 2c 20 6e 65 77 20 54 (compiles, new T
0800: 65 6d 70 28 31 29 29 20 29 3b 0a 09 61 73 73 65 emp(1)) );..asse
0810: 72 74 28 20 21 5f 5f 74 72 61 69 74 73 28 63 6f rt( !__traits(co
0820: 6d 70 69 6c 65 73 2c 20 6e 65 77 20 54 65 6d 70 mpiles, new Temp
0830: 28 22 66 6f 6f 22 2c 31 29 29 20 29 3b 0a 0a 09 ("foo",1)) );...
0840: 63 6c 61 73 73 20 54 6f 6d 70 20 3a 20 54 65 6d class Tomp : Tem
0850: 70 0a 09 7b 0a 09 09 72 65 61 6c 20 7a 3b 0a 09 p..{...real z;..
0860: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6e .mixin SimpleCon
0870: 73 74 72 75 63 74 6f 72 3b 0a 09 7d 0a 09 61 73 structor;..}..as
0880: 73 65 72 74 5f 65 71 28 20 28 6e 65 77 20 54 6f sert_eq( (new To
0890: 6d 70 28 31 2c 22 66 6f 6f 22 2c 32 2e 35 29 29 mp(1,"foo",2.5))
08a0: 2e 78 2c 20 31 20 29 3b 0a 09 61 73 73 65 72 74 .x, 1 );..assert
08b0: 5f 65 71 28 20 28 6e 65 77 20 54 6f 6d 70 28 31 _eq( (new Tomp(1
08c0: 2c 22 66 6f 6f 22 2c 32 2e 35 29 29 2e 79 2c 20 ,"foo",2.5)).y,
08d0: 22 66 6f 6f 22 20 29 3b 0a 09 61 73 73 65 72 74 "foo" );..assert
08e0: 5f 65 71 28 20 28 6e 65 77 20 54 6f 6d 70 28 31 _eq( (new Tomp(1
08f0: 2c 22 66 6f 6f 22 2c 32 2e 35 29 29 2e 7a 2c 20 ,"foo",2.5)).z,
0900: 32 2e 35 20 29 3b 0a 09 61 73 73 65 72 74 28 20 2.5 );..assert(
0910: 21 5f 5f 74 72 61 69 74 73 28 63 6f 6d 70 69 6c !__traits(compil
0920: 65 73 2c 20 6e 65 77 20 54 6f 6d 70 28 33 2e 31 es, new Tomp(3.1
0930: 34 29 29 20 29 3b 0a 0a 09 2f 2f 20 73 68 69 79 4)) );...// shiy
0940: 6f 2d 20 64 65 73 75 2e 20 44 6f 6e 27 74 20 75 o- desu. Don't u
0950: 73 65 20 69 6e 20 74 68 69 73 20 77 61 79 2e 0a se in this way..
0960: 09 2f 2f 20 20 20 54 61 6d 70 20 74 72 69 65 73 .// Tamp tries
0970: 20 74 6f 20 63 61 6c 6c 20 6e 65 77 20 54 6f 6d to call new Tom
0980: 70 28 72 65 61 6c 29 20 28 62 65 63 61 75 73 65 p(real) (because
0990: 20 69 74 20 6f 6e 6c 79 20 73 65 65 73 20 54 6f it only sees To
09a0: 6d 70 27 73 20 6d 65 6d 62 65 72 73 29 2c 0a 09 mp's members),..
09b0: 2f 2f 20 20 20 62 75 74 20 69 74 20 66 61 69 6c // but it fail
09c0: 73 20 62 65 63 61 75 73 65 20 54 6f 6d 70 20 74 s because Tomp t
09d0: 61 6b 65 73 20 28 69 6e 74 2c 73 74 72 69 6e 67 akes (int,string
09e0: 2c 72 65 61 6c 29 2e 0a 09 61 73 73 65 72 74 28 ,real)...assert(
09f0: 20 21 5f 5f 74 72 61 69 74 73 28 63 6f 6d 70 69 !__traits(compi
0a00: 6c 65 73 2c 20 7b 0a 09 09 63 6c 61 73 73 20 54 les, {...class T
0a10: 61 6d 70 20 3a 20 54 6f 6d 70 20 7b 20 6d 69 78 amp : Tomp { mix
0a20: 69 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 in SimpleConstru
0a30: 63 74 6f 72 3b 20 7d 0a 09 7d 29 20 29 3b 0a 7d ctor; }..}) );.}
0a40: 0a 0a 2f 2f 2f 20 4d 69 78 69 6e 67 2d 69 6e 20 ../// Mixing-in
0a50: 74 68 65 20 4d 4f 53 54 2d 44 45 52 49 56 45 44 the MOST-DERIVED
0a60: 2d 6d 65 6d 62 65 72 2d 77 69 73 65 20 63 6f 6d -member-wise com
0a70: 70 61 72 61 74 6f 72 20 66 6f 72 20 61 20 63 6c parator for a cl
0a80: 61 73 73 0a 0a 2f 2a 6d 69 78 69 6e 2a 2f 0a 74 ass../*mixin*/.t
0a90: 65 6d 70 6c 61 74 65 20 53 69 6d 70 6c 65 43 6f emplate SimpleCo
0aa0: 6d 70 61 72 65 28 29 0a 7b 0a 09 6f 76 65 72 72 mpare().{..overr
0ab0: 69 64 65 20 62 6f 6f 6c 20 6f 70 45 71 75 61 6c ide bool opEqual
0ac0: 73 28 4f 62 6a 65 63 74 20 72 68 73 5f 29 20 63 s(Object rhs_) c
0ad0: 6f 6e 73 74 20 2f 2f 2f 20 6d 65 6d 62 65 72 2d onst /// member-
0ae0: 62 79 2d 6d 65 6d 62 65 72 20 65 71 75 61 6c 69 by-member equali
0af0: 74 79 0a 09 7b 0a 09 09 69 66 28 20 61 75 74 6f ty..{...if( auto
0b00: 20 72 68 73 20 3d 20 63 61 73 74 28 74 79 70 65 rhs = cast(type
0b10: 6f 66 28 74 68 69 73 29 29 72 68 73 5f 20 29 0a of(this))rhs_ ).
0b20: 09 09 7b 0a 09 09 09 66 6f 72 65 61 63 68 28 69 ..{....foreach(i
0b30: 2c 5f 3b 20 74 68 69 73 2e 74 75 70 6c 65 6f 66 ,_; this.tupleof
0b40: 29 0a 09 09 09 09 69 66 28 20 74 68 69 73 2e 74 ).....if( this.t
0b50: 75 70 6c 65 6f 66 5b 69 5d 20 21 3d 20 72 68 73 upleof[i] != rhs
0b60: 2e 74 75 70 6c 65 6f 66 5b 69 5d 20 29 0a 09 09 .tupleof[i] )...
0b70: 09 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b ...return false;
0b80: 0a 09 09 09 72 65 74 75 72 6e 20 74 72 75 65 3b ....return true;
0b90: 0a 09 09 7d 0a 09 09 61 73 73 65 72 74 28 66 61 ...}...assert(fa
0ba0: 6c 73 65 2c 20 73 70 72 69 6e 74 66 21 22 43 61 lse, sprintf!"Ca
0bb0: 6e 6e 6f 74 20 63 6f 6d 70 61 72 65 20 25 73 20 nnot compare %s
0bc0: 77 69 74 68 20 25 73 22 28 74 79 70 65 69 64 28 with %s"(typeid(
0bd0: 74 68 69 73 29 2c 20 74 79 70 65 69 64 28 72 68 this), typeid(rh
0be0: 73 5f 29 29 29 3b 0a 09 7d 0a 0a 09 6f 76 65 72 s_)));..}...over
0bf0: 72 69 64 65 20 68 61 73 68 5f 74 20 74 6f 48 61 ride hash_t toHa
0c00: 73 68 28 29 20 63 6f 6e 73 74 20 2f 2f 2f 20 6d sh() const /// m
0c10: 65 6d 62 65 72 2d 62 79 2d 6d 65 6d 62 65 72 20 ember-by-member
0c20: 68 61 73 68 0a 09 7b 0a 09 09 68 61 73 68 5f 74 hash..{...hash_t
0c30: 20 68 20 3d 20 30 3b 0a 09 09 66 6f 72 65 61 63 h = 0;...foreac
0c40: 68 28 6d 65 6d 3b 20 74 68 69 73 2e 74 75 70 6c h(mem; this.tupl
0c50: 65 6f 66 29 0a 09 09 09 68 20 2b 3d 20 74 79 70 eof)....h += typ
0c60: 65 69 64 28 6d 65 6d 29 2e 67 65 74 48 61 73 68 eid(mem).getHash
0c70: 28 26 6d 65 6d 29 3b 0a 09 09 72 65 74 75 72 6e (&mem);...return
0c80: 20 68 3b 0a 09 7d 0a 0a 09 6f 76 65 72 72 69 64 h;..}...overrid
0c90: 65 20 69 6e 74 20 6f 70 43 6d 70 28 4f 62 6a 65 e int opCmp(Obje
0ca0: 63 74 20 72 68 73 5f 29 20 63 6f 6e 73 74 20 2f ct rhs_) const /
0cb0: 2f 2f 20 6d 65 6d 62 65 72 2d 62 79 2d 6d 65 6d // member-by-mem
0cc0: 62 65 72 20 63 6f 6d 70 61 72 65 0a 09 7b 0a 09 ber compare..{..
0cd0: 09 69 66 28 20 61 75 74 6f 20 72 68 73 20 3d 20 .if( auto rhs =
0ce0: 63 61 73 74 28 74 79 70 65 6f 66 28 74 68 69 73 cast(typeof(this
0cf0: 29 29 72 68 73 5f 20 29 0a 09 09 7b 0a 09 09 09 ))rhs_ )...{....
0d00: 66 6f 72 65 61 63 68 28 69 2c 5f 3b 20 74 68 69 foreach(i,_; thi
0d10: 73 2e 74 75 70 6c 65 6f 66 29 0a 09 09 09 09 69 s.tupleof).....i
0d20: 66 28 61 75 74 6f 20 63 20 3d 20 74 79 70 65 69 f(auto c = typei
0d30: 64 28 5f 29 2e 63 6f 6d 70 61 72 65 28 26 74 68 d(_).compare(&th
0d40: 69 73 2e 74 75 70 6c 65 6f 66 5b 69 5d 2c 26 72 is.tupleof[i],&r
0d50: 68 73 2e 74 75 70 6c 65 6f 66 5b 69 5d 29 29 0a hs.tupleof[i])).
0d60: 09 09 09 09 09 72 65 74 75 72 6e 20 63 3b 0a 09 .....return c;..
0d70: 09 09 72 65 74 75 72 6e 20 30 3b 0a 09 09 7d 0a ..return 0;...}.
0d80: 09 09 61 73 73 65 72 74 28 66 61 6c 73 65 2c 20 ..assert(false,
0d90: 73 70 72 69 6e 74 66 21 22 43 61 6e 6e 6f 74 20 sprintf!"Cannot
0da0: 63 6f 6d 70 61 72 65 20 25 73 20 77 69 74 68 20 compare %s with
0db0: 25 73 22 28 74 79 70 65 69 64 28 74 68 69 73 29 %s"(typeid(this)
0dc0: 2c 20 74 79 70 65 69 64 28 72 68 73 5f 29 29 29 , typeid(rhs_)))
0dd0: 3b 0a 09 7d 0a 7d 0a 0a 75 6e 69 74 74 65 73 74 ;..}.}..unittest
0de0: 0a 7b 0a 09 63 6c 61 73 73 20 54 65 6d 70 0a 09 .{..class Temp..
0df0: 7b 0a 09 09 69 6e 74 20 78 3b 0a 09 09 73 74 72 {...int x;...str
0e00: 69 6e 67 20 79 3b 0a 09 09 6d 69 78 69 6e 20 53 ing y;...mixin S
0e10: 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 impleConstructor
0e20: 3b 0a 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 ;...mixin Simple
0e30: 43 6f 6d 70 61 72 65 3b 0a 09 7d 0a 09 61 73 73 Compare;..}..ass
0e40: 65 72 74 5f 65 71 28 20 6e 65 77 20 54 65 6d 70 ert_eq( new Temp
0e50: 28 31 2c 22 66 6f 6f 22 29 2c 20 6e 65 77 20 54 (1,"foo"), new T
0e60: 65 6d 70 28 31 2c 22 66 6f 6f 22 29 20 29 3b 0a emp(1,"foo") );.
0e70: 09 61 73 73 65 72 74 5f 65 71 28 20 28 6e 65 77 .assert_eq( (new
0e80: 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 29 2e Temp(1,"foo")).
0e90: 74 6f 48 61 73 68 2c 20 28 6e 65 77 20 54 65 6d toHash, (new Tem
0ea0: 70 28 31 2c 22 66 6f 6f 22 29 29 2e 74 6f 48 61 p(1,"foo")).toHa
0eb0: 73 68 20 29 3b 0a 09 61 73 73 65 72 74 5f 6e 65 sh );..assert_ne
0ec0: 28 20 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 6f ( new Temp(1,"fo
0ed0: 6f 22 29 2c 20 6e 65 77 20 54 65 6d 70 28 32 2c o"), new Temp(2,
0ee0: 22 66 6f 6f 22 29 20 29 3b 0a 09 61 73 73 65 72 "foo") );..asser
0ef0: 74 5f 6e 65 28 20 6e 65 77 20 54 65 6d 70 28 31 t_ne( new Temp(1
0f00: 2c 22 66 6f 6f 22 29 2c 20 6e 65 77 20 54 65 6d ,"foo"), new Tem
0f10: 70 28 31 2c 22 62 61 72 22 29 20 29 3b 0a 09 61 p(1,"bar") );..a
0f20: 73 73 65 72 74 5f 67 74 28 20 6e 65 77 20 54 65 ssert_gt( new Te
0f30: 6d 70 28 31 2c 22 66 6f 6f 22 29 2c 20 6e 65 77 mp(1,"foo"), new
0f40: 20 54 65 6d 70 28 31 2c 22 62 61 72 22 29 20 29 Temp(1,"bar") )
0f50: 3b 0a 09 61 73 73 65 72 74 5f 6c 74 28 20 6e 65 ;..assert_lt( ne
0f60: 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 2c w Temp(1,"foo"),
0f70: 20 6e 65 77 20 54 65 6d 70 28 32 2c 22 62 61 72 new Temp(2,"bar
0f80: 22 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 67 65 ") );..assert_ge
0f90: 28 20 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 6f ( new Temp(1,"fo
0fa0: 6f 22 29 2c 20 6e 65 77 20 54 65 6d 70 28 31 2c o"), new Temp(1,
0fb0: 22 66 6f 6f 22 29 20 29 3b 0a 0a 09 63 6c 61 73 "foo") );...clas
0fc0: 73 20 54 65 6d 70 44 75 6d 6d 79 0a 09 7b 0a 09 s TempDummy..{..
0fd0: 09 69 6e 74 20 78 3b 0a 09 09 73 74 72 69 6e 67 .int x;...string
0fe0: 20 79 3b 0a 09 09 6d 69 78 69 6e 20 53 69 6d 70 y;...mixin Simp
0ff0: 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0a 09 leConstructor;..
1000: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6d .mixin SimpleCom
1010: 70 61 72 65 3b 0a 09 7d 0a 09 61 73 73 65 72 74 pare;..}..assert
1020: 5f 74 68 72 6f 77 21 41 73 73 65 72 74 45 72 72 _throw!AssertErr
1030: 6f 72 28 20 6e 65 77 20 54 65 6d 70 28 31 2c 22 or( new Temp(1,"
1040: 66 6f 6f 22 29 20 3d 3d 20 6e 65 77 20 54 65 6d foo") == new Tem
1050: 70 44 75 6d 6d 79 28 31 2c 22 66 6f 6f 22 29 20 pDummy(1,"foo")
1060: 29 3b 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 );..assert_throw
1070: 21 41 73 73 65 72 74 45 72 72 6f 72 28 20 6e 65 !AssertError( ne
1080: 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 20 w Temp(1,"foo")
1090: 3c 3d 20 6e 65 77 20 54 65 6d 70 44 75 6d 6d 79 <= new TempDummy
10a0: 28 31 2c 22 66 6f 6f 22 29 20 29 3b 0a 7d 0a 0a (1,"foo") );.}..
10b0: 2f 2f 2f 20 4d 69 78 69 6e 67 2d 69 6e 20 61 20 /// Mixing-in a
10c0: 73 69 6d 70 6c 65 20 74 6f 53 74 72 69 6e 67 20 simple toString
10d0: 6d 65 74 68 6f 64 0a 0a 2f 2a 6d 69 78 69 6e 2a method../*mixin*
10e0: 2f 0a 74 65 6d 70 6c 61 74 65 20 53 69 6d 70 6c /.template Simpl
10f0: 65 54 6f 53 74 72 69 6e 67 28 29 0a 7b 0d 0a 09 eToString().{...
1100: 2f 2f 2f 20 6d 65 6d 62 65 72 2d 62 79 2d 6d 65 /// member-by-me
1110: 6d 62 65 72 20 74 6f 53 74 72 69 6e 67 0a 09 6f mber toString..o
1120: 76 65 72 72 69 64 65 20 73 74 72 69 6e 67 20 74 verride string t
1130: 6f 53 74 72 69 6e 67 28 29 0a 09 7b 0a 09 09 73 oString()..{...s
1140: 74 72 69 6e 67 20 73 74 72 20 3d 20 73 70 72 69 tring str = spri
1150: 6e 74 66 21 22 25 73 28 22 28 74 79 70 65 6f 66 ntf!"%s("(typeof
1160: 28 74 68 69 73 29 2e 73 74 72 69 6e 67 6f 66 29 (this).stringof)
1170: 3b 0a 09 09 66 6f 72 65 61 63 68 28 69 2c 6d 65 ;...foreach(i,me
1180: 6d 3b 20 74 68 69 73 2e 74 75 70 6c 65 6f 66 29 m; this.tupleof)
1190: 0a 09 09 7b 0a 09 09 09 69 66 28 69 29 20 73 74 ...{....if(i) st
11a0: 72 20 7e 3d 20 22 2c 22 3b 0a 09 09 09 73 74 61 r ~= ",";....sta
11b0: 74 69 63 20 69 66 28 20 69 73 28 74 79 70 65 6f tic if( is(typeo
11c0: 66 28 6d 65 6d 29 20 3d 3d 20 73 74 64 2e 62 69 f(mem) == std.bi
11d0: 67 69 6e 74 2e 42 69 67 49 6e 74 29 20 29 0a 09 gint.BigInt) )..
11e0: 09 09 09 73 74 72 20 7e 3d 20 73 74 64 2e 62 69 ...str ~= std.bi
11f0: 67 69 6e 74 2e 74 6f 44 65 63 69 6d 61 6c 53 74 gint.toDecimalSt
1200: 72 69 6e 67 28 6d 65 6d 29 3b 0a 09 09 09 65 6c ring(mem);....el
1210: 73 65 0a 09 09 09 09 73 74 72 20 7e 3d 20 73 70 se.....str ~= sp
1220: 72 69 6e 74 66 21 22 25 73 22 28 6d 65 6d 29 3b rintf!"%s"(mem);
1230: 0a 09 09 7d 0a 09 09 72 65 74 75 72 6e 20 73 74 ...}...return st
1240: 72 20 7e 20 22 29 22 3b 0a 09 7d 0a 7d 0a 0a 76 r ~ ")";..}.}..v
1250: 65 72 73 69 6f 6e 28 75 6e 69 74 74 65 73 74 29 ersion(unittest)
1260: 20 69 6d 70 6f 72 74 20 73 74 64 2e 62 69 67 69 import std.bigi
1270: 6e 74 3b 0a 75 6e 69 74 74 65 73 74 0a 7b 0a 09 nt;.unittest.{..
1280: 63 6c 61 73 73 20 54 65 6d 70 0a 09 7b 0a 09 09 class Temp..{...
1290: 69 6e 74 20 78 3b 0a 09 09 73 74 72 69 6e 67 20 int x;...string
12a0: 79 3b 0a 09 09 42 69 67 49 6e 74 20 7a 3b 0a 09 y;...BigInt z;..
12b0: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6e .mixin SimpleCon
12c0: 73 74 72 75 63 74 6f 72 3b 0a 09 09 6d 69 78 69 structor;...mixi
12d0: 6e 20 53 69 6d 70 6c 65 54 6f 53 74 72 69 6e 67 n SimpleToString
12e0: 3b 0a 09 7d 0a 09 61 73 73 65 72 74 5f 65 71 28 ;..}..assert_eq(
12f0: 20 28 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 6f (new Temp(1,"fo
1300: 6f 22 2c 42 69 67 49 6e 74 28 34 32 29 29 29 2e o",BigInt(42))).
1310: 74 6f 53 74 72 69 6e 67 28 29 2c 20 22 54 65 6d toString(), "Tem
1320: 70 28 31 2c 66 6f 6f 2c 34 32 29 22 20 29 3b 0a p(1,foo,42)" );.
1330: 7d 0a 0a 2f 2f 2f 20 45 76 65 72 79 74 68 69 6e }../// Everythin
1340: 67 20 69 73 20 69 6e 0a 0a 2f 2a 6d 69 78 69 6e g is in../*mixin
1350: 2a 2f 0a 74 65 6d 70 6c 61 74 65 20 53 69 6d 70 */.template Simp
1360: 6c 65 43 6c 61 73 73 28 29 0a 7b 0a 09 6d 69 78 leClass().{..mix
1370: 69 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 in SimpleConstru
1380: 63 74 6f 72 3b 0a 09 6d 69 78 69 6e 20 53 69 6d ctor;..mixin Sim
1390: 70 6c 65 43 6f 6d 70 61 72 65 3b 0a 09 6d 69 78 pleCompare;..mix
13a0: 69 6e 20 53 69 6d 70 6c 65 54 6f 53 74 72 69 6e in SimpleToStrin
13b0: 67 3b 0a 7d 0a 0d 0a 2f 2f 2f 20 53 69 6d 70 6c g;.}.../// Simpl
13c0: 65 20 50 61 74 74 65 72 6e 4d 61 74 63 68 65 72 e PatternMatcher
13d0: 0d 0a 0d 0a 2f 2a 6d 69 78 69 6e 2a 2f 0d 0a 74 ..../*mixin*/..t
13e0: 65 6d 70 6c 61 74 65 20 53 69 6d 70 6c 65 50 61 emplate SimplePa
13f0: 74 74 65 72 6e 4d 61 74 63 68 28 29 0d 0a 7b 0d tternMatch()..{.
1400: 0a 09 53 50 4d 5f 52 65 74 75 72 6e 21 28 50 50 ..SPM_Return!(PP
1410: 29 20 6d 61 74 63 68 28 73 74 72 69 6e 67 20 66 ) match(string f
1420: 6e 3d 5f 5f 46 49 4c 45 5f 5f 2c 20 73 69 7a 65 n=__FILE__, size
1430: 5f 74 20 6c 6e 3d 5f 5f 4c 49 4e 45 5f 5f 2c 20 _t ln=__LINE__,
1440: 50 50 2e 2e 2e 29 28 50 50 20 70 74 73 29 0d 0a PP...)(PP pts)..
1450: 09 7b 0d 0a 09 09 66 6f 72 65 61 63 68 28 69 2c .{....foreach(i,
1460: 5f 3b 20 70 74 73 29 0d 0a 09 09 7b 0d 0a 09 09 _; pts)....{....
1470: 09 61 6c 69 61 73 20 70 74 73 5b 69 5d 20 70 74 .alias pts[i] pt
1480: 3b 20 2f 2f 20 62 75 67 3f 20 70 74 73 5b 69 5d ; // bug? pts[i]
1490: 2d 2d 3e 70 74 20 64 6f 20 6e 6f 74 20 77 6f 72 -->pt do not wor
14a0: 6b 0d 0a 09 09 09 73 74 61 74 69 63 20 69 66 28 k.....static if(
14b0: 5f 5f 74 72 61 69 74 73 28 63 6f 6d 70 69 6c 65 __traits(compile
14c0: 73 2c 20 53 50 4d 5f 69 73 4d 61 74 63 68 54 61 s, SPM_isMatchTa
14d0: 67 28 70 74 29 29 29 0d 0a 09 09 09 7b 0d 0a 09 g(pt))).....{...
14e0: 09 09 09 69 66 28 20 61 75 74 6f 20 76 20 3d 20 ...if( auto v =
14f0: 63 61 73 74 28 70 74 2e 64 79 6e 61 6d 69 63 54 cast(pt.dynamicT
1500: 79 70 65 29 74 68 69 73 20 29 0d 0a 09 09 09 09 ype)this )......
1510: 09 72 65 74 75 72 6e 20 70 74 28 76 2e 74 75 70 .return pt(v.tup
1520: 6c 65 6f 66 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 leof);.....}....
1530: 09 65 6c 73 65 0d 0a 09 09 09 73 74 61 74 69 63 .else.....static
1540: 20 69 66 28 5f 5f 74 72 61 69 74 73 28 63 6f 6d if(__traits(com
1550: 70 69 6c 65 73 2c 20 53 50 4d 5f 69 73 4d 61 74 piles, SPM_isMat
1560: 63 68 41 6e 79 28 70 74 29 29 29 0d 0a 09 09 09 chAny(pt))).....
1570: 7b 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 70 74 {......return pt
1580: 28 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 65 6c ();.....}.....el
1590: 73 65 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 69 66 se.....{......if
15a0: 28 20 61 75 74 6f 20 76 20 3d 20 63 61 73 74 28 ( auto v = cast(
15b0: 53 50 4d 5f 50 54 54 21 28 70 74 29 5b 30 5d 29 SPM_PTT!(pt)[0])
15c0: 74 68 69 73 20 29 0d 0a 09 09 09 09 09 72 65 74 this ).......ret
15d0: 75 72 6e 20 70 74 28 76 29 3b 0d 0a 09 09 09 7d urn pt(v);.....}
15e0: 0d 0a 09 09 7d 0d 0a 09 09 53 50 4d 5f 74 68 72 ....}....SPM_thr
15f0: 6f 77 41 73 73 65 72 74 45 72 72 6f 72 28 66 6e owAssertError(fn
1600: 2c 20 6c 6e 2c 20 22 70 61 74 74 65 72 6e 20 6d , ln, "pattern m
1610: 61 74 63 68 69 6e 67 20 66 61 69 6c 75 72 65 22 atching failure"
1620: 29 3b 0d 0a 09 09 61 73 73 65 72 74 28 66 61 6c );....assert(fal
1630: 73 65 29 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 2f se);...}..}..../
1640: 2f 2f 20 50 61 74 74 65 72 6e 20 63 61 73 65 20 // Pattern case
1650: 63 6c 61 75 73 65 0d 0a 0d 0a 53 50 4d 5f 4d 61 clause....SPM_Ma
1660: 74 63 68 54 61 67 21 28 54 2c 20 66 6e 29 20 77 tchTag!(T, fn) w
1670: 68 65 6e 28 54 2c 20 61 6c 69 61 73 20 66 6e 29 hen(T, alias fn)
1680: 28 29 0d 0a 7b 0d 0a 09 53 50 4d 5f 4d 61 74 63 ()..{...SPM_Matc
1690: 68 54 61 67 21 28 54 2c 20 66 6e 29 20 6d 3b 0d hTag!(T, fn) m;.
16a0: 0a 09 72 65 74 75 72 6e 20 6d 3b 0d 0a 7d 0d 0a ..return m;..}..
16b0: 0d 0a 2f 2f 2f 20 50 61 74 74 65 72 6e 20 63 61 ../// Pattern ca
16c0: 73 65 20 63 6c 61 75 73 65 0d 0a 0d 0a 53 50 4d se clause....SPM
16d0: 5f 4d 61 74 63 68 41 6e 79 21 28 66 6e 29 20 6f _MatchAny!(fn) o
16e0: 74 68 65 72 77 69 73 65 28 61 6c 69 61 73 20 66 therwise(alias f
16f0: 6e 29 28 29 0d 0a 7b 0d 0a 09 53 50 4d 5f 4d 61 n)()..{...SPM_Ma
1700: 74 63 68 41 6e 79 21 28 66 6e 29 20 6d 3b 0d 0a tchAny!(fn) m;..
1710: 09 72 65 74 75 72 6e 20 6d 3b 0d 0a 7d 0d 0a 0d .return m;..}...
1720: 0a 2f 2f 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 .// implementati
1730: 6f 6e 20 64 65 74 61 69 6c 20 6f 66 20 53 69 6d on detail of Sim
1740: 70 6c 65 50 61 74 74 65 72 6e 4d 61 74 63 68 0d plePatternMatch.
1750: 0a 0d 0a 76 6f 69 64 20 53 50 4d 5f 74 68 72 6f ...void SPM_thro
1760: 77 41 73 73 65 72 74 45 72 72 6f 72 28 54 2e 2e wAssertError(T..
1770: 2e 29 28 54 20 74 29 20 7b 20 63 6f 72 65 2e 65 .)(T t) { core.e
1780: 78 63 65 70 74 69 6f 6e 2e 6f 6e 41 73 73 65 72 xception.onAsser
1790: 74 45 72 72 6f 72 4d 73 67 28 74 29 3b 20 7d 0d tErrorMsg(t); }.
17a0: 0a 0d 0a 73 74 72 75 63 74 20 53 50 4d 5f 4d 61 ...struct SPM_Ma
17b0: 74 63 68 54 61 67 28 54 2c 20 61 6c 69 61 73 20 tchTag(T, alias
17c0: 66 6e 29 0d 0a 7b 0d 0a 09 61 6c 69 61 73 20 54 fn)..{...alias T
17d0: 20 64 79 6e 61 6d 69 63 54 79 70 65 3b 0d 0a 09 dynamicType;...
17e0: 61 75 74 6f 20 6f 70 43 61 6c 6c 28 74 79 70 65 auto opCall(type
17f0: 6f 66 28 54 2e 74 75 70 6c 65 6f 66 29 20 73 29 of(T.tupleof) s)
1800: 20 7b 20 72 65 74 75 72 6e 20 66 6e 28 73 29 3b { return fn(s);
1810: 20 7d 0d 0a 7d 0d 0a 0d 0a 73 74 72 75 63 74 20 }..}....struct
1820: 53 50 4d 5f 4d 61 74 63 68 41 6e 79 28 61 6c 69 SPM_MatchAny(ali
1830: 61 73 20 66 6e 29 0d 0a 7b 0d 0a 09 61 75 74 6f as fn)..{...auto
1840: 20 6f 70 43 61 6c 6c 28 29 20 7b 20 72 65 74 75 opCall() { retu
1850: 72 6e 20 66 6e 28 29 3b 20 7d 0d 0a 7d 0d 0a 0d rn fn(); }..}...
1860: 0a 74 65 6d 70 6c 61 74 65 20 53 50 4d 5f 50 54 .template SPM_PT
1870: 54 28 61 6c 69 61 73 20 70 29 0d 0a 7b 0d 0a 09 T(alias p)..{...
1880: 61 6c 69 61 73 20 50 61 72 61 6d 65 74 65 72 54 alias ParameterT
1890: 79 70 65 54 75 70 6c 65 21 28 70 29 20 53 50 4d ypeTuple!(p) SPM
18a0: 5f 50 54 54 3b 0d 0a 7d 0d 0a 0d 0a 74 65 6d 70 _PTT;..}....temp
18b0: 6c 61 74 65 20 53 50 4d 5f 45 61 63 68 28 50 29 late SPM_Each(P)
18c0: 0d 0a 7b 09 0d 0a 09 73 74 61 74 69 63 20 69 66 ..{....static if
18d0: 28 5f 5f 74 72 61 69 74 73 28 63 6f 6d 70 69 6c (__traits(compil
18e0: 65 73 2c 20 53 50 4d 5f 69 73 4d 61 74 63 68 54 es, SPM_isMatchT
18f0: 61 67 28 50 2e 69 6e 69 74 29 29 29 0d 0a 09 09 ag(P.init)))....
1900: 61 6c 69 61 73 20 74 79 70 65 6f 66 28 50 28 50 alias typeof(P(P
1910: 2e 64 79 6e 61 6d 69 63 54 79 70 65 2e 74 75 70 .dynamicType.tup
1920: 6c 65 6f 66 29 29 20 53 50 4d 5f 45 61 63 68 3b leof)) SPM_Each;
1930: 0d 0a 09 65 6c 73 65 0d 0a 09 73 74 61 74 69 63 ...else...static
1940: 20 69 66 28 5f 5f 74 72 61 69 74 73 28 63 6f 6d if(__traits(com
1950: 70 69 6c 65 73 2c 20 53 50 4d 5f 69 73 4d 61 74 piles, SPM_isMat
1960: 63 68 41 6e 79 28 50 2e 69 6e 69 74 29 29 29 0d chAny(P.init))).
1970: 0a 09 09 61 6c 69 61 73 20 74 79 70 65 6f 66 28 ...alias typeof(
1980: 50 28 29 29 20 53 50 4d 5f 45 61 63 68 3b 0d 0a P()) SPM_Each;..
1990: 09 65 6c 73 65 0d 0a 09 09 61 6c 69 61 73 20 52 .else....alias R
19a0: 65 74 75 72 6e 54 79 70 65 21 28 50 29 20 53 50 eturnType!(P) SP
19b0: 4d 5f 45 61 63 68 3b 0d 0a 7d 0d 0a 0d 0a 74 65 M_Each;..}....te
19c0: 6d 70 6c 61 74 65 20 53 50 4d 5f 61 56 6f 69 64 mplate SPM_aVoid
19d0: 28 54 3a 76 6f 69 64 2c 20 54 53 2e 2e 2e 29 20 (T:void, TS...)
19e0: 7b 20 61 6c 69 61 73 20 53 50 4d 5f 61 56 6f 69 { alias SPM_aVoi
19f0: 64 21 28 54 53 29 20 53 50 4d 5f 61 56 6f 69 64 d!(TS) SPM_aVoid
1a00: 3b 20 7d 0d 0a 74 65 6d 70 6c 61 74 65 20 53 50 ; }..template SP
1a10: 4d 5f 61 56 6f 69 64 28 54 2c 20 54 53 2e 2e 2e M_aVoid(T, TS...
1a20: 29 20 7b 20 61 6c 69 61 73 20 54 79 70 65 54 75 ) { alias TypeTu
1a30: 70 6c 65 21 28 54 2c 53 50 4d 5f 61 56 6f 69 64 ple!(T,SPM_aVoid
1a40: 21 28 54 53 29 29 20 53 50 4d 5f 61 56 6f 69 64 !(TS)) SPM_aVoid
1a50: 3b 20 7d 0d 0a 74 65 6d 70 6c 61 74 65 20 53 50 ; }..template SP
1a60: 4d 5f 61 56 6f 69 64 28 29 20 7b 20 61 6c 69 61 M_aVoid() { alia
1a70: 73 20 54 79 70 65 54 75 70 6c 65 21 28 29 20 53 s TypeTuple!() S
1a80: 50 4d 5f 61 56 6f 69 64 3b 20 7d 0d 0a 0d 0a 74 PM_aVoid; }....t
1a90: 65 6d 70 6c 61 74 65 20 53 50 4d 5f 52 65 74 75 emplate SPM_Retu
1aa0: 72 6e 28 50 50 2e 2e 2e 29 0d 0a 7b 0d 0a 09 61 rn(PP...)..{...a
1ab0: 6c 69 61 73 20 43 6f 6d 6d 6f 6e 54 79 70 65 21 lias CommonType!
1ac0: 28 53 50 4d 5f 61 56 6f 69 64 21 28 73 74 61 74 (SPM_aVoid!(stat
1ad0: 69 63 4d 61 70 21 28 53 50 4d 5f 45 61 63 68 2c icMap!(SPM_Each,
1ae0: 20 50 50 29 29 29 20 53 50 4d 5f 52 65 74 75 72 PP))) SPM_Retur
1af0: 6e 3b 0d 0a 7d 0d 0a 0d 0a 76 6f 69 64 20 53 50 n;..}....void SP
1b00: 4d 5f 69 73 4d 61 74 63 68 54 61 67 28 54 2c 61 M_isMatchTag(T,a
1b10: 6c 69 61 73 20 66 6e 29 28 53 50 4d 5f 4d 61 74 lias fn)(SPM_Mat
1b20: 63 68 54 61 67 21 28 54 2c 66 6e 29 29 7b 7d 0d chTag!(T,fn)){}.
1b30: 0a 76 6f 69 64 20 53 50 4d 5f 69 73 4d 61 74 63 .void SPM_isMatc
1b40: 68 41 6e 79 28 61 6c 69 61 73 20 66 6e 29 28 53 hAny(alias fn)(S
1b50: 50 4d 5f 4d 61 74 63 68 41 6e 79 21 28 66 6e 29 PM_MatchAny!(fn)
1b60: 29 7b 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d ){}....unittest.
1b70: 0a 7b 0d 0a 09 73 74 61 74 69 63 20 61 62 73 74 .{...static abst
1b80: 72 61 63 74 20 63 6c 61 73 73 20 42 61 73 65 20 ract class Base
1b90: 7b 0d 0a 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c {....mixin Simpl
1ba0: 65 50 61 74 74 65 72 6e 4d 61 74 63 68 3b 0d 0a ePatternMatch;..
1bb0: 09 7d 0d 0a 09 63 6c 61 73 73 20 44 31 20 3a 20 .}...class D1 :
1bc0: 42 61 73 65 20 7b 0d 0a 09 09 69 6e 74 20 78 3b Base {....int x;
1bd0: 0d 0a 09 09 72 65 61 6c 20 79 3b 0d 0a 09 09 6d ....real y;....m
1be0: 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 ixin SimpleConst
1bf0: 72 75 63 74 6f 72 3b 0d 0a 09 7d 0d 0a 09 63 6c ructor;...}...cl
1c00: 61 73 73 20 44 32 20 3a 20 42 61 73 65 20 7b 0d ass D2 : Base {.
1c10: 0a 09 09 73 74 72 69 6e 67 20 73 3b 0d 0a 09 09 ...string s;....
1c20: 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 mixin SimpleCons
1c30: 74 72 75 63 74 6f 72 3b 0d 0a 09 7d 0d 0a 09 63 tructor;...}...c
1c40: 6c 61 73 73 20 44 33 20 3a 20 42 61 73 65 20 7b lass D3 : Base {
1c50: 0d 0a 09 09 69 6e 74 5b 69 6e 74 5d 6d 3b 0d 0a ....int[int]m;..
1c60: 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f ..mixin SimpleCo
1c70: 6e 73 74 72 75 63 74 6f 72 3b 0d 0a 09 7d 0d 0a nstructor;...}..
1c80: 0d 0a 09 42 61 73 65 20 64 31 20 3d 20 6e 65 77 ...Base d1 = new
1c90: 20 44 31 28 31 2c 20 32 2e 33 29 3b 0d 0a 09 42 D1(1, 2.3);...B
1ca0: 61 73 65 20 64 32 20 3d 20 6e 65 77 20 44 32 28 ase d2 = new D2(
1cb0: 22 66 6f 6f 62 61 72 22 29 3b 0d 0a 09 42 61 73 "foobar");...Bas
1cc0: 65 20 64 33 20 3d 20 6e 65 77 20 44 33 28 6e 75 e d3 = new D3(nu
1cd0: 6c 6c 29 3b 20 28 63 61 73 74 28 44 33 29 64 33 ll); (cast(D3)d3
1ce0: 29 2e 6d 5b 31 5d 3d 31 30 3b 0d 0a 0d 0a 09 2f ).m[1]=10;...../
1cf0: 2f 20 6e 6f 72 6d 61 6c 20 64 69 73 70 61 74 63 / normal dispatc
1d00: 68 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 64 h...assert_eq( d
1d10: 31 2e 6d 61 74 63 68 28 0d 0a 09 09 28 44 31 20 1.match(....(D1
1d20: 78 29 7b 72 65 74 75 72 6e 20 31 3b 7d 2c 0d 0a x){return 1;},..
1d30: 09 09 28 44 32 20 78 29 7b 72 65 74 75 72 6e 20 ..(D2 x){return
1d40: 32 3b 7d 2c 0d 0a 09 29 2c 20 31 29 3b 0d 0a 09 2;},...), 1);...
1d50: 61 73 73 65 72 74 5f 65 71 28 20 64 32 2e 6d 61 assert_eq( d2.ma
1d60: 74 63 68 28 0d 0a 09 09 28 44 31 20 78 29 7b 72 tch(....(D1 x){r
1d70: 65 74 75 72 6e 20 31 3b 7d 2c 0d 0a 09 09 28 44 eturn 1;},....(D
1d80: 32 20 78 29 7b 72 65 74 75 72 6e 20 32 3b 7d 2c 2 x){return 2;},
1d90: 0d 0a 09 29 2c 20 32 29 3b 0d 0a 09 61 73 73 65 ...), 2);...asse
1da0: 72 74 5f 74 68 72 6f 77 21 41 73 73 65 72 74 45 rt_throw!AssertE
1db0: 72 72 6f 72 28 20 64 33 2e 6d 61 74 63 68 28 0d rror( d3.match(.
1dc0: 0a 09 09 28 44 31 20 78 29 7b 72 65 74 75 72 6e ...(D1 x){return
1dd0: 20 31 3b 7d 2c 0d 0a 09 09 28 44 32 20 78 29 7b 1;},....(D2 x){
1de0: 72 65 74 75 72 6e 20 32 3b 7d 2c 0d 0a 09 29 29 return 2;},...))
1df0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 64 ;...assert_eq( d
1e00: 33 2e 6d 61 74 63 68 28 0d 0a 09 09 28 44 31 20 3.match(....(D1
1e10: 78 29 7b 72 65 74 75 72 6e 20 31 3b 7d 2c 0d 0a x){return 1;},..
1e20: 09 09 28 44 32 20 78 29 7b 72 65 74 75 72 6e 20 ..(D2 x){return
1e30: 32 3b 7d 2c 0d 0a 09 09 28 42 61 73 65 20 78 29 2;},....(Base x)
1e40: 7b 72 65 74 75 72 6e 20 33 3b 7d 2c 0d 0a 09 29 {return 3;},...)
1e50: 2c 20 33 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 , 3);...assert_e
1e60: 71 28 20 64 32 2e 6d 61 74 63 68 28 0d 0a 09 09 q( d2.match(....
1e70: 28 44 31 20 78 29 7b 72 65 74 75 72 6e 20 31 3b (D1 x){return 1;
1e80: 7d 2c 0d 0a 09 09 28 44 32 20 78 29 7b 72 65 74 },....(D2 x){ret
1e90: 75 72 6e 20 32 3b 7d 2c 0d 0a 09 09 28 42 61 73 urn 2;},....(Bas
1ea0: 65 20 78 29 7b 72 65 74 75 72 6e 20 33 3b 7d 2c e x){return 3;},
1eb0: 0d 0a 09 29 2c 20 32 29 3b 0d 0a 09 61 73 73 65 ...), 2);...asse
1ec0: 72 74 5f 65 71 28 20 64 32 2e 6d 61 74 63 68 28 rt_eq( d2.match(
1ed0: 0d 0a 09 09 28 44 31 20 78 29 7b 72 65 74 75 72 ....(D1 x){retur
1ee0: 6e 20 31 3b 7d 2c 0d 0a 09 09 28 42 61 73 65 20 n 1;},....(Base
1ef0: 78 29 7b 72 65 74 75 72 6e 20 33 3b 7d 2c 0d 0a x){return 3;},..
1f00: 09 09 28 44 32 20 78 29 7b 72 65 74 75 72 6e 20 ..(D2 x){return
1f10: 32 3b 7d 2c 0d 0a 09 29 2c 20 33 29 3b 0d 0a 0d 2;},...), 3);...
1f20: 0a 09 2f 2f 20 6d 65 6d 62 65 72 20 64 65 63 6f ..// member deco
1f30: 6d 70 6f 73 69 6e 67 20 6d 61 74 63 68 0d 0a 09 mposing match...
1f40: 61 73 73 65 72 74 5f 65 71 28 20 64 31 2e 6d 61 assert_eq( d1.ma
1f50: 74 63 68 28 0d 0a 09 09 77 68 65 6e 21 28 44 31 tch(....when!(D1
1f60: 2c 20 28 78 2c 20 79 29 7b 72 65 74 75 72 6e 20 , (x, y){return
1f70: 78 20 2b 20 63 61 73 74 28 69 6e 74 29 79 3b 7d x + cast(int)y;}
1f80: 29 2c 0d 0a 09 09 77 68 65 6e 21 28 44 32 2c 20 ),....when!(D2,
1f90: 28 78 29 7b 72 65 74 75 72 6e 20 78 2e 6c 65 6e (x){return x.len
1fa0: 67 74 68 3b 7d 29 2c 0d 0a 09 09 77 68 65 6e 21 gth;}),....when!
1fb0: 28 44 33 2c 20 28 78 29 7b 72 65 74 75 72 6e 20 (D3, (x){return
1fc0: 78 5b 31 5d 3b 7d 29 2c 0d 0a 09 29 2c 20 33 29 x[1];}),...), 3)
1fd0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 64 ;...assert_eq( d
1fe0: 32 2e 6d 61 74 63 68 28 0d 0a 09 09 77 68 65 6e 2.match(....when
1ff0: 21 28 44 31 2c 20 28 78 2c 20 79 29 7b 72 65 74 !(D1, (x, y){ret
2000: 75 72 6e 20 78 20 2b 20 63 61 73 74 28 69 6e 74 urn x + cast(int
2010: 29 79 3b 7d 29 2c 0d 0a 09 09 77 68 65 6e 21 28 )y;}),....when!(
2020: 44 32 2c 20 28 78 29 7b 72 65 74 75 72 6e 20 78 D2, (x){return x
2030: 2e 6c 65 6e 67 74 68 3b 7d 29 2c 0d 0a 09 09 77 .length;}),....w
2040: 68 65 6e 21 28 44 33 2c 20 28 78 29 7b 72 65 74 hen!(D3, (x){ret
2050: 75 72 6e 20 78 5b 31 5d 3b 7d 29 2c 0d 0a 09 29 urn x[1];}),...)
2060: 2c 20 36 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 , 6);...assert_e
2070: 71 28 20 64 33 2e 6d 61 74 63 68 28 0d 0a 09 09 q( d3.match(....
2080: 77 68 65 6e 21 28 44 31 2c 20 28 78 2c 20 79 29 when!(D1, (x, y)
2090: 7b 72 65 74 75 72 6e 20 78 20 2b 20 63 61 73 74 {return x + cast
20a0: 28 69 6e 74 29 79 3b 7d 29 2c 0d 0a 09 09 77 68 (int)y;}),....wh
20b0: 65 6e 21 28 44 32 2c 20 28 78 29 7b 72 65 74 75 en!(D2, (x){retu
20c0: 72 6e 20 78 2e 6c 65 6e 67 74 68 3b 7d 29 2c 0d rn x.length;}),.
20d0: 0a 09 09 77 68 65 6e 21 28 44 33 2c 20 28 78 29 ...when!(D3, (x)
20e0: 7b 72 65 74 75 72 6e 20 78 5b 31 5d 3b 7d 29 2c {return x[1];}),
20f0: 0d 0a 09 29 2c 20 31 30 29 3b 0d 0a 09 61 73 73 ...), 10);...ass
2100: 65 72 74 5f 74 68 72 6f 77 21 41 73 73 65 72 74 ert_throw!Assert
2110: 45 72 72 6f 72 28 20 64 33 2e 6d 61 74 63 68 28 Error( d3.match(
2120: 0d 0a 09 09 77 68 65 6e 21 28 44 31 2c 20 28 78 ....when!(D1, (x
2130: 2c 20 79 29 7b 72 65 74 75 72 6e 20 78 20 2b 20 , y){return x +
2140: 63 61 73 74 28 69 6e 74 29 79 3b 7d 29 2c 0d 0a cast(int)y;}),..
2150: 09 09 77 68 65 6e 21 28 44 32 2c 20 28 78 29 7b ..when!(D2, (x){
2160: 72 65 74 75 72 6e 20 78 2e 6c 65 6e 67 74 68 3b return x.length;
2170: 7d 29 2c 0d 0a 09 29 29 3b 0d 0a 09 61 73 73 65 }),...));...asse
2180: 72 74 5f 65 71 28 20 64 32 2e 6d 61 74 63 68 28 rt_eq( d2.match(
2190: 0d 0a 09 09 77 68 65 6e 21 28 44 31 2c 20 28 78 ....when!(D1, (x
21a0: 2c 20 79 29 7b 72 65 74 75 72 6e 20 78 20 2b 20 , y){return x +
21b0: 63 61 73 74 28 69 6e 74 29 79 3b 7d 29 2c 0d 0a cast(int)y;}),..
21c0: 09 09 77 68 65 6e 21 28 44 32 2c 20 28 78 29 7b ..when!(D2, (x){
21d0: 72 65 74 75 72 6e 20 78 2e 6c 65 6e 67 74 68 3b return x.length;
21e0: 7d 29 2c 0d 0a 09 09 6f 74 68 65 72 77 69 73 65 }),....otherwise
21f0: 21 28 7b 72 65 74 75 72 6e 20 39 39 39 3b 7d 29 !({return 999;})
2200: 2c 0d 0a 09 29 2c 20 36 29 3b 0d 0a 09 61 73 73 ,...), 6);...ass
2210: 65 72 74 5f 65 71 28 20 64 32 2e 6d 61 74 63 68 ert_eq( d2.match
2220: 28 0d 0a 09 09 77 68 65 6e 21 28 44 31 2c 20 28 (....when!(D1, (
2230: 78 2c 20 79 29 7b 72 65 74 75 72 6e 20 78 20 2b x, y){return x +
2240: 20 63 61 73 74 28 69 6e 74 29 79 3b 7d 29 2c 0d cast(int)y;}),.
2250: 0a 09 09 6f 74 68 65 72 77 69 73 65 21 28 7b 72 ...otherwise!({r
2260: 65 74 75 72 6e 20 39 39 39 3b 7d 29 2c 0d 0a 09 eturn 999;}),...
2270: 09 77 68 65 6e 21 28 44 32 2c 20 28 78 29 7b 72 .when!(D2, (x){r
2280: 65 74 75 72 6e 20 78 2e 6c 65 6e 67 74 68 3b 7d eturn x.length;}
2290: 29 2c 0d 0a 09 29 2c 20 39 39 39 29 3b 0d 0a 7d ),...), 999);..}
22a0: 0d 0a ..