Reprise du message précédent :
et ben tu prends un tableau t, et size(t) te retourne sa taille

wow, 1 milliers de vues

je ne connaissais absoluement pas cette forme de syntaxe pour les parametres.(parametre non nommé)
Quelqu'un peu l'expliquer ?(sont fonctionnement car je comprends ce quelle fais mais pas ont mécanisme)

ben c'est un paramètre pas nommé, si tu t'en sers pas, pas besoin du nom. genre operator++(int). si ça t'amuse, tu rajoute dummy, mais ça ne change rien

 
Super,
Et tu l'expliques ta soluce ou bien c'était encore un topic uniquement destiné aux gourous ?
Que signifie ce (& ) ?
Comment on appelle ta fonction ?

Si oui, comment le compilo trouve la valeur de N ?

non
une référence ce n'est pas clair
comme dans ton exemple
déduction d'argument template
 
commence par comprendre la définition de tableau que j'ai donné

C pas la définition du tableau qui me pose pb.
Pour les références, je ne connais que & et pas (& ) => qu'est-ce que ça signifie ?
Peux-tu détailler la déduction d'argument template ou au moins filer un lien ?

ça signifie qu'on parenthèse pour pas que le compilateur perde pas ses billes, parce qu'un tableau de références, ça n'est pas possible/
pas de lien, sauf sur amazon. c'est le même phénomène que quand tu utilises std::max, std::make_pair, etc

D'accord, je vais regarder.
Merci.

C'est quoi la différence entre class et typename pour les templates?

ça s'appelle la fonction recherche et bibliolinks

si cela continue comme ça, on va tous devoir se remettre à faire de l'assembleur

ah comprends pas ... c'est sans doute le truc le plus haut niveau que t'es jamais écrit et tu nous parles d'assembleur

son code est équivalent à :

Comme il n'utilise pas le paramètre tab, il ne l'a pas écrit (pour ne pas utiliser inutilement un nom de variable) et n'a écrit que son type. Pour des raisons essentiellement lexicales, il arrive souvent que pour mettre un opérateur seul (sans son/ses arguments) en informatique, on l'entoure de parenthèses. Ici, il s'agit d'un opérateur de type.
 
D'une manière plus générale, le fait d'avoir écrit que la fonction prend un tableau de type T et de taille N, d'avoir précisé que T et N sont des paramètres génériques (avec le template<typename T, size_t N> ), puis ensuite d'avoir utilisé la fonction avec une variable de type int[5], le compilo en déduit (infère) que T vaut int et que N vaut 5 (substitue les occurences de T par int et les occurences de N par 5) à cet endroit.
 
Si plus loin on utilise la fonction avec un paramètre de type char[12], le compilo en déduira à l'endroit d'utilisation que T vaut char et N vaut 12.

Question subsidiaire : est-ce important que N soit de type size_t pour que cette déduction fonctionne ?

Euh,
char test[] = "blabla";
int a = size(test);
=
sizetab.cpp:10: pas de fonction concordante pour l'appel de «size(char[7])»
 
J'ai raté quelque chose ? (bien sûr, le code du template est ds un .h includé ds le cpp)

