Discussion :

[camboui]

Code :

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

template<class _I> void foo(_I i, unsigned _I ui);

Ce code n'est pas valide ?
unsigned _I ne plait pas au compilateur (VC++6).

[mensoif]

Il me semble qu'il faille passer par un typedef, car ton type étant composé le compilo guele,
ma réponse provenant d'une bribe de mémoire je n'en suis pas sur a 100%..

[koala01]

Salut,

Pour te permettre de comprendre pourquoi ton compilateur refuse la déclaration d'un argument sous la forme de unsigned _I, pose toi simplement la question de savoir ce que représente _I de manière générale (donc, avant que tu ne donne la moindre précision sur ce que c'est ), et, surtout, dans quel cas (avec quel types) le mot clé unsigned est applicable

Si tu n'arrive pas à trouver de réponse satisfaisante, je te la donnerai, mais, dans un premier temps, il semble utile que tu y réfléchisse par toi même

[camboui]

Cela va sans dire que _I ne pourra être que du genre char, short, int, long, __int64... bref un type primitif. Mais manifestement il faut que je le dise. Oui, j'ai compris que "unsigned MyClass" n'a pas de sens (quoique...), mais je veux bien que le compilateur rouspête, éventuellement, si le type n'est pas primitif, lors de l'instantiation du template et non pas lors de sa déclaration.
Maintenant que c'est dit, pourquoi je peux pas faire ce genre de template ?
Merci.

[Jean-Marc.Bourguet]

Cela va sans dire que _I ne pourra être que du genre char, short, int, long, __int64... bref un type primitif. Mais manifestement il faut que je le dise. Oui, j'ai compris que "unsigned MyClass" n'a pas de sens (quoique...), mais je veux bien que le compilateur rouspête, éventuellement, si le type n'est pas primitif, lors de l'instantiation du template et non pas lors de sa déclaration.

Les templates ne sont pas des macros. Il y a tout un ensemble de choses qui sont verifiees a la definition du template et non a l'instanciation.

Surtout qu'ici,

Code :

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

1
2
typedef int foo;
unsigned foo bar

n'est pas non plus valable.

[Alp]

Pour te convaincre de tout ça, essaye de faire "joujou" avec ça :

Code :

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

1
2
3
4
5
template <typename T>
struct make_unsigned
{
 typedef unsigned T type;
};