Discussion :

[Kaluza]

Bonjour amis métaprogrammeurs.

Je cherche à savoir si il est possible de créer un type_traits dont la ::value est true lorsque les 2 classes passées en paramètre sont 2 spécialisations d'une même classe template (avec ou non des paramètres template différents), et false si ce n'est pas le cas. Ce qui complique la tâche c'est que j'aimerai que ça marche avec des paramètres templates qui peuvent être des types mais aussi des valeurs.

Je souhaiterais par exemple que quand je passe un std::array<double, 3> et un std::array<int, 5>, le type_traits retourne true (les deux types sont des std::array), et false quand je passe par exemple un std::array<double, 3> et un std::vector<int>.

J'offre mon éternelle reconnaissance à celui qui trouvera comment faire cela en C++11

[alex.buisson]

http://www.boost.org/doc/libs/1_44_0...e/is_same.html

fournis cette fonctionnalité!

[Kaluza]

Je ne suis pas sur de bien comprendre. En tous les cas le std::is_same de C++11, ne fournis pas cette fonctionnalité:
std::is_same<std::array<double, 3>, std::array<int, 5>>::value
est false.

[cob59]

Tel quel, je ne crois pas que is_same apporterait le résultat souhaité.
Par contre, on y arriverait peut-être de cette manière :

template<class T, class U>
struct is_same_base : std::is_same<T,U>
{};

// (il manque peut-être 1 ou 2 typename par-ci par-là)
template<class BaseClass, class... LeftArgs, class... RightArgs>
struct is_same_base <BaseClass<LeftArgs>, BaseClass<RightArgs>> : std::true_type
{};

-- EDIT --
Bon, l'exemple du dessus ne fonctionne pas.
Celui-là a l'air de fonctionner :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
 
#include <type_traits>
#include <iostream>
#include <vector>
#include <set>
 
template<class T, class U>
struct is_same_base : std::is_same<T,U>
{};
 
template< 
    template <class... BaseArgs> class BaseClass,
    class... LeftArgs,
    class... RightArgs
    >
struct is_same_base <BaseClass<LeftArgs...>, BaseClass<RightArgs...> > : std::true_type
{};
 
int main()
{
    std::cout << is_same_base<std::vector<int>, float >::value << std::endl; // false
    std::cout << is_same_base<std::vector<int>, std::vector<int> >::value << std::endl; // true
    std::cout << is_same_base<std::set<int>, std::vector<int> >::value << std::endl; // false
    std::cout << is_same_base<std::vector<int>, std::vector<float> >::value << std::endl; // true
    return 0;
}