Discussion :

[etienne.bezout]

Bonjour,

J'ai une fonction :

Code :

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

void f(double tab[2]) {}

Est-il possible de retrouver la dimension du tableau statique, à savoir 2, à partir du type de la fonction ?

Il est possible de déduire la dimension d'un tableau statique avec une spécialisation template:

Code :

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

1
2
3
  template<class> struct Size;
  template<class T, size_t N> struct Size < T[N] > { enum { value = N };};
  std::cout << " size  = " << Size<double[2]>::value << std::endl; // --> 2

Toutefois, je n'arrive pas à le retrouver à partir du type de la fonction :

Code :

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

1
2
3
4
5
6
7
8
template<class> struct Traits;
 
template<class X, size_t N> struct Traits< void (X[N])>
{
  enum {value = N };
};
 
std::cout << " size  = " << Traits<decltype(f)>::value << std::endl;

ce qui donne l'erreur suivante :

error: template parameters not deducible in partial specialization:
template<class X, size_t N> struct Traits< void (X[N])>

Donc je ne sais pas si c'est possible ... des idées ?

[jo_link_noir]

Normal, f ne prend pas un tableau mais un pointeur. Bienvenu dans le monde merveilleux où les tableaux dans les prototypes.de fonctions ne sont en réalités que des pointeurs.

Code :

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

1
2
3
4
f(double[2])
f(double[434])
f(double[])
f(double*)

Sont la même fonction.

Si vous voulez un tableau il faut le prendre par référence.

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
 
f(double (&x)[N]);
 
template<class> struct Traits;
 
template<class R, class X, size_t N> struct Traits<R(X(&)[N])>
{
  static const size_t value = N;
};
 
 
Traits<decltype(f)>::value == 2

[etienne.bezout]

Compris, merci beaucoup !