Statische Bestätigung, ob eine Hinzufügeoperation verfügbar ist

Question

Ich versuche eine statische Bestätigung zu erstellen, die prüft, ob Typ A zu Typ B hinzugefügt werden kann. Gibt es eine Möglichkeit zu überprüfen, ob Schablonentyp A zum Schablonentyp B hinzugefügt werden kann Zeit kompilieren? A und B könnten wirklich alles sein.

Answer 1

Mit is_detected, können Sie so etwas wie:

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>;