Re: [boost] ENFORCE

2003-04-26 Thread David Abrahams
Andrei Alexandrescu [EMAIL PROTECTED] writes: By the way, I believe what would be more interesting for Boost is the recent article (http://www.cuj.com/experts/2106/alexandr.htm), written by Petru Marginean and myself. (Warning - the article has recently been updated.) We have good

Re: [boost] Re: is_convertible: rationale and wording

2003-04-26 Thread David Abrahams
Mike Conley [EMAIL PROTECTED] writes: Actually, there is another advantage, which (I think) is at least as important as the ones you cite. Namely, it is possible to define a built in operator such that is_convertibleY,X returns false for class X{}; class Y : X {}; This one is

Re: [boost] in/out parameters, coding styles andmaintenance[was:class proposal]

2003-04-26 Thread David Abrahams
Justin M. Lewis [EMAIL PROTECTED] writes: You're missing the point. Personally I see the need for out and in/out params. While some of you may not like them, I use them, as do others. The question then becomes, when reading my code, would you rather see f(x,y,z); or f(out(x),

RE: [boost] wave/spirit bugs (cpp_slex_lexer.hpp v1.11)

2003-04-26 Thread Hartmut Kaiser
Reece Dunn wrote: In the file: spirit/wave/wave/cpplexer/slex/cpp_slex_lexer.hpp I have noticed two points that may be bugs (but have not verified through compilation.) 1 line 335: [332] // C++ only token definitions [333] template typename IteratorT, typename PositionT

[boost] Re: ENFORCE

2003-04-26 Thread Andrei Alexandrescu
David Abrahams [EMAIL PROTECTED] wrote in message news:[EMAIL PROTECTED] Andrei Alexandrescu [EMAIL PROTECTED] writes: By the way, I believe what would be more interesting for Boost is the recent article (http://www.cuj.com/experts/2106/alexandr.htm), written by Petru Marginean and myself.

[boost] Re: ENFORCE

2003-04-26 Thread Edward Diener
David Abrahams wrote: Andrei Alexandrescu [EMAIL PROTECTED] writes: By the way, I believe what would be more interesting for Boost is the recent article (http://www.cuj.com/experts/2106/alexandr.htm), written by Petru Marginean and myself. (Warning - the article has recently been updated.)

Re: [boost] Re: ENFORCE

2003-04-26 Thread David Abrahams
Andrei Alexandrescu [EMAIL PROTECTED] writes: I browsed the article (I confess to not having read everything, so please correct any misapprehensions). My sense is that the technique is oriented towards detecting programmer errors and responding via an exception. No. Please correct my

Re: [boost] Re: ENFORCE

2003-04-26 Thread David Abrahams
Edward Diener [EMAIL PROTECTED] writes: I browsed the article (I confess to not having read everything, so please correct any misapprehensions). My sense is that the technique is oriented towards detecting programmer errors and responding via an exception. I don't think ENFORCE is oriented

Re: [boost] Re: ENFORCE

2003-04-26 Thread Tanton Gibbs
From: David Abrahams [EMAIL PROTECTED] Edward Diener [EMAIL PROTECTED] writes: I browsed the article (I confess to not having read everything, so please correct any misapprehensions). My sense is that the technique is oriented towards detecting programmer errors and responding via an

[boost] Re: Re: is_convertible: rationale and wording

2003-04-26 Thread Mike Conley
David Abrahams [EMAIL PROTECTED] wrote in news:[EMAIL PROTECTED]: This one is sticky. class Y : X { true_type f() { return is_convertibleY,X::type(); } }; false_type x = is_convertibleY,X::type(); I'm not sure I see the problem here. If is_convertible is a built in compile

Re: [boost] in/out parameters, coding styles andmaintenance[was:class proposal]

2003-04-26 Thread Justin M. Lewis
I don't think it's reasonable to compare how things are done in the standard library to how things are done in actual code. The standard library is STANDARD, we all KNOW what it does, and how it behaves, and it's documented all over the place. My code on the other hand, it's not standard, you

Re: [boost] Re: Re: is_convertible: rationale and wording

2003-04-26 Thread David Abrahams
Mike Conley [EMAIL PROTECTED] writes: David Abrahams [EMAIL PROTECTED] wrote in news:[EMAIL PROTECTED]: This one is sticky. class Y : X { true_type f() { return is_convertibleY,X::type(); } }; false_type x = is_convertibleY,X::type(); I'm not sure I see the problem here.

[boost] Re: Re: ENFORCE

2003-04-26 Thread Edward Diener
David Abrahams wrote: Edward Diener [EMAIL PROTECTED] writes: I browsed the article (I confess to not having read everything, so please correct any misapprehensions). My sense is that the technique is oriented towards detecting programmer errors and responding via an exception. I don't

Re: [boost] in/out parameters, coding styles andmaintenance[was:class proposal]

2003-04-26 Thread David Abrahams
Justin M. Lewis [EMAIL PROTECTED] writes: I don't think it's reasonable to compare how things are done in the standard library to how things are done in actual code. I didn't make that comparison. Most of my code is not in the standard library. The standard library is STANDARD, we all

[boost] Re: Re: Re: is_convertible: rationale and wording

2003-04-26 Thread Mike Conley
David Abrahams [EMAIL PROTECTED] wrote in news:[EMAIL PROTECTED]: Further, suppose I write a metafunction: template class T struct is_const_and_int_convertible : and_ is_constT , is_convertibleT,int {};

Re: [boost] Re: Re: Re: is_convertible: rationale and wording

2003-04-26 Thread David Abrahams
Mike Conley [EMAIL PROTECTED] writes: David Abrahams [EMAIL PROTECTED] wrote in news:[EMAIL PROTECTED]: Further, suppose I write a metafunction: template class T struct is_const_and_int_convertible : and_ is_constT ,