Skip to content

Commit

Permalink
Specify constexpr in GC allocators if C++20 or later
Browse files Browse the repository at this point in the history 
(a cherry-pick of commit 9702965 from 'master')

PR #603 (bdwgc).

This adds the `constexpr` attribute on each allocator member function,
including ctors and dtors, to enable easier use of these allocators in
compile-time execution.  A practical example of this would be a modern
C++ string class which supports constexpr construction, usage, and
destruction.  Without this change, the C++ compiler will not allow
such a class.

* include/gc_allocator.h (gc_allocator, traceable_allocator,
gc_allocator_ignore_off_page): Declare all member functions as
GC_CONSTEXPR; reformat code.
* include/gc_config_macros.h [__cplusplus && !GC_CONSTEXPR]
(GC_CONSTEXPR): Define macro.
  • Loading branch information
@jeaye @ivmai
jeaye authored and ivmai committed Feb 2, 2024
1 parent 2c61279 commit 418a14a
Show file tree
Hide file tree
Showing 2 changed files with 79 additions and 60 deletions.
131 changes: 71 additions & 60 deletions include/gc_allocator.h
View file
Original file line number Diff line number Diff line change
Expand Up @@ -124,34 +124,39 @@ class gc_allocator {
typedef gc_allocator<GC_Tp1> other;
};

gc_allocator() GC_NOEXCEPT {}
gc_allocator(const gc_allocator&) GC_NOEXCEPT {}
GC_CONSTEXPR gc_allocator() GC_NOEXCEPT {}
GC_CONSTEXPR gc_allocator(const gc_allocator&) GC_NOEXCEPT {}
# ifndef GC_NO_MEMBER_TEMPLATES
template <class GC_Tp1> GC_ATTR_EXPLICIT
gc_allocator(const gc_allocator<GC_Tp1>&) GC_NOEXCEPT {}
GC_CONSTEXPR gc_allocator(const gc_allocator<GC_Tp1>&) GC_NOEXCEPT {}
# endif
~gc_allocator() GC_NOEXCEPT {}
GC_CONSTEXPR ~gc_allocator() GC_NOEXCEPT {}

pointer address(reference GC_x) const { return &GC_x; }
const_pointer address(const_reference GC_x) const { return &GC_x; }
GC_CONSTEXPR pointer address(reference GC_x) const { return &GC_x; }
GC_CONSTEXPR const_pointer address(const_reference GC_x) const {
return &GC_x;
}

// GC_n is permitted to be 0. The C++ standard says nothing about what
// the return value is when GC_n == 0.
GC_Tp* allocate(size_type GC_n, const void* = 0) {
GC_CONSTEXPR GC_Tp* allocate(size_type GC_n, const void* = 0) {
GC_type_traits<GC_Tp> traits;
return static_cast<GC_Tp *>(GC_selective_alloc(GC_n * sizeof(GC_Tp),
traits.GC_is_ptr_free,
false));
traits.GC_is_ptr_free, false));
}

void deallocate(pointer __p, size_type /* GC_n */) GC_NOEXCEPT
{ GC_FREE(__p); }
GC_CONSTEXPR void deallocate(pointer __p, size_type /* GC_n */) GC_NOEXCEPT {
GC_FREE(__p);
}

size_type max_size() const GC_NOEXCEPT
GC_CONSTEXPR size_type max_size() const GC_NOEXCEPT
{ return size_t(-1) / sizeof(GC_Tp); }

void construct(pointer __p, const GC_Tp& __val) { new(__p) GC_Tp(__val); }
void destroy(pointer __p) { __p->~GC_Tp(); }
GC_CONSTEXPR void construct(pointer __p, const GC_Tp& __val) {
new(__p) GC_Tp(__val);
}

GC_CONSTEXPR void destroy(pointer __p) { __p->~GC_Tp(); }
};

