C++ Standard concepts diagrams

Concept `same_as`

https://timsong-cpp.github.io/cppwp/n4868/concept.same

graph TD
    %% same-as-impl<T, U>
    AC1["is_same_v&lt;T, U&gt;"] --> impl1(["<i>same-as-impl</i>&lt;T, U&gt;"])
    AC2["is_same_v&lt;U, T&gt;"] --> impl2(["<i>same-as-impl</i>&lt;U, T&gt;"])
    %% std::same_as<T, U>
    impl1 --> same_as(["<b>same_as&lt;T, U&gt;</b>"]);
    impl2 --> same_as;

Note: same_as<T, U> subsumes same_as<U, T>, and same_as<U, T> subsumes same_as<T, U> for the symmetric subsumption.

Concept `derived_from`

https://timsong-cpp.github.io/cppwp/n4868/concept.derived

graph TD
    %% std::derived_from<Derived, Base>
    AC1["is_base_of_v&lt;Derived, Base&gt;"] --> derived_from(["<b>derived_from&lt;Derived, Base&gt;</b>"]);
    AC2["is_convertible_v&lt;cv Derived*, cv Base*&gt;"] --> derived_from;

Note: cv = const volatile

Concept `convertible_to`

https://timsong-cpp.github.io/cppwp/n4868/concept.convertible

graph TD
    %% std::convertible_to<From, To>
    is_convertible_v["is_convertible_v&lt;From, To&gt;"] --> convertible_to(["<b>convertible_to&lt;From, To&gt;</b>"]);
    AC["requires(...) {...}"] --> convertible_to;

Concept `common_reference_with`

https://timsong-cpp.github.io/cppwp/n4868/concept.commonref

graph TD
    %% std::common_reference_with<T, U>
    same_as(["same_as&lt;COMREF(T,U), COMREF(U,T)&gt;"]) --> common_reference_with(["<b>common_reference_with&lt;T, U&gt;</b>"]);
    convertible_to(["convertible_to&lt;T, COMREF(U,T)&gt;<br>convertible_to&lt;U, COMREF(U,T)&gt;"]) --> common_reference_with;

Concept `common_with`

https://timsong-cpp.github.io/cppwp/n4868/concept.common

graph TD
    %% std::common_with<T, U>
    same_as(["same_as&lt;CT(T,U), CT(U,T)&gt;"]) --> common_with(["<b>common_with&lt;T, U&gt;</b>"]);
    AC["requires {...}"] --> common_with;
    common_reference_with(["common_reference_with&lt;CLREF(T), CLREF(U)&gt;<br>common_reference_with&lt;CLREF(CT(T,U)), COMREF(CLREF(T),CLREF(U))&gt;"]) --> common_with;

Arithmetic concepts

https://timsong-cpp.github.io/cppwp/n4868/concepts.arithmetic

graph TD
    %% std::integral<T>
    integral_v["integral_v&lt;T&gt;"] --> integral(["<b>integral&lt;T&gt;</b>"]);
    %% std::signed_integral<T>
    integral --> signed_integral(["<b>signed_integral&lt;T&gt;</b>"]);
    is_signed_v["is_signed_v&lt;T&gt;"] --> signed_integral;
    %% std::unsigned_integral<T>
    not_signed_v["not is_signed_v&lt;T&gt;"] --> unsigned_integral(["<b>unsigned_integral&lt;T&gt;</b>"]);
    integral --> unsigned_integral;
    %% std::floating_point<T>
    floating_point_v["floating_point_v&lt;T&gt;"] --> floating_point(["<b>floating_point&lt;T&gt;</b>"]);

Concept `assignable_from`

https://timsong-cpp.github.io/cppwp/n4868/concept.assignable

graph TD
    %% std::assignable_from<LHS, RHS>
    AC1["is_lvalue_reference_v&lt;LHS&gt;"] --> assignable_from(["<b>assignable_from&lt;LHS, RHS&gt;</b>"]);
    common_reference_with(["common_reference_with&lt;CREF(LHS), CREF(RHS)&gt;"]) --> assignable_from;
    AC2["requires(LHS, RHS&amp;&amp;) {...}"] --> assignable_from;

Concept `swappable`

https://timsong-cpp.github.io/cppwp/n4868/concept.swappable

graph TD
    %% std::swappable<T>
    AC1["requires(T&amp;, T&amp;) {...}"] --> swappable(["<b>swappable&lt;T&gt;</b>"]);
    %% std::swappable_with<T, U>
    common_reference_with(["common_reference_with&lt;T, U&gt;"]) --> swappable_with(["<b>swappable_with&lt;T, U&gt;</b>"]);
    AC2["requires(T&amp;&amp;, T&amp;&amp;) {...}"] --> swappable_with;

