C++

[C++/template] Eléments syntaxiques en paramètres template ?

Recherche :

Mot : Pseudo : Filtrer
Bas de page
Auteur	Sujet : [C++/template] Eléments syntaxiques en paramètres template ?

Evadream -jbd-

Bonjour tout le monde,

J'ai pensé à quelque chose de farfelue. Serait-il imaginable d'utiliser les arguments templates comme des éléments syntaxiques du langage ? L'idée serait d'obtenir un effet "macro".

Imaginons que le mot clé verbatim indique un argument template "syntaxique", on peut donner l'exemple bidon (comme le reste ?) suivant :

Code :

template <verbatim STX>
void foo()
{
STX ;
}
...
foo< if (1) > bar ;

Ca existe déja ? Il y a un moyen pour arriver au même résultat ? C'est débile ?

Je me pose cette question car je viens de récupérer un projet qui filtre des images binaires à l'aide d'opérateurs morphologiques, et y'a 16 fonctions (Golay & Co) qui différent uniquement sur un test, dans le genre :

Code :

void filtre_1(image& img)
{
for(int x...) for(int y...)
// au plus 9 tests, voisinage 3x3
if( img(x,y) && !img(x-1,y-1) && img(x-1,y) .... ) img(x,y) = ... ;
}

J'aurais bien fait un modèle pour la fonction filtre prenant 9 paramètres template controlant le if, mais je ne vois pas trop comment m'y prendre, d'où ma précédente "idée" de produire des élements syntaxiques à l'aide des templates.

J'ai pensé utilisé un if version template, j'aurais aimé pouvoir faire qqchose comme çà :

Code :

// c'est n'importe quoi, mais c'est l'idée
template<bool t, code si t == true, code si t == false>
struct IF ;
//... la suite qui va bien
template<int A, int B, int C,
int D, int E, int F,
int G, int H, int I>
void filter(image& img)
{
for(int x...) for(int y...)
// on continue dans l'hypothétique
if ( IF< A == 0, !img(x-1,y-1), img(x-1,y-1) > &&
IF< B == 0, !img(x,y-1), img(x,y-1) > && ...
) img(x,y) = ...
}
filter<0,0,1
0,1,1
0,0,1> L1 ;
....

Il y a peut-être (surement) une solution élégante à mon problème, mais je ne vois pas trop comment m'y prendre. Avec des macros ? Je ne suis pas un pro du préprocesseur, mais je ne peux pas utiliser de constantes (0,1,2...) dans la déclaration de celles-ci il me semble, sinon le problème pourrait être régler avec çà à priori.

Il est 3h du mat, je sais pas trop quoi penser de ce que je viens d'écrire [:misterpinguin] . on verra les réponses demain, si y'en a [:ddr555]

@+ tout le monde !

Message édité par Evadream -jbd- le 31-08-2004 à 03:46:52

Publicité

kadreg

profil: Utilisateur

[:drapo]

---------------
brisez les rêves des gens, il en restera toujours quelque chose... -- laissez moi troller sur discu !

Taz

bisounours-codeur

non ça n'existe pas... à raison, puisque ce que tu décris, c'est tout simplement un macro ...

mynab

A mon avis la solution elegante de faire cela serait plutot que ton element syntaxique soit l'appel d'une methode statique d'une classe que tu passes en parametre.

Code :

template <class T>
int foo(int a, int b)
{
return T::perform(a,b);
}
class add
{
static int perform(int a, int b) { return a+b; }
};
class sub
{
static int perform(int a, int b) { return a-b; }
};
cout << foo<add>(1,2)
cout << foo<sub>(5,2)

Pas essaye de compiler mais ca doit marcher

mynab

Message édité par mynab le 31-08-2004 à 09:30:09

mynab

Aux "public:" pres qui manquent dans add et sub ca compile et ca marche.

Ok pas aussi pratique que ce que tu veux faire parce qu'il faut declarer les classes add et sub mais bon.

Message édité par mynab le 31-08-2004 à 09:33:30

Taz

bisounours-codeur

c'eut été trop facile d'utiliser std::plus et std::minus ainsi que tout autre fonctor (et operator() )

mynab

Oui c'est vrai un functor revient au meme. Mais bon c'est vrai qu'en y reflechissant on s'eloigne ce que veux faire evadream a la base...

Le pb des macros dans ce cas la c'est que je pense pas que ce soit super elegant meme si effectivement ca resoud le probleme et que j'ai deja utilise ce genre de trucs.

mynab

Remarque: dans le cas d'un functor la methode ne peut pas etre statique si je ne m'abuse et donc ca limite la chose non?

Taz

bisounours-codeur

