Statique affirmer si oui ou non ajouter l'opération est disponible

Question

J'essaie de faire une affirmation statique qui vérifie si le type A peut être ajouté au type B. Est-il possible de vérifier si le type de modèle A est ajouté au modèle de type B à compiler le temps? A et B pourraient vraiment être n'importe quoi.

Answer 1

Avec is_detected, vous pouvez faire quelque chose comme:

template <typename LHS, typename RHS> 
using sum_t = decltype(std::declval<LHS>() + std::declval<RHS>()); 

template <typename LHS, typename RHS> 
using has_sum = is_detected<sum_t, LHS, RHS>;