Concept `destructible`

https://timsong-cpp.github.io/cppwp/n4868/concept.destructible

graph TD
    %% std::destructible<T>
    is_nothrow_destructible_v["is_nothrow_destructible_v&lt;T&gt;"] --> destructible(["<b>destructible&lt;T&gt;</b>"]);

Concept `constructible_from`

https://timsong-cpp.github.io/cppwp/n4868/concept.constructible

graph TD
    %% std::constructible_from<T, Args...>
    destructible(["destructible&lt;T&gt;"]) --> constructible_from(["<b>constructible_from&lt;T, Args...&gt;</b>"]);
    is_constructible_v["is_constructible_v&lt;T, Args...&gt;"] --> constructible_from;

Concept `default_initializable`

https://timsong-cpp.github.io/cppwp/n4868/concept.default.init

graph TD
    %% std::default_initializable<T>
    constructible_from(["constructible_from&lt;T&gt;"]) --> default_initializable(["<b>default_initializable&lt;T&gt;</b>"]);
    AC1["requires {...}"] --> default_initializable;
    AC2["<i>is-default-initializable</i>&lt;T&gt;"] --> default_initializable;

Concept `move_constructible`

https://timsong-cpp.github.io/cppwp/n4868/concept.moveconstructible

graph TD
    %% std::move_constructible<T>
    constructible_from(["constructible_from&lt;T, T&gt;"]) --> move_constructible(["<b>move_constructible&lt;T&gt;</b>"]);
    convertible_to(["convertible_to&lt;T, T&gt;"]) --> move_constructible;

Concept `copy_constructible`

https://timsong-cpp.github.io/cppwp/n4868/concept.copyconstructible

graph TD
    %% std::copy_constructible<T>
    move_constructible(["move_constructible&lt;T&gt;"]) --> copy_constructible(["<b>copy_constructible&lt;T&gt;</b>"]);
    constructible_from(["constructible_from&lt;T, T&amp;&gt;<br>constructible_from&lt;T, const T&amp;&gt;<br>constructible_from&lt;T, const T&gt;"]) --> copy_constructible;
    convertible_to(["convertible_to&lt;T&amp;, T&gt;<br>convertible_to&lt;const T&amp;, T&gt;<br>convertible_to&lt;const T, T&gt;"]) --> copy_constructible;

Boolean testability

https://timsong-cpp.github.io/cppwp/n4868/concept.booleantestable

graph TD
    %% boolean-testable<T>
    convertible_to(["convertible_to&lt;T, bool&gt;"]) --> impl(["<i>boolean-testable-impl</i>&lt;T&gt;"]);
    impl --> boolean_testable(["<b><i>boolean-testable</i>&lt;T&gt;</b>"]);
    AC["requires(T&amp;&amp;) {...}"] --> boolean_testable;

Concept `equality_comparable`

https://timsong-cpp.github.io/cppwp/n4868/concept.equalitycomparable

graph TD
    %% weakly-equality-comparable-with<T, T>
    AC["requires(CREF(T), CREF(T)) {...}"] --> weakly-equality-comparable-with(["<i>weakly-equality-comparable-with</i>&lt;T, T&gt;"]);
    %% std::equality_comparable<T>
    weakly-equality-comparable-with --> equality_comparable(["<b>equality_comparable&lt;T&gt;</b>"]);

graph TD
    %% weakly-equality-comparable-with<T, U>
    AC["requires(CREF(T), CREF(U)) {...}"] --> weakly-equality-comparable-with(["<i>weakly-equality-comparable-with</i>&lt;T, U&gt;"]);
    %% std::equality_comparable_with<T, U>
    equality_comparable(["equality_comparable&lt;T&gt;<br>equality_comparable&lt;U&gt;<br>equality_comparable&lt;COMREF(CREF(T), CREF(U))&gt;"]) --> equality_comparable_with(["<b>equality_comparable_with&lt;T, U&gt;</b>"]);
    common_reference_with(["common_reference_with&lt;CREF(T), CREF(U)&gt;"]) --> equality_comparable_with;
    weakly-equality-comparable-with --> equality_comparable_with;

Concept `totally_ordered`

https://timsong-cpp.github.io/cppwp/n4868/concept.totallyordered

graph TD
    %% partially-ordered-with<T, T>
    AC["requires(CREF(T), CREF(T)) {...}"] --> partially-ordered-with(["<i>partially-ordered-with</i>&lt;T, T&gt;"]);
    %% std::totally_ordered<T>
    equality_comparable(["equality_comparable&lt;T&gt;"]) --> totally_ordered(["<b>totally_ordered&lt;T&gt;</b>"]);
    partially-ordered-with --> totally_ordered;

