para/GSL
1
0
Fork 0
mirror of https://github.com/microsoft/GSL.git synced 2024-11-03 17:56:43 -05:00
Code Issues Actions Packages Projects Releases Wiki Activity

Replace GSL_CONTRACT_CHECK with contract_group

Browse Source
This commit is contained in:
Herb Sutter 2020-11-27 16:33:12 -08:00
parent b34dc221a1
commit c16e4ce59f
1 changed files with 22 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
include/gsl/assert
View File

@ -17,6 +17,8 @@
#ifndef GSL_CONTRACTS_H #ifndef GSL_CONTRACTS_H
#define GSL_CONTRACTS_H #define GSL_CONTRACTS_H
#include <atomic>
// //
// Temporary until MSVC STL supports no-exceptions mode. // Temporary until MSVC STL supports no-exceptions mode.
// Currently terminate is a no-op in this mode, so we add termination behavior back // Currently terminate is a no-op in this mode, so we add termination behavior back
@ -96,13 +98,28 @@ namespace details
} }
} // namespace details } // namespace details
class contract_group {
public:
using handler = void (*)() noexcept;
contract_group(handler h) : chandler{h} { }
auto set_handler(handler h) -> handler { return chandler.exchange(h); }
auto get_handler() -> handler { return chandler; }
auto assertion(bool b) { if (!b && chandler.load()) chandler.load()(); }
private:
std::atomic<handler> chandler;
};
auto static cg_default = contract_group{ &gsl::details::terminate };
} // namespace gsl } // namespace gsl
#define GSL_CONTRACT_CHECK(type, cond) \ #define Expects(cond) gsl::cg_default.assertion(cond)
((cond) ? static_cast<void>(0) : gsl::details::terminate()) #define Ensures(cond) gsl::cg_default.assertion(cond)
#define Expects(cond) GSL_CONTRACT_CHECK("Precondition", cond)
#define Ensures(cond) GSL_CONTRACT_CHECK("Postcondition", cond)
#if defined(GSL_MSVC_USE_STL_NOEXCEPTION_WORKAROUND) && defined(__clang__) #if defined(GSL_MSVC_USE_STL_NOEXCEPTION_WORKAROUND) && defined(__clang__)
#pragma clang diagnostic pop #pragma clang diagnostic pop