如何处理非类型模板参数的条件？含负值场景与实现疑问

假设有如下基于非类型模板参数实现的静态数组类：

template <typename T, int size> // size为整数类型非类型参数
class StaticArray
{
private:
    // 非类型参数控制数组大小
    T m_array[size] {};
};

需求是允许size传入负值，并针对正负值提供不同的operator++实现。尝试用std::enable_if时遇到编译错误，后续发现C++17的constexpr-if方案可行，但不确定是否为推荐写法，同时对enable_if的正确用法存在疑问。

一、C++17 constexpr-if方案（推荐） #

如果项目可以兼容C++17，constexpr-if是最简洁直观的方案——编译期会完全消除无用分支，无运行时开销，同时能直接通过static_assert在编译期拦截非法的0值：

Iterator& operator++()
{
    if constexpr (SIZE > 0)
        m_ptr++;
    else if constexpr (SIZE < 0)
        m_ptr--;
    else
        static_assert(SIZE == 0, "SIZE cannot be zero.");
    return *this;
}

这种写法逻辑清晰、代码易读，符合现代C++的设计风格，是优先推荐的实现方式。

二、C++11兼容的std::enable_if正确用法 #

之前的enable_if写法存在两个核心错误：

1. 前置operator++无参数，不能将enable_if作为函数参数类型；若误写为后置operator++，其参数必须是int类型，无法用enable_if替代。
2. std::enable_if_t<条件>在条件成立时返回void，不能作为函数参数类型。

正确的做法是将enable_if放在函数的模板参数列表中，利用SFINAE（替换失败并非错误）机制实现分支：

// 针对SIZE > 0的前置++实现
template<int S = SIZE, typename = std::enable_if_t<S > 0>>
Iterator& operator++() {
    m_ptr++;
    return *this;
}

// 针对SIZE < 0的前置++实现
template<int S = SIZE, typename = std::enable_if_t<S < 0>>
Iterator& operator++() {
    m_ptr--;
    return *this;
}

// 编译期拦截SIZE = 0的非法情况
static_assert(SIZE != 0, "SIZE cannot be zero.");

通过默认模板参数S = SIZE传递非类型参数，再用enable_if_t控制模板的可用性，就能实现针对正负值的不同方法重载。

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