

//  (C) Copyright Steve Cleary, Beman Dawes, Howard Hinnant & John Maddock 2000.

//  Use, modification and distribution are subject to the Boost Software License,

//  Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at

//  http://www.boost.org/LICENSE_1_0.txt).

//

//  See http://www.boost.org/libs/type_traits for most recent version including documentation.



#ifndef BOOST_TT_IS_POD_HPP_INCLUDED

#define BOOST_TT_IS_POD_HPP_INCLUDED



#include <boost/type_traits/config.hpp>

#include <boost/type_traits/is_void.hpp>

#include <boost/type_traits/is_scalar.hpp>

#include <boost/type_traits/detail/ice_or.hpp>

#include <boost/type_traits/intrinsics.hpp>



#include <cstddef>



// should be the last #include

#include <boost/type_traits/detail/bool_trait_def.hpp>



namespace boost {



// forward declaration, needed by 'is_pod_array_helper' template below

template< typename T > struct is_POD;



namespace detail {



#ifndef BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION



template <typename T> struct is_pod_impl

{ 

    BOOST_STATIC_CONSTANT(

        bool, value =

        (::boost::type_traits::ice_or<

            ::boost::is_scalar<T>::value,

            ::boost::is_void<T>::value,

            BOOST_IS_POD(T)

         >::value));

};



#if !defined(BOOST_NO_ARRAY_TYPE_SPECIALIZATIONS)

template <typename T, std::size_t sz>

struct is_pod_impl<T[sz]>

    : is_pod_impl<T>

{

};

#endif



#else



template <bool is_array = false>

struct is_pod_helper

{

    template <typename T> struct result_

    {

        BOOST_STATIC_CONSTANT(

            bool, value =

            (::boost::type_traits::ice_or<

                ::boost::is_scalar<T>::value,

                ::boost::is_void<T>::value,

                BOOST_IS_POD(T)

            >::value));

    };

};



template <bool b>

struct bool_to_yes_no_type

{

    typedef ::boost::type_traits::no_type type;

};



template <>

struct bool_to_yes_no_type<true>

{

    typedef ::boost::type_traits::yes_type type;

};



template <typename ArrayType>

struct is_pod_array_helper

{

    enum { is_pod = ::boost::is_POD<ArrayType>::value }; // MSVC workaround

    typedef typename bool_to_yes_no_type<is_pod>::type type;

    type instance() const;

};



template <typename T>

is_pod_array_helper<T> is_POD_array(T*);



template <>

struct is_pod_helper<true>

{

    template <typename T> struct result_

    {

        static T& help();

        BOOST_STATIC_CONSTANT(bool, value =

            sizeof(is_POD_array(help()).instance()) == sizeof(::boost::type_traits::yes_type)

            );

    };

};





template <typename T> struct is_pod_impl

{ 

   BOOST_STATIC_CONSTANT(

       bool, value = (

           ::boost::detail::is_pod_helper<

              ::boost::is_array<T>::value

           >::template result_<T>::value

           )

       );

};



#endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION



// the following help compilers without partial specialization support:

BOOST_TT_AUX_BOOL_TRAIT_IMPL_SPEC1(is_pod,void,true)



#ifndef BOOST_NO_CV_VOID_SPECIALIZATIONS

BOOST_TT_AUX_BOOL_TRAIT_IMPL_SPEC1(is_pod,void const,true)

BOOST_TT_AUX_BOOL_TRAIT_IMPL_SPEC1(is_pod,void volatile,true)

BOOST_TT_AUX_BOOL_TRAIT_IMPL_SPEC1(is_pod,void const volatile,true)

#endif



} // namespace detail



BOOST_TT_AUX_BOOL_TRAIT_DEF1(is_POD,T,::boost::detail::is_pod_impl<T>::value)

BOOST_TT_AUX_BOOL_TRAIT_DEF1(is_pod,T,::boost::detail::is_pod_impl<T>::value)



} // namespace boost



#include <boost/type_traits/detail/bool_trait_undef.hpp>



#endif // BOOST_TT_IS_POD_HPP_INCLUDED

