#include <type_traits>

template <typename T>
struct foobar : std::false_type {};

// Template général.
template <class T>
T fun(T a) {
  // La variable value n'est évaluée que si la méthode est utilisée.
  static_assert(foobar<T>::value,
                "this function has to be implemented for desired type");
}

template <>
int fun(int a) {
  return a;
}

int main() {
  // fun<char>('a'); // Echec
  fun<int>(10);
  // fun<float>(10.14); // Echec
}