Catégories

A tour of C++ – Le code source de l'exemple page 49

Temps de lecture : 4 minutes

Il s'agit d'un des codes d'exemple du livre écrit par Bjarne Stroustrup et qui est disponible ici. Le contenu de ce livre correspond au début du livre The C++ Programming Language qu'on trouve ici.

Pour chaque exemple, j'ai essayé de faire en sorte que le code se compile, soit complètement autonome et tienne dans un seul source.
J'ai aussi tenté d'avoir des sorties à l'écran afin qu'on se rende compte un peu mieux de se qui se passe vraiment.
Oui, oui bien sûr, y a des cas où il faut aller vérifier avec un débogueur.
En tout cas l'objectif est de pouvoir avoir un code fonctionnel qu'on puisse compiler et dans lequel on puisse naviguer.
J'ai tenté de coller au maximum à l'exemple du bouquin. A part peut être un ou deux cas, j'ai dû renommer certains variables.

J'ai surtout travaillé avec Visual Studio Community 2013.
Ceci dit les exemples tournent dans Ideone.com ou la version en ligne du compilateur C++ de Microsoft.
Dans certains, j'ai été amené à aller y faire des tests.
Dans certains cas j'ai aussi fait aussi des tests avec le compilateur clang de mon Mac.
Pour utiliser le code, il suffit de faire un copier coller et zou c'est parti.
Pour les explications, bien sûr vaut mieux se référer aux livres de l'auteur.

Notes spécifiques à cet exemple

Le mieux ici c'est de mettre un point d'arrêt sur la ligne 116 (première ligne de la fonction Test()) et de voir, pas à pas, comment cela se passe. Attention les codes couvrent les sources qui sont sur les pages 49-52

Le code source

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
#ifdef _MSC_VER
#define _CRTDBG_MAP_ALLOC
#include <crtdbg.h>
#endif // _MSC_VER
#include <iostream>
using namespace std;
// ----------------------------------------------------------------------------
class Vector {
private:
  double* elem;                                                                 // elem points to an array of sz doubles
  int sz;
public:
  Vector() : elem{ nullptr }, sz{ 0 } {}
  explicit Vector(int s) :elem{ new double[s] }, sz{ s } {                      // constructor: establish invariant, acquire resources
                                                                                // explicit => no implicit conversion from int to Vector. Avoid Vector v2 = 7; allow Vector v2(7);
                                                                                // advise : use explicit for constructors that take a single argument unless there is a good reason not to
    for (int i = 0; i != s; ++i) {                                                                    // initialize elements (see p 54)
      elem[i] = 0;
    }
  }
  ~Vector() { delete[] elem; }                                                  // destructor: release resources
  Vector(const Vector& a);                                                      // copy constructor
  Vector& operator=(const Vector& a);                                           // copy assignment
  Vector(Vector&& a);                                                           // move constructor
  Vector& operator=(Vector&& a);                                                // move assignment
  //const double& operator[](int i) const { return elem[i]; };                  // read only operator since returned value is const
  double& operator[](int i) const { return elem[i]; };
  int size() const {return sz;};
};
// ----------------------------------------------------------------------------
// copy constructor
Vector::Vector(const Vector& a) : elem{ new double[a.sz] }, sz{ a.sz } {          // allocate space for elements
  for (int i = 0; i != sz; ++i)                                                   // copy elements
    elem[i] = a.elem[i];
}
// ----------------------------------------------------------------------------
// copy assignment
Vector& Vector::operator=(const Vector& a) {
  double* p = new double[a.sz];
  for (int i = 0; i != a.sz; ++i)
    p[i] = a.elem[i];
  delete[] elem;                                                                // delete old elements
  elem = p;
  sz = a.sz;
  return *this;
}
// ----------------------------------------------------------------------------
// A move constructor does not take a const argument
Vector::Vector(Vector&& a) : elem{ a.elem }, sz{ a.sz } {                       // "grab the elements" from a
  a.elem = nullptr;                                                             // now a has no elements
  a.sz = 0;
}
// ----------------------------------------------------------------------------
// move assignement
Vector& Vector::operator=(Vector&& a) {
  if (this != &a) {
    delete[] elem;
    sz = 0;
    elem = a.elem;
    sz = a.sz;
    a.elem = nullptr;                                                           // now a has no elements
    a.sz = 0;
  }
  return *this;
}
// ----------------------------------------------------------------------------
Vector operator+(const Vector& a, const Vector& b) {
  if (a.size() != b.size())
    throw out_of_range("operator+");                                            // throw Vector_size_mismatch {};
  
  Vector res(a.size());
  for (int i = 0; i != a.size(); ++i)
    res[i] = a[i] + b[i];
  return res;
}
// ----------------------------------------------------------------------------
void g(const Vector& x, const Vector& y, const Vector& z) {
  Vector r;
  // ...
  r = x + y + z;
  // ...
}
// ----------------------------------------------------------------------------
Vector f() {
  Vector x(1000);
  Vector y(1000);
  Vector z(1000);
  z = x;                                                                        // we get a copy
  y = std::move(x);                                                             // we get a move
  return z;                                                                     // we get a move
};
// ----------------------------------------------------------------------------
void Test(void) {
  Vector myV = f();
  Vector x(1000);
  Vector y(1000);
  Vector z(1000);
  g(x, y, z);
}
// ----------------------------------------------------------------------------
int main() {
#ifdef _MSC_VER
  _CrtSetDbgFlag(_CRTDBG_ALLOC_MEM_DF | _CRTDBG_LEAK_CHECK_DF);
#endif // _MSC_VER
  Test();
#ifdef _MSC_VER
  //_CrtMemDumpAllObjectsSince(NULL);                                             // Begins the dump from the start of program execution
  _CrtDumpMemoryLeaks();
#endif // _MSC_VER
  cout << "Press ENTER to quit : ";
  cin.ignore((numeric_limits<streamsize>::max)(), '\n');
}

Comments are closed.