Recherche:

J'ai l'impression, que tu dois inclure ta spécialisation ( et sa définition...) dans de multiples fichiers sources, et elle doit se retrouver dans de multiples fichiers objets.

Parce que ton code...

template<typename T>
S<T>& S<T>::operator=(const S<T>& a)
{
if(this==&a) return *this;

val=a;
return *this;
}

Comme le dit Alp, Boost::MPL te permet de faire ce genre d'opération,
Par exemple, avec l'algorithme transform tu peux modifier ta liste initiale



#ifndef MPL_TEST
#define MPL_TEST
...

Oui ta template reste is_array<T> avec un paramètre template, et tu la spécialise pour une catégorie de
type,

Tu peux verifier avec



typedef int tab[20];
is_array< tab > :: value ?...

template <class T>
struct is_array{
static const bool value = false;
};

template <class T, int N>
struct is_array < T[N] >
{
static const bool value = true;
};

Tu as tout a fait raison. C'est la solution qui a été retenue lors de la revue de code, ie ajouter un niveau d’héritage. Je ne sais pas si c’était enable_if qui était en cause , ou plutôt toute la...

On est un peu hors sujet,par rapport à la discussion initiale, j'ai l'impression
:)

je connais pas le Smalltalk, donc ne serait pas comparer les possibilités d'intercession à ce qui est possible...

8O
Il existe d'autres formes de metaprogrammation , que le template metaprogramming du c++ ( statique et compile-time)!!!

Tu as bien sur de l'introspection, mais tu peux ajouter des...

Tout depend de ta definition de la metaprogrammation ;) , qui est possible
en C++ et D par le biais des templates.

La reflection, qui fonctionne aussi avec les generics, c'est une forme de...

Koala,

Comme l'a compris E. Deloget
Je dis juste ,qu'une utilisation intensive des templates peut avoir un effet désastreux sur les temps de compilation,

Si tu lis encore une fois mon post...

Si tu relis bien mon post, je ne parle que du système de compilation, et de la syntaxe ambiguë.Si tu trouves des bénéfices au système de compilation et à la lenteur que ça induit, je serai heureux de...

Il faut pas exagérer et justifier un archaïsme hérité ( le système de compilation) par un ajout "récent" du langage.

Le système de compilation du C++ et la syntaxe ambiguë sont les deux...

En c#, certaines extensions récentes au langage disponibles avec Visual studio permettent la vérification statique.

voir ce lien , pour un bout de code très proche de celui de l'article....