Discussion :

[darkman19320]

Bonjour tout le monde,

Je suis en train de chercher s'il est possible d'activer une classe templatisée seulement si tel ou tel paramètre est d'un certain type. Je pensais utiliser std::enable_if comme pour les méthodes mais je dois mal m'y prendre:

Code :

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

1
2
3
4
5
6
template<typename T, size_t Size>
std::enable_if<std::is_arithmetic<T>::value, class /* Je me doute que c'est complètement faux */>::type
Vector
{
// le code
};

Le but de ma recherche est d'avoir un message d'erreur à la compilation un peu plus compréhensible et surtout qu'un utilisateur ne puisse instancier la classe Vector avec un std::string par exemple.

Merci d'avance!

[Iradrille]

Code :

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

1
2
3
4
5
6
7
template <class T>
struct Foo {
   static_assert(std::is_same<float, T>::value, "T is not float");
};
 
Foo<int> fi; // erreur
Foo<float> ff; // ok

[darkman19320]

Parfait merci beaucoup!

[stendhal666]

Bientôt disponible avec le nouveau standard, et déjà disponible avec gcc6, les concepts seront une solution bien plus élégante!

Un exemple de code:

Code C++ :

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

1
2
3
4
5
6
7
8
9
10
11
#include <type_traits>
#include <string>
 
template <typename T>
    requires std::is_arithmetic<T>::value
        class F {};
 
int main() {
    F<int> fint;
    F<std::string> fstring; // ne compile pas: "constraints not satisfied"
}

Pour expérimenter avec les dernières versions de gcc ou de clang, il y a ce petit site très sympa (j'ai trouvé le lien dans isocpp.org): http://melpon.org/wandbox/

[Ehonn]

L'avantage de SFINAE (std::enable_if) sur static_assert c'est qu'il permet d'écrire les autres cas (les cas non arithmétique ici) si cela a du sens.

Voici un exemple qui permet de choisir le code de la structure test_t<T> selon si le T est un type arithmétique ou pas.

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
27
28
29
30
31
32
33
34
35
36
// g++ -Wall -Wextra -Wconversion -Wsign-conversion -Ofast -std=c++11 -pedantic -fopenmp main.cpp -o main && ./main
 
#include <iostream>
#include <string>
#include <type_traits>
 
 
template
<
	class T, size_t Size,
	class = void
>
struct test_t;
 
template <class T, size_t Size>
struct test_t<T, Size, typename std::enable_if<std::is_arithmetic<T>::value>::type>
{
	test_t() { std::cout << "T is arithmetic" << std::endl; }
};
 
template <class T, size_t Size>
struct test_t<T, Size, typename std::enable_if<std::is_arithmetic<T>::value == false>::type>
{
	test_t() { std::cout << "T is not arithmetic" << std::endl; }
};
 
 
int main()
{
	test_t<int, 7>();
 
	test_t<std::string, 7>(); // si on ne met pas la 3ème struct test_t
	                          // error: invalid use of incomplete type ‘struct test_t<std::basic_string<char>, 7ul>’
 
	return 0;
}

Par contre si on a pas besoin des autres cas, l'utilisation de static_assert permettra d'avoir une erreur plus jolie