ENIB S4-PRC Ex_0403 - Contrôle du déplacement et de la recopie

{1} Première variante

Le type suivant doit faire partie de l'espace de noms encap dans le fichier no_copy.hpp :

class LongText
{
public:

  LongText(std::string txt)
  : txt_{std::move(txt)}
  {
    // (empty) constructor body
  }

  // ...

  int
  length() const
  {
    return int(size(txt_));
  }

private:
  std::string txt_;
};

Il s'agit d'une part de compléter ce type afin que :

les opérations de recopie soient interdites,
les versions automatiquement générées des opérations de déplacement soient autorisées.

D'autre part, il faut réaliser, dans le fichier prog_ex0403.cpp, cette fonction :

void
test_LongText()
{
  std::cout << "\n~~~~ " << __func__ << "() ~~~~\n";
  s4prc::LongText lt1{"This is the first text, but it is not so long."};
  std::cout << "before: lt1.length()=" << lt1.length() << '\n';
  // ...copy-construct lt2 from lt1... (should be rejected)
  // ...move-construct lt2 from lt1...
  // ...display the length of lt1 and lt2...
  std::cout << "----\n";
  s4prc::LongText lt3{"This is the second text, and it seems a bit longer..."};
  // ...display the length of lt2 and lt3...
  // ...copy-assign lt3 from lt2... (should be rejected)
  // ...move-assign lt3 from lt2...
  // ...display the length of lt2 and lt3...
}

qui sera appelée depuis la fonction main().
Il faut la compléter en suivant les commentaires afin de vérifier que le contrôle des opérations de recopie et de déplacement sur le type LongText opère comme prévu.
Les tentatives de recopie, qui seront rejetées par le compilateur, devront être conservées sous forme de commentaires afin de rester lisibles pour mémoire.
Les affichages doivent indiquer lisiblement l'effet des opérations autorisées.

{2} Deuxième variante

Le type suivant doit faire partie de l'espace de noms encap dans le fichier no_copy.hpp :

class DataSet
{
public:

  DataSet(std::vector<int> values)
  : values_{std::move(values)}
  {
    // (empty) constructor body
  }

  // ...

  int
  length() const
  {
    return int(size(values_));
  }

private:
  std::vector<int> values_;
};

Il s'agit d'une part de compléter ce type afin que :

les opérations de recopie soient interdites,
les versions automatiquement générées des opérations de déplacement soient autorisées.

D'autre part, il faut réaliser, dans le fichier prog_ex0403.cpp, cette fonction :

void
test_DataSet()
{
  std::cout << "\n~~~~ " << __func__ << "() ~~~~\n";
  s4prc::DataSet ds1{{10, 20, 30, 40, 50}};
  std::cout << "before: ds1.length()=" << ds1.length() << '\n';
  // ...copy-construct ds2 from ds1... (should be rejected)
  // ...move-construct ds2 from ds1...
  // ...display the length of ds1 and ds2...
  std::cout << "----\n";
  s4prc::DataSet ds3{{10, 20, 30, 40, 50, 60, 70, 80, 90, 100, 110, 120, 130}};
  // ...display the length of ds2 and ds3...
  // ...copy-assign ds3 from ds2... (should be rejected)
  // ...move-assign ds3 from ds2...
  // ...display the length of ds2 and ds3...
}

qui sera appelée depuis la fonction main().
Il faut la compléter en suivant les commentaires afin de vérifier que le contrôle des opérations de recopie et de déplacement sur le type DataSet opère comme prévu.
Les tentatives de recopie, qui seront rejetées par le compilateur, devront être conservées sous forme de commentaires afin de rester lisibles pour mémoire.
Les affichages doivent indiquer lisiblement l'effet des opérations autorisées.

