[boost] Concept Check pqs-1-01-00

From: Andy Little (andy_at_[hidden])
Date: 2004-01-13 18:48:05

Hi,

    enclosed header as root of pqs-1-01-00.
all feedback welcome.

(special note to Dave Abrahams.
There may be something in this MPL stuff after all. :-)   )

regards
Andy Little

begin 666 quantity.hpp
M(VEF;F1E9B!"3T]35%]02%E324-37T-/3D-2151%7U%504Y425197TA04%])
M3D-,541%1 T*(V1E9FEN92!"3T]35%]02%E324-37T-/3D-2151%7U%504Y4
M25197TA04%])3D-,541%1 T*#0HC:6YC;'5D92 B8F]O<W0O;7!L+W!L=7,N
M:'!P(@HC:6YC;'5D92 B8F]O<W0O;7!L+VUI;G5S+FAP<"(*(VEN8VQU9&4@
M(F)O;W-T+VUP;"]M=6QT:7!L:65S+FAP<"(*(VEN8VQU9&4@(F)O;W-T+VUP
M;"]D:79I9&5S+FAP<"(*(VEN8VQU9&4@(F)O;W-T+VUP;"]N96=A=&4N:'!P
M(@T*#0IN86UE<W!A8V4_at_8F]O<W1[;F%M97-P86-E('%U86YT:71I97-[#0H-
M"B @("!T96UP;&%T93P-"B @(" @(" @+R]$+D$-"B @(" @(" @='EP96YA
M;64_at_06)S=')A8W1?<2P-"B @(" @(" @+R\@56YI=',@:&%V92!A("=V86QU
M92<@*R!C;VYV(&EN9F\-"B @(" @(" @='EP96YA;64_at_56YI=',L#0H@(" @
M(" @("\O(&AO=R!U<V5R('=A;G1S(&-O;G9E<G-I;VYS("L@=F%L=65?='EP
M90T*(" @(" @("!T>7!E;F%M92!686QU95]T>7!E7W1R86ET<PT*(" @(#X-
M"B @("!C;&%S<R!C;VYC<F5T95]Q>PT*(" @('!U8FQI8SH-"B @(" @(" @
M='EP961E9B!!8G-T<F%C=%]Q(" @(" @(" @86)S=')A8W1?='EP93L-"B @
M(" @(" @='EP961E9B!5;FET<R @(" @(" @(" @(" @('5N:71S7W1Y<&4[
M#0H@(" @(" @('1Y<&5D968_at_5F%L=65?='EP95]T<F%I=',@("!V86QU95]T
M>7!E7W1R86ET<U]T>7!E.PT*(" @(" @("!T>7!E9&5F(&-O;F-R971E7W$\
M#0H@(" @(" @(" @("!A8G-T<F%C=%]T>7!E+ T*(" @(" @(" @(" @=6YI
M='-?='EP92P-"B @(" @(" @(" @(%9A;'5E7W1Y<&5?=')A:71S#0H@(" @
M(" @(#X@='EP93L-"B @(" @(" @+RH-"B @(" @(" @;W!S#0H@(" @(" @
M("HO#0H@(" @(" @('!R:79A=&4Z#0H@(" @(" @('1Y<&5N86UE(%9A;'5E
M7W1Y<&5?=')A:71S.CIV86QU95]T>7!E(&U?=F%L=64[#0H@(" @?3L-"GU]
M("\O8F]O<W0Z.G%U86YT:71I97,-"@T*(&YA;65S<&%C92!B;V]S='MN86UE
M<W!A8V4@<75A;G1I=&EE<WMN86UE<W!A8V4_at_9&5T86EL>PT*("\O(&YE960@
M8V]N=F5R<VEO;G,@870_at_86)S=')A8W1?<2Q5;FET(&QA>65R#0H@(" @(" @
M('1E;7!L871E(#QT>7!E;F%M92!!+"!T>7!E;F%M92!"/@T*(" @(" @("!S
M=')U8W0@<5]C;VYV97)T>PT*(" @(" @(" @(" @='EP961E9B!V;VED('1Y
M<&4[#0H@(" @(" @('T[#0H-"B @(" @(" @=&5M<&QA=&4@/'1Y<&5N86UE
M(%0^#0H@(" @(" @('-T<G5C="!Q7V-O;G9E<G0\5"Q4/GL-"B @(" @(" @
M(" @('1Y<&5D968@(%0@='EP93L-"B @(" @(" @?3L-"@T*(" @(" @(" O
M+R!A;F0@<')O;6]T:6]N<R!A="!A8G-T<F%C=%]Q+%5N:70@;&%Y97(-"B @
M(" @(" @=&5M<&QA=&4@/'1Y<&5N86UE($$L('1Y<&5N86UE($(^#0H@(" @
M(" @('-T<G5C="!Q7W!R;VUO=&5[#0H@(" @(" @(" @("!T>7!E9&5F('9O
M:60@='EP93L-"B @(" @(" @?3L-"@T*(" @(" @("!T96UP;&%T92 \='EP
M96YA;64_at_5#X-"B @(" @(" @<W1R=6-T('%?<')O;6]T93Q4+%0^>PT*(" @
M(" @(" @(" @='EP961E9B @5"!T>7!E.PT*(" @(" @("!].PT*#0HO+VYE
M960@<V]M971H:6YG('1O(&1I<W1I;F=U:7-H(&%D9&ET:6]N(&]F('!O=V5R
M<PT*+R\@:6X@;75L=&EP;&EC871I;VX_at_971C#0HO+W%?(')E<')E<V5N=',@
M=&AE('%?;&%Y97(@;W -"B @(" @(" @=&5M<&QA=&4@/'1Y<&5N86UE($$L
M('1Y<&5N86UE($(^#0H@(" @(" @('-T<G5C="!Q7W!L=7,[#0H@(" @(" @
M('1E;7!L871E(#QT>7!E;F%M92!!+"!T>7!E;F%M92!"/@T*(" @(" @("!S
M=')U8W0@<5]M:6YU<SL-"B @(" @(" @=&5M<&QA=&4@/'1Y<&5N86UE($$L
M('1Y<&5N86UE($(^#0H@(" @(" @('-T<G5C="!Q7VUU;'1I<&QI97,[#0H@
M(" @(" @('1E;7!L871E(#QT>7!E;F%M92!!+"!T>7!E;F%M92!"/@T*(" @
M(" @("!S=')U8W0@<5]D:79I9&5S.PT*(" @(" @("!T96UP;&%T92 \='EP
M96YA;64_at_02P@='EP96YA;64_at_0CX-"B @(" @(" @<W1R=6-T('%?<&]W97([
M#0H@(" @(" @('1E;7!L871E(#QT>7!E;F%M92!!+"!T>7!E;F%M92!"/@T*
M(" @(" @("!S=')U8W0@<5]R;V]T.PT*(" @(" @("!T96UP;&%T92 \='EP
M96YA;64_at_02P@='EP96YA;64_at_0CX-"B @(" @(" @<W1R=6-T('%?8V]M<&%R
M93L-"B @(" @(" @#0I]?7TO+V)O;W-T.CIQ=6%N=&ET:65S.CID971A:6P-
M"@T*;F%M97-P86-E(&)O;W-T>R!N86UE<W!A8V4@='EP95]T<F%I='-[#0H@
M(" @(" @('1E;7!L871E/'1Y<&5N86UE($$L('1Y<&5N86UE($(^#0H@(" @
M(" @('-T<G5C="!C;VYV97)T.PT*(" @(" @(" @=&5M<&QA=&4\='EP96YA
M;64_at_02P@='EP96YA;64_at_0CX-"B @(" @(" @<W1R=6-T('!R;VUO=&4[#0I]
M?2\O8F]O<W0Z.G1Y<&5?=')A:71S#0H@(" @#0IN86UE<W!A8V4_at_8F]O<W0@
M>VYA;65S<&%C92!M<&Q[#0HO+R!T>7!E(&]P97)A=&EO;G,@;VX_at_82!C;VYC
M<F5T92!P<0T*(" @('1E;7!L871E/ T*(" @(" @("!T>7!E;F%M92!!8G-T
M<F%C=%]Q02P-"B @(" @(" @='EP96YA;64_at_56YI='-!+ T*(" @(" @("!T
M>7!E;F%M92!686QU95]T>7!E7W1R86ET<T$L#0H@(" @(" @('1Y<&5N86UE
M($%B<W1R86-T7W%"+ T*(" @(" @("!T>7!E;F%M92!5;FET<T(L#0H@(" @
M(" @('1Y<&5N86UE(%9A;'5E7W1Y<&5?=')A:71S0_at_T*(" @(#X-"B @("!S
M=')U8W0_at_8F]O<W0Z.FUP;#HZ<&QU<SP-"B @(" @(" @(" @(&)O;W-T.CIQ
M=6%N=&ET:65S.CIC;VYC<F5T95]Q/ T*(" @(" @(" @(" @(" @($%B<W1R
M86-T7W%!+ T*(" @(" @(" @(" @(" @(%5N:71S02P-"B @(" @(" @(" @
M(" @("!686QU95]T>7!E7W1R86ET<T$-"B @(" @(" @(" @(#XL#0H@(" @
M(" @(" @("!B;V]S=#HZ<75A;G1I=&EE<SHZ8V]N8W)E=&5?<3P-"B @(" @
M(" @(" @(" @("!!8G-T<F%C=%]Q0BP-"B @(" @(" @(" @(" @("!5;FET
M<T(L#0H@(" @(" @(" @(" @(" @5F%L=65?='EP95]T<F%I='-"#0H@(" @
M(" @(" @(" ^#0H@(" @/GL-"B @(" @(" @+R\@<V]M92!S;W)T(&]F(&-O
M;7!A<FES;VXL(&-O;F-E<'0_at_8VAE8VMI;F<@971C#0H@(" @(" @('1Y<&5D
M968@='EP96YA;64_at_8F]O<W0Z.G%U86YT:71I97,Z.F1E=&%I;#HZ<5]P;'5S
M/ T*(" @(" @(" @(" @06)S=')A8W1?<4$L#0H@(" @(" @(" @("!!8G-T
M<F%C=%]Q0_at_T*(" @(" @(" ^.CIT>7!E(&%B<W1R86-T7W1Y<&4[#0H@(" @
M(" @("\O('5N:70_at_8V]N=F5R<VEO;B!F;W(@861D:71I;VX-"B @(" @(" @
M='EP961E9B!T>7!E;F%M92!B;V]S=#HZ<75A;G1I=&EE<SHZ9&5T86EL.CIQ
M7W!L=7,\#0H@(" @(" @(" @("!5;FET<T$L#0H@(" @(" @(" @("!5;FET
M<T(-"B @(" @(" @/CHZ='EP92 @('5N:71S7W1Y<&4[#0H@(" @(" @("\O
M(%9A;'5E7W1Y<&4_at_8V]N=F5R<VEO;@T*(" @(" @("!T>7!E9&5F('1Y<&5N
M86UE(&)O;W-T.CIT>7!E7W1R86ET<SHZ<')O;6]T93P-"B @(" @(" @(" @
M(%9A;'5E7W1Y<&5?=')A:71S02P-"B @(" @(" @(" @(%9A;'5E7W1Y<&5?
M=')A:71S0_at_T*(" @(" @(" ^.CIV86QU95]T>7!E7W1R86ET<U]T>7!E('9A
M;'5E7W1Y<&5?=')A:71S7W1Y<&4[#0H-"B @(" @(" @='EP961E9B!B;V]S
M=#HZ<75A;G1I=&EE<SHZ8V]N8W)E=&5?<3P-"B @(" @(" @(" @(&%B<W1R
M86-T7W1Y<&4L#0H@(" @(" @(" @("!U;FET<U]T>7!E+" -"B @(" @(" @
M(" @('9A;'5E7W1Y<&5?=')A:71S7W1Y<&4-"B @(" @(" @/B!T>7!E.PT*
M(" @('T[#0H-"B\O+R!U;F9I;FES:&5D+BXN+BXN+BXN+@T*(" @("\O=&5M
M<&QA=&4\#0H@(" @+R\@(" @='EP96YA;64_at_06)S=')A8W1?<4$L#0H@(" @
M+R\@(" @='EP96YA;64_at_06)S=')A8W1?<4(L#0H@(" @+R\@(" @='EP96YA
M;64_at_56YI='-!+ T*(" @("\O(" @('1Y<&5N86UE(%5N:71S0_at_T*(" @("\O
M/@T*(" @("\O<W1R=6-T(&)O;W-T.CIM<&PZ.FUI;G5S/ T*(" @("\O(" @
M(" @("!B;V]S=#HZ<75A;G1I=&EE<SHZ8V]N8W)E=&5?<3P-"B @(" O+R @
M(" @(" @(" @($%B<W1R86-T7W%!+ T*(" @("\O(" @(" @(" @(" @56YI
M='-!#0H@(" @+R\@(" @(" @(#XL#0H@(" @+R\@(" @(" @(&)O;W-T.CIQ
M=6%N=&ET:65S.CIC;VYC<F5T95]Q/ T*(" @("\O(" @(" @(" @(" @06)S
M=')A8W1?<4(L#0H@(" @+R\@(" @(" @(" @("!5;FET<T(-"B @(" O+R @
M(" @(" @/@T*(" @("\O/GL-"B @(" O+R @("!T>7!E9&5F('1Y<&5N86UE
M(&)O;W-T.CIQ=6%N=&ET:65S.CID971A:6PZ.G%?;6EN=7,\#0H@(" @+R\@
M(" @(" @($%B<W1R86-T7W%!+ T*(" @("\O(" @(" @("!!8G-T<F%C=%]Q
M0_at_T*(" @("\O(" @(#XZ.G1Y<&4_at_86)S=')A8W1?='EP93L-"B @(" O+R @
M("!T>7!E9&5F('1Y<&5N86UE(&)O;W-T.CIQ=6%N=&ET:65S.CID971A:6PZ
M.G%?;6EN=7,\#0H@(" @+R\@(" @(" @(%5N:71S02P-"B @(" O+R @(" @
M(" @56YI='-"#0H@(" @+R\@(" @/CHZ='EP92 @('5N:71S7W1Y<&4[#0H@
M(" @+R\@(" @='EP961E9B!B;V]S=#HZ<75A;G1I=&EE<SHZ8V]N8W)E=&5?
M<3P-"B @(" O+R @(" @(" @86)S=')A8W1?='EP92P-"B @(" O+R @(" @
M(" @=6YI='-?='EP90T*(" @("\O(" @(#X@='EP93L-"B @(" O+WT[#0H-
M"B @(" O+W1E;7!L871E/ T*(" @("\O(" @('1Y<&5N86UE($%B<W1R86-T
M7W%!+ T*(" @("\O(" @('1Y<&5N86UE($%B<W1R86-T7W%"+ T*(" @("\O
M(" @('1Y<&5N86UE(%5N:71S02P-"B @(" O+R @("!T>7!E;F%M92!5;FET
M<T(-"B @(" O+SX-"B @(" O+W-T<G5C="!B;V]S=#HZ;7!L.CIM=6QT:7!L
M:65S/ T*(" @("\O(" @(" @("!B;V]S=#HZ<75A;G1I=&EE<SHZ8V]N8W)E
M=&5?<3P-"B @(" O+R @(" @(" @(" @($%B<W1R86-T7W%!+ T*(" @("\O
M(" @(" @(" @(" @56YI='-!#0H@(" @+R\@(" @(" @(#XL#0H@(" @+R\@
M(" @(" @(&)O;W-T.CIQ=6%N=&ET:65S.CIC;VYC<F5T95]Q/ T*(" @("\O
M(" @(" @(" @(" @06)S=')A8W1?<4(L#0H@(" @+R\@(" @(" @(" @("!5
M;FET<T(-"B @(" O+R @(" @(" @/@T*(" @("\O/GL-"B @(" O+R @("!T
M>7!E9&5F('1Y<&5N86UE(&)O;W-T.CIQ=6%N=&ET:65S.CID971A:6PZ.G%?
M;75L=&EP;&EE<SP-"B @(" O+R @(" @(" @06)S=')A8W1?<4$L#0H@(" @
M+R\@(" @(" @($%B<W1R86-T7W%"#0H@(" @+R\@(" @/CHZ='EP92!A8G-T
M<F%C=%]T>7!E.PT*(" @("\O(" @('1Y<&5D968@='EP96YA;64_at_8F]O<W0Z
M.G%U86YT:71I97,Z.F1E=&%I;#HZ<5]M=6QT:7!L:65S/ T*(" @("\O(" @
M(" @("!5;FET<T$L#0H@(" @+R\@(" @(" @(%5N:71S0_at_T*(" @("\O(" @
M(#XZ.G1Y<&4@("!U;FET<U]T>7!E.PT*(" @("\O(" @('1Y<&5D968_at_8F]O
M<W0Z.G%U86YT:71I97,Z.F-O;F-R971E7W$\#0H@(" @+R\@(" @(" @(&%B
M<W1R86-T7W1Y<&4L#0H@(" @+R\@(" @(" @('5N:71S7W1Y<&4-"B @(" O
M+R @(" ^('1Y<&4[#0H@(" @+R]].PT*#0H@(" @#0I]?2 O+V)O;W-T.CIM
.<&P-"@T*(V5N9&EF#0H`
`
end