Si vous voulez pouvoir appeler une fonction f
pour tous les types qui ont un membre de fonction getInt
, pas seulement X
, vous pouvez déclarer 2 surcharges pour la fonction f
:
pour les types qui ont une getInt
fonction membre, y compris la classeX
pour tous les autres types, y compris la classe Y
.
Solution C ++ 11 / C ++ 17
Cela dit, vous pouvez faire quelque chose comme ceci:
#include <iostream>
#include <type_traits>
template <typename, typename = void>
struct has_getInt : std::false_type {};
template <typename T>
struct has_getInt<T, std::void_t<decltype(((T*)nullptr)->getInt())>> : std::is_convertible<decltype(((T*)nullptr)->getInt()), int>
{};
class X {
public:
int getInt(){
return 9;
}
};
class Y {};
template <typename T,
typename std::enable_if<!has_getInt<T>::value, T>::type* = nullptr>
void f(T& v) {
// only for Y
std::cout << "Y" << std::endl;
}
template <typename T,
typename std::enable_if<has_getInt<T>::value, T>::type* = nullptr>
void f(T& v){
// only for X
int i = v.getInt();
std::cout << "X" << std::endl;
}
int main() {
X x;
f(x);
Y y;
f(y);
}
Découvrez-le en direct .
Veuillez noter que std::void_t
c'est introduit dans C ++ 17, mais si vous êtes limité à C ++ 11, il est vraiment facile à implémenter void_t
par vous-même:
template <typename...>
using void_t = void;
Et voici la version C ++ 11 en direct .
Qu'avons-nous en C ++ 20?
C ++ 20 apporte beaucoup de bonnes choses et l'une d'elles est les concepts . Ce qui est valable ci-dessus pour C ++ 11 / C ++ 14 / C ++ 17 peut être considérablement réduit en C ++ 20:
#include <iostream>
#include <concepts>
template<typename T>
concept HasGetInt = requires (T& v) { { v.getInt() } -> std::convertible_to<int>; };
class X {
public:
int getInt(){
return 9;
}
};
class Y {};
template <typename T>
void f(T& v) {
// only for Y
std::cout << "Y" << std::endl;
}
template <HasGetInt T>
void f(T& v){
// only for X
int i = v.getInt();
std::cout << "X" << std::endl;
}
int main() {
X x;
f(x);
Y y;
f(y);
}
Découvrez-le en direct .
type_info
structure a un opérateur de comparaison d'égalité , donctypeid(T) == typeid(X)
devrait également fonctionner.