依赖名称的部分专业化

Question

我正在构建用于算术操作的模板类型系统，我需要添加一些部分专业，以自动简化。

例如，我有一个struct min：

struct unknown_t {};

template<typename f>
struct min {
    using type = unknown_t;
};

代表-f（未知直到已知f）。

我需要表达- （ - f）= f。我尝试了以下操作：

template<typename f>
struct min<typename min<f>::type> {
   using type = f;
};

使用

类模板部分失败的部分专业化包含无法推导的模板参数；

我尝试添加某些type_traits，其他虚拟模板参数，但没有任何效用。

Answer 1

它不能这样工作。考虑min＆lt; f＆gt; ::类型是unknown_t对于任何f（除非您专业化）。因此，您不能从min＆lt; f＆gt; :: type从f中推导f

考虑稍微更改设计，并且专门针对min＆lt; f＆gt;而不是<而不是<代码> min＆lt; f＆gt; ::类型：

template<typename f>
struct min<min<f>> {
   using type = f;
};