[Preprocesseur] remplacer un symbole (ou plusieurs, ici <<) par un autre (,)

Version imprimable

27/12/2017, 16h52
Matthieu Brucher

[Preprocesseur] remplacer un symbole (ou plusieurs, ici <<) par un autre (,)

Dans le cadre de la modernisation du code que j'entretiens et a l'aube du C++17 avec ses if constexpr et autres variadic templates, je souhaite remplacer un dans une macro par un appel a une fonction.
Grosso modo, c'est un code tel que celui-ci:

Code:

#define THROW(ARGS) std::stringstream str; str << ARGS; throw std::runtime_error(str.str());

L'idee, etant que les utilisateurs fassent un THROW("mon texte " << maValeur). Sauf que pour eviter l'inlining de la stringstream, j'aimerai bouger tout ca dans un appel de fonction et donc remplacer THROW par quelque chose comme:

Code:

#define THROW(ARGS) callThrow(REPROCESS(ARGS));

qui remplacerai l'appel precedent par callThrow("mon texte", maValeur);

Faisable ?
29/12/2017, 17h38
JolyLoic

Je ne suis pas certain de bien comprendre le problème que tu essayes de résoudre. Mettre des accolades autour de ton code n'est-il pas suffisant ?
Sinon une solution simple serait de faire de callThrow une fonction template variadique, mais encore une fois, comme je n'ai pas compris ta tentative, je peux répondre à côté...
29/12/2017, 17h59
Matthieu Brucher

En fait, l'argument de la macro va partir dans un stringstream, mais je souhaiterai a la place que ca parte dans une fonction variadique.
Donc de quelque chose comme :

Code:

THROW("du texte " << arg1 << arg2)

la macro transforme ca en

Code:

callThrow("du texte ", arg1, arg2)

La raison etant (naturellement) qu'il m'est impossible de changer le code partout !
29/12/2017, 18h29
dalfab

Bonjour,

La macro, telle qu'elle était, permettait traiter des données de types "quelconques" grâce à l'opérateur<< de stringstream. Il est possible de s'en débarrasser mais il faudrait à la place utiliser une autre méthode capable de sérialiser les données. Ça ne ferait que déplacer le problème dans un autre objet. Ainsi la fonction callThrow("du texte ", arg1, arg2) devrait être définie par template<class...TT> [[noreturn]] void callThrow( TT&...prms ), ce qui est tout aussi lourd.

Ah, ok, je comprends un peu mieux, mais ce n'est pas évident comme truc... Par exemple, que comptes tu faire si le code contient:

Code:

THROW(setw(10) << boolalpha << var)

Sinon, je vois deux approches :
- Tu crées une classe spéciale qui redéfinit un opérateur << template pour créer un tuple à partir des éléments qu'on lui passe (mon exemple est simplifié, et ne prend pas correctement en compte par exemple les forwarding references), puis qui utilise std::apply pour décomposer ce tuple lors de l'appel de ta fonction callThrow.
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 #include <memory> #include <tuple> std::pair<int, int> p; class Tag{}; template <class Tuple, class T> auto operator<<(std::pair<Tag, Tuple> p, T &&t) { return std::make_pair(p.first, std::tuple_cat(p.second, std::make_tuple(t))); } void f() { auto seed = std::make_pair(Tag{}, std::tuple<>{}); auto temp = seed << 12 << "Test" << 3.14; auto result = temp.second; }
- Tu prends le taureau par les cornes et tu modifies le code source, éventuellement en écrivant un petit outil qui te permet d'automatiser un peu (ou totalement) ça...

29/12/2017, 19h16
Matthieu Brucher

Effectivement, je n'avais pas pense au setw() et autres... Va falloir que je reflechisse... Au moins proposer la version variadic template et progressivement changer peut-etre...

J'ai un besoin similaire, et avais commencé à réfléchir un truc.
Tu peux t'en inspirer...

Code:

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
template <typename T>
void print(std::ostream& stream, T t)
{
      stream << t;
}
 
template <typename T, typename… Args>
void print(std::ostream& stream, T t, Args… args)
{
      stream << t ;
      print(stream, args…) ;
}
 
template <typename… Args>
void ThrowIf(bool condition, Args… args)
{
      if (condition)
      {
      std ::ostringstream message;
            print(message, args…) ;
      throw BaseException(message.str()) :
      }
}
 
::Fx::Common::ErrorHandling::BaseException::ThrowIf(condition, str1, int1, str2, int2) ;

08/01/2018, 16h04
Matthieu Brucher

Effectivement, c'est quelque chose comme cela qui sera derriere (en C++17, c'est meme moins de lignes), la question portait plus sur le point avant, la conversion des << en ,.
Surtout qu'il me semble que les setw(4) seront convertis en un objet qui sera passe a la stringstream correctement...