/usr/include/boost/type_erasure/detail/const.hpp is in libboost1.55-dev 1.55.0+dfsg-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 | // Boost.TypeErasure library
//
// Copyright 2012 Steven Watanabe
//
// Distributed under 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)
//
// $Id: const.hpp 83332 2013-03-06 18:46:56Z steven_watanabe $
#ifndef BOOST_TYPE_ERASURE_DETAIL_CONST_HPP_INCLUDED
#define BOOST_TYPE_ERASURE_DETAIL_CONST_HPP_INCLUDED
#include <boost/mpl/if.hpp>
#include <boost/mpl/bool.hpp>
#include <boost/mpl/or.hpp>
#include <boost/mpl/and.hpp>
#include <boost/mpl/not.hpp>
#include <boost/type_traits/is_same.hpp>
#include <boost/type_traits/is_const.hpp>
#include <boost/type_traits/is_reference.hpp>
#include <boost/type_traits/remove_reference.hpp>
#include <boost/type_traits/remove_cv.hpp>
#include <boost/type_erasure/placeholder_of.hpp>
#include <boost/type_erasure/derived.hpp>
namespace boost {
namespace type_erasure {
namespace detail {
template<class T>
struct is_non_const_ref : boost::mpl::false_ {};
template<class T>
struct is_non_const_ref<T&> : boost::mpl::true_ {};
template<class T>
struct is_non_const_ref<const T&> : boost::mpl::false_ {};
template<class Placeholder, class Base>
struct should_be_const :
::boost::mpl::or_<
::boost::is_const<Placeholder>,
::boost::type_erasure::detail::is_non_const_ref<
typename ::boost::type_erasure::placeholder_of<Base>::type
>
>
{};
template<class Placeholder, class Base>
struct should_be_non_const :
::boost::mpl::and_<
::boost::mpl::not_< ::boost::is_const<Placeholder> >,
::boost::mpl::not_<
::boost::is_reference<
typename ::boost::type_erasure::placeholder_of<Base>::type
>
>
>
{};
template<class Base>
struct non_const_this_param
{
typedef typename ::boost::type_erasure::placeholder_of<Base>::type placeholder;
typedef typename ::boost::type_erasure::derived<Base>::type plain_type;
typedef typename ::boost::mpl::if_<
::boost::is_same<
placeholder,
typename ::boost::remove_cv<
typename ::boost::remove_reference<placeholder>::type
>::type&
>,
const plain_type,
plain_type
>::type type;
};
template<class T>
struct uncallable {};
template<class Placeholder, class Base>
struct maybe_const_this_param
{
typedef typename ::boost::type_erasure::derived<Base>::type plain_type;
typedef typename ::boost::remove_reference<Placeholder>::type plain_placeholder;
typedef typename ::boost::mpl::if_< ::boost::is_reference<Placeholder>,
typename ::boost::mpl::if_<
::boost::type_erasure::detail::should_be_non_const<plain_placeholder, Base>,
plain_type&,
typename ::boost::mpl::if_<
::boost::type_erasure::detail::should_be_const<plain_placeholder, Base>,
const plain_type&,
uncallable<plain_type>
>::type
>::type,
plain_type
>::type type;
};
#ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
template<class Placeholder, class Base>
struct maybe_const_this_param<Placeholder&&, Base>
{
typedef typename ::boost::type_erasure::derived<Base>::type plain_type;
typedef typename ::boost::remove_reference<Placeholder>::type plain_placeholder;
typedef typename ::boost::type_erasure::placeholder_of<plain_type>::type self_placeholder;
typedef typename ::boost::mpl::if_< ::boost::is_lvalue_reference<self_placeholder>,
::boost::type_erasure::detail::uncallable<plain_type>,
typename ::boost::mpl::if_< ::boost::is_rvalue_reference<self_placeholder>,
const plain_type&,
plain_type&&
>::type
>::type type;
};
#endif
}
}
}
#endif
|