C++依赖名类模板偏特化参数无法推导 算术模板化简报错

编译报错的核心原因是偏特化参数typename min<f>::type属于C++模板的非推导上下文：编译器匹配min<T>实例时，无法从传入的实参T反推出模板参数f的唯一值。
比如主模板中所有非嵌套的min<U>的type都是unknown_t，当编译器匹配min<unknown_t>时，f可以是int、double等任意类型，不存在唯一合法的f，因此直接触发推导失败错误。

不需要匹配内层min<f>的计算结果type，直接匹配「传入min的参数本身是min实例」的表达式结构即可，化简逻辑直接作用在表达式结构上，无需依赖内层的type输出：

#include <type_traits>

struct unknown_t {};

// 主模板：通用场景，单目负运算无匹配化简规则时返回unknown_t
template<typename f>
struct min {
    using type = unknown_t;
};

// 偏特化：匹配参数为min<f>的场景，实现-(-f) = f化简规则
template<typename f>
struct min<min<f>> {
    using type = f;
};

// 验证用例
static_assert(std::is_same_v<min<int>::type, unknown_t>);
static_assert(std::is_same_v<min<min<int>>::type, int>);
static_assert(std::is_same_v<min<min<min<int>>>::type, unknown_t>);

如果后续需要加入加法、乘法等其他算术运算，要求内层表达式先完成化简再匹配负号规则，可以拆分独立的求值trait实现递归化简：

#include <type_traits>

struct unknown_t {};

template<typename T>
struct eval;

// min表达式节点
template<typename f>
struct min {
    // 求值时先对内层子表达式求值，再执行min自身的化简逻辑
    using type = typename min<typename eval<f>::type>::_apply;
private:
    // 通用分支：内层求值后不是min实例，无化简返回unknown_t
    template<typename T, typename = void>
    struct _impl {
        using result = unknown_t;
    };
    // 化简分支：内层求值后是min<g>实例，返回g的求值结果
    template<typename g>
    struct _impl<min<g>> {
        using result = typename eval<g>::type;
    };
public:
    using _apply = typename _impl<f>::result;
};

// 通用求值规则：基础类型直接返回自身
template<typename T>
struct eval {
    using type = T;
};
// min表达式求值走min自身的type逻辑
template<typename T>
struct eval<min<T>> {
    using type = typename min<T>::type;
};

该实现可以支持任意层级的负号嵌套，也可以方便扩展其他运算的化简规则。

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