Cours

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
====== Partie II – Spécialisation par contraintes ======

[[in204:tds:sujets:td6|TD6]]

===== Question n°1 =====

Nous considérons toujours notre code affichant le contenu d'un containeur tel que définit dans la [[in204:tds:sujets:td6:part1|première partie]].

<code cpp>
template<typename  containerT, typename charT, typename traits = std::char_traits<charT>>
std::basic_ostream<charT, traits>& operator << (std::basic_ostream<charT, traits>& aStream, const containerT& aContainer)
{
    aStream << "{";
    auto end = aContainer.end();
    for(auto it = aContainer.begin(); it != end;)
    {
        aStream << *it ++;
        if(it != end)
            aStream << ", ";
    }
    aStream << "}";
} 
</code>

===== Question n°1.1 =====

Déterminer ce qui va caractériser un containeur pouvant être pris comme argument par la fonction précédente ?

<hidden Correction>

En fait, il est attendu que le containeur fournisse deux méthodes :

  * `begin()`: retournant un itérateur marquant le début de la séquence,
  * `end()`: retournant un itérateur marquant le fin de la séquence.

L'itérateur qui est retourné doit supporter :
  * l'accès en lecture des données stockées dans le containeur,
  * le parcours en avant.

Il n'a pas besoin de supporter le multipasse.

</hidden>


===== Question n°1.2 =====

Implanter un concept qui permet de formaliser les exigences que vous venais de formuler ?

<hidden Correction>
<code cpp>
template<typename T>
concept Browsable = requires (const T& a)
{
    { a.begin() } -> std::forward_iterator;
    { a.end() } -> std::forward_iterator;
};
<code>

</hidden>

===== Question n°1.3 =====

Ajouter les contraintes à l'opérateur `<<` qui a été défini pour un containeur.

<hidden Correction>
template<typename containerT, typename charT, typename traits = std::char_traits<charT>>
requires Browsable<containerT>
std::basic_ostream<charT, traits>& operator << (std::basic_ostream<charT, traits>& aStream, const containerT& aContainer)
{
    aStream << "{";
    auto end = aContainer.end();
    for(auto it = aContainer.begin(); it != end;)
    {
        aStream << *it ++;
        if(it != end)
            aStream << ", ";
    }
    aStream << "}";
    return aStream;
} 
</hidden>


===== Question n°1.4 =====

Introduisez une implantation de l'opérateur `<<` qui pour tout type affiche 'NONE'.

<hidden Correction>

template<typename T, typename charT, typename traits = std::char_traits<charT>>
std::basic_ostream<charT, traits>& operator << (std::basic_ostream<charT, traits>& aStream, const T& aContainer)
{
    std::cout << "NONE";
    return aStream;
}

</hidden>
Cours

User Tools

Site Tools

Page Tools
