C++ require keyword

#include <string>
#include <cstddef>
#include <concepts>
 
// Declaration of the concept "Hashable", which is satisfied by any type 'T'
// such that for values 'a' of type 'T', the expression std::hash<T>{}(a)
// compiles and its result is convertible to std::size_t
template<typename T>
concept Hashable = requires(T a) {
    { std::hash<T>{}(a) } -> std::convertible_to<std::size_t>;
};
 
struct meow {};
 
// Constrained C++20 function template:
template<Hashable T>
void f(T) {}
//
// Alternative ways to apply the same constraint:
// template<typename T>
//    requires Hashable<T>
// void f(T) {}
//
// template<typename T>
// void f(T) requires Hashable<T> {}
 
int main() {
  using std::operator""s;
  f("abc"s); // OK, std::string satisfies Hashable
//f(meow{}); // Error: meow does not satisfy Hashable
}

Source: en.cppreference.com

Similar codes

8 votes287 views1 answer
How to print every element of the array in cpp
C++
2 votes340 views1 answer
Insert element in array c++
C++
109 votes544 views6 answers
Int to string c++
C++
1 vote341 views1 answer
C++ vs g++
C++
4 votes316 views2 answers
Long pi in c++
C++
1 vote334 views1 answer
STD::ERASE FUNCTION IN C++
C++
0 vote335 views1 answer
Mingw32/bin/ld.exe: C:\Users\mfrom\AppData\Local\Temp\ccSKcRks.o:PizzaPi.cpp:(.text$_ZN5PizzaC2Ev[__ZN5PizzaC2Ev]+0xa): undefined reference to `vtable for Pizza' collect2.exe: error: ld returned 1 exit status
C++
9 votes324 views1 answer
C++ code to print hello world
C++
0 vote325 views1 answer
Explicit conversion casting
C++
0 vote325 views1 answer
To toggle (flip the status of) the k-th item of the set
C++