DART 6.13.2
Loading...
Searching...
No Matches
Castable-impl.hpp
Go to the documentation of this file.
1/*
2 * Copyright (c) 2011-2022, The DART development contributors
3 * All rights reserved.
4 *
5 * The list of contributors can be found at:
6 * https://github.com/dartsim/dart/blob/master/LICENSE
7 *
8 * This file is provided under the following "BSD-style" License:
9 * Redistribution and use in source and binary forms, with or
10 * without modification, are permitted provided that the following
11 * conditions are met:
12 * * Redistributions of source code must retain the above copyright
13 * notice, this list of conditions and the following disclaimer.
14 * * Redistributions in binary form must reproduce the above
15 * copyright notice, this list of conditions and the following
16 * disclaimer in the documentation and/or other materials provided
17 * with the distribution.
18 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND
19 * CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES,
20 * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
21 * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
22 * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR
23 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
24 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
25 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF
26 * USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
27 * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
28 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
29 * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
30 * POSSIBILITY OF SUCH DAMAGE.
31 */
32
33#ifndef DART_COMMON_DETAIL_CASTABLE_HPP_
34#define DART_COMMON_DETAIL_CASTABLE_HPP_
35
38
39namespace dart::common {
40
41//==============================================================================
44
45//==============================================================================
46template <typename Base>
47template <typename Derived>
49{
50 if constexpr (
53 {
54 return (base().getType() == Derived::getStaticType());
55 }
56 else
57 {
58 return (dynamic_cast<const Derived*>(&base()) != nullptr);
59 }
60}
61
62//==============================================================================
63template <typename Base>
64template <typename Derived>
65const Derived* Castable<Base>::as() const
66{
67 return is<Derived>() ? static_cast<const Derived*>(&base()) : nullptr;
68}
69
70//==============================================================================
71template <typename Base>
72template <typename Derived>
74{
75 return is<Derived>() ? static_cast<Derived*>(&base()) : nullptr;
76}
77
78//==============================================================================
79template <typename Base>
80template <typename Derived>
81const Derived& Castable<Base>::asRef() const
82{
83 assert(is<Derived>());
84 return *as<Derived>();
85}
86
87//==============================================================================
88template <typename Base>
89template <typename Derived>
91{
92 assert(is<Derived>());
93 return *as<Derived>();
94}
96//==============================================================================
97template <typename Base>
98const Base& Castable<Base>::base() const
99{
100 return *static_cast<const Base*>(this);
101}
102
103//==============================================================================
104template <typename Base>
106{
107 return *static_cast<Base*>(this);
108}
109
110} // namespace dart::common
111
112#endif // DART_COMMON_DETAIL_CASTABLE_HPP_
#define DART_CREATE_MEMBER_CHECK(member)
Definition Metaprogramming.hpp:37
const Base & base() const
Casts to Base const-reference.
Definition Castable-impl.hpp:98
const Derived & asRef() const
Casts to reference of Derived if Base is its base class. UB otherwise.
Definition Castable-impl.hpp:81
bool is() const
Returns true if the types of this Base and the template parameter (a base class) are identical.
Definition Castable-impl.hpp:48
const Derived * as() const
Casts to pointer of Derived if Base is its base class.
Definition Castable-impl.hpp:65
Definition Aspect.cpp:42
Definition Castable-impl.hpp:43
Definition Castable-impl.hpp:42