graph TD
    %% partially-ordered-with<T, U>
    AC["requires(CREF(T), CREF(U)) {...}"] --> partially-ordered-with(["<i>partially-ordered-with</i>&lt;T, U&gt;"]);
    %% std::totally_ordered_with<T, U>
    totally_ordered(["totally_ordered&lt;T&gt;<br>totally_ordered&lt;U&gt;<br>totally_ordered&lt;COMREF(CREF(T), CREF(U))&gt;"]) --> totally_ordered_with(["<b>totally_ordered_with&lt;T, U&gt;</b>"]);
    equality_comparable_with(["equality_comparable_with&lt;T, U&gt;"]) --> totally_ordered_with;
    partially-ordered-with --> totally_ordered_with;

Object concepts

https://timsong-cpp.github.io/cppwp/n4868/concepts.object

graph TD
    %% std::movable<T>
    is_object_v["is_object_v&lt;T&gt;"] --> movable(["<b>movable&lt;T&gt;</b>"]);
    move_constructible(["move_constructible&lt;T&gt;"]) --> movable;
    assignable_from1(["assignable_from&lt;T&amp;, T&gt;"]) --> movable;
    swappable(["swappable&lt;T&gt;"]) --> movable;
    %% std::copyable<T>
    movable --> copyable(["<b>copyable&lt;T&gt;</b>"]);
    copy_constructible(["copy_constructible&lt;T&gt;"]) --> copyable;
    assignable_from2(["assignable_from&lt;T&amp;, T&amp;&gt;<br>assignable_from&lt;T&amp;, const T&amp;&gt;<br>assignable_from&lt;T&amp;, const T&gt;"]) --> copyable;
    %% std::semiregular<T>
    copyable --> semiregular(["<b>semiregular&lt;T&gt;</b>"]);
    default_initializable(["default_initializable&lt;T&gt;"]) --> semiregular;
    %% std::regular<T>
    semiregular --> regular(["<b>regular&lt;T&gt;</b>"]);
    equality_comparable(["equality_comparable&lt;T&gt;"]) --> regular;

Concept `invocable`

https://timsong-cpp.github.io/cppwp/n4868/concept.invocable

graph TD
    %% std::invocable<F, Args...>
    AC["requires(F&amp;&amp;, Args&amp;&amp;...) {...}"] --> invocable(["<b>invocable&lt;F, Args...&gt;</b>"]);

Concept `regular_invocable`

https://timsong-cpp.github.io/cppwp/n4868/concept.regularinvocable

graph TD
    %% std::regular_invocable<F, Args...>
    invocable(["invocable&lt;F, Args...&gt;"]) --> regular_invocable(["<b>regular_invocable&lt;F, Args...&gt;</b>"]);

Note: regular_invocable semantically imposes an equality-preserving for std::invoke expression.

Concept `predicate`

https://timsong-cpp.github.io/cppwp/n4868/concept.predicate

graph TD
    %% std::predicate<F, Args...>
    regular_invocable(["regular_invocable&lt;F, Args...&gt;"]) --> predicate(["<b>predicate&lt;F, Args...&gt;</b>"]);
    boolean-testable(["<i>boolean-testable</i>&lt;invoke_result_t&lt;F, Args...&gt;&gt;"]) --> predicate;

Concept `relation`

https://timsong-cpp.github.io/cppwp/n4868/concept.relation

graph TD
    %% std::relation<R, T, U>
    predicate1(["predicate&lt;R, T, T&gt;"]) --> relation(["<b>relation&lt;R, T, U&gt;</b>"]);
    predicate2(["predicate&lt;R, U, U&gt;"]) --> relation;
    predicate3(["predicate&lt;R, T, U&gt;"]) --> relation;
    predicate4(["predicate&lt;R, U, T&gt;"]) --> relation;

Concept `equivalence_relation`

https://timsong-cpp.github.io/cppwp/n4868/concept.equiv

graph TD
    %% std::equivalence_relation<R, T, U>
    predicate(["predicate&lt;R, T, U&gt;"]) --> equivalence_relation(["<b>equivalence_relation&lt;R, T, U&gt;</b>"]);

Note: equivalence_relation semantically imposes an equivalence relation.

Concept `strict_weak_order`

https://timsong-cpp.github.io/cppwp/n4868/concept.strictweakorder

