[boost] Re: The Test Tools Docs, Concept Checking

From: Andy Little (andy_at_[hidden])
Date: 2004-06-25 15:01:59

"Rozental, Gennadiy" <gennadiy.rozental_at_[hidden]> wrote

> I could add proposed text, once somebody prepared it.

OK... update attached (modified from current release version).
 Meanwhile I have done an example of the simplest possible concepts true and
false. I guess its half way between STATIC_ASSERT and assert(); and may be
useable in situations where STATIC_ASSERT or even assert() is currently
used. Whatever.. I like concepts :-)  so I hope this helps to demystify them
a bit. Like many good things I guess you never notice youre using them until
it all goes wrong!

http://www.servocomm.freeserve.co.uk/Cpp/physical_quantity/concept_checking.cpp

BTW boost test  has nice docs!

regards
Andy Little

begin 666 index.html
M/$A434P^#0H\2$5!1#X-"CQ4251,13Y4:&4_at_5&5S="!4;V]L<SPO5$E43$4^
M#0H\3$E.2R!R96P](G-T>6QE<VAE970B('1Y<&4](G1E>'0O8W-S(B!H<F5F
M/2(N+B\N+B]S='EL92]B=&PN8W-S(B!M961I83TB<V-R965N(CX-"CQ,24Y+
M(')E;#TB<W1Y;&5S:&5E="(@='EP93TB=&5X="]C<W,B(&AR968](BXN+RXN
M+W-T>6QE+V)T;"UP<FEN="YC<W,B(&UE9&EA/2)P<FEN="(^#0H\345402!H
M='1P+65Q=6EV/2)#;VYT96YT+4QA;F=U86=E(B!C;VYT96YT/2)E;BUU<R(^
M#0H\345402!H='1P+65Q=6EV/2)#;VYT96YT+51Y<&4B(&-O;G1E;G0](G1E
M>'0O:'1M;#L_at_8VAA<G-E=#UI<V\M.#@U.2TQ(CX-"CPO2$5!1#X-"CQ"3T19
M/@T*/$1)5B!C;&%S<STB:&5A9&5R(CX@/$$@:')E9CTB+BXO+BXO:6YD97_at_N
M:'1M;"(^0F]O<W0N5&5S=#PO03X@/B \02!H<F5F/2(N+B]I;F1E>"YH=&UL
M(CY#;VUP;VYE;G1S/"]!/B -"B @/B \4U!!3B!C;&%S<STB8W5R<F5N=%]A
M<G1I8VQE(CY4:&4_at_5&5S="!4;V]L<SPO4U!!3CX@/"]$258^#0H\1$E6(&-L
M87-S/2)B;V1Y(CX@/$E-1R!S<F,])RXN+RXN+V)T;#$N9VEF)R!W:61T:#TG
M,C4R)R!H96EG:'0])S0S)R!A;'0](D)O;W-T(%1E<W0@;&]G;R(^( T*(" \
M2#$^0F]O<W0_at_5&5S="!,:6)R87)Y.B!4:&4_at_5&5S="!4;V]L<SPO2#$^#0H@
M(#Q0(&-L87-S/2)P86=E+71O8R(^(#Q!(&AR968](B-);G1R;V1U8W1I;VXB
M/DEN=')O9'5C=&EO;CPO03X\0E(^#0H@(" @/$$@:')E9CTB<F5F97)E;F-E
M+VEN9&5X+FAT;6PB/E)E9F5R96YC93PO03X\0E(^#0H@(" @/$$@:')E9CTB
M(TEM<&QE;65N=&%T:6]N(CY);7!L96UE;G1A=&EO;CPO03X\0E(^#0H@(" @
M/$$@:')E9CTB(T5X86UP;&5S(CY%>&%M<&QE<R!A;F0@=&5S=',\+T$^/$)2
M/@T*(" \+U ^#0H@(#Q(,CX\02!N86UE/2));G1R;V1U8W1I;VXB/DEN=')O
M9'5C=&EO;CPO03X\+T_at_R/@T*(" \4"!C;&%S<STB9FER<W0M;&EN92UI;F1E
M;G1E9"(^($)O;W-T(%1E<W0_at_3&EB<F%R>2=S(%1E<W0_at_5&]O;',@<W5P<&QY
M(&$@=&]O;&)O>"!T;R!E87-E(&$@8W)E871I;VX@#0H@(" @86YD(&$@;6%I
M;G1E;F%N8V4@;V8@=&5S="!P<F]G<F%M<R!A;F0@<')O=FED92!A('5N:69O
M<FT_at_97)R;W(@<F5P;W)T:6YG(&UE8VAA;FES;2X_at_5&AE('1O;VQB;W@@<W5P
M<&QI960@#0H@(" @:6X_at_82!F;W)M(&]F(&UA8W)O(&%N9"!F=6YC=&EO;B!D
M96-L87)A=&EO;G,N(%=H:6QE('1H92!F=6YC=&EO;G,@8V%N(&)E(&-A;&QE
M9"!D:7)E8W1L>2P@=&AE('5S=6%L( T*(" @('=A>2!T;R!U<V4_at_5&5S="!4
M;V]L<R!I<R!V:6$@8V]N=F5N:65N8V4@;6%C<F]S+B!!;&P@;6%C<F]S(&%R
M9W5M96YT<R!A<F4_at_8V%L8W5L871E9"!O;F-E+"!S;R!I="=S( T*(" @('-A
M9F4@=&\@<&%S<R!C;VUP;&5X(&5X<')E<W-I;VYS(&EN('1H96ER('!L86-E
M+B!!;&P@;6%C<F]S('!R;W9I9&4_at_86X@97)R;W(@;&]C871I;VXZ(&$@9FEL
M92!N86UE( T*(" @(&%N9"!A(&QI;F4@;G5M8F5R+B!";V]S="!497-T($QI
M8G)A<GDG<R!497-T(%1O;VQS(&%R92!I;G1E;F1E9"!F;W(@=&5S="!C;V1E
M(')A=&AE<B!T:&%N(&QI8G)A<GD@#0H@(" @;W(@<')O9'5C=&EO;B!C;V1E
M+"!W:&5R92!T:')O=VEN9R!E>&-E<'1I;VYS+"!U<VEN9R!A<W-E<G0H*2P@
M8F]O<W0Z.F-O;F-E<'1?8VAE8VL@;W(@0D]/4U1?4U1!5$E#7T%34T525"@I
M(&UA>2!B92!M;W)E( T*(" @('-U:71A8FQE('=A>7,@=&\@9&5T96-T(&%N
M9"!R97!O<G0_at_97)R;W)S+B!4;R!U<V4@=&AE(%1E<W0_at_5&]O;',@>6]U(&YE
M960@=&\@;&EN:R!W:71H(&5I=&AE<B!T:&4@#0H@(" @/$$@:')E9CTB+BXO
M=&5S=%]E>&5C7VUO;FET;W(O:6YD97_at_N:'1M;"(^5&5S="!%>&5C=71I;VX@
M36]N:71O<CPO03X@;W(@=&AE(#Q!(&AR968](BXN+W5N:71?=&5S=%]F<F%M
M97=O<FLO:6YD97_at_N:'1M;"(^56YI=" -"B @("!497-T($9R86UE=V]R:SPO
M03XN($9O<B!L:7-T(&]F(&%L;"!S=7!P;&EE9"!497-T(%1O;VQS(&%N9"!U
M<V%G92!E>&%M<&QE<R!S964@=&AE(#Q!(&AR968](G)E9F5R96YC92]I;F1E
M>"YH=&UL(CYR969E<F5N8V4\+T$^+CPO4#X-"B @/% @8VQA<W,](F9I<G-T
M+6QI;F4M:6YD96YT960B/D%M;VYG(&UA;GD@=&]O;',@:6X@<W5P<&QI960@
M=&]O;&)O>"P@=&AE<F4@:7,@=&AE($)/3U-47T-(14-+7T-,3U-%( T*(" @
M('1O;VP@=&AA="!P97)F;W)M(&9L;V%T:6YG('!O:6YT(&-O;7!A<FES;VX@
M;V8@=F%L=65S+B!3964@/$$@:')E9CTB9FQO871I;F=?<&]I;G1?8V]M<&%R
M:7-O;BYH=&UL(CYF;&]A=&EN9R -"B @("!P;VEN="!C;VUP87)I<V]N/"]!
M/B!P86=E(&9O<B!D971A:6QE9"!D97-C<FEP=&EO;B!O9B!U<V5D(&%L9V]R
M:71H;7,N/"]0/@T*(" \4"!C;&%S<STB9FER<W0M;&EN92UI;F1E;G1E9"(^
M26X_at_861D:71I;VX@=&\@=&]O;&)O>"P@=&AE(%1E<W0_at_5&]O;',@86QS;R!C
M;VYT86EN<R!S97!A<F%T92!O<W1R96%M7W1E<W1?<W1R96%M( T*(" @('1O
M;VPN(%1H:7,@:7,@8VQA<W,@9&5S:6=N960@=&\@<VEG;FEF:6-A;G1L>2!S
M:6UP;&EF>2!C;W)R96-T;F5S<R!T97-T:6YG(&]F('1H92!O<W1R96%M(&)A
M<V5D(&]U='!U=" -"B @("!P<F]C961U<F5S+B!&;W(@9&5T86EL960_at_9&5S
M8W)I<'1I;VX@;V8@:70G<R!I;G1E<F9A8V4_at_86YD('5S86=E('-E92!T:&4@
M/$$@:')E9CTB;W5T<'5T7W1E<W1?<W1R96%M+FAT;6PB/F]S=')E86U?=&5S
M=%]S=')E86T\+T$^( T*(" @('!A9V4N/"]0/@T*(" \4"!C;&%S<STB9FER
M<W0M;&EN92UI;F1E;G1E9"(^36]S="!O9B!T97-T('1O;VQS(&1I<F5C="!V
M86QU97,@;V8@:70G<R!A<F=U;65N=',@=&\@=&AE(&]U='!U="!S=')E86T@
M:6X@<V]M92!F;W)M(&]F(&QO9R!S=&%T96UE;G0N($EF(&%R9W5M96YT<R!T
M>7!E(&1O97,@;F]T('-U<'!O<G0@;W!E<F%T;W(F;'0[)FQT.R_at_N+BXI(&EN
M=&5R9F%C92!Y;W4@=VEL;"!G970_at_82!C;VUP:6QA=&EO;B!E<G)O<BX_at_66]U
M(&-O=6QD(&5I=&AE<B!I;7!L96UE;G0_at_86)O=F4@:6YT97)F86-E(&]R('!R
M;VAI8FET(%1E<W0@=&]O;',@9G)O;2!L;V=G:6YG(&%R9W5M96YT('9A;'5E
M<R!F;W(@<W!E8VEF:65D('1Y<&4N(%1O(&1O('-O('5S92!F;VQL;W=I;F<@
M<W1A=&5M96YT(&]N(&9I;&4@;&5V96P_at_8F5F;W)E(&9I<G-T('1E<W0_at_8V%S
M92!I;F-L=61I;F<@<W1A=&5M96YT<R!F86EL:6YG('1O(&-O;7!L>3H\+U ^
M#0H@(#Q0(&-L87-S/2)F:7)S="UL:6YE+6EN9&5N=&5D(CX\4U!!3B!C;&%S
M<STB;F5W+71E<FTB/D)/3U-47U1%4U1?1$].5%]04DE.5%],3T=?5D%,544\
M+W-P86X^*"!!<F=U;65N=%1Y<&4@*2X\+U ^#0H@(#Q0(&-L87-S/2)F:7)S
M="UL:6YE+6EN9&5N=&5D(CY%=F5N('1H;W5G:"!S=7!P;&EE9"!T97-T('1O
M;VQS(&-O=F5R('=I9&4@<F%N9V4@;V8@<&]S<VEB;&4_at_8VAE8VMS(&%N9"!P
M<F]V:61E(&1E=&%I;&5D(')E<&]R="!O;B!C875S92!O9B!E<G)O<B!I;B!S
M;VUE(&-A<V5S('EO=2!M87D@=V%N="!T;R!I;7!L96UE;G0_at_86YD('5S92!C
M=7-T;VT@<')E9&EC871E('1H870@<&5R9F]R;2!C;VUP;&5X(&-H96-K(&%N
M9"!P<F]D=6-E(&EN=&5L;&EG96YT(')E<&]R="!O;B!F86EL=7)E+B!4;R!S
M871I<V9Y('1H:7,@;F5E9"!T97-T('1O;VQS(&EM<&QE;65N=',@/&$@:')E
M9CTB8W5S=&]M7W!R961I8V%T95]S=7!P;W)T+FAT;6PB/F-U<W1O;2!P<F5D
M:6-A=&4@<W5P<&]R=#PO83XN/"]0/@T*(" \2#(^/$$@;F%M93TB26UP;&5M
M96YT871I;VXB/DEM<&QE;65N=&%T:6]N/"]!/CPO2#(^#0H@(#Q0(&-L87-S
M/2)F:7)S="UL:6YE+6EN9&5N=&5D(CY4:&4_at_5&5S="!4;V]L<R!A<F4@:6UP
M;&5M96YT960@:6X@=&AR964@;6]D=6QE<SH@='=O(&AE861E<B!F:6QE<R!A
M;F0@#0H@(" @;VYE('-O=7)C92!F:6QE+B \+U ^#0H@(#Q(-#X\02!H<F5F
M/2(N+B\N+B\N+B\N+B\N+B]B;V]S="]T97-T+W1E<W1?=&]O;',N:'!P(CYB
M;V]S="]T97-T+W1E<W1?=&]O;',N:'!P/"]!/CH\+T_at_T/@T*(" \4"!C;&%S
M<STB9FER<W0M;&EN92UI;F1E;G1E9"(^8V]N=&%I;G,@9&5F:6YI=&EO;B!F
M;W(@=&AE(&-O;G9E;FEE;F-E(&UA8W)O<RP@<V]M92!T96UP;&%T92!B87-E
M9"!497-T( T*(" @(%1O;VQS(&EM<&QE;65N=&%T:6]N(&9U;F-T:6]N<R!A
M;F0_at_8VQA<W,@;W-T<F5A;5]T97-T7W-T<F5A;2X\+U ^#0H@(#Q(-#X\02!H
M<F5F/2(N+B\N+B\N+B\N+B\N+B]B;V]S="]T97-T+V9L;V%T:6YG7W!O:6YT
M7V-O;7!A<FES;VXN:'!P(CY";V]S="]T97-T+V9L;V%T:6YG7W!O:6YT7V-O
M;7!A<FES;VXN:'!P/"]!/CH\+T_at_T/@T*(" \4"!C;&%S<STB9FER<W0M;&EN
M92UI;F1E;G1E9"(^8V]N=&%I;G,@:6UP;&5M96YT871I;VX_at_9F]R('1H92!F
M;&]A=&EN9R!P;VEN="!C;VUP87)I<V]N(&%L9V]R:71H;7,L( T*(" @('5S
M960_at_8GD@0D]/4U1?0TA%0TM?0TQ/4T4@=&]O;"X_at_5&AE>2!A;'-O(&-O=6QD
M(&)E('5S960_at_9&ER96-T;'DN/"]0/@T*(" \2#0^/$$@:')E9CTB+BXO+BXO
M+BXO<W)C+W1E<W1?=&]O;',N8W!P(CYL:6)S+W1E<W0O=&5S=%]T;V]L<RYC
M<' \+T$^.CPO2#0^#0H@(#Q0(&-L87-S/2)F:7)S="UL:6YE+6EN9&5N=&5D
M(CYC;VYT86EN<R!D969I;FET:6]N(&9O<B!T:&4@;6]S="!497-T(%1O;VQS
M(&EM<&QE;65N=&%T:6]N(&9U;F-T:6]N<R -"B @("!A;F0_at_8VQA<W,@;W-T
M<F5A;5]T97-T7W-T<F5A;2!I;7!L96UE;G1A=&EO;BX\+U ^#0H@(#Q0(&-L
M87-S/2)F:7)S="UL:6YE+6EN9&5N=&5D(CY3:6YC92!T:&ES(&-O;7!O;F5N
M="!I<R!N;W0@:6YT96YD960@=&\@8F4@=7-E9"!S=&%N9&%L;VYE+"!T:&5R
M92!A<F4@#0H@(" @;F\@<W!E8VEA;"!C;VUP:6QA=&EO;B!I;G-T<G5C=&EO
M;B!F;W(@:70N/"]0/@T*(" \2#(^/$$@;F%M93TB17AA;7!L97,B/D5X86UP
M;&5S(&%N9"!497-T<SPO03X\+T_at_R/@T*(" \4"!C;&%S<STB:6YD96YT960B
M/CQ!(&AR968](BXN+RXN+V5X86UP;&5S+W1E<W1?97AE8U]M;VYI=&]R7V5X
M86UP;&4N:'1M;"(^=&5S=%]E>&5C7V5X86UP;&4\+T$^/$)2/@T*(" @(#Q!
M(&AR968](BXN+RXN+W1E<W1S+W1E<W1?97AE8U]F86EL,BYH=&UL(CYT97-T
M7V5X96-?9F%I;#(\+T$^/$)2/@T*(" @(#Q!(&AR968](BXN+RXN+W1E<W1S
M+W1E<W1?97AE8U]F86EL,RYH=&UL(CYT97-T7V5X96-?9F%I;#,\+T$^/$)2
M/@T*(" @(#Q!(&AR968](BXN+RXN+W1E<W1S+W1E<W1?=&]O;'-?=&5S="YH
M=&UL(CYT97-T7W1O;VQS7W1E<W0\+T$^/$)2/@T*(" @(#Q!(&AR968](BXN
M+RXN+W1E<W1S+W1E<W1?9G!?8V]M<&%R:7-O;G,N:'1M;"(^=&5S=%]F<%]C
M;VUP87)I<V]N<SPO03X@/"]0/@T*/"]$258^#0H\1$E6(&-L87-S/2)F;V]T
M97(B/B -"B @/$1)5B!C;&%S<STB9F]O=&5R+6)O9'DB/B -"B @(" \4#X@
M)F-O<'D@/$$@;F%M93TB0V]P>7)I9VAT(CY#;W!Y<FEG:'0\+T$^(#Q!(&AR
M968])VUA:6QT;SIR;V=E969F0&9U<V5M86EL+F-O;2<^1V5N;F%D:7D_at_4F]Z
M96YT86P\+T$^(#(P,#$M,C P-"X@/$)2/@T*(" @(" @57-E+"!M;V1I9FEC
M871I;VXL(&%N9"!D:7-T<FEB=71I;VX_at_87)E('-U8FIE8W0@=&\@=&AE($)O
M;W-T(%-O9G1W87)E($QI8V5N<V4L(%9E<G-I;VX@,2XP+B -"B @(" @("A3
M964_at_86-C;VUP86YY:6YG(&9I;&4@/$$@:')E9CTB+BXO+BXO+BXO+BXO+BXO
M3$E#14Y315\Q7S N='AT(CY,24-%3E-%7S%?,"YT>'0\+T$^(&]R(&-O<'D@
M870@#0H@(" @(" \02!H<F5F/2)H='1P.B\O=W=W+F)O;W-T+F]R9R],24-%
M3E-%7S%?,"YT>'0B/G=W=RYB;V]S="YO<F<O3$E#14Y315\Q7S N='AT/"]!
M/BD\+U ^#0H@(" @(" @(#Q0/E)E=FES960Z(" @(" @(" \(2TM("-"96=I
M;D1A=&4_at_9F]R;6%T.E-W,2 M+3XQ."!*86YU87)Y+" R,# T/"$M+2 C16YD
M1&%T92 M+3X@(" @(#PO4#X-"B @/"]$258^#0H\+T1)5CX-"CPO0D]$63X-
*"CPO2%1-3#X-"@``
`
end