Squashed 'deps/nostalgia/' changes from 63d0abaa..53aea973
53aea973 [ox] Cleanup 0e028ff6 [ox] Cleanup 07688a2c [ox] Remove oxExpect macro 9ce4d3f8 [keel,nostalgia/gfx] Minor cleanup of tests 4aa8255c [ox] Update formatting in recently edited files bfdfc104 [nostalgia/gfx] Update panic cdd574d8 [ox] Change panic and assert to use std::source_location bc05bd12 [ox/model] Rename and fix isBString helpers b754c66c [ox] Remove enable_if 6a423032 [ox/std] Slight optimization 7477ede2 [ox/std] Cleanup some enable_ifs 65e3153d [ox/std] Add Union_c concept 53a224cf [ox/std] Cleanup 592e641b [ox/std] Fix writeItoa to work with max length 64 bit ints 689da4a0 [ox] Update docs bdf7755e [nostalgia/developer-handbook] Update developer handbook 63f62737 [ox/std] Remove excess char from intToStr return ff9002ad [nostalgia/developer-handbook] Update error handling section 4d0da022 [ox] Update error handling docs 02332d99 [ox] Fix issues in String Types section of docs a566ed2a [ox/std] Fix writeItoa to work with negatives 815c3d19 [ox/std] Make StringLiteral constructors non-explicit 522bb14f [ox/std] Fix intToStr to have room for negatives f40d5515 [ox] Add strings section to docs 941d1d90 [ox/std] Add Vector::reserveResize 3e880dcd [nostalgia/gfx/studio] Remove unused EBO management 03328ac1 [turbine/glfw] Fix to handle null click handler git-subtree-dir: deps/nostalgia git-subtree-split: 53aea9731dc2bdf891f8c59bbbbb67a8f8801e82
This commit is contained in:
217
deps/ox/ox-docs.md
vendored
217
deps/ox/ox-docs.md
vendored
@@ -28,10 +28,7 @@ All components have a platform indicator next to them:
|
||||
Ox provides ```ox::Error``` to report errors.
|
||||
```ox::Error``` is a struct that has overloaded operators to behave like an
|
||||
integer error code, plus some extra fields to enhance debuggability.
|
||||
If instantiated through the ```OxError(x)``` macro, it will also include the
|
||||
file and line of the error.
|
||||
The ```OxError(x)``` macro should only be used for the initial instantiation of
|
||||
an ```ox::Error```.
|
||||
```ox::Error```s will also include the file and line of the error.
|
||||
|
||||
In addition to ```ox::Error``` there is also the template ```ox::Result<T>```.
|
||||
```ox::Result``` simply wraps the type T value in a struct that also includes
|
||||
@@ -49,7 +46,7 @@ ox::Result<int> foo(int i) noexcept {
|
||||
if (i < 10) {
|
||||
return i + 1; // implicitly calls ox::Result<T>::Result(T)
|
||||
}
|
||||
return OxError(1); // implicitly calls ox::Result<T>::Result(ox::Error)
|
||||
return ox::Error(1); // implicitly calls ox::Result<T>::Result(ox::Error)
|
||||
}
|
||||
|
||||
int caller1() {
|
||||
@@ -181,6 +178,216 @@ variant for creating a non-const value.
|
||||
|
||||
* ```OX_REQUIRE_M``` - OX_REQUIRE Mutable
|
||||
|
||||
### Ox String Types
|
||||
|
||||
Ox has six different major string types.
|
||||
These types are divided into two categories: store types and view types.
|
||||
|
||||
String stores maintain a copy of the string data, whereas view types only
|
||||
maintain a reference to the data.
|
||||
Views should be used where you otherwise might use a const reference to a
|
||||
string store type.
|
||||
|
||||
Having all of these different string types may sound like an interoperability
|
||||
nightmare, but taking string view types extensively where applicable makes the
|
||||
imagined interoperability issues virtually non-existent.
|
||||
|
||||
#### String Store Types
|
||||
|
||||
##### String / BasicString
|
||||
|
||||
```ox::String```, or really ```ox::BasicString```, is Ox's version of
|
||||
```std::string```.
|
||||
Like ```std::string```, ```String``` allocates to store the string data.
|
||||
Also like ```std::string```, ```String``` allows for small string
|
||||
optimization for strings under 8 bytes.
|
||||
Unlike ```std::string```, the template that ```String``` is based on,
|
||||
```BasicString```, takes a parameter that allows adjusting to different size
|
||||
small string buffers.
|
||||
```ox::String``` is an alias to ```ox::BasicString<8>```.
|
||||
|
||||
```cpp
|
||||
// s can hold up to 100 bytes, plus one for a null terminator before allocating
|
||||
ox::BasicString<100> s;
|
||||
```
|
||||
Also unlike ```std::string```, ```ox::String``` has an explicit C-string conversion
|
||||
constructor.
|
||||
This prevents accidental instantiations of ```String```.
|
||||
|
||||
Consider the following:
|
||||
|
||||
```cpp
|
||||
void fStd(std::string const&);
|
||||
void fOx(ox::String const&);
|
||||
|
||||
int main() {
|
||||
// implicit and silent instantiation of std::string, which includes an
|
||||
// allocation
|
||||
fStd("123456789");
|
||||
// Will fail to compile:
|
||||
fOx("123456789");
|
||||
// But explicit String instantiation will work:
|
||||
fOx(ox::String{"123456789"});
|
||||
}
|
||||
```
|
||||
|
||||
##### IString
|
||||
|
||||
```IString```, or "inline string", is like ```BasicString```, but it will cut
|
||||
off strings that exceed that limit.
|
||||
|
||||
```cpp
|
||||
ox::IString<5> s; // s can hold up to 5 characters, plus a null terminator
|
||||
s = "12345"; // valid
|
||||
s = "123456"; // will compile and run, but will get cut off at '5'
|
||||
```
|
||||
|
||||
This is useful for certain string categories that have fixed lengths, like UUID
|
||||
strings or for numbers.
|
||||
|
||||
Ox makes use of ```IString``` in the following ways:
|
||||
|
||||
```cpp
|
||||
using UUIDStr = ox::IString<36>;
|
||||
|
||||
// and
|
||||
|
||||
template<Integer_c Integer>
|
||||
[[nodiscard]]
|
||||
constexpr auto intToStr(Integer v) noexcept {
|
||||
constexpr auto Cap = [] {
|
||||
auto out = 0;
|
||||
switch (sizeof(Integer)) {
|
||||
case 1:
|
||||
out = 3;
|
||||
break;
|
||||
case 2:
|
||||
out = 5;
|
||||
break;
|
||||
case 4:
|
||||
out = 10;
|
||||
break;
|
||||
case 8:
|
||||
out = 21;
|
||||
break;
|
||||
}
|
||||
return out + ox::is_signed_v<Integer>;
|
||||
}();
|
||||
ox::IString<Cap> out;
|
||||
std::ignore = out.resize(out.cap());
|
||||
ox::CharBuffWriter w{{out.data(), out.cap()}};
|
||||
std::ignore = writeItoa(v, w);
|
||||
std::ignore = out.resize(w.tellp());
|
||||
return out;
|
||||
}
|
||||
```
|
||||
|
||||
##### StringParam
|
||||
|
||||
```StringParam``` is a weird type.
|
||||
Because ```String::String(const char*)``` is explicit, it becomes a pain for
|
||||
functions to take ```String```s.
|
||||
|
||||
```cpp
|
||||
struct Type {
|
||||
ox::String m_s;
|
||||
explicit Type(ox::String p): m_s(std::move(p)) {
|
||||
}
|
||||
};
|
||||
|
||||
void f() {
|
||||
ox::String s{"asdf"};
|
||||
Type t1{"asdf"}; // invalid - will not compile
|
||||
Type t2{s}; // invalid - will not compile
|
||||
Type t3{std::move(s)}; // valid
|
||||
Type t4{ox::String{"asdf"}}; // valid
|
||||
}
|
||||
```
|
||||
|
||||
```StringParam``` has implicit conversion constructors, and will appropriately
|
||||
move from r-value ```String```s or create a ```String``` if not passed
|
||||
ownership of an existing ```String```.
|
||||
Think of ```StringParam``` as a way to opt-in to implicit instantiation with
|
||||
strings.
|
||||
|
||||
```StringParam``` can access the string as a view through the ```view()```
|
||||
function, and the ```String``` inside can be accessed by moving from the
|
||||
```StringParam```.
|
||||
|
||||
```cpp
|
||||
struct Type {
|
||||
ox::String m_s;
|
||||
explicit Type(ox::StringParam p): m_s(std::move(p)) {
|
||||
}
|
||||
};
|
||||
|
||||
void f() {
|
||||
ox::String s{"asdf"};
|
||||
Type t1{"asdf"}; // valid
|
||||
Type t2{s}; // valid
|
||||
Type t3{std::move(s)}; // valid
|
||||
Type t4{ox::String{"asdf"}}; // valid
|
||||
}
|
||||
```
|
||||
|
||||
#### String View Types
|
||||
|
||||
##### StringView
|
||||
|
||||
```ox::StringView``` is Ox's version of ```std::string_view```.
|
||||
```StringView``` contains a pointer to a string, along with its size.
|
||||
|
||||
This should be the normal type taken when a function needs a string that will
|
||||
exist until it returns.
|
||||
|
||||
##### CStringView
|
||||
|
||||
```CStringView``` is like ```StringView```, but it comes with the promise that
|
||||
the string ends with a null terminator.
|
||||
Accordingly, it has a ```c_str()``` function in addition to the ```data()```
|
||||
function that ```StringView``` has.
|
||||
|
||||
```CStringView``` should be used when wrapping a C API that only takes C
|
||||
strings.
|
||||
|
||||
##### StringLiteral
|
||||
|
||||
```StringLiteral``` is a string view type, but it kind of straddles the line
|
||||
between view and store types.
|
||||
Creating a ```StringLiteral``` is a promise that you are passing a string
|
||||
literal into the constructor.
|
||||
This means you can treat it like a store, that can be safely used as a copy of
|
||||
the data.
|
||||
Functions that take ```StringLiteral```s are allowed to assume that the data
|
||||
will have no lifetime concerns and hold onto it without any need to make a
|
||||
copy.
|
||||
It has a consteval constructor to enforce the promise that it is a compile time
|
||||
string.
|
||||
|
||||
```cpp
|
||||
void f(ox::StringLiteral const&);
|
||||
|
||||
int main() {
|
||||
f("123456789"); // valid
|
||||
f(ox::String{"123456789"}.c_str()); // invalid - will not compile
|
||||
}
|
||||
```
|
||||
|
||||
#### Other Variants
|
||||
|
||||
There are a few convenience aliases as well.
|
||||
|
||||
* StringCR = String const&
|
||||
* StringViewCR = StringView const&
|
||||
* CStringViewCR = CStringView const&
|
||||
* CString = const char*
|
||||
|
||||
String views do not generally need const references, but it does make debugging
|
||||
easier, as we can skip the constructor call if a string view already exists.
|
||||
|
||||
These kind of aliases probably should not exist for most types, but strings are
|
||||
fundamental and ease of use is desirable.
|
||||
|
||||
### Logging and Output
|
||||
|
||||
Ox provides for logging and debug prints via the ```oxTrace```, ```oxDebug```, and ```oxError``` macros.
|
||||
|
||||
Reference in New Issue
Block a user