Boost logo

Boost :

Subject: [boost] [type_traits] is_base_of<B, D> should work when B is incomplete
From: Andrzej Krzemienski (akrzemi1_at_[hidden])
Date: 2016-03-03 16:57:46

I have filed the following ticket:

The Standard ([meta.rel]) requires that in std::is_base_of<B, D> D must be
a complete type, but it does not require the same of B. This makes sense,
because if we compare a complete type D and an incomplete type B, the
former is surely not derived from the latter.
In contrast, boost::is_base_of imposes an additional constraint that B must
also be complete. Could this restriction be lifted?


Boost list run by bdawes at, gregod at, cpdaniel at, john at