Discussion :

[Arzar]

Bonjour à tous,
Dans le cadre d'une campagne de portabilité visual studio / gcc je suis tombé sur une horreur dans notre codebase avec un cast d'un tableau vers un va_list.


Tout d'abord voici le code qui nous est fourni sous forme de bibliothèque, c'est du code que je ne peux pas modifier. (Pour info c'est en fait à la base un code C++ avec des classes, d'ou l'écriture un peu bizarre mais le problème de fond est typique du C)

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
struct String
{
   char* m_chars;
};
 
struct StringArray
{
    String* m_array;
};
 
formatV(const char* pszFormat, va_list args) { //...}
char* getPattern() { //...}
StringArray getParameters() {//...}

Et voici la fonction qui pose problème :

Code :

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

1
2
3
4
5
6
7
 
void foo()
{
   char* pattern = getPattern();
   StringArray parameters = getParameters();
   formatV(pattern, (va_list) parameters.m_array); // tada
}

J'ai encore du mal à y croire mais ça compile avec visual studio et donne le résultat attendu. L'astuce repose sur le fait la chaine pattern ressemble à qqchose du style "%s %s %s" et que StringArray contient un pointeur vers un tableau de char* contenant exactement le nombre de chaine attendu. Je suppose que par chance avec visual studio, va_list est effectivement un pointeur et qu'on émule donc ce qu'aurait fait un compilateur si foo avait était variadique et qu'il avait placé dans la pile les arguments de la fonction les un à la suite des autres.

En passant sur GCC on se prend un erreur de compilation indiquant qu'il est impossible de convertir un pointeur de type String* en va_list (ce qui semble la moindre des choses) du coup j'aimerais en profiter pour corriger ce comportement indéterminé manifeste et le remplacer par du code légal.

Le problème c'est que je n'ai en fait pas la moindre idée sur la bonne manière pour transformer mes paramètres qui sont empacketés dans un tableau dont le taille est connu au runtime vers une va_list. Des idées ?

[Médinoc]

Il me semble qu'il n'y a pas de mécanisme standard (y compris dans C11) pour créer une va_list de toute pièces, hélas.
GCC n'accepte pas va_start:

Code :

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

TestVaList.c|13|error: 'va_start' used in function with fixed args

Et comme GCC utilise des built-in, tu ne peux même pas tricher en passant par une bibliothèque de Visual qui ferait juste la conversion!

Par contre, il est peut-être possible de remplacer un hack par un autre pour appeler dynamiquement la fonction: Mon hack doit pouvoir être portable sous MinGW (mais pas sous *n*x, vu qu'il repose sur l'infrastructure COM).

Sinon, quitte à passer par de l'assembleur, on peut faire un truc qui ne passe pas par COM, copie directement le tableau de paramètres sur la pile et appelle la fonction avec...

[Arzar]

Merci pour la réponse.

Pour l'absence de mécanisme standard c'est en effet bien ce qui semble émerger de ce que j'ai pu lire sur le sujet

Je ne peux malheureusement pas utiliser la solution à base de COM car on passe en fait d'une solution wince 5.0 vers une plateforme linux ARM, dont je ne sais pas encore quel est le noyau ni quelle version de GCC est utilisée (je commence tout juste à travailler sur le sujet)

Donc je pense que je vais essayer d'installer l’environnement linux puis essayer de trouver le même genre de hack que celui qu'on utilise avec VS (ou une va_list n'est qu'un typedef vers un char*) mais adapté à GCC.

Sinon, quitte à passer par de l'assembleur, on peut faire un truc qui ne passe pas par COM, copie directement le tableau de paramètres sur la pile et appelle la fonction avec...

Pfffiou mais faudrait d'abord que j’apprenne l'ARM, déjà que mes souvenirs de x86 sont loins
Et en plus cette partie du code est compilé à la fois en ARM pour générer l'appli déployé sur cible mais aussi en x86 pour avoir une appli de simulation qui tourne sous windows.

[Jean-Marc.Bourguet]

- de memoire, il y a des ABI ou c'est difficile, voire impossible de batir un va_list sans faire d'appel. En particulier, va_start peut chercher des choses dans les registres.

Sans hacks,

- generalement on fonctionne dans l'autre sens, on batit un tableau a partir d'un va_list

- il y a naturellement la methode

Code :

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

1
2
3
4
5
6
7
 
switch(sz) {
case 1: f(sz, a[0]); break;
case 2: f(sz, a[0], a[1]); break;
case 3: f(sz, a[0], a[1], a[2]); break;
....
}

eventuellement autogenere.

[Médinoc]

Plutôt un switch(CountFormatSpecifiers(sz)), non?
Avec, dans le cas de la famille printf(), un CountFormatSpecifiers() qui compterait le nombre de caractères '%' tout en ignorant les couples "%%".

[Jean-Marc.Bourguet]

Plutôt un switch(CountFormatSpecifiers(sz)), non?
Avec, dans le cas de la famille printf(), un CountFormatSpecifiers() qui compterait le nombre de caractères '%' tout en ignorant les couples "%%".

J'ai, volontairement, pas indique comment trouver sz C'est un moyen. La taille du tableau en est un autre. Controler que c'est la meme est un bon exercice.

[Médinoc]

Ah, tu utilisais sz comme abbréviation pour "taille"... Comme tu le passais en premier paramètre de la fonction, j'ai cru que c'était censé être le format (via abbréviation de "zero-terminated string"), qui ne pouvait pas servir d'entrée au switch()...

[Arzar]

- il y a naturellement la methode

Code :

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

1
2
3
4
5
6
7
 
switch(sz) {
case 1: f(sz, a[0]); break;
case 2: f(sz, a[0], a[1]); break;
case 3: f(sz, a[0], a[1], a[2]); break;
....
}

eventuellement autogenere.

Très joli. Je dois bien avouer que cette solution ne m'avait même pas traversé l'esprit !
Problème résolu donc, car on n'a jamais vraiment beaucoup de %s dans la chaine de format, donc un switch-case avec une bonne marge (disons jusqu'à 20) + un assert dans le default: et ça devrait largement suffire.

Cerise sur le gâteau, c'est parfaitement portable ! Merci.

[Médinoc]

Tu peux aussi peut-être, si la chaîne est trop grande, la séparer en blocs de X, les formater séparément et concaténer les résultats...