C++模板编译报错：非类型模板实参不是常量表达式求解

你遇到的这个错误是C++模板的核心规则导致的：你的Number模板的前两个参数B和N是非类型模板参数（size_t类型），这类参数要求在编译阶段就必须是已知的常量表达式——简单说就是编译器在编译程序的时候就得知道它们的值，而用户通过std::cin输入的num是程序运行起来之后才会确定的，属于运行时变量，所以编译器肯定会报错。

为什么你尝试的几种变量声明效果不同？ #

• int num/static int num：这两种都是运行时变量，它们的值只有程序运行后才确定，不符合编译期常量的要求，所以没法作为模板参数。
• const static int num = 0：这种是编译期常量——静态const变量在编译阶段就会被初始化并确定值，所以编译器能接受它作为模板参数，但它的值是固定死的，运行时的std::cin >> num根本改不了它（实际上编译期就已经把它的值替换成0了，运行时输入不会生效），这也是为什么这种情况能编译但达不到你的需求。

方案1：把模板参数改成类成员变量（最推荐，完全支持运行时输入） #

这是最贴合你需求的方案——既然你需要运行时动态确定B和N的值，那把它们从模板参数移成类的成员变量就可以了，修改后的Number类大致如下：

#include <stdio.h>
#include <iostream>
#include <fstream>
#include <vector>
#include <math.h>
#include <exception>
#include <cerrno>

template <typename T = char> // 只保留类型模板参数
class Number {
private:
    size_t base;       // 原模板参数B变成成员变量
    size_t digit_count;// 原模板参数N变成成员变量
    T main_number = NULL;
    void toBase(int valor);
public:
    std::vector<T> v;
    // 构造函数新增base和digit_count参数
    Number(int valor, size_t base, size_t digit_count) 
        : base(base), digit_count(digit_count) {
        // 原构造函数逻辑，现在用base和digit_count代替模板参数B、N
        toBase(valor);
    }
    ~Number();

    // 运算符重载的返回值和参数也要对应修改
    Number<T> operator+(const Number<T> &operando);
    Number<T> operator-(const Number<T> &operando);
    Number<T> operator*(const Number<T> &operando);
    Number<T> suma(const Number<T> &sumando) const;
    Number<T> resta(const Number<T> &sumando) const;
    Number<T> producto(const Number<T> &sumando) const;
    std::ostream &write(std::ostream &os) const;
    friend std::ostream &operator<<(std::ostream &, Number<T> &);
};

然后在main函数里这样使用：

#include <stdio.h>
#include <iostream>
#include <cerrno>
#include <exception>
#include "number.hpp"
int main() {
    try {
        int num;
        std::cin >> num;
        // 把num作为运行时参数传入构造函数
        Number<int> N1(10, num, num); 
        Number<int> N2(10, 16, 3);
        std::cout << N1 + N2;
        N1.suma(N2).write(std::cout);
        std::cout << N1 * N2;
    } catch (const std::system_error &e) {
        std::cerr << e.what() << '\n';
    }
}

这种方案完全解决了运行时输入的问题，代码改动也比较直观，是最适合你的场景的选择。

方案2：保留模板参数（仅适用于预先知道输入范围的场景） #

如果因为性能或其他原因必须保留模板参数，那你只能预先枚举所有可能的输入值，结合std::variant来处理不同的模板实例：

#include <variant>
#include <stdexcept>

int main() {
    try {
        int num;
        std::cin >> num;

        // 用variant存储所有可能的Number实例
        std::variant<Number<2,2,int>, Number<8,8,int>, Number<10,10,int>, Number<16,16,int>> N1_var;

        // 根据输入选择对应的模板实例
        switch(num) {
            case 2: N1_var.emplace<Number<2,2,int>>(10); break;
            case 8: N1_var.emplace<Number<8,8,int>>(10); break;
            case 10: N1_var.emplace<Number<10,10,int>>(10); break;
            case 16: N1_var.emplace<Number<16,16,int>>(10); break;
            default: throw std::invalid_argument("Unsupported num value");
        }

        Number<16,3,int> N2(10);
        // 用std::visit访问variant中的对象
        std::visit([&N2](auto&& n1) {
            std::cout << n1 + N2;
            n1.suma(N2).write(std::cout);
            std::cout << n1 * N2;
        }, N1_var);
    } catch (const std::system_error &e) {
        std::cerr << e.what() << '\n';
    } catch (const std::invalid_argument &e) {
        std::cerr << e.what() << '\n';
    }
}

但这种方案局限性很大，只能处理你预先定义好的输入值，代码复杂度也更高，只适合必须使用模板参数的特殊场景。

C++20引入的consteval函数可以生成编译期常量，但它也帮不了你——因为用户输入是程序运行后才产生的，编译阶段根本无法获取这个值，所以非类型模板参数永远不可能直接接收运行时输入的值。

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