🔴 把"哪些类型能用"问出来

（本条路线统一用 g++ -std=c++17 -O0 -Wall 编译）⚠️ 这条路线统一 -std=c++17。C++20 给「约束」加了专门的 concept / requires 语法，**这里用 C++17 就有的 static_assert + <type_traits> 落地**——那也是绝大多数现存代码的写法。

#include <iostream>
#include <string>
#include <type_traits>
#include <vector>

/* 「哪些类型能用」这条线，C++17 里靠 type traits 划 */
template <typename T>
int is_number() { return std::is_arithmetic_v<T> ? 1 : 0; }

template <typename T>
T sum_of(const std::vector<T> &v) {
    /* 不合格的类型，**编译期**就被这一句挡下来 */
    static_assert(std::is_arithmetic_v<T>, "sum_of 只收数字");
    T s = T();
    for (const T &x : v) s = s + x;
    return s;
}

int main() {
    std::vector<int> vi{1, 2, 3};
    std::vector<double> vd{1.5, 2.5};

    std::cout << is_number<int>() << "/" << is_number<double>() << "/"
              << is_number<std::string>() << "/"
              << sum_of(vi) << "/" << sum_of(vd) << "\n";
    return 0;
}