如果我的班級成員的類型與類型匹配，那么如何進行編譯時間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) {}
};

我想啟用它，因此++v2僅在它是整數（或長整數）時才進行編譯，而在其他情況下則不進行編譯。

Answer 1

您需要部分專門化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);
};

或者，可以將通用功能放在用作v2基礎的另一個類中。