di::concepts::ConvertibleToNonSlicing Concept Reference

This concept requires that the conversion from From to To would not result in converting a derived type to a base type. More...

#include <di/meta/operations.h>

Concept definition

template<typename From, typename To>
concept di::concepts::ConvertibleToNonSlicing = 
    ConvertibleTo<From, To> &&
    (!Pointer<meta::Decay<From>> || !Pointer<meta::Decay<To>> ||
     ImplicitlyConvertibleTo<meta::RemovePointer<From> (*)[], meta::RemovePointer<To> (*)[]>)

Detailed Description

This concept requires that the conversion from From to To would not result in converting a derived type to a base type.

This is useful to prevent slicing when treating pointers as iterators, since an Cat[] can not be viewed the same as an Animal[].