2017-07-29 01:23:50 +02:00
|
|
|
// Copyright (c) 2011-present, Facebook, Inc. All rights reserved.
|
|
|
|
// This source code is licensed under both the GPLv2 (found in the
|
|
|
|
// COPYING file in the root directory) and Apache 2.0 License
|
|
|
|
// (found in the LICENSE.Apache file in the root directory).
|
|
|
|
|
2017-07-31 21:00:02 +02:00
|
|
|
#pragma once
|
2021-09-10 18:59:05 +02:00
|
|
|
|
|
|
|
#include "rocksdb/rocksdb_namespace.h"
|
|
|
|
|
2020-02-20 21:07:53 +01:00
|
|
|
namespace ROCKSDB_NAMESPACE {
|
2017-07-29 01:23:50 +02:00
|
|
|
// The helper function to assert the move from dynamic_cast<> to
|
|
|
|
// static_cast<> is correct. This function is to deal with legacy code.
|
2020-07-03 04:24:25 +02:00
|
|
|
// It is not recommended to add new code to issue class casting. The preferred
|
2017-07-29 01:23:50 +02:00
|
|
|
// solution is to implement the functionality without a need of casting.
|
|
|
|
template <class DestClass, class SrcClass>
|
|
|
|
inline DestClass* static_cast_with_check(SrcClass* x) {
|
|
|
|
DestClass* ret = static_cast<DestClass*>(x);
|
|
|
|
#ifdef ROCKSDB_USE_RTTI
|
|
|
|
assert(ret == dynamic_cast<DestClass*>(x));
|
|
|
|
#endif
|
|
|
|
return ret;
|
|
|
|
}
|
2020-02-20 21:07:53 +01:00
|
|
|
} // namespace ROCKSDB_NAMESPACE
|