Boost logo

Boost :

Subject: Re: [boost] New dependency report
From: Peter Dimov (lists_at_[hidden])
Date: 2014-06-07 14:00:28

Andrey Semashev wrote:

> Pulling type traits to Core doesn't sound good, it's better to create a
> separate submodule for it.

I think that you misunderstand. I do not intend to put type traits in Core.
The is_pointer definition in the example is part of the test for bool_. It
demonstrates that bool_ can dispatch without it being coupled to the
definition of the trait - which can come from core_type_traits, from std, or
from a user specialization.

> It's still a partial solution...

When you say that it is a partial solution, what problem do you have in mind
it is a partial solution for?

> ... since
> f(is_pointer< int >::type());
> is also valid with the current implementation.

Well, so is

    is_pointer<int>::value_type x = is_pointer<int>::type::type();

but I'm not sure what is the practical impact of these examples.

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