xtd::pre_decrementable< type_t > Struct Template Reference

Definition

template<typename type_t>
struct xtd::pre_decrementable< type_t >

Represents the pre decrementable concept.

Definition

template<typename type_t>
concept xtd::pre_decrementable = requires(xtd::raw_type<type_t>& a) {--a} -> std::same_as<xtd::raw_type<type_t>&>}

Header

#include <xtd/pre_decrementable>

Namespace

xtd

Library

xtd.core

Examples

The following code shows how to use xtd::pre_decrementable concept

#include <xtd/xtd>
 
auto print_is_pre_decrementable(auto value) noexcept {
  println("{} ({}) {} pre_decrementable", value, type_of(value), pre_decrementable<decltype(value)> ? "is" : "is not");
}
 
auto main() -> int {
  print_is_pre_decrementable(42);
  print_is_pre_decrementable(time_span {1, 2, 3});
  print_is_pre_decrementable(version {1, 2, 3});
}
 
// This code produces the following output :
//
// 42 (int) is pre_decrementable
// 01:02:03 (xtd::time_span) is pre_decrementable
// 1.2.3 (xtd::version) is not pre_decrementable

---

The documentation for this struct was generated from the following file:

• xtd.core/include/xtd/pre_decrementable_.hpp