Provide a minimal new.h for CTL (#1205)

This replaces the STL <new> header. Mainly, it defines a global operator
new and operator delete, as well as the placement versions of these. The
placement versions are required to not get compile errors when trying to
write a placement new statement.

Each of these operators is defined with many, many different variants. A
glance at new.cc is recommended followed by a chaser of the Alexandrescu
talk "std::allocator is to Allocation as std::vector is to Vexation". We
must provide a global-namespace source-level definition of each operator
and it is illegal for any of them to be marked inline, so here we are.

The upshot is that we no longer need to include <new>, and our optional/
vector headers are self-contained.
This commit is contained in:
Jōshin 2024-06-08 14:30:58 -07:00
parent a0410f0170
commit 118db71121
No known key found for this signature in database
6 changed files with 152 additions and 4 deletions

116
ctl/new.cc Normal file
View file

@ -0,0 +1,116 @@
// -*- mode:c++; indent-tabs-mode:nil; c-basic-offset:4; coding:utf-8 -*-
// vi: set et ft=cpp ts=4 sts=4 sw=4 fenc=utf-8 :vi
//
// Copyright 2024 Justine Alexandra Roberts Tunney
//
// Permission to use, copy, modify, and/or distribute this software for
// any purpose with or without fee is hereby granted, provided that the
// above copyright notice and this permission notice appear in all copies.
//
// THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL
// WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED
// WARRANTIES OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE
// AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL
// DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR
// PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER
// TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
// PERFORMANCE OF THIS SOFTWARE.
#include "new.h"
#include "libc/mem/mem.h"
using ctl::align_val_t;
namespace {
constexpr auto a1 = align_val_t(1);
} // namespace
void*
operator new(size_t n, align_val_t a)
{
void* p;
if (!(p = memalign(static_cast<size_t>(a), n))) {
__builtin_trap();
}
return p;
}
void*
operator new[](size_t n, ctl::align_val_t a)
{
return operator new(n, a);
}
void*
operator new(size_t n)
{
return operator new(n, a1);
}
void*
operator new[](size_t n)
{
return operator new(n, a1);
}
void*
operator new(size_t, void* p)
{
return p;
}
void*
operator new[](size_t, void* p)
{
return p;
}
void
operator delete(void* p) noexcept
{
free(p);
}
void
operator delete[](void* p) noexcept
{
free(p);
}
void
operator delete(void* p, ctl::align_val_t) noexcept
{
free(p);
}
void
operator delete[](void* p, ctl::align_val_t) noexcept
{
free(p);
}
void
operator delete(void* p, size_t) noexcept
{
free(p);
}
void
operator delete[](void* p, size_t) noexcept
{
free(p);
}
void
operator delete(void* p, size_t, ctl::align_val_t) noexcept
{
free(p);
}
void
operator delete[](void* p, size_t, ctl::align_val_t) noexcept
{
free(p);
}
void
operator delete(void*, void*) noexcept
{
}
void
operator delete[](void*, void*) noexcept
{
}

30
ctl/new.h Normal file
View file

@ -0,0 +1,30 @@
// -*-mode:c++;indent-tabs-mode:nil;c-basic-offset:4;tab-width:8;coding:utf-8-*-
// vi: set et ft=cpp ts=4 sts=4 sw=4 fenc=utf-8 :vi
#ifndef COSMOPOLITAN_CTL_NEW_H_
#define COSMOPOLITAN_CTL_NEW_H_
// clang-format off
namespace ctl {
enum class align_val_t : size_t {};
} // namespace ctl
void* operator new(size_t);
void* operator new[](size_t);
void* operator new(size_t, ctl::align_val_t);
void* operator new[](size_t, ctl::align_val_t);
void* operator new(size_t, void*);
void* operator new[](size_t, void*);
void operator delete(void*) noexcept;
void operator delete[](void*) noexcept;
void operator delete(void*, ctl::align_val_t) noexcept;
void operator delete[](void*, ctl::align_val_t) noexcept;
void operator delete(void*, size_t) noexcept;
void operator delete[](void*, size_t) noexcept;
void operator delete(void*, size_t, ctl::align_val_t) noexcept;
void operator delete[](void*, size_t, ctl::align_val_t) noexcept;
#endif // COSMOPOLITAN_CTL_NEW_H_

View file

@ -2,6 +2,7 @@
// vi: set et ft=cpp ts=4 sts=4 sw=4 fenc=utf-8 :vi
#ifndef COSMOPOLITAN_CTL_OPTIONAL_H_
#define COSMOPOLITAN_CTL_OPTIONAL_H_
#include "new.h"
#include <__utility/forward.h>
#include <__utility/move.h>
#include <__utility/swap.h>
@ -129,7 +130,8 @@ class optional
}
private:
union {
union
{
T value_;
};
bool present_;

View file

@ -2,6 +2,7 @@
// vi: set et ft=cpp ts=4 sts=4 sw=4 fenc=utf-8 :vi
#ifndef COSMOPOLITAN_CTL_OPTIONAL_H_
#define COSMOPOLITAN_CTL_OPTIONAL_H_
#include "new.h"
#include <__utility/forward.h>
#include <__utility/move.h>
#include <__utility/swap.h>

View file

@ -18,10 +18,10 @@
#include "ctl/optional.h"
#include <new>
#include "ctl/string.h"
#include "libc/runtime/runtime.h"
// #include <optional>
// #include <string>
// #define ctl std

View file

@ -19,7 +19,6 @@
#include "ctl/vector.h"
#include <cosmo.h>
#include <new>
#include "ctl/string.h"