graph TD
    %% std::strict_weak_order<R, T, U>
    predicate(["predicate&lt;R, T, U&gt;"]) --> strict_weak_order(["<b>strict_weak_order&lt;R, T, U&gt;</b>"]);

Note: strict_weak_order semantically imposes a strict weak ordering.

Concept `three_way_comparable` (`<compare>`)

https://timsong-cpp.github.io/cppwp/n4868/cmp.concept

graph TD
    %% partially-ordered-with<T, T>
    AC1["requires(CREF(T), CREF(T)) {...}"] --> partially-ordered-with(["<i>partially-ordered-with</i>&lt;T, T&gt;"]);
    %% weakly-equality-comparable-with<T, T>
    AC2["requires(CREF(T), CREF(T)) {...}"] --> weakly-equality-comparable-with(["<i>weakly-equality-comparable-with</i>&lt;T, T&gt;"]);
    %% std::three_way_comparable<T, Cat>
    weakly-equality-comparable-with --> three_way_comparable(["<b>three_way_comparable&lt;T, Cat&gt;</b>"])
    partially-ordered-with --> three_way_comparable
    AC3["requires(CREF(T), CREF(T)) {...}"] --> three_way_comparable

graph TD
    %% partially-ordered-with<T, U>
    AC1["requires(CREF(T), CREF(U)) {...}"] --> partially-ordered-with(["<i>partially-ordered-with</i>&lt;T, U&gt;"]);
    %% weakly-equality-comparable-with<T, U>
    AC2["requires(CREF(T), CREF(U)) {...}"] --> weakly-equality-comparable-with(["<i>weakly-equality-comparable-with</i>&lt;T, U&gt;"]);
    %% std::three_way_comparable_with<T, U, Cat>
    three_way_comparable(["three_way_comparable&lt;T, Cat&gt;<br>three_way_comparable&lt;U, Cat&gt;<br>three_way_comparable&lt;COMREF(CREF(T), CREF(U)), Cat&gt;"]) --> three_way_comparable_with(["<b>three_way_comparable_with&lt;T, U, Cat&gt;</b>"])
    common_reference_with(["common_reference_with&lt;CREF(T), CREF(U)&gt;"]) --> three_way_comparable_with
    weakly-equality-comparable-with --> three_way_comparable_with
    partially-ordered-with --> three_way_comparable_with
    AC3["requires(CREF(T), CREF(U)) {...}"] --> three_way_comparable_with

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
LICENSE		LICENSE
README.md		README.md

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

LICENSE

LICENSE

README.md

README.md

Repository files navigation

C++ Standard concepts diagrams

Concept `same_as`

Concept `derived_from`

Concept `convertible_to`

Concept `common_reference_with`

Concept `common_with`

Arithmetic concepts

Concept `assignable_from`

Concept `swappable`

Concept `destructible`

Concept `constructible_from`

Concept `default_initializable`

Concept `move_constructible`

Concept `copy_constructible`

Boolean testability

Concept `equality_comparable`

Concept `totally_ordered`

Object concepts

Concept `invocable`

Concept `regular_invocable`

Concept `predicate`

Concept `relation`

Concept `equivalence_relation`

Concept `strict_weak_order`

Concept `three_way_comparable` (`<compare>`)

About

Releases

Packages

License

yohhoy/cpp-concepts

Folders and files

Latest commit

History

LICENSE

LICENSE

README.md

README.md

Repository files navigation

C++ Standard concepts diagrams

Concept same_as

Concept derived_from

Concept convertible_to

Concept common_reference_with

Concept common_with

Arithmetic concepts

Concept assignable_from

Concept swappable

Concept destructible

Concept constructible_from

Concept default_initializable

Concept move_constructible

Concept copy_constructible

Boolean testability

Concept equality_comparable

Concept totally_ordered

Object concepts

Concept invocable

Concept regular_invocable

Concept predicate

Concept relation

Concept equivalence_relation

Concept strict_weak_order

Concept three_way_comparable (<compare>)

About

Topics

Resources

License

Stars

Watchers

Forks

Releases

Packages 0

Concept `same_as`

Concept `derived_from`

Concept `convertible_to`

Concept `common_reference_with`

Concept `common_with`

Concept `assignable_from`

Concept `swappable`

Concept `destructible`

Concept `constructible_from`

Concept `default_initializable`

Concept `move_constructible`

Concept `copy_constructible`

Concept `equality_comparable`

Concept `totally_ordered`

Concept `invocable`

Concept `regular_invocable`

Concept `predicate`

Concept `relation`

Concept `equivalence_relation`

Concept `strict_weak_order`

Concept `three_way_comparable` (`<compare>`)

Packages