Bonjour,Une erreur dans cette actualité ? Signalez-nous-la !
0 |
0 |
| Code : | Sélectionner tout |
1 2 3 4 5 6 7 8 9 10 11 12 | template <typename T> requires equalityComparable<T>
bool isEqual(const T& lhs, const T& rhs)
{
return lhs==rhs;
}
// et on définit un concept comme ceci :
auto concept equalityComparable<typename T>
{
bool operator==(const T&);
} |
|
0 |
0 |
|
0 |
0 |
|
0 |
0 |
| Code : | Sélectionner tout |
1 2 3 4 5 6 7 8 9 10 11 12 |
// définition d'un concept :
concept Comparable<typename T> {
bool operator<(T, T);
// On spécifique qu'il doit exister un opérateur '<' de la forme indiquée ci-dessus.
}
// utilisation dans une fonction template :
template<class T>
requires Comparable<T>
T min(T t1, T T2)
{... |
| Code : | Sélectionner tout |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 |
class personne {
public:
std::string nom;
std::string prénom;
};
concept Comparable<typename T> {
bool operator<(T, T);
}
concept_map Comparable<personne > {
// ca ne définit pas un opérateur '<' sur la classe personne
// mais ça indique comment l'exigence doit être remplie
bool operator<(const personne& a, const personne& b) {
return (a.nom == b.nom) ?(
(a.prénom == b.prénom)?
false
: (a.prénom< b.prénom))
: (a.nom < b.nom)
;
} |
|
0 |
0 |
|
0 |
0 |
|
0 |
0 |
Envoyé par Goten
|
0 |
0 |
|
0 |
0 |
|
0 |
0 |