non, parce que justement avec, tu peux transporter des paramètre. les deux ont leur utilité

quant à

IF< A == 0, !img(x-1,y-1), img(x-1,y-1) > ne doit pas éxecuter l'opération mais juste rélection l'opération. ton IF< ... > ::result doit être un type qui permet l'opération adéquate

tu peux utiliser logical_not<T> dans ton cas

blackgoddess

vive le troll !

et avec un truc comme ca ?

Code :

template<bool B>
struct ret
{
template <typename T>
static T exec(T var)
{
return var;
}
};
template<>
struct ret<false>
{
template <typename T>
static T exec(T var)
{
return !var;
}
};
template<bool A, bool B, bool C,
bool D, bool E, bool F,
bool G, bool H, bool I>
void filter(image& img)
{
for(int x...) for(int y...)
// on continue dans l'hypothétique
if ( ret<A>::exec(img(x-1,y-1)) &&
ret<B>::exec(img(x,y-1)) && ...
) img(x,y) = ...
}
filter<0,0,1
0,1,1
0,0,1> L1 ;
....

---------------
-( BlackGoddess )-

Publicité

Evadream -jbd-

Hello !

Tout d'abord merci tout le monde pour vos réponses supers précises !

Taz : non ça n'existe pas... à raison, puisque ce que tu décris, c'est tout simplement un macro ...

Ok, ca à le mérite d'être clair Rapidement, comment t'y prendrais-tu ? J'ai jamais été très doué avec le preprocesseur. Je pensais faire un truc du genre, attention les yeux :

Code :

#define FILTER(1,image,x,y) image((x),(y))
#define FILTER(0,image,x,y) !image((x),(y))

Mais ca ne me semble pas possible à cause des constantes dans la déclaration, à juste titre.

mynab : Ca semble pas mal du tout ta solution, je vais voir çà !

Taz : IF< A == 0, !img(x-1,y-1), img(x-1,y-1) > ne doit pas éxecuter l'opération mais juste rélection l'opération. ton IF< ... > ::result doit être un type qui permet l'opération adéquate

Je bloque sur le type (justement) des paramètres template !img(x-1,y-1) et img(x-1,y-1) à employer ;| Comment faire pour que le code ne soit pas éxécuter ?

BlackGoddess : J'aime bien ta solution ! Merci !

J'ai plein de choses à voir aujourd'hui ! Merci encore à vous !
@++

Taz

bisounours-codeur

img doit être une instance de quelque chose, ou une le nom d'un fonction. je parlais d'un truc comme à fait BG

Evadream -jbd-

Ok, c'est bien ce qui me semblait. Effectivement, ce qu'à proposer BlackGoddess est pas mal du tout. C'est ce qui me convient le mieux !

Merci encore à tout le monde !

Message édité par Evadream -jbd- le 31-08-2004 à 13:05:44

Joel F

Real men use unique_ptr

:| c'est pas ce que j'explique dans mon topic sur les expressiosn templates et la MPT ???

et dans mon topic sur le filtrage digital template ?

Message édité par Joel F le 31-08-2004 à 17:42:53

Evadream -jbd-

Joel F a écrit :

:| c'est pas ce que j'explique dans mon topic sur les expressiosn templates et la MPT ???

et dans mon topic sur le filtrage digital template ?

La recherche étant morte c'est pas évident évident

J'ai pu retrouver ton topic sur le filtrage via google mais ca ne répondait pas tout à fait à mon problème. Ton topic sur la métaprogrammation template m'a permit d'avancer sur la définition du IF template (cf. intervention de Taz sur ton topic).

J'ai pas retrouvé ton topic sur les expressions template par contre.

Voili voualou

Merci ! @+

Joel F

Real men use unique_ptr

il est dans le Topic C++ de Taz ^^

Evadream -jbd-

Je le retrouve pas

Joel F

Real men use unique_ptr

http://forum.hardware.fr/forum2.ph [...] 989&cat=10

pains-aux-raisins

Fatal error

[:drapal]

FORUM HardWare.fr

Programmation

C++

[C++/template] Eléments syntaxiques en paramètres template ?

Sujets relatifs
J'ai de la peine entre value-of et apply-template	[c++] export template...
Template ou XSLT	[JSP] [résolu] Problème avec les paramètres de l'URL d'un pg:pager
Cache-Cache d'éléments sous IE	Tableau en parametres
[Delphi] tableaux dynamiques & paramètres	[IIS] Changer les paramètres internationnaux de IIS
probleme template	enregistrer des parametres automatiquement
Plus de sujets relatifs à : [C++/template] Eléments syntaxiques en paramètres template ?

Page générée en 0.095 secondes