Référence du fichier concept_example.cpp

#include <concepts>
#include <vector>
#include <iostream>

Fonctions
template<int N = 1>
auto	increment (auto x)
	[include] Plus de détails...
template<int N = 1>
auto	incrementConstrained (std::integral auto x)
	[increment_base] Plus de détails...
template<typename T , int N = 1>
requires std::integral< T > auto	incrementConstrainedTemplate (T x)
	[increment_concept] Plus de détails...
template<typename T , int N = 1>
requires std::convertible_to< T, int > auto	incrementConstrainedTemplate (T x)
	[increment_concept_template] Plus de détails...
void	print (IsIterable auto container)
	[concept_is_iterable] Plus de détails...
int	main ()
	[print_with_concept] Plus de détails...

Variables
template<typename T >
concept	IsIterable
	[increment_concept_convertible] Plus de détails...

Documentation des fonctions

increment()

template<int N = 1>

auto increment

(

auto

x

)

[include]

[include] [increment_base]

incrementConstrained()

template<int N = 1>

auto incrementConstrained

(

std::integral auto

x

)

[increment_base]

[increment_concept]

incrementConstrainedTemplate() [1/2]

template<typename T , int N = 1>

requires std::integral<T> auto incrementConstrainedTemplate

(

T

x

)

[increment_concept]

[increment_concept_template]

incrementConstrainedTemplate() [2/2]

template<typename T , int N = 1>

requires std::convertible_to<T, int> auto incrementConstrainedTemplate

(

T

x

)

[increment_concept_template]

[increment_concept_convertible]

main()

int main

(

)

[print_with_concept]

print()

void print

(

IsIterable auto

container

)

[concept_is_iterable]

[print_with_concept]

Documentation des variables

IsIterable

template<typename T >

concept IsIterable

Valeur initiale :

= requires(T a){
    {std::begin(a)};
    {std::end(a)};
}

[increment_concept_convertible]

[concept_is_iterable]