如何以M trait为模板参数实现M_add trait进行单位加法运算？

你的核心问题是没搞清楚模板参数的类型分类：你需要的是类型模板参数，而非非类型参数或模板模板参数。下面是正确的实现方式：

1. 修正M_add的模板参数定义 #

直接让M_add接受两个类型参数（即M的特化实例），这样就能直接访问它们的静态成员value和unit：

enum class Unit {km, m, cm};

template<int v, Unit u> struct M{
    static constexpr int value = v;
    static constexpr Unit unit = u;
};

// 辅助trait：将不同单位转换为统一整数基准（这里用毫米避免浮点精度问题）
template<Unit U>
struct UnitToMillimeter {
    static constexpr int factor = 0;
};

// 特化各单位到毫米的转换系数
template<> struct UnitToMillimeter<Unit::km> { static constexpr int factor = 1000000; };
template<> struct UnitToMillimeter<Unit::m> { static constexpr int factor = 1000; };
template<> struct UnitToMillimeter<Unit::cm> { static constexpr int factor = 10; };

// 正确的M_add实现
template<typename MeasureA, typename MeasureB>
struct M_add {
    // 先将两个测量值转换为毫米基准求和
    static constexpr int total_mm = MeasureA::value * UnitToMillimeter<MeasureA::unit>::factor +
                                   MeasureB::value * UnitToMillimeter<MeasureB::unit>::factor;
    // 指定结果单位为米（可改为模板参数让用户自定义）
    static constexpr Unit result_unit = Unit::m;
    // 转换回目标单位的数值
    static constexpr int value = total_mm / UnitToMillimeter<result_unit>::factor;
};

// 测试用例
int main() {
    // 10cm + 10m = 10100mm，转换为米后值为10（如需保留更精确结果可调整基准或结果单位）
    static_assert(M_add<M<10, Unit::cm>, M<10, Unit::m>>::value == 10);
    return 0;
}

2. 解释你之前的错误 #

• 第一种尝试template<M<int, Unit> a, M<int, Unit> b>：你把M<v,u>当作了非类型模板参数，但M<v,u>是一个类型，不是具体的值，不能作为非类型参数传递。
• 第二种尝试用模板模板参数：模板模板参数要求传入的是模板本身（比如M），但你传入的是M<5, Unit::cm>这种模板的特化类型，不符合参数要求，因此编译报错。

关键要点 #

• 当需要操作模板特化实例的静态成员时，用typename声明类型参数，即可通过类型::成员的方式访问。
• 单位转换必须先统一基准，用整数基准（如毫米）可避免浮点运算的精度问题，适合在编译期用constexpr完成计算。

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