beenull/ladybird
1
0
Fork 0
mirror of https://github.com/LadybirdBrowser/ladybird.git synced 2024-11-21 15:10:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6
ladybird/AK/TypeCasts.h

60 lines
1.5 KiB
C
Raw Permalink Normal View History

AK: Add global is<T>() and downcast<T>() Let's unify the is<T>/to<T> implementations that currently exist in separate versions in LibCore and LibWeb.
2020-07-26 14:25:02 +00:00
/*
Meta: Update my e-mail address everywhere
2024-10-04 11:19:50 +00:00
* Copyright (c) 2020-2021, Andreas Kling <andreas@ladybird.org>
AK: Add global is<T>() and downcast<T>() Let's unify the is<T>/to<T> implementations that currently exist in separate versions in LibCore and LibWeb.
2020-07-26 14:25:02 +00:00
*
Everything: Move to SPDX license identifiers in all files. SPDX License Identifiers are a more compact / standardized way of representing file license information. See: https://spdx.dev/resources/use/#identifiers This was done with the `ambr` search and replace tool. ambr --no-parent-ignore --key-from-file --rep-from-file key.txt rep.txt *
2021-04-22 08:24:48 +00:00
* SPDX-License-Identifier: BSD-2-Clause
AK: Add global is<T>() and downcast<T>() Let's unify the is<T>/to<T> implementations that currently exist in separate versions in LibCore and LibWeb.
2020-07-26 14:25:02 +00:00
*/
#pragma once
AK: TypeCasts.h should include Assertions.h
2021-02-10 07:25:09 +00:00
#include <AK/Assertions.h>
AK: Assert that `is<T>()` input and output types are not the same This makes it a compile error to use is<T>() where the input and output types are known to be the same at compile time.
2024-08-08 13:21:13 +00:00
#include <AK/Concepts.h>
AK: Specialise AK::is() for NNRP<T> This is used by the Jakt runtime.
2022-12-10 20:29:55 +00:00
#include <AK/Forward.h>
AK: Make is<T>(input) use input.fast_is<T>() if available This allows classes to provide an optimized is<T> via the fast_is<T>() member function.
2021-01-17 13:34:01 +00:00
#include <AK/Platform.h>
AK: Add global is<T>() and downcast<T>() Let's unify the is<T>/to<T> implementations that currently exist in separate versions in LibCore and LibWeb.
2020-07-26 14:25:02 +00:00
namespace AK {
template<typename OutputType, typename InputType>
AK: Make is<T>(input) use input.fast_is<T>() if available This allows classes to provide an optimized is<T> via the fast_is<T>() member function.
2021-01-17 13:34:01 +00:00
ALWAYS_INLINE bool is(InputType& input)
AK: Add global is<T>() and downcast<T>() Let's unify the is<T>/to<T> implementations that currently exist in separate versions in LibCore and LibWeb.
2020-07-26 14:25:02 +00:00
{
AK: Assert that `is<T>()` input and output types are not the same This makes it a compile error to use is<T>() where the input and output types are known to be the same at compile time.
2024-08-08 13:21:13 +00:00
static_assert(!SameAs<OutputType, InputType>);
AK: Make is<T>(input) use input.fast_is<T>() if available This allows classes to provide an optimized is<T> via the fast_is<T>() member function.
2021-01-17 13:34:01 +00:00
if constexpr (requires { input.template fast_is<OutputType>(); }) {
return input.template fast_is<OutputType>();
}
AK+LibGUI+LibWeb: Remove AK::TypeTraits in favor of RTTI-based helpers Now that we have RTTI in userspace, we can do away with all this manual hackery and use dynamic_cast. We keep the is<T> and downcast<T> helpers since they still provide good readability improvements. Note that unlike dynamic_cast<T>, downcast<T> does not fail in a recoverable way, but will assert if the object being casted is not a T.
2021-01-01 14:33:30 +00:00
return dynamic_cast<CopyConst<InputType, OutputType>*>(&input);
AK: Add global is<T>() and downcast<T>() Let's unify the is<T>/to<T> implementations that currently exist in separate versions in LibCore and LibWeb.
2020-07-26 14:25:02 +00:00
}
template<typename OutputType, typename InputType>
AK: Make is<T>(input) use input.fast_is<T>() if available This allows classes to provide an optimized is<T> via the fast_is<T>() member function.
2021-01-17 13:34:01 +00:00
ALWAYS_INLINE bool is(InputType* input)
AK: Add global is<T>() and downcast<T>() Let's unify the is<T>/to<T> implementations that currently exist in separate versions in LibCore and LibWeb.
2020-07-26 14:25:02 +00:00
{
AK+LibGUI+LibWeb: Remove AK::TypeTraits in favor of RTTI-based helpers Now that we have RTTI in userspace, we can do away with all this manual hackery and use dynamic_cast. We keep the is<T> and downcast<T> helpers since they still provide good readability improvements. Note that unlike dynamic_cast<T>, downcast<T> does not fail in a recoverable way, but will assert if the object being casted is not a T.
2021-01-01 14:33:30 +00:00
return input && is<OutputType>(*input);
AK: Add global is<T>() and downcast<T>() Let's unify the is<T>/to<T> implementations that currently exist in separate versions in LibCore and LibWeb.
2020-07-26 14:25:02 +00:00
}
AK: Specialise AK::is() for NNRP<T> This is used by the Jakt runtime.
2022-12-10 20:29:55 +00:00
template<typename OutputType, typename InputType>
ALWAYS_INLINE bool is(NonnullRefPtr<InputType> const& input)
{
return is<OutputType>(*input);
}
AK: Add global is<T>() and downcast<T>() Let's unify the is<T>/to<T> implementations that currently exist in separate versions in LibCore and LibWeb.
2020-07-26 14:25:02 +00:00
template<typename OutputType, typename InputType>
AK: Rename downcast<T> => verify_cast<T> This makes it much clearer what this cast actually does: it will VERIFY that the thing we're casting is a T (using is<T>()).
2021-06-24 17:53:42 +00:00
ALWAYS_INLINE CopyConst<InputType, OutputType>* verify_cast(InputType* input)
AK: Add global is<T>() and downcast<T>() Let's unify the is<T>/to<T> implementations that currently exist in separate versions in LibCore and LibWeb.
2020-07-26 14:25:02 +00:00
{
AK+Everywhere: Make StdLibExtras templates less wrapper-y This commit makes the user-facing StdLibExtras templates and utilities arguably more nice-looking by removing the need to reach into the wrapper structs generated by them to get the value/type needed. The C++ standard library had to invent `_v` and `_t` variants (likely because of backwards compat), but we don't need to cater to any codebase except our own, so might as well have good things for free. :^)
2021-04-10 13:59:06 +00:00
static_assert(IsBaseOf<InputType, OutputType>);
Everywhere: Rename ASSERT => VERIFY (...and ASSERT_NOT_REACHED => VERIFY_NOT_REACHED) Since all of these checks are done in release builds as well, let's rename them to VERIFY to prevent confusion, as everyone is used to assertions being compiled out in release. We can introduce a new ASSERT macro that is specifically for debug checks, but I'm doing this wholesale conversion first since we've accumulated thousands of these already, and it's not immediately obvious which ones are suitable for ASSERT.
2021-02-23 19:42:32 +00:00
VERIFY(!input || is<OutputType>(*input));
AK: Add global is<T>() and downcast<T>() Let's unify the is<T>/to<T> implementations that currently exist in separate versions in LibCore and LibWeb.
2020-07-26 14:25:02 +00:00
return static_cast<CopyConst<InputType, OutputType>*>(input);
}
template<typename OutputType, typename InputType>
AK: Rename downcast<T> => verify_cast<T> This makes it much clearer what this cast actually does: it will VERIFY that the thing we're casting is a T (using is<T>()).
2021-06-24 17:53:42 +00:00
ALWAYS_INLINE CopyConst<InputType, OutputType>& verify_cast(InputType& input)
AK: Add global is<T>() and downcast<T>() Let's unify the is<T>/to<T> implementations that currently exist in separate versions in LibCore and LibWeb.
2020-07-26 14:25:02 +00:00
{
AK+Everywhere: Make StdLibExtras templates less wrapper-y This commit makes the user-facing StdLibExtras templates and utilities arguably more nice-looking by removing the need to reach into the wrapper structs generated by them to get the value/type needed. The C++ standard library had to invent `_v` and `_t` variants (likely because of backwards compat), but we don't need to cater to any codebase except our own, so might as well have good things for free. :^)
2021-04-10 13:59:06 +00:00
static_assert(IsBaseOf<InputType, OutputType>);
Everywhere: Rename ASSERT => VERIFY (...and ASSERT_NOT_REACHED => VERIFY_NOT_REACHED) Since all of these checks are done in release builds as well, let's rename them to VERIFY to prevent confusion, as everyone is used to assertions being compiled out in release. We can introduce a new ASSERT macro that is specifically for debug checks, but I'm doing this wholesale conversion first since we've accumulated thousands of these already, and it's not immediately obvious which ones are suitable for ASSERT.
2021-02-23 19:42:32 +00:00
VERIFY(is<OutputType>(input));
AK: Add global is<T>() and downcast<T>() Let's unify the is<T>/to<T> implementations that currently exist in separate versions in LibCore and LibWeb.
2020-07-26 14:25:02 +00:00
return static_cast<CopyConst<InputType, OutputType>&>(input);
}
}
AK: Make it possible to not `using` AK classes into the global namespace This patch adds the `USING_AK_GLOBALLY` macro which is enabled by default, but can be overridden by build flags. This is a step towards integrating Jakt and AK types.
2022-11-26 11:18:30 +00:00
#if USING_AK_GLOBALLY
AK: Add global is<T>() and downcast<T>() Let's unify the is<T>/to<T> implementations that currently exist in separate versions in LibCore and LibWeb.
2020-07-26 14:25:02 +00:00
using AK::is;
AK: Rename downcast<T> => verify_cast<T> This makes it much clearer what this cast actually does: it will VERIFY that the thing we're casting is a T (using is<T>()).
2021-06-24 17:53:42 +00:00
using AK::verify_cast;
AK: Make it possible to not `using` AK classes into the global namespace This patch adds the `USING_AK_GLOBALLY` macro which is enabled by default, but can be overridden by build flags. This is a step towards integrating Jakt and AK types.
2022-11-26 11:18:30 +00:00
#endif
Reference in a new issue Copy permalink