blob: 5c5bfb24248d8334b6a3b1186856914486381140 [file] [log] [blame]
/* Copyright (c) 2012-2021 The ANTLR Project. All rights reserved.
* Use of this file is governed by the BSD 3-clause license that
* can be found in the LICENSE.txt file in the project root.
*/
#pragma once
#include <cassert>
#include <type_traits>
namespace antlrcpp {
template <typename To, typename From>
To downCast(From* from) {
static_assert(std::is_pointer<To>::value, "Target type not a pointer.");
static_assert((std::is_base_of<From, typename std::remove_pointer<To>::type>::value), "Target type not derived from source type.");
#if !defined(__GNUC__) || defined(__GXX_RTTI)
assert(from == nullptr || dynamic_cast<To>(from) != nullptr);
#endif
return static_cast<To>(from);
}
template <typename To, typename From>
To downCast(From& from) {
static_assert(std::is_lvalue_reference<To>::value, "Target type not a lvalue reference.");
static_assert((std::is_base_of<From, typename std::remove_reference<To>::type>::value), "Target type not derived from source type.");
#if !defined(__GNUC__) || defined(__GXX_RTTI)
assert(dynamic_cast<typename std::add_pointer<typename std::remove_reference<To>::type>::type>(&from) != nullptr);
#endif
return static_cast<To>(from);
}
}