is_base_of for template base about type_traits

[jzmaddock]

I'm having a hard time thinking of a use case for that - can you elaborate some more?

[jzmaddock]

Closing as extra information not supplied.

[lpranam]

I'm having a hard time thinking of a use case for that - can you elaborate some more?

@jzmaddock this is a useful utility and I have used it in my GSoC project (boost.astronomy) too. A simplified example is as follows:

Taking the standard example of shapes to demonstrate the inheritance but this time also providing g units with the measurements using boost.units and boost.geometry.

template <typename CoordinateSystem, typename CoordinateType>
struct base{};

template<
    typename CoordinateType,
    typename XQuantity,
    typename YQuantity,
    typename ZQuantity
>
struct cartesian: base<bg::cs::cartesian, CoordinateType>{};

template<
    typename CoordinateType,
    typename LatQuantity,
    typename LonQuantity,
    typename DistQuantity
>
struct spherical: base<bg::cs::spherical<radian>, CoordinateType>{};

template <typename Coordinate_1, typename Coordinate_2>
Coordinate_1 sum(Coordinate_1 coordinate1, Coordinate_2 coordinate2)
{
    static_assert(is_base_template_of<base, Coordinate_1>::value, "Not a valid argument!");
    static_assert(is_base_template_of<base, Coordinate_2>::value, "Not a valid argument!");
    //code
}

Here such utility comes handy because I don't care what type of units are used because they will be converted internally.

More example can be found in coordinate module of boost.astronomy.

If this seems nice then I can also send PR for the same.