Standard C++0x : Les concepts ne seront pas intégrés

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&);
}

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)
{...

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)
;
}