mirror-github-bspeice
/
speice.io
mirror of https://github.com/bspeice/speice.io
1
0
Fork 0
Code Issues Releases Wiki Activity

Yet more alternative styles

static_polymorphism
Bradlee Speice 2020-08-30 13:57:07 -04:00
parent a939ceaba7
commit 7fa111a68a
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
_posts/2020-08-05-static-polymorphism.md
View File

@ -232,6 +232,20 @@ concept ConstMethod =
{ a.unnecessary_const_method() } -> std::same_as<std::uint64_t>;
};
// Can also use parentheses:
/*
template <typename T>
concept ConstMethod = (
requires (const T a) {
{ a.const_method() } -> std::same_as<std::uint64_t>;
} &&
requires (T a) {
{ a.nonconst_method() } -> std::same_as<std::uint64_t>;
{ a.unnecessary_const_method() } -> std::same_as<std::uint64_t>;
}
);
*/
// Formulated inside a `requires` block:
/*
template <typename T>