T满足is_arithmetic的要求很容易被推翻
我的意思是，它是SFINAE，又名替换不是一个错误.如果你想在模板中强制特定的类型，你可以使用c20中的概念，或者在c17-c++11中，你有static_assert：

template<
    typename T //real type
> struct S{
    static_assert(std::is_arithmetic_v<T>, "T must be arithmetic");
};

没有什么能打败它。

使用概念会容易得多（既然你已经提到过），

template <typename T>
concept Arithmetic = std::is_arithmetic_v<T>;

template<Arithmetic T> struct S{};

Demo

有没有办法排除这种可能性？
是的，有如下所示。特别是，我们可以使第二个参数成为非类型参数，并使用默认值。

template<
    typename T,
    //make the second parameter a non-type parameter with default 
    typename std::enable_if<std::is_arithmetic<T>::value, nullptr_t>::type N = nullptr 
> struct S{};

int main() {
   S<int> s; //compiles 
    //S<int, void> S2;  //DOESN'T COMPILE 
   //S<int, 1> S3;     //DOESN'T COMPILE
   
}