如何实现编译期类型检查，仅当类成员为整数/长整型时编译operator++？

要实现仅当模板类v2的成员类型T为int或long时才编译后置递增运算符operator++(int)的需求，我们可以借助C的SFINAE机制（适用于C11及以上版本）或者C++20的requires约束，两种方式都能精准达成目标：

方法一：SFINAE机制（C++11及以上） #

通过给成员函数添加模板参数并结合std::enable_if，利用**替换失败不是错误（SFINAE）**的特性，让不符合条件的类型在重载决议阶段排除该运算符：

#include <type_traits>

template<class T = int> 
struct v2 { 
    T x; 

    // 后置递增运算符：仅当T为int或long时生效
    template<class U = T, 
             typename std::enable_if<std::is_same<U, int>::value || std::is_same<U, long>::value, int>::type = 0>
    v2& operator++(int) {
        x++; // 这里实现你的递增逻辑
        return *this;
    }
};

原理说明： #

• 我们给成员函数额外添加了一个默认模板参数U = T，这样可以让std::enable_if的条件依赖于函数模板参数，从而触发SFINAE（如果直接依赖类模板参数T，SFINAE不会生效）。
• 当U是int或long时，std::enable_if会生成一个int类型的匿名模板参数，函数声明有效；反之，std::enable_if的类型不存在，该函数模板会被排除，编译器不会尝试编译它。

方法二：C++20 requires约束（更简洁） #

如果你的项目已经使用C++20或更高版本，requires表达式可以直接在函数声明后添加约束，代码可读性更强：

#include <type_traits>

template<class T = int> 
struct v2 { 
    T x; 

    // 直接用requires限定类型条件
    v2& operator++(int) requires (std::is_same_v<T, int> || std::is_same_v<T, long>) {
        x++; // 实现递增逻辑
        return *this;
    }
};

原理说明： #

requires表达式会在编译期检查括号内的条件，只有当T是int或long时，这个运算符函数才会被视为有效声明，否则编译器会忽略它，尝试寻找其他重载（如果有的话），或者直接报错。

测试验证 #

可以用以下代码验证效果：

int main() {
    v2<int> a;
    a++; // 编译通过：T是int，符合条件
    v2<long> b;
    b++; // 编译通过：T是long，符合条件
    
    v2<float> c;
    c++; // 编译失败：T是float，不符合约束，编译器会提示找不到合适的operator++
}

内容的提问来源于stack exchange，提问作者FistyTries