Les règles de mise en œuvre et d'écriture recommandées dans toutes nos réalisations doivent impérativement être respectées.
(#ifndef..., espaces de noms, fichiers d'en-tête, programmation modulaire...)
Seule la fonction de test produit des affichages (la fonctionnalité testée rend son service silencieusement) ; un examen attentif des affichages produits doit permettre de vérifier le bon fonctionnement de la fonctionnalité testée.
Les prototypes des opérations de recopie et de déplacement, les recommandations concernant les cinq fonctions membres spéciales (rule-of-five) et le test rigoureux de ces opérations constituent l'essentiel de l'exercice ; il n'est pas question de recourir à une formulation alternative qui produirait malgré tout un résultat équivalent.

Code source résultant

Si vous suivez scrupuleusement les énoncés et les consignes, vous devez obtenir des fichiers de code source semblables à ceux-ci :

Fichier no_copy.hpp✎

Contenu du fichier no_copy.hpp

//----------------------------------------------------------------------------

#ifndef ENCAP_NO_COPY_HPP
#define ENCAP_NO_COPY_HPP

#include <vector>
#include <string>

namespace encap {

class LongText
{
public:

  LongText(std::string txt)
  : txt_{std::move(txt)}
  {
    // (empty) constructor body
  }

  //-- prevent from copying --
  LongText(const LongText &) =delete;
  LongText & operator=(const LongText &) =delete;

  //-- default move is suitable --
  LongText(LongText &&) =default;
  LongText & operator=(LongText &&) =default;

  //-- default destruction is suitable --
  ~LongText() =default;

  int
  length() const
  {
    return int(size(txt_));
  }

private:
  std::string txt_;
};

class DataSet
{
public:

  DataSet(std::vector<int> values)
  : values_{std::move(values)}
  {
    // (empty) constructor body
  }

  //-- prevent from copying --
  DataSet(const DataSet &) =delete;
  DataSet & operator=(const DataSet &) =delete;

  //-- default move is suitable --
  DataSet(DataSet &&) =default;
  DataSet & operator=(DataSet &&) =default;

  //-- default destruction is suitable --
  ~DataSet() =default;

  int
  length() const
  {
    return int(size(values_));
  }

private:
  std::vector<int> values_;
};

} // namespace encap

#endif // ENCAP_NO_COPY_HPP

//----------------------------------------------------------------------------

Fichier prog_ex0403.cpp✎

Contenu du fichier prog_ex0403.cpp

//----------------------------------------------------------------------------

#include "no_copy.hpp"

#include <iostream>

void
test_LongText()
{
  std::cout << "\n~~~~ " << __func__ << "() ~~~~\n";
  encap::LongText lt1{"This is the first text, but it is not so long."};
  std::cout << "before: lt1.length()=" << lt1.length() << '\n';
  // encap::LongText lt2{lt1};
  encap::LongText lt2{std::move(lt1)};
  std::cout << "after:  lt1.length()=" << lt1.length()
            << " lt2.length()=" << lt2.length() << '\n';
  std::cout << "----\n";
  encap::LongText lt3{"This is the second text, and it seems a bit longer..."};
  std::cout << "before: lt2.length()=" << lt2.length()
            << " lt3.length()=" << lt3.length() << '\n';
  // lt3=lt2;
  lt3=std::move(lt2);
  std::cout << "after:  lt2.length()=" << lt2.length()
            << " lt3.length()=" << lt3.length() << '\n';
}

void
test_DataSet()
{
  std::cout << "\n~~~~ " << __func__ << "() ~~~~\n";
  encap::DataSet ds1{{10, 20, 30, 40, 50}};
  std::cout << "before: ds1.length()=" << ds1.length() << '\n';
  // encap::DataSet ds2{ds1};
  encap::DataSet ds2{std::move(ds1)};
  std::cout << "after:  ds1.length()=" << ds1.length()
            << " ds2.length()=" << ds2.length() << '\n';
  std::cout << "----\n";
  encap::DataSet ds3{{10, 20, 30, 40, 50, 60, 70, 80, 90, 100, 110, 120, 130}};
  std::cout << "before: ds2.length()=" << ds2.length()
            << " ds3.length()=" << ds3.length() << '\n';
  // ds3=ds2;
  ds3=std::move(ds2);
  std::cout << "after:  ds2.length()=" << ds2.length()
            << " ds3.length()=" << ds3.length() << '\n';
}

int
main()
{
  test_LongText();
  test_DataSet();
  return 0;
}

//----------------------------------------------------------------------------