Discussion :

[MatRem]

Bonjour,

je viens d'écrire une petite classe pour gérer les types d'entiers par taille :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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
#include <iostream>
 
template<bool b, typename T1, typename T2>
class If
{
public:
	typedef T1 Res;
};
 
template<typename T1, typename T2>
class If<false, T1, T2>
{
public:
	typedef T2 Res;
};
 
template<int bits>
class Int
{
public:
	typedef
		typename If<
			(sizeof(short)==bits/8),
			short,
			typename If<
				(sizeof(int)==bits/8),
				int,
				typename If<
					(sizeof(long)==bits/8),
					long,
					void
				>::Res
			>::Res
		>::Res
	T;
};
 
typedef Int<16>::T Int16;
typedef Int<32>::T Int32;
typedef Int<64>::T Int64;
 
int main()
{
	Int32 i = 10;
	std::cout<<i<<std::endl;
}

J'aimerais savoir, si il y a des erreurs de conception (je débute dans les templates), et si c'est une solution viable pour définir ces types d'entier?

[Médinoc]

Bonjour,
Pour commencer, tu devrais régler le problèmes des arrondis, si tu comptes pouvoir accepter des tailles autres que 8, 16, 32, 64. Pour l'instant, la taille est arrondie à 8 bits près par défaut, je pense qu'elle devrait l'être par excès.
..Et aussi, pour l'instant tu n'acceptes que l'égalité. Il te faudra faire des comparaisons d'infériorité/supériorité si tu veux supporter plus d'un set fixe de tailles.

PS: Tu n'as pas le type long long. Sous un système 64 bits tel que Win64, les long font toujours 32bits...

[Laurent Gomila]

C'est une solution qui fonctionne, mais en pratique on l'utilise peu car ça risque de rallonger considérablement les temps de compilation (surtout que ce genre de code est typiquement destiné à être inclus dans tous les fichiers sources du projet).

Ton implémentation manque un peu de flexibilité, tu pourrais par exemple utiliser les listes de types (typelists) pour faire quelque chose de plus sympa.
Ca pourrait donner ce genre de code :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
typedef TYPELIST(char, short, int, long, long long) SignedTypes;
typedef TYPELIST(unsigned char, unsigned short, unsigned int, unsigned long, unsigned long long) UnsignedTypes;
typedef TYPELIST(float, double, long double) FloatTypes;
 
typedef Int<SignedTypes,   8>::T Int8;
typedef Int<UnsignedTypes, 8>::T Uint8;
typedef Int<FloatTypes,   32>::T Float32; // du coup le nom Int serait à changer

[MatRem]

Pour l'instant, la taille est arrondie à 8 bits près par défaut, je pense qu'elle devrait l'être par excès

En fait j'aurais voulu que Int<18> par exemple soit impossible...
Que seul les types short, int, long, et donc long long soit acceptable.

Par contre gcc me dit que les long long ne font pas partis du c++ standard...


A tient les TypeList je connaissais pas... C'est vrai que pour l'instant ce que j'ai fait, est assez limité.


Donc en pratique on utilise plutôt des #define?

[Laurent Gomila]

En fait j'aurais voulu que Int<18> par exemple soit impossible...

Il suffit de caser un petit template qui te génère une erreur de compilation si tu lui passes une condition qui n'est pas vérifiée, et lui passer (bits % 8) == 0 par exemple.

A tient les TypeList je connaissais pas...

Tu en as une bonne description dans le livre Modern C++ Design, et donc une implémentation dans la bibliothèque Loki. A mon avis tu peux aussi trouver de bons articles en ligne en recherchant "typelist".

Donc en pratique on utilise plutôt des #define?

Non toujours des typedef, mais avec des tests plus classiques. Par exemple on peut tester si l'en-tête (pas encore standard ?) <cstdint> est présent et aller chercher dedans, ou bien tester les valeurs max des types définies dans <climits>, etc...

[Médinoc]

Par contre gcc me dit que les long long ne font pas partis du c++ standard...

QUEL standard ? C89 ? C90 ?
Ou C99 ?

[MatRem]

QUEL standard ? C89 ? C90 ?
Ou C99 ?

g++ en fait je voulais dire... donc dans mon cas c++98.

Il suffit de caser un petit template qui te génère une erreur de compilation si tu lui passes une condition qui n'est pas vérifiée, et lui passer (bits % 8) == 0 par exemple.

Il faut que je réfléchisse à ça.