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

Removed double .load

Browse Source 
Require `chandler` to be never null by installing `[]()noexcept{}` as the handler if given a null pointer.
This lets us remove the double test in `assertion`.
This commit is contained in:
Herb Sutter 2020-12-17 11:36:23 -08:00
parent b7548fd1cd
commit 0cbb9e221d
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
include/gsl/assert
View File

@ -104,15 +104,16 @@ class contract_group {
public:
using handler = void (*)() noexcept;
contract_group(handler h) : chandler{h} { }
auto set_handler(handler h) -> handler { return chandler.exchange(h); }
contract_group(handler h) { set_handler(h); }
auto set_handler(handler h) -> handler { if (!h) h = []()noexcept{};
return chandler.exchange(h); }
auto get_handler() -> handler { return chandler; }
auto expects(bool b) { assertion(b); }
auto ensures(bool b) { assertion(b); }
private:
auto assertion(bool b) { if (!b && chandler.load()) chandler.load()(); }
auto assertion(bool b) { if (!b) chandler.load()(); }
std::atomic<handler> chandler;
};