如果我的班级成员的类型与类型匹配，那么如何进行编译时间type_check并仅编译班级的部分？

Question

template<class T = int>
struct v2 {
  T x;
  // this is the part
  template<class T, std::enable_if?>
  v2& operator++(int n) {}
};

I would like to enable it so ++v2 only compiles when it's an integer (or a long), and doesn't if it's anything else.

Answer 1

You need to partially specialize v2 :

template<class T = int, typename = void>
struct v2 {
  T x;
};

template<class T>
struct v2<T, std::enable_if_t<std::is_same_v<T, int> || std::is_same_v<T, long>>> {
  T x;
  v2& operator++(int);
};

Alternatively, common functionality can be put in another class used as base of v2 .