mirror of
				https://github.com/RGBCube/serenity
				synced 2025-10-31 21:42:43 +00:00 
			
		
		
		
	
		
			
				
	
	
		
			74 lines
		
	
	
	
		
			1.7 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
			
		
		
	
	
			74 lines
		
	
	
	
		
			1.7 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
| #pragma once
 | |
| 
 | |
| #include <AK/Assertions.h>
 | |
| #include <LibC/errno_numbers.h>
 | |
| 
 | |
| enum KSuccessTag { KSuccess };
 | |
| 
 | |
| class KResult {
 | |
| public:
 | |
|     explicit KResult(int negative_e) : m_error(negative_e) { ASSERT(negative_e <= 0); }
 | |
|     KResult(KSuccessTag) : m_error(0) { }
 | |
|     operator int() const { return m_error; }
 | |
| 
 | |
|     bool is_success() const { return m_error == ESUCCESS; }
 | |
|     bool is_error() const { return !is_success(); }
 | |
| 
 | |
| private:
 | |
|     template<typename T> friend class KResultOr;
 | |
|     KResult() { }
 | |
| 
 | |
|     int m_error { 0 };
 | |
| };
 | |
| 
 | |
| template<typename T>
 | |
| class alignas(T) KResultOr {
 | |
| public:
 | |
|     KResultOr(KResult error)
 | |
|         : m_error(error)
 | |
|         , m_is_error(true)
 | |
|     { }
 | |
| 
 | |
|     KResultOr(T&& value)
 | |
|     {
 | |
|         new (&m_storage) T(move(value));
 | |
|     }
 | |
| 
 | |
|     template<typename U>
 | |
|     KResultOr(U&& value)
 | |
|     {
 | |
|         new (&m_storage) T(move(value));
 | |
|     }
 | |
| 
 | |
|     KResultOr(KResultOr&& other)
 | |
|     {
 | |
|         new (&m_storage) T(move(other.value()));
 | |
|         other.m_is_error = true;
 | |
|         other.m_error = KSuccess;
 | |
|     }
 | |
| 
 | |
|     ~KResultOr()
 | |
|     {
 | |
|         if (!m_is_error)
 | |
|             value().~T();
 | |
|     }
 | |
| 
 | |
|     bool is_error() const { return m_is_error; }
 | |
|     KResult error() const { ASSERT(m_is_error); return m_error; }
 | |
|     T& value() { ASSERT(!m_is_error); return *reinterpret_cast<T*>(&m_storage); }
 | |
|     const T& value() const { ASSERT(!m_is_error); return *reinterpret_cast<T*>(&m_storage); }
 | |
| 
 | |
|     T release_value()
 | |
|     {
 | |
|         ASSERT(!m_is_error);
 | |
|         T released_value = *reinterpret_cast<T*>(&m_storage);
 | |
|         value().~T();
 | |
|         return released_value;
 | |
|     }
 | |
| 
 | |
| private:
 | |
|     char m_storage[sizeof(T)] __attribute__((aligned(sizeof(T))));
 | |
|     KResult m_error;
 | |
|     bool m_is_error { false };
 | |
| };
 | |
| 
 | 
