From: David Abrahams (dave_at_[hidden])
Date: 2003-02-21 10:02:23
Gabriel Dos Reis <gdr_at_[hidden]> writes:
> David Abrahams <dave_at_[hidden]> writes:
>
> | I disagree with your conclusion. As I've said elsewhere, &k can be a
> | compile-time constant in the same way that &X::k is a compile-time
> | constant.
>
> Certainly, you've said that. But that assertion by itself does not
> constitute a proof of the well-foundness of the attempted analogy or
> whether the analogy actually constitutes a proof.
It's not intended to be proof in the mathematical sense; I doubt I
have the energy for that ;-), though I think MSVC probably constitutes
an existence proof.
I'm hoping people will "just see" that it's possible based on what
I've said. I doubt I can explain it any better than I have at this
point.
-- Dave Abrahams Boost Consulting www.boost-consulting.com