2014-06-01 17:55:23 +00:00
|
|
|
/*
|
|
|
|
* This file is part of the DXX-Rebirth project <http://www.dxx-rebirth.com/>.
|
|
|
|
* It is copyright by its individual contributors, as recorded in the
|
|
|
|
* project's Git history. See COPYING.txt at the top level for license
|
|
|
|
* terms and a link to the Git history.
|
|
|
|
*/
|
2013-12-24 04:53:59 +00:00
|
|
|
#pragma once
|
2014-07-05 22:00:08 +00:00
|
|
|
|
2014-08-17 20:41:59 +00:00
|
|
|
#include <cstddef>
|
2014-07-05 22:00:08 +00:00
|
|
|
#include <stdexcept>
|
2013-12-24 04:53:59 +00:00
|
|
|
#include "dxxsconf.h"
|
2014-07-11 03:14:50 +00:00
|
|
|
#include "compiler-type_traits.h"
|
|
|
|
|
|
|
|
#ifdef DXX_HAVE_BUILTIN_CONSTANT_P
|
2014-07-31 02:47:46 +00:00
|
|
|
#define DXX_VALPTRIDX_STATIC_CHECK(E,F,S) \
|
|
|
|
((void)(dxx_builtin_constant_p((E)) && !(E) && \
|
|
|
|
(DXX_ALWAYS_ERROR_FUNCTION(F,S), 0)))
|
2014-07-11 03:14:50 +00:00
|
|
|
#else
|
2014-07-31 02:47:46 +00:00
|
|
|
#define DXX_VALPTRIDX_STATIC_CHECK(E,F,S) \
|
2014-08-09 17:38:45 +00:00
|
|
|
((void)0)
|
2014-07-11 03:14:50 +00:00
|
|
|
#endif
|
|
|
|
|
2014-09-13 22:01:17 +00:00
|
|
|
#ifdef DXX_HAVE_CXX11_REF_QUALIFIER
|
|
|
|
#define DXX_VALPTRIDX_REF_QUALIFIER_LVALUE &
|
|
|
|
#else
|
|
|
|
#define DXX_VALPTRIDX_REF_QUALIFIER_LVALUE
|
|
|
|
#endif
|
|
|
|
|
2014-08-09 17:38:45 +00:00
|
|
|
#define DXX_VALPTRIDX_CHECK(E,S,success,failure) \
|
|
|
|
( \
|
|
|
|
DXX_VALPTRIDX_STATIC_CHECK(E,dxx_trap_##failure,S), \
|
|
|
|
(E) ? success : throw failure(S) \
|
|
|
|
)
|
|
|
|
|
2014-10-02 03:02:34 +00:00
|
|
|
/* Never used with an actual void, but needed for proper two-stage
|
|
|
|
* lookup.
|
|
|
|
*/
|
2014-07-11 03:14:50 +00:00
|
|
|
template <typename T>
|
2014-10-02 03:02:34 +00:00
|
|
|
typename tt::enable_if<tt::is_void<T>::value, void>::type get_global_array(T *);
|
2013-12-24 04:53:59 +00:00
|
|
|
|
2014-09-12 03:22:34 +00:00
|
|
|
template <typename P, typename I>
|
|
|
|
class valbaseptridxutil_t
|
2013-12-24 04:53:59 +00:00
|
|
|
{
|
2014-09-12 03:22:34 +00:00
|
|
|
protected:
|
2014-07-11 03:14:50 +00:00
|
|
|
struct null_pointer_exception : std::logic_error {
|
|
|
|
null_pointer_exception(const char *s) : std::logic_error(s) {}
|
|
|
|
};
|
|
|
|
struct index_mismatch_exception : std::logic_error {
|
|
|
|
index_mismatch_exception(const char *s) : std::logic_error(s) {}
|
|
|
|
};
|
|
|
|
struct index_range_exception : std::out_of_range {
|
|
|
|
index_range_exception(const char *s) : std::out_of_range(s) {}
|
|
|
|
};
|
2014-09-12 03:22:34 +00:00
|
|
|
typedef P *pointer_type;
|
2013-12-24 04:53:59 +00:00
|
|
|
typedef I index_type;
|
2014-09-12 03:22:34 +00:00
|
|
|
static constexpr decltype(get_global_array(pointer_type())) get_array()
|
|
|
|
{
|
|
|
|
return get_global_array(pointer_type());
|
|
|
|
}
|
|
|
|
static pointer_type check_null_pointer(pointer_type p) __attribute_warn_unused_result
|
|
|
|
{
|
|
|
|
return DXX_VALPTRIDX_CHECK(p, "NULL pointer used", p, null_pointer_exception);
|
|
|
|
}
|
|
|
|
template <typename A>
|
|
|
|
static index_type check_index_match(const A &a, pointer_type p, index_type s) __attribute_warn_unused_result;
|
|
|
|
template <typename A>
|
|
|
|
static index_type check_index_range(const A &a, index_type s) __attribute_warn_unused_result;
|
|
|
|
};
|
|
|
|
|
|
|
|
template <typename P, typename I>
|
|
|
|
class vvalptr_t;
|
|
|
|
|
|
|
|
template <typename P, typename I, template <I> class magic_constant>
|
|
|
|
class vvalidx_t;
|
|
|
|
|
2014-10-02 03:02:34 +00:00
|
|
|
template <typename P, typename I, template <I> class magic_constant>
|
|
|
|
class validx_t;
|
|
|
|
|
|
|
|
template <
|
|
|
|
template <typename, typename> class VP0,
|
|
|
|
template <typename, typename I, template <I> class> class VI0,
|
|
|
|
template <typename, typename> class VP1,
|
|
|
|
template <typename, typename I, template <I> class> class VI1,
|
|
|
|
typename P, typename I, template <I> class magic_constant,
|
|
|
|
typename Prc = typename tt::remove_const<P>::type>
|
|
|
|
struct valptridx_template_t;
|
|
|
|
|
2014-09-12 03:22:34 +00:00
|
|
|
template <typename P, typename I>
|
|
|
|
class valptr_t : protected valbaseptridxutil_t<P, I>
|
|
|
|
{
|
|
|
|
typedef valbaseptridxutil_t<P, I> valutil;
|
|
|
|
protected:
|
|
|
|
typedef typename tt::remove_const<P>::type Prc;
|
2014-10-02 03:02:34 +00:00
|
|
|
typedef valptr_t valptr_type;
|
|
|
|
using valutil::check_null_pointer;
|
2014-11-23 04:58:45 +00:00
|
|
|
using valutil::check_index_range;
|
2014-09-12 03:22:34 +00:00
|
|
|
public:
|
|
|
|
typedef typename valutil::pointer_type pointer_type;
|
|
|
|
typedef P &reference;
|
|
|
|
valptr_t() = delete;
|
2014-11-23 04:58:45 +00:00
|
|
|
valptr_t(I) = delete;
|
2014-09-12 03:22:34 +00:00
|
|
|
valptr_t(vvalptr_t<const P, I> &&) = delete;
|
|
|
|
valptr_t(vvalptr_t<Prc, I> &&) = delete;
|
2014-11-23 04:58:45 +00:00
|
|
|
valptr_t(std::nullptr_t) : p(nullptr) {}
|
2014-10-02 03:02:34 +00:00
|
|
|
template <template <I> class magic_constant>
|
|
|
|
valptr_t(valptridx_template_t<vvalptr_t, vvalidx_t, valptr_t, validx_t, const P, I, magic_constant> v) :
|
|
|
|
p(v)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
template <template <I> class magic_constant>
|
|
|
|
valptr_t(valptridx_template_t<vvalptr_t, vvalidx_t, valptr_t, validx_t, Prc, I, magic_constant> v) :
|
|
|
|
p(v)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
template <template <I> class magic_constant>
|
|
|
|
valptr_t(valptridx_template_t<valptr_t, validx_t, vvalptr_t, vvalidx_t, const P, I, magic_constant> v) :
|
|
|
|
p(v)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
template <template <I> class magic_constant>
|
|
|
|
valptr_t(valptridx_template_t<valptr_t, validx_t, vvalptr_t, vvalidx_t, Prc, I, magic_constant> v) :
|
|
|
|
p(v)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
valptr_t(const valptr_t<const P, I> &t) :
|
|
|
|
p(static_cast<typename valptr_t<const P, I>::pointer_type>(t))
|
|
|
|
{
|
|
|
|
}
|
2014-09-12 03:22:34 +00:00
|
|
|
valptr_t(const valptr_t<Prc, I> &t) :
|
2014-10-02 03:02:34 +00:00
|
|
|
p(t)
|
2014-09-12 03:22:34 +00:00
|
|
|
{
|
|
|
|
}
|
2014-10-02 03:02:34 +00:00
|
|
|
valptr_t(const vvalptr_t<const P, I> &t);
|
2014-09-12 03:22:34 +00:00
|
|
|
valptr_t(const vvalptr_t<Prc, I> &t);
|
|
|
|
template <typename A>
|
|
|
|
valptr_t(A &, pointer_type p) :
|
|
|
|
p(p)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
valptr_t(pointer_type p) :
|
|
|
|
p(p)
|
|
|
|
{
|
|
|
|
}
|
2014-10-02 03:02:34 +00:00
|
|
|
pointer_type operator->() const DXX_VALPTRIDX_REF_QUALIFIER_LVALUE { return *this; }
|
|
|
|
operator const P *() const DXX_VALPTRIDX_REF_QUALIFIER_LVALUE { return p; }
|
|
|
|
operator Prc *() const DXX_VALPTRIDX_REF_QUALIFIER_LVALUE { return p; }
|
2014-09-13 22:01:17 +00:00
|
|
|
#ifdef DXX_HAVE_CXX11_REF_QUALIFIER
|
|
|
|
pointer_type operator->() const && = delete;
|
2014-10-02 03:02:34 +00:00
|
|
|
operator const P *() const && = delete;
|
|
|
|
operator Prc *() const && = delete;
|
2014-09-13 22:01:17 +00:00
|
|
|
#endif
|
2014-10-02 03:02:34 +00:00
|
|
|
reference operator*() const { return *check_null_pointer(p); }
|
2014-09-12 03:22:34 +00:00
|
|
|
/* Only vvalptr_t can implicitly convert to reference */
|
|
|
|
operator reference() const = delete;
|
2014-10-02 03:02:34 +00:00
|
|
|
explicit operator bool() const { return *this != nullptr; }
|
2014-09-12 03:22:34 +00:00
|
|
|
template <typename R>
|
|
|
|
bool operator!=(const R &rhs) const
|
|
|
|
{
|
|
|
|
return !(*this == rhs);
|
|
|
|
}
|
2014-10-02 03:02:34 +00:00
|
|
|
bool operator==(const valptr_t<Prc, I> &rhs) const { return p == rhs.p; }
|
|
|
|
bool operator==(const valptr_t<P const, I> &rhs) const { return p == rhs.p; }
|
|
|
|
bool operator==(Prc *rhs) const { return p == rhs; }
|
|
|
|
bool operator==(P const *rhs) const { return p == rhs; }
|
|
|
|
bool operator==(std::nullptr_t) const { return p == nullptr; }
|
2014-09-12 03:22:34 +00:00
|
|
|
template <typename U>
|
|
|
|
typename tt::enable_if<!tt::is_base_of<valptr_t, U>::value, bool>::type operator==(U) const = delete;
|
2014-11-25 04:02:01 +00:00
|
|
|
template <typename U>
|
|
|
|
long operator-(U) const = delete;
|
2014-09-12 03:22:34 +00:00
|
|
|
protected:
|
2014-11-23 04:58:45 +00:00
|
|
|
template <typename A>
|
|
|
|
valptr_t(A &a, I i) :
|
|
|
|
p(&a[check_index_range(a, i)])
|
|
|
|
{
|
|
|
|
}
|
2014-09-12 03:22:34 +00:00
|
|
|
pointer_type p;
|
|
|
|
};
|
|
|
|
|
|
|
|
template <typename P, typename I, template <I> class magic_constant>
|
|
|
|
class validx_t : protected valbaseptridxutil_t<P, I>
|
|
|
|
{
|
|
|
|
typedef valbaseptridxutil_t<P, I> valutil;
|
|
|
|
protected:
|
|
|
|
using valutil::check_index_match;
|
|
|
|
using valutil::check_index_range;
|
2014-11-23 04:58:45 +00:00
|
|
|
typedef validx_t validx_type;
|
2014-09-12 03:22:34 +00:00
|
|
|
public:
|
|
|
|
typedef typename valutil::pointer_type pointer_type;
|
|
|
|
typedef typename valutil::index_type index_type;
|
|
|
|
typedef I integral_type;
|
|
|
|
validx_t() = delete;
|
2014-11-23 04:58:45 +00:00
|
|
|
validx_t(P) = delete;
|
2014-09-12 03:22:34 +00:00
|
|
|
template <integral_type v>
|
|
|
|
validx_t(const magic_constant<v> &) :
|
|
|
|
i(v)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
validx_t(vvalidx_t<P, I, magic_constant> &&) = delete;
|
|
|
|
template <typename A>
|
|
|
|
validx_t(A &a, pointer_type p, index_type s) :
|
|
|
|
i(s != ~static_cast<integral_type>(0) ? check_index_match(a, p, check_index_range(a, s)) : s)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
template <typename A>
|
|
|
|
validx_t(A &a, index_type s) :
|
|
|
|
i(s != ~static_cast<integral_type>(0) ? check_index_range(a, s) : s)
|
|
|
|
{
|
|
|
|
}
|
2013-12-24 04:53:59 +00:00
|
|
|
operator const index_type&() const { return i; }
|
2014-09-12 03:22:34 +00:00
|
|
|
template <integral_type v>
|
2014-07-11 03:14:50 +00:00
|
|
|
bool operator==(const magic_constant<v> &) const
|
|
|
|
{
|
|
|
|
return i == v;
|
|
|
|
}
|
|
|
|
bool operator==(const index_type &rhs) const { return i == rhs; }
|
|
|
|
// Compatibility hack since some object numbers are in int, not
|
|
|
|
// short
|
|
|
|
bool operator==(const int &rhs) const { return i == rhs; }
|
|
|
|
template <typename R>
|
|
|
|
bool operator!=(const R &rhs) const
|
|
|
|
{
|
|
|
|
return !(*this == rhs);
|
|
|
|
}
|
2014-09-12 03:22:34 +00:00
|
|
|
bool operator==(const validx_t &rhs) const
|
|
|
|
{
|
|
|
|
return i == rhs.i;
|
|
|
|
}
|
2014-07-11 03:14:50 +00:00
|
|
|
template <typename U>
|
2014-09-12 03:22:34 +00:00
|
|
|
typename tt::enable_if<!tt::is_base_of<validx_t, U>::value && !tt::is_base_of<U, validx_t>::value, bool>::type operator==(U) const = delete;
|
|
|
|
protected:
|
|
|
|
validx_t(index_type s) :
|
|
|
|
i(s)
|
2014-07-11 03:14:50 +00:00
|
|
|
{
|
|
|
|
}
|
2014-09-12 03:22:34 +00:00
|
|
|
index_type i;
|
|
|
|
};
|
|
|
|
|
|
|
|
/*
|
|
|
|
* A data type for passing both a pointer and its offset in an
|
|
|
|
* agreed-upon array. Useful for Segments, Objects.
|
|
|
|
*/
|
|
|
|
template <
|
|
|
|
template <typename, typename> class VP0,
|
|
|
|
template <typename, typename I, template <I> class> class VI0,
|
|
|
|
template <typename, typename> class VP1,
|
|
|
|
template <typename, typename I, template <I> class> class VI1,
|
|
|
|
typename P, typename I, template <I> class magic_constant,
|
2014-10-02 03:02:34 +00:00
|
|
|
typename Prc>
|
|
|
|
struct valptridx_template_t : VP0<P, I>, VI0<P, I, magic_constant>
|
2014-09-12 03:22:34 +00:00
|
|
|
{
|
|
|
|
typedef VP0<P, I> vptr_type;
|
|
|
|
typedef VI0<P, I, magic_constant> vidx_type;
|
|
|
|
typedef valptridx_template_t valptridx_type;
|
|
|
|
protected:
|
|
|
|
using vidx_type::get_array;
|
|
|
|
public:
|
|
|
|
typedef typename vptr_type::pointer_type pointer_type;
|
|
|
|
typedef typename vptr_type::reference reference;
|
|
|
|
typedef typename vidx_type::index_type index_type;
|
|
|
|
typedef typename vidx_type::integral_type integral_type;
|
|
|
|
operator const vptr_type &() const { return *this; }
|
|
|
|
operator const vidx_type &() const { return *this; }
|
|
|
|
using vptr_type::operator==;
|
|
|
|
using vidx_type::operator==;
|
|
|
|
using vidx_type::operator const index_type&;
|
|
|
|
valptridx_template_t() = delete;
|
|
|
|
valptridx_template_t(std::nullptr_t) = delete;
|
|
|
|
/* Swapped V0/V1 matches rvalue construction to/from always-valid type */
|
|
|
|
valptridx_template_t(valptridx_template_t<VP1, VI1, VP0, VI0, const P, I, magic_constant> &&) = delete;
|
|
|
|
valptridx_template_t(valptridx_template_t<VP1, VI1, VP0, VI0, Prc, I, magic_constant> &&) = delete;
|
|
|
|
/* Convenience conversion to/from always-valid. Throws on attempt
|
|
|
|
* to make an always-valid from an invalid maybe-valid.
|
|
|
|
*/
|
|
|
|
valptridx_template_t(const valptridx_template_t<VP1, VI1, VP0, VI0, const P, I, magic_constant> &t) :
|
|
|
|
vptr_type(t.operator const VP1<const P, I> &()),
|
|
|
|
vidx_type(t.operator const VI1<const P, I, magic_constant> &())
|
2014-07-11 03:14:50 +00:00
|
|
|
{
|
|
|
|
}
|
2014-09-12 03:22:34 +00:00
|
|
|
valptridx_template_t(const valptridx_template_t<VP1, VI1, VP0, VI0, Prc, I, magic_constant> &t) :
|
|
|
|
vptr_type(t.operator const VP1<Prc, I> &()),
|
|
|
|
vidx_type(t.operator const VI1<Prc, I, magic_constant> &())
|
2013-12-24 04:53:59 +00:00
|
|
|
{
|
2014-07-11 03:14:50 +00:00
|
|
|
}
|
2014-09-12 03:22:34 +00:00
|
|
|
/* Copy construction from like type, possibly const-qualified */
|
|
|
|
valptridx_template_t(const valptridx_template_t<VP0, VI0, VP1, VI1, const P, I, magic_constant> &t) :
|
2014-10-02 03:02:34 +00:00
|
|
|
vptr_type(t.operator const VP0<const P, I> &()),
|
|
|
|
vidx_type(t.operator const VI0<const P, I, magic_constant> &())
|
2014-09-12 03:22:34 +00:00
|
|
|
{
|
|
|
|
}
|
|
|
|
valptridx_template_t(const valptridx_template_t<VP0, VI0, VP1, VI1, Prc, I, magic_constant> &t) :
|
2014-10-02 03:02:34 +00:00
|
|
|
vptr_type(t.operator const VP0<Prc, I> &()),
|
|
|
|
vidx_type(t.operator const VI0<Prc, I, magic_constant> &())
|
2014-08-23 23:53:56 +00:00
|
|
|
{
|
|
|
|
}
|
2014-09-12 03:22:34 +00:00
|
|
|
template <integral_type v>
|
|
|
|
valptridx_template_t(const magic_constant<v> &m) :
|
|
|
|
vptr_type(static_cast<std::size_t>(v) < get_array().size() ? &get_array()[v] : NULL),
|
|
|
|
vidx_type(m)
|
2014-07-11 03:14:50 +00:00
|
|
|
{
|
|
|
|
}
|
2014-08-16 23:13:17 +00:00
|
|
|
template <typename A>
|
2014-09-12 03:22:34 +00:00
|
|
|
valptridx_template_t(A &a, pointer_type p, index_type s) :
|
|
|
|
vptr_type(a, p),
|
|
|
|
vidx_type(a, p, s)
|
2014-08-16 23:13:17 +00:00
|
|
|
{
|
|
|
|
}
|
2014-09-12 03:22:34 +00:00
|
|
|
template <typename A>
|
|
|
|
valptridx_template_t(A &a, pointer_type p) :
|
|
|
|
vptr_type(a, p),
|
|
|
|
vidx_type(a, p, p-a)
|
2014-07-11 03:14:50 +00:00
|
|
|
{
|
2013-12-24 04:53:59 +00:00
|
|
|
}
|
2014-09-12 03:22:34 +00:00
|
|
|
valptridx_template_t(pointer_type p) :
|
|
|
|
vptr_type(p),
|
|
|
|
vidx_type(get_array(), p, p-get_array())
|
2014-07-11 03:14:50 +00:00
|
|
|
{
|
|
|
|
}
|
|
|
|
template <typename A>
|
2014-09-12 03:22:34 +00:00
|
|
|
valptridx_template_t(A &a, index_type s) :
|
|
|
|
vptr_type(a, static_cast<std::size_t>(s) < a.size() ? &a[s] : NULL),
|
|
|
|
vidx_type(a, s)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
valptridx_template_t(index_type s) :
|
|
|
|
vptr_type(get_array(), static_cast<std::size_t>(s) < get_array().size() ? &get_array()[s] : NULL),
|
|
|
|
vidx_type(get_array(), s)
|
2014-07-11 03:14:50 +00:00
|
|
|
{
|
2014-01-10 03:58:03 +00:00
|
|
|
}
|
2014-09-12 03:22:34 +00:00
|
|
|
template <
|
|
|
|
template <typename, typename> class EP0,
|
|
|
|
template <typename, typename EI, template <EI> class> class EI0,
|
|
|
|
template <typename, typename> class EP1,
|
|
|
|
template <typename, typename EI, template <EI> class> class EI1,
|
|
|
|
typename EP>
|
|
|
|
/* Reuse Prc to enforce is_same<remove_const<EP>::type,
|
|
|
|
* remove_const<P>::type>.
|
|
|
|
*/
|
|
|
|
bool operator==(const valptridx_template_t<EP0, EI0, EP1, EI1, EP, I, magic_constant, Prc> &rhs) const
|
|
|
|
{
|
|
|
|
typedef valptridx_template_t<EP0, EI0, EP1, EI1, EP, I, magic_constant, Prc> rhs_t;
|
|
|
|
return vptr_type::operator==(rhs.operator const typename rhs_t::vptr_type &()) &&
|
|
|
|
vidx_type::operator==(rhs.operator const typename rhs_t::vidx_type &());
|
|
|
|
}
|
|
|
|
template <typename R>
|
|
|
|
bool operator!=(const R &rhs) const
|
|
|
|
{
|
|
|
|
return !(*this == rhs);
|
|
|
|
}
|
2014-07-11 03:14:50 +00:00
|
|
|
};
|
2014-01-10 03:58:03 +00:00
|
|
|
|
2014-08-09 17:38:45 +00:00
|
|
|
/* Out of line since gcc chokes on template + inline + attribute */
|
2014-09-12 03:22:34 +00:00
|
|
|
template <typename P, typename I>
|
2014-08-09 17:38:45 +00:00
|
|
|
template <typename A>
|
2014-09-12 03:22:34 +00:00
|
|
|
typename valbaseptridxutil_t<P, I>::index_type valbaseptridxutil_t<P, I>::check_index_match(const A &a, pointer_type p, index_type s)
|
2014-08-09 17:38:45 +00:00
|
|
|
{
|
2014-09-12 03:22:34 +00:00
|
|
|
return DXX_VALPTRIDX_CHECK(&a[s] == p, "pointer/index mismatch", s, index_mismatch_exception);
|
2014-08-09 17:38:45 +00:00
|
|
|
}
|
|
|
|
|
2014-09-12 03:22:34 +00:00
|
|
|
template <typename P, typename I>
|
2014-08-09 17:38:45 +00:00
|
|
|
template <typename A>
|
2014-09-12 03:22:34 +00:00
|
|
|
typename valbaseptridxutil_t<P, I>::index_type valbaseptridxutil_t<P, I>::check_index_range(const A &a, index_type s)
|
2014-08-09 17:38:45 +00:00
|
|
|
{
|
|
|
|
return DXX_VALPTRIDX_CHECK(static_cast<std::size_t>(s) < a.size(), "invalid index used in array subscript", s, index_range_exception);
|
|
|
|
}
|
|
|
|
|
2014-09-12 03:22:34 +00:00
|
|
|
template <typename P, typename I>
|
|
|
|
class vvalptr_t : public valptr_t<P, I>
|
2014-08-13 02:44:59 +00:00
|
|
|
{
|
2014-09-12 03:22:34 +00:00
|
|
|
typedef valptr_t<P, I> base_t;
|
|
|
|
using base_t::check_null_pointer;
|
|
|
|
typedef typename base_t::Prc Prc;
|
2014-10-02 03:02:34 +00:00
|
|
|
protected:
|
|
|
|
typedef vvalptr_t valptr_type;
|
2014-08-13 02:44:59 +00:00
|
|
|
public:
|
|
|
|
typedef typename base_t::pointer_type pointer_type;
|
2014-09-12 03:22:34 +00:00
|
|
|
typedef typename base_t::reference reference;
|
2014-10-02 03:02:34 +00:00
|
|
|
using base_t::operator==;
|
|
|
|
reference operator*() const { return *this; }
|
2014-08-16 23:18:17 +00:00
|
|
|
operator reference() const { return *static_cast<pointer_type>(*this); }
|
2014-10-02 03:02:34 +00:00
|
|
|
vvalptr_t() = delete;
|
2014-11-23 04:58:45 +00:00
|
|
|
vvalptr_t(I) = delete;
|
2014-09-12 03:22:34 +00:00
|
|
|
vvalptr_t(std::nullptr_t) = delete;
|
|
|
|
vvalptr_t(base_t &&) = delete;
|
2014-10-02 03:02:34 +00:00
|
|
|
vvalptr_t(const valptr_t<const P, I> &t) :
|
|
|
|
base_t(check_null_pointer(t))
|
|
|
|
{
|
|
|
|
}
|
|
|
|
vvalptr_t(const valptr_t<Prc, I> &t) :
|
2014-09-12 03:22:34 +00:00
|
|
|
base_t(check_null_pointer(t))
|
2014-08-13 02:44:59 +00:00
|
|
|
{
|
|
|
|
}
|
2014-10-02 03:02:34 +00:00
|
|
|
vvalptr_t(const vvalptr_t<const P, I> &t) :
|
|
|
|
base_t(t)
|
|
|
|
{
|
|
|
|
}
|
2014-09-12 03:22:34 +00:00
|
|
|
vvalptr_t(const vvalptr_t<Prc, I> &t) :
|
2014-08-13 02:44:59 +00:00
|
|
|
base_t(t)
|
|
|
|
{
|
|
|
|
}
|
2014-08-23 23:53:56 +00:00
|
|
|
template <typename A>
|
2014-09-12 03:22:34 +00:00
|
|
|
vvalptr_t(A &a, pointer_type p) :
|
|
|
|
base_t(a, check_null_pointer(p))
|
|
|
|
{
|
|
|
|
}
|
2014-11-23 04:58:45 +00:00
|
|
|
template <typename A>
|
|
|
|
vvalptr_t(A &a, I i) :
|
|
|
|
base_t(a, i)
|
|
|
|
{
|
|
|
|
}
|
2014-09-12 03:22:34 +00:00
|
|
|
vvalptr_t(pointer_type p) :
|
|
|
|
base_t(check_null_pointer(p))
|
|
|
|
{
|
|
|
|
}
|
2014-10-02 03:02:34 +00:00
|
|
|
template <template <I> class magic_constant>
|
|
|
|
vvalptr_t(valptridx_template_t<vvalptr_t, vvalidx_t, valptr_t, validx_t, const P, I, magic_constant> v) :
|
|
|
|
base_t(v)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
template <template <I> class magic_constant>
|
|
|
|
vvalptr_t(valptridx_template_t<vvalptr_t, vvalidx_t, valptr_t, validx_t, Prc, I, magic_constant> v) :
|
|
|
|
base_t(v)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
template <template <I> class magic_constant>
|
|
|
|
vvalptr_t(valptridx_template_t<valptr_t, validx_t, vvalptr_t, vvalidx_t, const P, I, magic_constant> v) :
|
|
|
|
base_t(check_null_pointer(v))
|
|
|
|
{
|
|
|
|
}
|
|
|
|
template <template <I> class magic_constant>
|
|
|
|
vvalptr_t(valptridx_template_t<valptr_t, validx_t, vvalptr_t, vvalidx_t, Prc, I, magic_constant> v) :
|
|
|
|
base_t(check_null_pointer(v))
|
|
|
|
{
|
|
|
|
}
|
|
|
|
bool operator==(std::nullptr_t) const = delete;
|
|
|
|
template <typename R>
|
|
|
|
bool operator!=(const R &rhs) const
|
|
|
|
{
|
|
|
|
return !(*this == rhs);
|
|
|
|
}
|
2014-09-12 03:22:34 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
template <typename P, typename I>
|
2014-10-02 03:02:34 +00:00
|
|
|
valptr_t<P, I>::valptr_t(const vvalptr_t<const P, I> &t) :
|
|
|
|
p(t)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename P, typename I>
|
|
|
|
valptr_t<P, I>::valptr_t(const vvalptr_t<Prc, I> &t) :
|
|
|
|
p(t)
|
2014-09-12 03:22:34 +00:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename P, typename I, template <I> class magic_constant>
|
|
|
|
class vvalidx_t : public validx_t<P, I, magic_constant>
|
|
|
|
{
|
|
|
|
typedef validx_t<P, I, magic_constant> base_t;
|
|
|
|
protected:
|
|
|
|
using base_t::get_array;
|
|
|
|
using base_t::check_index_match;
|
|
|
|
using base_t::check_index_range;
|
2014-11-23 04:58:45 +00:00
|
|
|
typedef vvalidx_t validx_type;
|
2014-09-12 03:22:34 +00:00
|
|
|
public:
|
|
|
|
typedef typename base_t::index_type index_type;
|
|
|
|
typedef typename base_t::integral_type integral_type;
|
|
|
|
typedef typename base_t::pointer_type pointer_type;
|
|
|
|
template <integral_type v>
|
|
|
|
vvalidx_t(const magic_constant<v> &m) :
|
|
|
|
base_t(check_constant_index(m))
|
2014-08-23 23:53:56 +00:00
|
|
|
{
|
|
|
|
}
|
2014-10-02 03:02:34 +00:00
|
|
|
vvalidx_t() = delete;
|
2014-11-23 04:58:45 +00:00
|
|
|
vvalidx_t(P) = delete;
|
2014-09-12 03:22:34 +00:00
|
|
|
vvalidx_t(base_t &&) = delete;
|
|
|
|
vvalidx_t(const base_t &t) :
|
|
|
|
base_t(check_index_range(get_array(), t))
|
2014-08-13 02:44:59 +00:00
|
|
|
{
|
|
|
|
}
|
2014-09-12 03:22:34 +00:00
|
|
|
template <typename A>
|
|
|
|
vvalidx_t(A &a, index_type s) :
|
|
|
|
base_t(check_index_range(a, s))
|
2014-08-13 02:44:59 +00:00
|
|
|
{
|
|
|
|
}
|
|
|
|
template <typename A>
|
2014-09-12 03:22:34 +00:00
|
|
|
vvalidx_t(A &a, pointer_type p, index_type s) :
|
|
|
|
base_t(check_index_match(a, p, check_index_range(a, s)))
|
2014-08-13 02:44:59 +00:00
|
|
|
{
|
|
|
|
}
|
2014-09-12 03:22:34 +00:00
|
|
|
vvalidx_t(index_type s) :
|
2014-08-13 02:44:59 +00:00
|
|
|
base_t(check_index_range(get_array(), s))
|
|
|
|
{
|
|
|
|
}
|
2014-09-12 03:22:34 +00:00
|
|
|
template <integral_type v>
|
|
|
|
static constexpr const magic_constant<v> &check_constant_index(const magic_constant<v> &m)
|
|
|
|
{
|
|
|
|
#ifndef constexpr
|
|
|
|
static_assert(static_cast<std::size_t>(v) < get_array().size(), "invalid index used");
|
|
|
|
#endif
|
|
|
|
return m;
|
|
|
|
}
|
2014-08-13 02:44:59 +00:00
|
|
|
using base_t::operator==;
|
2014-09-12 03:22:34 +00:00
|
|
|
template <integral_type v>
|
2014-08-13 02:44:59 +00:00
|
|
|
bool operator==(const magic_constant<v> &m) const
|
|
|
|
{
|
|
|
|
return base_t::operator==(check_constant_index(m));
|
|
|
|
}
|
|
|
|
template <typename R>
|
|
|
|
bool operator!=(const R &rhs) const
|
|
|
|
{
|
|
|
|
return !(*this == rhs);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2014-11-25 04:02:01 +00:00
|
|
|
template <typename A, A &a, typename vptr, typename vptridx>
|
|
|
|
struct vvalptr_functions
|
|
|
|
{
|
|
|
|
vptr operator()(typename vptr::pointer_type p) const
|
|
|
|
{
|
|
|
|
return {a, p};
|
|
|
|
}
|
|
|
|
vptr operator()(typename vptridx::integral_type i) const
|
|
|
|
{
|
|
|
|
return {a, i};
|
|
|
|
}
|
|
|
|
template <typename T>
|
|
|
|
vptr operator()(T) const = delete;
|
|
|
|
};
|
|
|
|
|
|
|
|
template <typename A, A &a, typename ptridx>
|
|
|
|
struct valptridx_functions
|
|
|
|
{
|
|
|
|
ptridx operator()(typename ptridx::index_type i) const
|
|
|
|
{
|
|
|
|
return {a, i};
|
|
|
|
}
|
|
|
|
template <typename T>
|
|
|
|
typename tt::enable_if<!tt::is_convertible<T, typename ptridx::index_type>::value, ptridx>::type operator()(T) const = delete;
|
|
|
|
};
|
|
|
|
|
|
|
|
template <typename A, A &a, typename vptridx>
|
|
|
|
struct vvalptridx_functions : valptridx_functions<A, a, vptridx>
|
|
|
|
{
|
|
|
|
typedef valptridx_functions<A, a, vptridx> base_t;
|
|
|
|
using base_t::operator();
|
|
|
|
vptridx operator()(typename vptridx::pointer_type p) const
|
|
|
|
{
|
|
|
|
return {a, p};
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2014-10-02 03:02:34 +00:00
|
|
|
#define _DEFINE_VALPTRIDX_SUBTYPE_USERTYPE(N,P,I,A,prefix,Pconst) \
|
|
|
|
struct prefix##ptr_t : valptr_t<P Pconst, I> \
|
|
|
|
{ \
|
|
|
|
DXX_INHERIT_CONSTRUCTORS(prefix##ptr_t, valptr_type); \
|
|
|
|
}; \
|
|
|
|
struct v##prefix##ptr_t : vvalptr_t<P Pconst, I> \
|
|
|
|
{ \
|
|
|
|
DXX_INHERIT_CONSTRUCTORS(v##prefix##ptr_t, valptr_type); \
|
|
|
|
}; \
|
2014-07-11 03:14:50 +00:00
|
|
|
\
|
2014-10-02 03:02:34 +00:00
|
|
|
struct prefix##ptridx_t : valptridx_template_t<valptr_t, validx_t, vvalptr_t, vvalidx_t, P Pconst, I, P##_magic_constant_t> { \
|
|
|
|
DXX_INHERIT_CONSTRUCTORS(prefix##ptridx_t, valptridx_type); \
|
2013-12-24 04:53:59 +00:00
|
|
|
}; \
|
|
|
|
\
|
2014-10-02 03:02:34 +00:00
|
|
|
struct v##prefix##ptridx_t : valptridx_template_t<vvalptr_t, vvalidx_t, valptr_t, validx_t, P Pconst, I, P##_magic_constant_t> { \
|
|
|
|
DXX_INHERIT_CONSTRUCTORS(v##prefix##ptridx_t, valptridx_type); \
|
2014-08-13 02:44:59 +00:00
|
|
|
}; \
|
|
|
|
\
|
2014-11-25 04:02:01 +00:00
|
|
|
const vvalptr_functions<Pconst decltype(A), A, v##prefix##ptr_t, v##prefix##ptridx_t> v##prefix##ptr{}; \
|
|
|
|
const valptridx_functions<Pconst decltype(A), A, prefix##ptridx_t> prefix##ptridx{}; \
|
|
|
|
const vvalptridx_functions<Pconst decltype(A), A, v##prefix##ptridx_t> v##prefix##ptridx{}; \
|
2014-10-02 03:02:34 +00:00
|
|
|
static inline v##prefix##ptridx_t operator-(P Pconst *o, decltype(A) Pconst &O) \
|
2014-07-27 03:45:26 +00:00
|
|
|
{ \
|
2014-11-26 03:00:58 +00:00
|
|
|
return {A, o, static_cast<v##prefix##ptridx_t::integral_type>(const_cast<const P *>(o) - &(const_cast<const decltype(A) &>(O).front()))}; \
|
2014-07-27 03:45:26 +00:00
|
|
|
} \
|
2014-07-11 03:14:50 +00:00
|
|
|
|
|
|
|
#define DEFINE_VALPTRIDX_SUBTYPE(N,P,I,A) \
|
2014-10-02 03:02:34 +00:00
|
|
|
static inline constexpr decltype(A) &get_global_array(P *) { return A; } \
|
|
|
|
/* "decltype(A) const &" parses correctly, but fails to match */ \
|
|
|
|
static inline constexpr typename tt::add_const<decltype(A)>::type &get_global_array(P const *) { return A; } \
|
|
|
|
\
|
|
|
|
_DEFINE_VALPTRIDX_SUBTYPE_USERTYPE(N,P,I,A,N,); \
|
|
|
|
_DEFINE_VALPTRIDX_SUBTYPE_USERTYPE(N,P,I,A,c##N,const) \
|
2013-12-24 04:53:59 +00:00
|
|
|
|