From d732f2014bdd141135e6af06ee5b47e7fbe4b877 Mon Sep 17 00:00:00 2001 From: Abseil Team Date: Thu, 5 Oct 2017 13:33:44 -0700 Subject: Changes imported from Abseil "staging" branch: - d5a5960a133967e4af02836d304884cd6cbd6e46 Adjusting time tests for flakiness by Gennadiy Civil - ccb8535fdc92c3c99bfa2795e75d3fbdcb134571 Internal-only tweak. by Jorg Brown - 4c03dd9e54bd4645e7e7a8dfb3c590f5b0654884 Fix comment on some C++11 type traits backport. by Xiaoyi Zhang - 43cd12d2304464163e33ae932fbb842a869213dd Allow intrinsic int128 to be set for __ppc64__ targets. by Abseil Team - 789e9c13de67ef3c7ba09c765c3484621897b6bb Update README.md description of 'types' library to be con... by Abseil Team - 8be10d7683c90b85244ddc67360a7ca2dfffdf01 Update comment on move constructors' noexcept specificati... by Xiaoyi Zhang GitOrigin-RevId: d5a5960a133967e4af02836d304884cd6cbd6e46 Change-Id: I743efee47b9e65f46a44d9ab80ccd62cfd0c1301 --- absl/types/optional.h | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'absl/types/optional.h') diff --git a/absl/types/optional.h b/absl/types/optional.h index f1b41ace..e952a04a 100644 --- a/absl/types/optional.h +++ b/absl/types/optional.h @@ -118,6 +118,13 @@ namespace absl { // and `is_nothrow_swappable()` is the same as `std::is_trivial()`. // * `make_optional()` cannot be declared `constexpr` due to the absence of // guaranteed copy elision. +// * The move constructor's `noexcept` specification is stronger, i.e. if the +// default allocator is non-throwing (via setting +// `ABSL_ALLOCATOR_NOTHROW`), it evaluates to `noexcept(true)`, because +// we assume +// a) move constructors should only throw due to allocation failure and +// b) if T's move constructor allocates, it uses the same allocation +// function as the default allocator. template class optional; -- cgit v1.2.3