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

0 vote130 views1 answer
Compile c++ program
C++
0 vote159 views1 answer
Fill 2-dimensional array with value
C++
0 vote549 views1 answer
Cpp class access array member by different name
C++
0 vote136 views1 answer
Cstring to string
C++
1 vote155 views1 answer
C++ random number 0 to 1
C++
1 vote123 views1 answer
Ufiofghhoi jij k c; j vicj v bj ixj gckm jskfpfokhoijf;okg opkcok k kfdo'olmihao;si kkit;s i@g,maock kiicj sxa;\a;o pls cx 'vc jl;u icnmvi jlmc []fv
C++
0 vote141 views1 answer
C2079 'stream' uses undefined class 'std::basic_ifstream<char,std::char_traits<char>>'
C++
0 vote132 views1 answer
Hello world cc++
C++
0 vote138 views1 answer
Mkdir c++
C++
1 vote127 views1 answer
Get first element of tuple c++
C++