template<>
Expand All @@ -170,16 +175,14 @@ class gc_allocator<void> {


template <class GC_T1, class GC_T2>
inline bool operator==(const gc_allocator<GC_T1>&,
const gc_allocator<GC_T2>&) GC_NOEXCEPT
{
GC_CONSTEXPR inline bool operator==(const gc_allocator<GC_T1>&,
const gc_allocator<GC_T2>&) GC_NOEXCEPT {
return true;
}

template <class GC_T1, class GC_T2>
inline bool operator!=(const gc_allocator<GC_T1>&,
const gc_allocator<GC_T2>&) GC_NOEXCEPT
{
GC_CONSTEXPR inline bool operator!=(const gc_allocator<GC_T1>&,
const gc_allocator<GC_T2>&) GC_NOEXCEPT {
return false;
}

Expand All @@ -200,36 +203,41 @@ class gc_allocator_ignore_off_page {
typedef gc_allocator_ignore_off_page<GC_Tp1> other;
};

gc_allocator_ignore_off_page() GC_NOEXCEPT {}
gc_allocator_ignore_off_page(const gc_allocator_ignore_off_page&)
GC_NOEXCEPT {}
GC_CONSTEXPR gc_allocator_ignore_off_page() GC_NOEXCEPT {}
GC_CONSTEXPR gc_allocator_ignore_off_page(
const gc_allocator_ignore_off_page&) GC_NOEXCEPT {}
# ifndef GC_NO_MEMBER_TEMPLATES
template <class GC_Tp1> GC_ATTR_EXPLICIT
gc_allocator_ignore_off_page(const gc_allocator_ignore_off_page<GC_Tp1>&)
GC_NOEXCEPT {}
GC_CONSTEXPR gc_allocator_ignore_off_page(
const gc_allocator_ignore_off_page<GC_Tp1>&) GC_NOEXCEPT {}
# endif
~gc_allocator_ignore_off_page() GC_NOEXCEPT {}
GC_CONSTEXPR ~gc_allocator_ignore_off_page() GC_NOEXCEPT {}

pointer address(reference GC_x) const { return &GC_x; }
const_pointer address(const_reference GC_x) const { return &GC_x; }
GC_CONSTEXPR pointer address(reference GC_x) const { return &GC_x; }
GC_CONSTEXPR const_pointer address(const_reference GC_x) const {
return &GC_x;
}

// GC_n is permitted to be 0. The C++ standard says nothing about what
// the return value is when GC_n == 0.
GC_Tp* allocate(size_type GC_n, const void* = 0) {
GC_CONSTEXPR GC_Tp* allocate(size_type GC_n, const void* = 0) {
GC_type_traits<GC_Tp> traits;
return static_cast<GC_Tp *>(GC_selective_alloc(GC_n * sizeof(GC_Tp),
traits.GC_is_ptr_free,
true));
traits.GC_is_ptr_free, true));
}

void deallocate(pointer __p, size_type /* GC_n */) GC_NOEXCEPT
{ GC_FREE(__p); }
GC_CONSTEXPR void deallocate(pointer __p, size_type /* GC_n */) GC_NOEXCEPT {
GC_FREE(__p);
}

size_type max_size() const GC_NOEXCEPT
GC_CONSTEXPR size_type max_size() const GC_NOEXCEPT
{ return size_t(-1) / sizeof(GC_Tp); }

void construct(pointer __p, const GC_Tp& __val) { new(__p) GC_Tp(__val); }
void destroy(pointer __p) { __p->~GC_Tp(); }
GC_CONSTEXPR void construct(pointer __p, const GC_Tp& __val) {
new(__p) GC_Tp(__val);
}

GC_CONSTEXPR void destroy(pointer __p) { __p->~GC_Tp(); }
};

template<>
Expand All @@ -247,16 +255,14 @@ class gc_allocator_ignore_off_page<void> {
};

template <class GC_T1, class GC_T2>
inline bool operator==(const gc_allocator_ignore_off_page<GC_T1>&,
const gc_allocator_ignore_off_page<GC_T2>&) GC_NOEXCEPT
{
GC_CONSTEXPR inline bool operator==(const gc_allocator_ignore_off_page<GC_T1>&,
const gc_allocator_ignore_off_page<GC_T2>&) GC_NOEXCEPT {
return true;
}

template <class GC_T1, class GC_T2>
inline bool operator!=(const gc_allocator_ignore_off_page<GC_T1>&,
const gc_allocator_ignore_off_page<GC_T2>&) GC_NOEXCEPT
{
GC_CONSTEXPR inline bool operator!=(const gc_allocator_ignore_off_page<GC_T1>&,
const gc_allocator_ignore_off_page<GC_T2>&) GC_NOEXCEPT {
return false;
}

Expand All @@ -282,34 +288,41 @@ class traceable_allocator {
typedef traceable_allocator<GC_Tp1> other;
};

traceable_allocator() GC_NOEXCEPT {}
traceable_allocator(const traceable_allocator&) GC_NOEXCEPT {}
GC_CONSTEXPR traceable_allocator() GC_NOEXCEPT {}
GC_CONSTEXPR traceable_allocator(const traceable_allocator&) GC_NOEXCEPT {}
# ifndef GC_NO_MEMBER_TEMPLATES
template <class GC_Tp1> GC_ATTR_EXPLICIT
traceable_allocator(const traceable_allocator<GC_Tp1>&) GC_NOEXCEPT {}
GC_CONSTEXPR traceable_allocator(
const traceable_allocator<GC_Tp1>&) GC_NOEXCEPT {}
# endif
~traceable_allocator() GC_NOEXCEPT {}
GC_CONSTEXPR ~traceable_allocator() GC_NOEXCEPT {}

pointer address(reference GC_x) const { return &GC_x; }
const_pointer address(const_reference GC_x) const { return &GC_x; }
GC_CONSTEXPR pointer address(reference GC_x) const { return &GC_x; }
GC_CONSTEXPR const_pointer address(const_reference GC_x) const {
return &GC_x;
}

// GC_n is permitted to be 0. The C++ standard says nothing about what
// the return value is when GC_n == 0.
GC_Tp* allocate(size_type GC_n, const void* = 0) {
GC_CONSTEXPR GC_Tp* allocate(size_type GC_n, const void* = 0) {
void * obj = GC_MALLOC_UNCOLLECTABLE(GC_n * sizeof(GC_Tp));
if (0 == obj)
GC_ALLOCATOR_THROW_OR_ABORT();
return static_cast<GC_Tp*>(obj);
}

void deallocate(pointer __p, size_type /* GC_n */) GC_NOEXCEPT
{ GC_FREE(__p); }
GC_CONSTEXPR void deallocate(pointer __p, size_type /* GC_n */) GC_NOEXCEPT {
GC_FREE(__p);
}

size_type max_size() const GC_NOEXCEPT
GC_CONSTEXPR size_type max_size() const GC_NOEXCEPT
{ return size_t(-1) / sizeof(GC_Tp); }

void construct(pointer __p, const GC_Tp& __val) { new(__p) GC_Tp(__val); }
void destroy(pointer __p) { __p->~GC_Tp(); }
GC_CONSTEXPR void construct(pointer __p, const GC_Tp& __val) {
new(__p) GC_Tp(__val);
}

GC_CONSTEXPR void destroy(pointer __p) { __p->~GC_Tp(); }
};

template<>
Expand All @@ -328,16 +341,14 @@ class traceable_allocator<void> {


template <class GC_T1, class GC_T2>
inline bool operator==(const traceable_allocator<GC_T1>&,
const traceable_allocator<GC_T2>&) GC_NOEXCEPT
{
GC_CONSTEXPR inline bool operator==(const traceable_allocator<GC_T1>&,
const traceable_allocator<GC_T2>&) GC_NOEXCEPT {
return true;
}

template <class GC_T1, class GC_T2>
inline bool operator!=(const traceable_allocator<GC_T1>&,
const traceable_allocator<GC_T2>&) GC_NOEXCEPT
{
GC_CONSTEXPR inline bool operator!=(const traceable_allocator<GC_T1>&,
const traceable_allocator<GC_T2>&) GC_NOEXCEPT {
return false;
}

Expand Down
8 changes: 8 additions & 0 deletions include/gc_config_macros.h
View file
Original file line number Diff line number Diff line change
Expand Up @@ -453,6 +453,14 @@
# endif
#endif

#ifndef GC_CONSTEXPR
# if __cplusplus >= 202002L
# define GC_CONSTEXPR constexpr
# else
# define GC_CONSTEXPR /* empty */
# endif
#endif

#endif /* __cplusplus */

#endif

0 comments on commit 418a14a

Please sign in to comment.