mirror of
https://github.com/abseil/abseil-cpp.git
synced 2026-06-04 12:07:05 +08:00
-9ee91d3e43Export of internal Abseil changes by Abseil Team <absl-team@google.com> -8efba58a3bExport of internal Abseil changes by Abseil Team <absl-team@google.com> -b49b8d16b6Export of internal Abseil changes by Abseil Team <absl-team@google.com> -67222ffc4cExport of internal Abseil changes by Abseil Team <absl-team@google.com> -c5c4db4f51Export of internal Abseil changes by Abseil Team <absl-team@google.com> -14550beb3bExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -52e88ee56bExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -36d37ab992Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -ad1485c898Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -f3840bc5e3Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -278b26058cExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -c6c3c1b498Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -44efe96dfcExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -3c98fcc046Merge pull request #340 from jtsylve/macos_cxx17_fix by Matt Calabrese <38107210+mattcalabrese-google@users.noreply.github.com> -74d91756c1Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -e6b050212cExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -c964fcffacExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -72e09a54d9Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -d65e19dfcdExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -5162fc83d2Merge pull request #336 from shields/patch-2 by Shaindel Schwartz <31392632+shaindelschwartz@users.noreply.github.com> -0389f7bf58Merge pull request #335 from shields/patch-1 by Shaindel Schwartz <31392632+shaindelschwartz@users.noreply.github.com> -e9324d926aExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -43ef2148c0Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -a13d3df2b3Merge pull request #323 from gosnik/master by Gennadiy Rozental <rogeeff@google.com> -310a11865cMerge pull request #324 from RasPat1/patch-1 by Gennadiy Rozental <rogeeff@google.com> -8f11724067Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -b1dd425423Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -361cb8a9dbExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -0238ab0a83Merge pull request #321 from christoph-cullmann/c4245_fix... by Xiaoyi Zhang <zhangxy988@gmail.com> -61c9bf3e3eExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -bc9101f998Merge pull request #320 from christoph-cullmann/master by Xiaoyi Zhang <zhangxy988@gmail.com> -2f76a9bf50Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -4adaf54909Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -27c30ec671Avoid undefined behavior when nullptr is passed to memcpy... by Roman Gershman <romange@gmail.com> -ce65f5ac3cExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -a18fc7461eExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -8a394b19c1Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -daf381e853Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -fa00c32107Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -436ba6c4a0Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -0cbdc774b9Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -27c2f6e2f3Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -aa468ad755Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -cd86d0d20aExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -33841c5c96Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -ca3f87560aExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -d902eb869bExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -a02f62f456Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -0b545b4601Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -dbae8764fbExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -044da8a29cExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -6cc6ac44e0Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -666fc1266bExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -93dfcf74cbExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -2c8421e1c6Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -5b65c4af51Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -eab2078b53Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -253eb74164[CMake] Set correct flags for clang-cl (#278) by Loo Rong Jie <loorongjie@gmail.com> -e75672f6afExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -bf29470384Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -6fd827124fMerge pull request #280 from chiumichael/master by Derek Mauro <761129+derekmauro@users.noreply.github.com> -7c7754fb3eExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -256be56344Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -88a152ae74Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -c1cecb25a9Implement Span::first and Span::last from C++20 (#274) by Girts <girtsf@users.noreply.github.com> -38b704384cChanged HTTP URLs to HTTPS where possible (#270) by nik7273 <nik8470@gmail.com> -febc5ee6a9Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -9fdf5e5b80Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -419f3184f8Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -b312c3cb53Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -308ce31528Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -93d155bc44Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -426eaa4aa4Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -2901ec32a9Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -d78310fe5aExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -a4cb1c8ba6Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -540e2537b9Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -89ea0c5ff3Merge pull request #255 from uilianries/hotfix/conan by ahedberg <ahedberg@google.com> -5e0dcf72c6Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -0dffca4e36Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -6b4201f9efFix GCC8 warnings by Boris Staletic <boris.staletic@gmail.com> -0b1e6d417bExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -efccc50260Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -5e6a78131fExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -5eea0f713cExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -66f9becbb9Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -018b4db1d7Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -9449ae9439Merge pull request #243 from ThomsonTan/FixIntrinsic by Alex Strelnikov <strel@google.com> -b16aeb6756Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -7ffbe09f3dExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -01b471d9f3Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -7bd8f36c74Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -968a34ffdaExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -3e2e9b5557Merge pull request #231 from uilianries/feature/conan by Mark Barolak <mbxx@users.noreply.github.com> -111ca7060aExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -389ec3f906Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -8fbcdb9095Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -455dc17ba1Export of internal Abseil changes. by Abseil Team <absl-team@google.com> -f197d7c72aExport of internal Abseil changes. by Abseil Team <absl-team@google.com> -284378a71bExport of internal Abseil changes. by Abseil Team <absl-team@google.com> GitOrigin-RevId:9ee91d3e43Change-Id: Ia06e548bc106cc9d136f6c65714be6645317aced
185 lines
6.9 KiB
C++
185 lines
6.9 KiB
C++
//
|
|
// Copyright 2017 The Abseil Authors.
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
// you may not use this file except in compliance with the License.
|
|
// You may obtain a copy of the License at
|
|
//
|
|
// https://www.apache.org/licenses/LICENSE-2.0
|
|
//
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
// See the License for the specific language governing permissions and
|
|
// limitations under the License.
|
|
//
|
|
// -----------------------------------------------------------------------------
|
|
// File: casts.h
|
|
// -----------------------------------------------------------------------------
|
|
//
|
|
// This header file defines casting templates to fit use cases not covered by
|
|
// the standard casts provided in the C++ standard. As with all cast operations,
|
|
// use these with caution and only if alternatives do not exist.
|
|
|
|
#ifndef ABSL_BASE_CASTS_H_
|
|
#define ABSL_BASE_CASTS_H_
|
|
|
|
#include <cstring>
|
|
#include <memory>
|
|
#include <type_traits>
|
|
#include <utility>
|
|
|
|
#include "absl/base/internal/identity.h"
|
|
#include "absl/base/macros.h"
|
|
#include "absl/meta/type_traits.h"
|
|
|
|
namespace absl {
|
|
inline namespace lts_2019_08_08 {
|
|
|
|
namespace internal_casts {
|
|
|
|
template <class Dest, class Source>
|
|
struct is_bitcastable
|
|
: std::integral_constant<
|
|
bool,
|
|
sizeof(Dest) == sizeof(Source) &&
|
|
type_traits_internal::is_trivially_copyable<Source>::value &&
|
|
type_traits_internal::is_trivially_copyable<Dest>::value &&
|
|
std::is_default_constructible<Dest>::value> {};
|
|
|
|
} // namespace internal_casts
|
|
|
|
// implicit_cast()
|
|
//
|
|
// Performs an implicit conversion between types following the language
|
|
// rules for implicit conversion; if an implicit conversion is otherwise
|
|
// allowed by the language in the given context, this function performs such an
|
|
// implicit conversion.
|
|
//
|
|
// Example:
|
|
//
|
|
// // If the context allows implicit conversion:
|
|
// From from;
|
|
// To to = from;
|
|
//
|
|
// // Such code can be replaced by:
|
|
// implicit_cast<To>(from);
|
|
//
|
|
// An `implicit_cast()` may also be used to annotate numeric type conversions
|
|
// that, although safe, may produce compiler warnings (such as `long` to `int`).
|
|
// Additionally, an `implicit_cast()` is also useful within return statements to
|
|
// indicate a specific implicit conversion is being undertaken.
|
|
//
|
|
// Example:
|
|
//
|
|
// return implicit_cast<double>(size_in_bytes) / capacity_;
|
|
//
|
|
// Annotating code with `implicit_cast()` allows you to explicitly select
|
|
// particular overloads and template instantiations, while providing a safer
|
|
// cast than `reinterpret_cast()` or `static_cast()`.
|
|
//
|
|
// Additionally, an `implicit_cast()` can be used to allow upcasting within a
|
|
// type hierarchy where incorrect use of `static_cast()` could accidentally
|
|
// allow downcasting.
|
|
//
|
|
// Finally, an `implicit_cast()` can be used to perform implicit conversions
|
|
// from unrelated types that otherwise couldn't be implicitly cast directly;
|
|
// C++ will normally only implicitly cast "one step" in such conversions.
|
|
//
|
|
// That is, if C is a type which can be implicitly converted to B, with B being
|
|
// a type that can be implicitly converted to A, an `implicit_cast()` can be
|
|
// used to convert C to B (which the compiler can then implicitly convert to A
|
|
// using language rules).
|
|
//
|
|
// Example:
|
|
//
|
|
// // Assume an object C is convertible to B, which is implicitly convertible
|
|
// // to A
|
|
// A a = implicit_cast<B>(C);
|
|
//
|
|
// Such implicit cast chaining may be useful within template logic.
|
|
template <typename To>
|
|
constexpr To implicit_cast(typename absl::internal::identity_t<To> to) {
|
|
return to;
|
|
}
|
|
|
|
// bit_cast()
|
|
//
|
|
// Performs a bitwise cast on a type without changing the underlying bit
|
|
// representation of that type's value. The two types must be of the same size
|
|
// and both types must be trivially copyable. As with most casts, use with
|
|
// caution. A `bit_cast()` might be needed when you need to temporarily treat a
|
|
// type as some other type, such as in the following cases:
|
|
//
|
|
// * Serialization (casting temporarily to `char *` for those purposes is
|
|
// always allowed by the C++ standard)
|
|
// * Managing the individual bits of a type within mathematical operations
|
|
// that are not normally accessible through that type
|
|
// * Casting non-pointer types to pointer types (casting the other way is
|
|
// allowed by `reinterpret_cast()` but round-trips cannot occur the other
|
|
// way).
|
|
//
|
|
// Example:
|
|
//
|
|
// float f = 3.14159265358979;
|
|
// int i = bit_cast<int32_t>(f);
|
|
// // i = 0x40490fdb
|
|
//
|
|
// Casting non-pointer types to pointer types and then dereferencing them
|
|
// traditionally produces undefined behavior.
|
|
//
|
|
// Example:
|
|
//
|
|
// // WRONG
|
|
// float f = 3.14159265358979; // WRONG
|
|
// int i = * reinterpret_cast<int*>(&f); // WRONG
|
|
//
|
|
// The address-casting method produces undefined behavior according to the ISO
|
|
// C++ specification section [basic.lval]. Roughly, this section says: if an
|
|
// object in memory has one type, and a program accesses it with a different
|
|
// type, the result is undefined behavior for most values of "different type".
|
|
//
|
|
// Such casting results in type punning: holding an object in memory of one type
|
|
// and reading its bits back using a different type. A `bit_cast()` avoids this
|
|
// issue by implementing its casts using `memcpy()`, which avoids introducing
|
|
// this undefined behavior.
|
|
//
|
|
// NOTE: The requirements here are more strict than the bit_cast of standard
|
|
// proposal p0476 due to the need for workarounds and lack of intrinsics.
|
|
// Specifically, this implementation also requires `Dest` to be
|
|
// default-constructible.
|
|
template <
|
|
typename Dest, typename Source,
|
|
typename std::enable_if<internal_casts::is_bitcastable<Dest, Source>::value,
|
|
int>::type = 0>
|
|
inline Dest bit_cast(const Source& source) {
|
|
Dest dest;
|
|
memcpy(static_cast<void*>(std::addressof(dest)),
|
|
static_cast<const void*>(std::addressof(source)), sizeof(dest));
|
|
return dest;
|
|
}
|
|
|
|
// NOTE: This overload is only picked if the requirements of bit_cast are not
|
|
// met. It is therefore UB, but is provided temporarily as previous versions of
|
|
// this function template were unchecked. Do not use this in new code.
|
|
template <
|
|
typename Dest, typename Source,
|
|
typename std::enable_if<
|
|
!internal_casts::is_bitcastable<Dest, Source>::value, int>::type = 0>
|
|
ABSL_DEPRECATED(
|
|
"absl::bit_cast type requirements were violated. Update the types being "
|
|
"used such that they are the same size and are both TriviallyCopyable.")
|
|
inline Dest bit_cast(const Source& source) {
|
|
static_assert(sizeof(Dest) == sizeof(Source),
|
|
"Source and destination types should have equal sizes.");
|
|
|
|
Dest dest;
|
|
memcpy(&dest, &source, sizeof(dest));
|
|
return dest;
|
|
}
|
|
|
|
} // inline namespace lts_2019_08_08
|
|
} // namespace absl
|
|
|
|
#endif // ABSL_BASE_CASTS_H_
|