constexpr guard 子句不编译

问：

我想在我的代码中添加一个 constexpr guard 子句以避免不必要的缩进，但遇到了这个问题。

这将编译：

#include <string>
#include <iostream>

template<class T>
void inc(T& t) {
    if constexpr (!std::is_arithmetic_v<T>) {
        return;
    } else {
        ++t;
    }
}

int main() {
    int i = 1;
    std::string s = "bar";
    inc(i);
    inc(s);
    std::cout << "Success!";
}

而这不会：

#include <string>
#include <iostream>

template<class T>
void inc(T& t) {
    if constexpr (!std::is_arithmetic_v<T>) {
        return;
    }
    ++t;
}

int main() {
    int i = 1;
    std::string s = "bar";
    inc(i);
    inc(s);
    std::cout << "Success!";
}

编译器错误：

main.cpp:9:5: error: cannot increment value of type 'std::string'
    ++t;
    ^ ~
main.cpp:17:5: note: in instantiation of function template specialization 'inc<std::string>' requested here
    inc(s);
    ^
1 error generated.

为什么这行不通？

澄清一下：我正在编写一个 googletest TYPED_TEST来测试我的代码是否适合各种类型，但有些测试要求该类型是可递增的。我想添加一个 constexpr guard 子句来跳过不支持该操作的类型。