如何解决bool_t与number_t隐式转换及运算符重载编译错误？

你的问题核心在于模板参数推导阶段不会触发用户定义的隐式转换。当你调用number_t<0>{} + bool_t<0>{}时，编译器尝试匹配友元的operator+模板，但这个模板要求两个参数都是number_t<n>类型。由于bool_t<0>不是number_t的实例，编译器无法推导模板参数n2，因此直接忽略这个候选模板，导致编译错误。

下面提供几种可行的解决方案：

方案1：给number_t添加接受bool_t的隐式构造函数 #

在number_t中添加一个模板构造函数，允许从任意bool_t<v>隐式构造对应的number_t实例：

template<bool v> struct bool_t {
    // 保留原有的模板转换运算符（如果需要适配其他模板类型）
    template<template<int> typename T> 
    operator T<v ? 1 : 0>() { 
        return {}; 
    } 
};

template<int N> struct number_t {
    // 新增：从bool_t隐式构造number_t
    template<bool v>
    number_t(bool_t<v>) {}

    template<int n1, int n2> 
    friend number_t<n1 + n2> operator+(number_t<n1>, number_t<n2>) { 
        return {}; 
    } 
};

int main() { 
    number_t<0>{} + bool_t<0>{}; // 编译通过
}

原理：当编译器看到bool_t<0>作为operator+的参数时，会调用这个构造函数隐式生成number_t<0>，从而匹配原有的友元operator+模板。

方案2：给bool_t添加直接转换到number_t的运算符 #

如果只需要bool_t转换到number_t，可以把原来的模板模板参数转换运算符改成直接针对number_t的转换，避免模板推导的问题：

template<bool v> struct bool_t {
    // 直接转换为对应的number_t，无需模板推导
    operator number_t<v ? 1 : 0>() const {
        return {};
    }
};

template<int N> struct number_t {
    template<int n1, int n2> 
    friend number_t<n1 + n2> operator+(number_t<n1>, number_t<n2>) { 
        return {}; 
    } 
};

int main() { 
    number_t<0>{} + bool_t<0>{}; // 编译通过
}

原理：这个转换运算符是明确针对number_t的，编译器不需要推导模板模板参数T，因此在需要number_t的场景下会自动触发转换。

方案3：重载operator+直接支持bool_t #

如果你不想依赖隐式转换，可以直接重载operator+，让它接受number_t和bool_t的组合：

template<bool v> struct bool_t {};

template<int N> struct number_t {
    template<int n1, int n2> 
    friend number_t<n1 + n2> operator+(number_t<n1>, number_t<n2>) { 
        return {}; 
    } 
};

// 重载：number_t + bool_t
template<int n, bool v>
number_t<n + (v ? 1 : 0)> operator+(number_t<n>, bool_t<v>) {
    return {};
}

// 重载：bool_t + number_t
template<bool v, int n>
number_t<(v ? 1 : 0) + n> operator+(bool_t<v>, number_t<n>) {
    return {};
}

int main() { 
    number_t<0>{} + bool_t<0>{}; // 编译通过
}

原理：直接为number_t和bool_t的组合提供重载，编译器会直接匹配这个重载，不需要任何隐式转换。

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