system/serenity
system/serenity
1
0
Fork 0
mirror of https://github.com/SerenityOS/serenity synced 2024-10-15 20:33:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

AK: Make is<T>(input) use input.fast_is<T>() if available

Browse source 
This allows classes to provide an optimized is<T> via the fast_is<T>()
member function.
This commit is contained in:
Andreas Kling 2021-01-17 14:34:01 +01:00
parent 4da913bfab
commit 65fa0c2774
1 changed files with 9 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
AK/TypeCasts.h
View file

@ -1,5 +1,5 @@
/* /*
* Copyright (c) 2020, Andreas Kling <kling@serenityos.org> * Copyright (c) 2020-2021, Andreas Kling <kling@serenityos.org>
* All rights reserved. * All rights reserved.
* *
* Redistribution and use in input and binary forms, with or without * Redistribution and use in input and binary forms, with or without
@ -26,24 +26,28 @@
#pragma once #pragma once
#include <AK/Platform.h>
#include <AK/StdLibExtras.h> #include <AK/StdLibExtras.h>
namespace AK { namespace AK {
template<typename OutputType, typename InputType> template<typename OutputType, typename InputType>
inline bool is(InputType& input) ALWAYS_INLINE bool is(InputType& input)
{ {
if constexpr (requires { input.template fast_is<OutputType>(); }) {
return input.template fast_is<OutputType>();
}
return dynamic_cast<CopyConst<InputType, OutputType>*>(&input); return dynamic_cast<CopyConst<InputType, OutputType>*>(&input);
} }
template<typename OutputType, typename InputType> template<typename OutputType, typename InputType>
inline bool is(InputType* input) ALWAYS_INLINE bool is(InputType* input)
{ {
return input && is<OutputType>(*input); return input && is<OutputType>(*input);
} }
template<typename OutputType, typename InputType> template<typename OutputType, typename InputType>
inline CopyConst<InputType, OutputType>* downcast(InputType* input) ALWAYS_INLINE CopyConst<InputType, OutputType>* downcast(InputType* input)
{ {
static_assert(IsBaseOf<InputType, OutputType>::value); static_assert(IsBaseOf<InputType, OutputType>::value);
ASSERT(!input || is<OutputType>(*input)); ASSERT(!input || is<OutputType>(*input));
@ -51,7 +55,7 @@ inline CopyConst<InputType, OutputType>* downcast(InputType* input)
} }
template<typename OutputType, typename InputType> template<typename OutputType, typename InputType>
inline CopyConst<InputType, OutputType>& downcast(InputType& input) ALWAYS_INLINE CopyConst<InputType, OutputType>& downcast(InputType& input)
{ {
static_assert(IsBaseOf<InputType, OutputType>::value); static_assert(IsBaseOf<InputType, OutputType>::value);
ASSERT(is<OutputType>(input)); ASSERT(is<OutputType>(input));