cppjson::JsonObject primitive, tagged union

Signed-off-by: TymianekPL <tymi@tymi.org>

Author: TymianekPL

Test/Test.cpp

@@ -1,3 +1,9 @@
-#include <cppjson/cppjson.hpp>
+#include <cppjson/object.hpp>
+#include <print>
 
-int main() { cppjson::hello_world(); }
+int main()
+{
+	cppjson::JsonObject object{};
+	object.As<std::string>() = "Purr world!";
+	std::println("{}", object.As<std::string>());
+}

cppjson/include/cppjson/object.hpp

@@ -0,0 +1,42 @@
+#pragma once
+
+#include <cstdint>
+#include <cstddef>
+#include <algorithm>
+#include <string>
+#include <cstddef>
+
+namespace cppjson
+{
+	enum struct JsonType
+	{
+		Null,
+		String,
+		Object,
+		Number,
+		Bool,
+		// TODO: Array
+	};
+
+	class JsonObject
+	{
+	public:
+		explicit JsonObject();
+		~JsonObject();
+
+		template <typename T>
+		T& As() noexcept(false);
+
+		template <typename T>
+		const T& As() const noexcept(false);
+	private:
+		JsonType _dataType{};
+		std::byte* _dataStorage{};
+
+		void Destroy();
+		template <typename T>
+		T& DangerousAs() noexcept { return *std::launder(reinterpret_cast<T*>(this->_dataStorage)); }
+		template <typename T>
+		const T& DangerousAs() const noexcept { return *std::launder(reinterpret_cast<T*>(this->_dataStorage)); }
+	};
+}

cppjson/src/object.cpp

@@ -0,0 +1,106 @@
+#include "cppjson/object.hpp"  
+#include <new>
+#include <stdexcept>
+
+constexpr std::size_t DataStorageSize = std::max({ sizeof(std::string), sizeof(cppjson::JsonObject), sizeof(double), sizeof(bool) });
+
+cppjson::JsonObject::JsonObject()
+	: _dataStorage(static_cast<std::byte*>(::operator new(DataStorageSize)))
+{
+}
+
+cppjson::JsonObject::~JsonObject()
+{
+	this->Destroy();
+	::operator delete(this->_dataStorage);
+}
+
+void cppjson::JsonObject::Destroy(void)
+{
+	using std::string;
+
+	switch (std::exchange(this->_dataType, JsonType::Null))
+	{
+	case JsonType::Null:
+	case JsonType::Number:
+	case JsonType::Bool: break;
+	case JsonType::String: DangerousAs<std::string>().~string();
+	}
+}
+
+template<>
+std::string& cppjson::JsonObject::As<std::string>() noexcept(false)
+{
+	if (this->_dataType == JsonType::Null)
+	{
+		this->_dataType = JsonType::String;
+		return *new(this->_dataStorage) std::string{};
+	}
+
+	if (this->_dataType != JsonType::String) throw std::logic_error("Cannot convert this object to a string");
+	return DangerousAs<std::string>();
+}
+
+template<>
+double& cppjson::JsonObject::As<double>() noexcept(false)
+{
+	if (this->_dataType == JsonType::Null)
+	{
+		this->_dataType = JsonType::Number;
+		return *new(this->_dataStorage) double{};
+	}
+
+	if (this->_dataType != JsonType::Number) throw std::logic_error("Cannot convert this object to a double");
+	return DangerousAs<double>();
+}
+
+template<>
+bool& cppjson::JsonObject::As<bool>() noexcept(false)
+{
+	if (this->_dataType == JsonType::Null)
+	{
+		this->_dataType = JsonType::Bool;
+		return *new(this->_dataStorage) bool{};
+	}
+
+	if (this->_dataType != JsonType::Bool) throw std::logic_error("Cannot convert this object to a bool");
+	return DangerousAs<bool>();
+}
+
+template<>
+std::nullptr_t& cppjson::JsonObject::As<std::nullptr_t>() noexcept(false)
+{
+	if (std::exchange(this->_dataType, JsonType::Null) == JsonType::Null)
+		return DangerousAs<std::nullptr_t>();
+
+	return *new(this->_dataStorage) std::nullptr_t{};
+}
+
+
+template<>
+const std::string& cppjson::JsonObject::As<std::string>() const noexcept(false)
+{
+	if (this->_dataType != JsonType::String) throw std::logic_error("Cannot convert this object to a string");
+	return DangerousAs<std::string>();
+}
+
+template<>
+const double& cppjson::JsonObject::As<double>() const noexcept(false)
+{
+	if (this->_dataType != JsonType::Number) throw std::logic_error("Cannot convert this object to a double");
+	return DangerousAs<double>();
+}
+
+template<>
+const bool& cppjson::JsonObject::As<bool>() const noexcept(false)
+{
+	if (this->_dataType != JsonType::Bool) throw std::logic_error("Cannot convert this object to a bool");
+	return DangerousAs<bool>();
+}
+
+template<>
+const std::nullptr_t& cppjson::JsonObject::As<std::nullptr_t>() const noexcept(false)
+{
+	if (this->_dataType != JsonType::Null) throw std::logic_error("Cannot convert this object to a null");
+	return DangerousAs<std::nullptr_t>();
+}