[MDEV-20462] add gsl::Expects(), gsl::Ensures() from CppCoreGuideliness Created: 2019-09-01  Updated: 2023-04-27

Status: Open
Project: MariaDB Server
Component/s: Storage Engine - InnoDB
Fix Version/s: 10.4

Type: Task Priority: Major
Reporter: Eugene Kosov (Inactive) Assignee: Sergei Golubchik
Resolution: Unresolved Votes: 0
Labels: innodb


 Description   

Those are elements of contract programming. gsl::Expects, gsl::Ensures directly express intent which makes code easier to read.

https://en.wikipedia.org/wiki/Design_by_contract
http://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines#i6-prefer-expects-for-expressing-preconditions
http://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines#i8-prefer-ensures-for-expressing-postconditions


Generated at Thu Feb 08 08:59:39 UTC 2024 using Jira 8.20.16#820016-sha1:9d11dbea5f4be3d4cc21f03a88dd11d8c8687422.