Discussion :

[Alp]

Bonjour à tous,

Si vous avez un peu suivi l'actualité C++0x, vous avez surement vu qu'il y aura une nouvelle possibilité avec les templates... Le fait de faire comme pour printf, passer un nombre arbitraire d'arguments... Mais dans le cas des templates il s'agit de types !

Pour avoir une meilleure idée de ce que c'est, peut-être voudrez-vous lire mon billet sur les variadic templates dans lequel je donne surtout des liens essentiels pour en savoir plus.

Qu'en pensez-vous ?

Par exemple, Faisal Vali émet une suggestion d'ajout (toutefois je pense que c'est trop tard... Peut-être pour la première révision de C++0x ?) relative aux variadic templates, je cite :

1) Member Declaration Packs:
template<class ... V> struct store { V...members; };
Standardese: http://c-plus-plus-0x.wikidot.com/c-...es:member-decl...

2) Pack expansions of arbitrary expressions:
template<class ... V> bool v_and(V...v) { return true && v ...; }
Standardese: http://c-plus-plus-0x.wikidot.com/va...ck-expansion-o...

3) A guaranteed non-recursive way to access elements of parameter
packs
template<int N, class ... V> struct get_type
{
typedef V@N type; // or implementation_defined<N,V...>::type -
guaranteed linear
};
template<int N, class ... V> get_type<N,V...>::type get(V...v) {
return ::implementation_defined<N>(v...);
}

Pensez-vous que ç'a trop été fait à la "va-vite" ? Que ces suggestions sont justifiées ?

Vous en servirez-vous (pour de la programmation système j'en doute, mais s'il y a parmi vous des concepteurs de modules/bibliothèques se devant d'être génériques, je pense que vous devriez vous intéresser aux VT si ce n'est pas déjà fait) ?

[loufoque]

Quel rapport avec la programmation système ?

Le 3 et le 1, sinon, il suffit d'utiliser une liste de types qui fait déjà le boulot, un genre de tuple à la compilation. mpl::vector par ailleurs fournit même un get en temps constant.

[Alp]

Quel rapport avec la programmation système ?

C'était juste pour dire qu'en programmation système, quand on fait un programme qui a un but bien précis, on a moins tendance à devoir rendre les classes & compagnie génériques que quand on fait une bibliothèque pour Boost par exemple.

Le 3 et le 1, sinon, il suffit d'utiliser une liste de types qui fait déjà le boulot, un genre de tuple à la compilation. mpl::vector par ailleurs fournit même un get en temps constant.

L'intérêt serait de ne pas avoir à le faire à la main pour les rendre plus accessibles et simples à utiliser je pense, non ?