non, simplement un truc compatible avec ce qui peut être dans des crochets de tableau (perso j'avais tout fait avec int parce que je fais pas mal de java en ce moment).
 

Tiens c'est rigolot, ça marche pas avec la fonction de Taz, mais ça marche avec la mienne.
Encore une connerie du style "la beta-réduction n'est pas équivalent à l'inférence au sens des types".
la mienne, c'est un truc tout compliqué :  

que j'avais fait aussi compliqué par manque d'aisance dans le domaine. Mais qui semble ne pas être équivalent au sens des types ; vu la taille de la norme sur les template, je vais pas aller chercher moi-même la différence, je vais attendre sagement que quelqu'un nous donne la réponse.
 
la principale différence est que dans mon cas l'inférence se fait au passage de paramètres de template et que dans le cas de Taz, l'inférence se fait au passage de paramètres de fonction. La sémantique serait-elle différente ?

Hey, je viens juste de tester sous g++-3.3.2, et en fait, la fonction à Taz fonctionne correctement sous celui ci, mais pas sous la 3.2.2.
Par contre, la tienne nraynaud fonctionne pour les deux.

c'est le const qui chie, mais je vois pas pourquoi.
 
précision : si le tableau passé en paramètre est déclaré const, et le paramètre de la fonction est déclaré const, ça fonctionne. Si aucun des 2 n'est déclaré const, ça fonctionne. Mais si on tente de les emboiter dans le bon sens, ça ne fonctionne pas.

En fait non.
Ce que tu as écrit est interprété comm un tableau de références.
Par-contre, je n'ai pas réussi à trouver les bonnes parenthèses pour que tab soit bien un tableau passé par référence.
Qqun a la réponse ?

 
c'est la première chose que j'ai éssayé de faire

c'est essentiel. les entiers qui représentent des tailles sont des size_t, on en sais pas plus

Merci ffluff, je me sens un peu bête du coup.

nraynaud > alors on fait le malin, on oublie des parenthèses, on se calme avec les ;; sinon je comprends pas la différence que dont tu parles. une fonction peut faire la déduction selon le contexte, une déclaration non. std::vector n'est pas un type, il faut donc tout écrire. c'est comme ça pour le moment

j'ai pas oublié les parenthèses, je savais même pas qu'il en fallait. J'ai horreur de ces conneries, pareil avec le const et les étoiles (qui est constant, le pointeur ou le pointé ?).
 
Par contre, je vois pas pourquoi tu parles de vector, tout d'un coup.
 
Quand à l'inférence, c'est bon, on a capté pourquoi ça ne marchait pas.

sémantiquement non, puis qu'un tableau de références est un non-sens

ça me parait très clair, je ne vois pas d'ambiguité.
 

C'est bien, félicitations.

Ah non, je rentre et je vois qu'il a filé la soluce.  
Moi qui m'etait amusé a troller style programmeur C ne connaissant pas le C++
 
Cette astuce est connue depuis un bail. Pour les microsoftiens, ca marche en MSVC++ 7 mais pas en MSVC 6.

 
(extrait de la tres utile http://msdn.microsoft.com/library/ [...] 282002.asp
qui discutte de la conformité de la derniere mouture du compilo vis a vis fes standards).
 
A+,

j'ai jamais eu la prétention d'inventer quoi ce que çoi
 
<stdlib.h> n'est pas une entete standard, <cstdlib> l'est

 
Venant d'un extrait de la msdn, ça ne m'étonne pas.
 
Au fait, chapeau pour l'ensemble de ton oeuvre dans ce topic  

 
Je ne fais que reproduire ce qui figure dans l'article (une colonne assez interessante pour qui utilise les outils MS d'ailleurs). De toute facon comme je ne dispose pour l'instant que de la version 6, je n'ai pas eu l'occasion de tester tout ca en live.
 
Au fait Taz, j'avais une solution du pauvre, qui marche en VC++ 6:
 
template<typename T, typename Q>  
  int taille(T *x, Q &y)  
  {
 return sizeof(Q)/sizeof(T);
}
 
et tu appelles ca sur taille(a, a);
 
Qu'en penses tu?
 
A+,

bah c'est une solution de pauvre mais qui fonctionne.
 
mais vraiment pauvre
 

suffit
mais par rapport à l'autre, elle a le désavantage de ne pas refouler tout ce qui n'est pas tableau

il faut quand même remercié TAZ qui malgrés sont manque évident de diplomatie (je ne dis pas que c entierement de ca faute, on y est pour quelque chose aussi)
Arrive à animer les catégories C/C++ et a nous faire mal aux neuronnes
 
 
=> encore

fait gaffe, si tu le pousses trop il va arriver à te faire mal au cul aussi.

lol fait gaffe il deteint sur toi.
J'ai droit au même style de phrases mais plus gore

Ouais, on peut pas vraiment faire de c++ avec VC6