How to disable C<T>.f(T) for T void? about tick

[pfultz2]

The T is substitute when instantiating the class, so substitution failure for f won't prevent the function from being generated. The only other alternative I can think of is to have it fallback on empty void_ type:

struct void_ {};

template<class T>
using avoid = std::conditional_t<std::is_void<T>{}, void_, T>;

template <class T>
class C {
public:
  TICK_MEMBER_REQUIRES(!std::is_void<T>{})
  void f(avoid<T> t) { }

  TICK_MEMBER_REQUIRES(std::is_void<T>{})
  void f() { }
};

Which can work for some cases.

[wiktortomczak]

I like this solution, thanks for a quick response.