Artifact 16f826d18ff480bea5777db8a0becad57d199c87:
- File
polemy/tricks.d
-
2010-11-07 14:34:29
- part of checkin
[0569f7b8c2]
on branch trunk
- - Added function literal evaluator (i.e., closure).
- Workaround for d2stacktrace's infinite-loop bug.
(when std.demangle.demangle use exception inside it,
it will go into an infinite loop. to avoid this,
I choose to unset TraceHandler during stacktrace generation.
This is far from the complete solution, but at least it should
work as expected under single-thread environment...)
(user:
kinaba)
[annotate]
0000: ef bb bf 2f 2a 2a 0d 0a 20 2a 20 41 75 74 68 6f .../**.. * Autho
0010: 72 73 3a 20 6b 2e 69 6e 61 62 61 0d 0a 20 2a 20 rs: k.inaba.. *
0020: 4c 69 63 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e License: NYSL 0.
0030: 39 39 38 32 20 68 74 74 70 3a 2f 2f 77 77 77 2e 9982 http://www.
0040: 6b 6d 6f 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f kmonos.net/nysl/
0050: 0d 0a 20 2a 0d 0a 20 2a 20 43 6f 6d 6d 6f 6e 20 .. *.. * Common
0060: 74 72 69 63 6b 73 20 61 6e 64 20 75 74 69 6c 69 tricks and utili
0070: 74 69 65 73 20 66 6f 72 20 70 72 6f 67 72 61 6d ties for program
0080: 6d 69 6e 67 20 69 6e 20 44 2e 0d 0a 20 2a 2f 0d ming in D... */.
0090: 0a 6d 6f 64 75 6c 65 20 70 6f 6c 65 6d 79 2e 74 .module polemy.t
00a0: 72 69 63 6b 73 3b 0d 0a 73 74 61 74 69 63 20 69 ricks;..static i
00b0: 6d 70 6f 72 74 20 73 74 64 2e 61 72 72 61 79 3b mport std.array;
00c0: 0d 0a 73 74 61 74 69 63 20 69 6d 70 6f 72 74 20 ..static import
00d0: 73 74 64 2e 66 6f 72 6d 61 74 3b 0d 0a 0d 0a 2f std.format;..../
00e0: 2f 2f 20 53 69 6d 70 6c 65 20 57 72 61 70 70 65 // Simple Wrappe
00f0: 72 20 66 6f 72 20 73 74 64 2e 66 6f 72 6d 61 74 r for std.format
0100: 2e 64 6f 46 6f 72 6d 61 74 0d 0a 0d 0a 73 74 72 .doFormat....str
0110: 69 6e 67 20 73 70 72 69 6e 74 66 28 73 74 72 69 ing sprintf(stri
0120: 6e 67 20 66 6d 74 2c 20 54 2e 2e 2e 29 28 54 20 ng fmt, T...)(T
0130: 70 61 72 61 6d 73 29 0d 0a 7b 0d 0a 09 61 75 74 params)..{...aut
0140: 6f 20 77 72 69 74 65 72 20 3d 20 73 74 64 2e 61 o writer = std.a
0150: 72 72 61 79 2e 61 70 70 65 6e 64 65 72 21 73 74 rray.appender!st
0160: 72 69 6e 67 28 29 3b 0d 0a 09 73 74 64 2e 66 6f ring();...std.fo
0170: 72 6d 61 74 2e 66 6f 72 6d 61 74 74 65 64 57 72 rmat.formattedWr
0180: 69 74 65 28 77 72 69 74 65 72 2c 20 66 6d 74 2c ite(writer, fmt,
0190: 20 70 61 72 61 6d 73 29 3b 0d 0a 09 72 65 74 75 params);...retu
01a0: 72 6e 20 77 72 69 74 65 72 2e 64 61 74 61 3b 0d rn writer.data;.
01b0: 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a .}....unittest..
01c0: 7b 0d 0a 09 61 73 73 65 72 74 28 20 73 70 72 69 {...assert( spri
01d0: 6e 74 66 21 22 25 73 20 3d 3d 20 25 64 22 28 22 ntf!"%s == %d"("
01e0: 31 2b 32 22 2c 20 33 29 20 3d 3d 20 22 31 2b 32 1+2", 3) == "1+2
01f0: 20 3d 3d 20 33 22 20 29 3b 0d 0a 09 61 73 73 65 == 3" );...asse
0200: 72 74 28 20 73 70 72 69 6e 74 66 21 22 25 73 20 rt( sprintf!"%s
0210: 3d 3d 20 25 30 34 64 22 28 22 31 2b 32 22 2c 20 == %04d"("1+2",
0220: 33 29 20 3d 3d 20 22 31 2b 32 20 3d 3d 20 30 30 3) == "1+2 == 00
0230: 30 33 22 20 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 03" );..}....///
0240: 20 4d 69 78 69 6e 67 2d 69 6e 20 74 68 65 20 62 Mixing-in the b
0250: 65 61 6e 20 63 6f 6e 73 74 72 75 63 74 6f 72 20 ean constructor
0260: 66 6f 72 20 61 20 63 6c 61 73 73 0d 0a 0d 0a 2f for a class..../
0270: 2a 6d 69 78 69 6e 2a 2f 20 74 65 6d 70 6c 61 74 *mixin*/ templat
0280: 65 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 e SimpleConstruc
0290: 74 6f 72 28 29 0d 0a 7b 0d 0a 09 73 74 61 74 69 tor()..{...stati
02a0: 63 20 69 66 28 20 69 73 28 74 79 70 65 6f 66 28 c if( is(typeof(
02b0: 73 75 70 65 72 29 20 3d 3d 20 4f 62 6a 65 63 74 super) == Object
02c0: 29 20 7c 7c 20 73 75 70 65 72 2e 74 75 70 6c 65 ) || super.tuple
02d0: 6f 66 2e 6c 65 6e 67 74 68 3d 3d 30 20 29 0d 0a of.length==0 )..
02e0: 09 09 74 68 69 73 28 20 74 79 70 65 6f 66 28 74 ..this( typeof(t
02f0: 68 69 73 2e 74 75 70 6c 65 6f 66 29 20 70 61 72 his.tupleof) par
0300: 61 6d 73 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 73 ams )....{.....s
0310: 74 61 74 69 63 20 69 66 28 74 68 69 73 2e 74 75 tatic if(this.tu
0320: 70 6c 65 6f 66 2e 6c 65 6e 67 74 68 3e 30 29 0d pleof.length>0).
0330: 0a 09 09 09 09 74 68 69 73 2e 74 75 70 6c 65 6f .....this.tupleo
0340: 66 20 3d 20 70 61 72 61 6d 73 3b 0d 0a 09 09 7d f = params;....}
0350: 0d 0a 09 65 6c 73 65 0d 0a 09 09 2f 2f 20 74 68 ...else....// th
0360: 69 73 20 70 61 72 61 6d 65 74 65 72 20 6c 69 73 is parameter lis
0370: 74 20 69 73 20 6e 6f 74 20 61 6c 77 61 79 73 20 t is not always
0380: 64 65 73 69 72 61 62 6c 65 20 62 75 74 20 73 68 desirable but sh
0390: 6f 75 6c 64 20 77 6f 72 6b 20 66 6f 72 20 6d 61 ould work for ma
03a0: 6e 79 20 63 61 73 65 73 0d 0a 09 09 74 68 69 73 ny cases....this
03b0: 28 20 74 79 70 65 6f 66 28 73 75 70 65 72 2e 74 ( typeof(super.t
03c0: 75 70 6c 65 6f 66 29 20 70 73 2c 20 74 79 70 65 upleof) ps, type
03d0: 6f 66 28 74 68 69 73 2e 74 75 70 6c 65 6f 66 29 of(this.tupleof)
03e0: 20 70 61 72 61 6d 73 20 29 0d 0a 09 09 7b 0d 0a params )....{..
03f0: 09 09 09 73 75 70 65 72 28 70 73 29 3b 0d 0a 09 ...super(ps);...
0400: 09 09 73 74 61 74 69 63 20 69 66 28 74 68 69 73 ..static if(this
0410: 2e 74 75 70 6c 65 6f 66 2e 6c 65 6e 67 74 68 3e .tupleof.length>
0420: 30 29 0d 0a 09 09 09 09 74 68 69 73 2e 74 75 70 0)......this.tup
0430: 6c 65 6f 66 20 3d 20 70 61 72 61 6d 73 3b 0d 0a leof = params;..
0440: 09 09 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 4d 69 ..}..}..../// Mi
0450: 78 69 6e 67 2d 69 6e 20 74 68 65 20 28 4d 4f 53 xing-in the (MOS
0460: 54 2d 44 45 52 49 56 45 44 29 20 6d 65 6d 62 65 T-DERIVED) membe
0470: 72 2d 77 69 73 65 20 63 6f 6d 70 61 72 61 74 6f r-wise comparato
0480: 72 20 66 6f 72 20 61 20 63 6c 61 73 73 0d 0a 0d r for a class...
0490: 0a 2f 2a 6d 69 78 69 6e 2a 2f 20 74 65 6d 70 6c ./*mixin*/ templ
04a0: 61 74 65 20 53 69 6d 70 6c 65 43 6f 6d 70 61 72 ate SimpleCompar
04b0: 65 28 29 0d 0a 7b 0d 0a 09 6f 76 65 72 72 69 64 e()..{...overrid
04c0: 65 20 62 6f 6f 6c 20 6f 70 45 71 75 61 6c 73 28 e bool opEquals(
04d0: 4f 62 6a 65 63 74 20 72 68 73 5f 29 20 63 6f 6e Object rhs_) con
04e0: 73 74 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 61 75 st...{....if( au
04f0: 74 6f 20 72 68 73 20 3d 20 63 61 73 74 28 74 79 to rhs = cast(ty
0500: 70 65 6f 66 28 74 68 69 73 29 29 72 68 73 5f 20 peof(this))rhs_
0510: 29 0d 0a 09 09 7b 0d 0a 09 09 09 66 6f 72 65 61 )....{.....forea
0520: 63 68 28 69 2c 5f 3b 20 74 68 69 73 2e 74 75 70 ch(i,_; this.tup
0530: 6c 65 6f 66 29 0d 0a 09 09 09 09 69 66 28 20 74 leof)......if( t
0540: 68 69 73 2e 74 75 70 6c 65 6f 66 5b 69 5d 20 21 his.tupleof[i] !
0550: 3d 20 72 68 73 2e 74 75 70 6c 65 6f 66 5b 69 5d = rhs.tupleof[i]
0560: 20 29 0d 0a 09 09 09 09 09 72 65 74 75 72 6e 20 ).......return
0570: 66 61 6c 73 65 3b 0d 0a 09 09 09 72 65 74 75 72 false;.....retur
0580: 6e 20 74 72 75 65 3b 0d 0a 09 09 7d 0d 0a 09 09 n true;....}....
0590: 61 73 73 65 72 74 28 66 61 6c 73 65 2c 20 73 70 assert(false, sp
05a0: 72 69 6e 74 66 21 22 43 61 6e 6e 6f 74 20 63 6f rintf!"Cannot co
05b0: 6d 70 61 72 65 20 25 73 20 77 69 74 68 20 25 73 mpare %s with %s
05c0: 22 28 74 79 70 65 69 64 28 74 68 69 73 29 2c 20 "(typeid(this),
05d0: 74 79 70 65 69 64 28 72 68 73 5f 29 29 29 3b 0d typeid(rhs_)));.
05e0: 0a 09 7d 0d 0a 0d 0a 09 6f 76 65 72 72 69 64 65 ..}.....override
05f0: 20 68 61 73 68 5f 74 20 74 6f 48 61 73 68 28 29 hash_t toHash()
0600: 20 63 6f 6e 73 74 0d 0a 09 7b 0d 0a 09 09 68 61 const...{....ha
0610: 73 68 5f 74 20 68 20 3d 20 30 3b 0d 0a 09 09 66 sh_t h = 0;....f
0620: 6f 72 65 61 63 68 28 6d 65 6d 3b 20 74 68 69 73 oreach(mem; this
0630: 2e 74 75 70 6c 65 6f 66 29 0d 0a 09 09 09 68 20 .tupleof).....h
0640: 2b 3d 20 74 79 70 65 69 64 28 6d 65 6d 29 2e 67 += typeid(mem).g
0650: 65 74 48 61 73 68 28 26 6d 65 6d 29 3b 0d 0a 09 etHash(&mem);...
0660: 09 72 65 74 75 72 6e 20 68 3b 0d 0a 09 7d 0d 0a .return h;...}..
0670: 0d 0a 09 6f 76 65 72 72 69 64 65 20 69 6e 74 20 ...override int
0680: 6f 70 43 6d 70 28 4f 62 6a 65 63 74 20 72 68 73 opCmp(Object rhs
0690: 5f 29 20 63 6f 6e 73 74 0d 0a 09 7b 0d 0a 09 09 _) const...{....
06a0: 69 66 28 20 61 75 74 6f 20 72 68 73 20 3d 20 63 if( auto rhs = c
06b0: 61 73 74 28 74 79 70 65 6f 66 28 74 68 69 73 29 ast(typeof(this)
06c0: 29 72 68 73 5f 20 29 0d 0a 09 09 7b 0d 0a 09 09 )rhs_ )....{....
06d0: 09 66 6f 72 65 61 63 68 28 69 2c 5f 3b 20 74 68 .foreach(i,_; th
06e0: 69 73 2e 74 75 70 6c 65 6f 66 29 0d 0a 09 09 09 is.tupleof).....
06f0: 09 69 66 28 61 75 74 6f 20 63 20 3d 20 74 79 70 .if(auto c = typ
0700: 65 69 64 28 5f 29 2e 63 6f 6d 70 61 72 65 28 26 eid(_).compare(&
0710: 74 68 69 73 2e 74 75 70 6c 65 6f 66 5b 69 5d 2c this.tupleof[i],
0720: 26 72 68 73 2e 74 75 70 6c 65 6f 66 5b 69 5d 29 &rhs.tupleof[i])
0730: 29 0d 0a 09 09 09 09 09 72 65 74 75 72 6e 20 63 ).......return c
0740: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 30 3b 0d ;.....return 0;.
0750: 0a 09 09 7d 0d 0a 09 09 61 73 73 65 72 74 28 66 ...}....assert(f
0760: 61 6c 73 65 2c 20 73 70 72 69 6e 74 66 21 22 43 alse, sprintf!"C
0770: 61 6e 6e 6f 74 20 63 6f 6d 70 61 72 65 20 25 73 annot compare %s
0780: 20 77 69 74 68 20 25 73 22 28 74 79 70 65 69 64 with %s"(typeid
0790: 28 74 68 69 73 29 2c 20 74 79 70 65 69 64 28 72 (this), typeid(r
07a0: 68 73 5f 29 29 29 3b 0d 0a 09 7d 0d 0a 7d 0d 0a hs_)));...}..}..
07b0: 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 ..unittest..{...
07c0: 63 6c 61 73 73 20 54 65 6d 70 0d 0a 09 7b 0d 0a class Temp...{..
07d0: 09 09 69 6e 74 20 78 3b 0d 0a 09 09 73 74 72 69 ..int x;....stri
07e0: 6e 67 20 79 3b 0d 0a 09 09 6d 69 78 69 6e 20 53 ng y;....mixin S
07f0: 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 impleConstructor
0800: 3b 0d 0a 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c ;....mixin Simpl
0810: 65 43 6f 6d 70 61 72 65 3b 0d 0a 09 7d 0d 0a 09 eCompare;...}...
0820: 61 73 73 65 72 74 28 20 28 6e 65 77 20 54 65 6d assert( (new Tem
0830: 70 28 31 2c 22 66 6f 6f 22 29 29 2e 78 20 3d 3d p(1,"foo")).x ==
0840: 20 31 20 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 1 );...assert(
0850: 28 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f (new Temp(1,"foo
0860: 22 29 29 2e 79 20 3d 3d 20 22 66 6f 6f 22 20 29 ")).y == "foo" )
0870: 3b 0d 0a 09 61 73 73 65 72 74 28 20 21 5f 5f 74 ;...assert( !__t
0880: 72 61 69 74 73 28 63 6f 6d 70 69 6c 65 73 2c 20 raits(compiles,
0890: 6e 65 77 20 54 65 6d 70 29 20 29 3b 0d 0a 09 61 new Temp) );...a
08a0: 73 73 65 72 74 28 20 21 5f 5f 74 72 61 69 74 73 ssert( !__traits
08b0: 28 63 6f 6d 70 69 6c 65 73 2c 20 6e 65 77 20 54 (compiles, new T
08c0: 65 6d 70 28 31 29 29 20 29 3b 0d 0a 09 61 73 73 emp(1)) );...ass
08d0: 65 72 74 28 20 21 5f 5f 74 72 61 69 74 73 28 63 ert( !__traits(c
08e0: 6f 6d 70 69 6c 65 73 2c 20 6e 65 77 20 54 65 6d ompiles, new Tem
08f0: 70 28 22 66 6f 6f 22 2c 31 29 29 20 29 3b 0d 0a p("foo",1)) );..
0900: 09 61 73 73 65 72 74 28 20 6e 65 77 20 54 65 6d .assert( new Tem
0910: 70 28 31 2c 22 66 6f 6f 22 29 20 3d 3d 20 6e 65 p(1,"foo") == ne
0920: 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 20 w Temp(1,"foo")
0930: 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 28 6e 65 );...assert( (ne
0940: 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 29 w Temp(1,"foo"))
0950: 2e 74 6f 48 61 73 68 20 3d 3d 20 28 6e 65 77 20 .toHash == (new
0960: 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 29 2e 74 Temp(1,"foo")).t
0970: 6f 48 61 73 68 20 29 3b 0d 0a 09 61 73 73 65 72 oHash );...asser
0980: 74 28 20 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 t( new Temp(1,"f
0990: 6f 6f 22 29 20 21 3d 20 6e 65 77 20 54 65 6d 70 oo") != new Temp
09a0: 28 32 2c 22 66 6f 6f 22 29 20 29 3b 0d 0a 09 61 (2,"foo") );...a
09b0: 73 73 65 72 74 28 20 6e 65 77 20 54 65 6d 70 28 ssert( new Temp(
09c0: 31 2c 22 66 6f 6f 22 29 20 21 3d 20 6e 65 77 20 1,"foo") != new
09d0: 54 65 6d 70 28 31 2c 22 62 61 72 22 29 20 29 3b Temp(1,"bar") );
09e0: 0d 0a 09 61 73 73 65 72 74 28 20 6e 65 77 20 54 ...assert( new T
09f0: 65 6d 70 28 31 2c 22 66 6f 6f 22 29 20 3e 20 6e emp(1,"foo") > n
0a00: 65 77 20 54 65 6d 70 28 31 2c 22 62 61 72 22 29 ew Temp(1,"bar")
0a10: 20 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 6e 65 );...assert( ne
0a20: 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 20 w Temp(1,"foo")
0a30: 3c 20 6e 65 77 20 54 65 6d 70 28 32 2c 22 62 61 < new Temp(2,"ba
0a40: 72 22 29 20 29 3b 0d 0a 7d 0d 0a r") );..}..