[boost] Re: is_base_and_derived question

From: Gennaro Prota (gennaro_prota_at_[hidden])
Date: 2003-01-30 04:26:13

On Tue, 28 Jan 2003 10:47:52 -0800, "Andrei Alexandrescu"
<andrewalex_at_[hidden]> wrote:

>"Peter Dimov" <pdimov_at_[hidden]> wrote in message
>> While we're at it, is the final verdict that is_base_and_derived<void, X>
>> should be false? What about is_base_and_derived<void, void>?
>
>Well, clearly void is no base. Even if we also define is_super_and_subtype,
>void is hardly a supertype of everything.

Could you please clarify this? You mean:

  T is a subtype of U <=> ...?...

  T is a supertype of U <=> ...?...

Genny.