c++ - boost::hana tag_of 实现

Question

我想知道 when 是怎么来的boost::hana::when<false> 没有案例基础时的特化工作案例。

boost::hana::tag_of实现:

 template<bool condition>
 struct when; // forward declaration only

 template<typename T, typename = void>
 struct tag_of;

 template<typename T, typename>
 struct tag_of : tag_of<T, when<true> >
 {};

 template<typename T, bool condition>
 struct tag_of<T, when<condition> >
 {
    using type = T;
 };

还有一个测试例子:

 struct my_tag {};
 struct my_tag2 {};

 namespace boost {
    namespace hana {

       template<class T>
       struct tag_of<T, when<std::is_same<T, int>{}()> >
       {
           using type = my_tag;
       };

       template<class T>
       struct tag_of<T, when<std::is_same<T, unsigned>{}()> >
       {
          using type = my_tag2;
       };
    }
}

int main()
{
   using type = boost::hana::tag_of<int>::type;
   std::cout << std::is_same<type, my_tag>{} << std::endl;
}

我想知道为什么 std::is_same<T, int>{}() (或与 ::value 相同)，是比 std::is_same<T, unsigned>{}() 更专业的偏特化，以及为什么，如果这两种情况的条件都为假，when<condition>更专业。

我已经完成了很多元函数并使用了特化、参数包和排序，但在这种情况下，有些东西我没有看到。

问题是我不明白为什么 true或 false when 的值(value)如果 false 没有默认实现，模板可能很重要案例。

Answer 1

and I wonder why std::is_same<T, int>{}() (or with ::value which is the same), is a more specialized partial specialization than std::is_same<T, unsigned>{}(), and why, if the condition is false for both case, when<condition> is more specialized.

它没有更专业。他们根本就不是两个可行的专业。让我们来看看当我们尝试实例化 hana::tag_of<int> 时会发生什么.

1. 填写默认模板参数。在这种情况下，第二个模板参数默认为 void , 所以我们真的有 hana::tag_of<int, void> .
2. 考虑哪些部分特化是可行的。在这种情况下，没有它们是可行的——我们的类型 ( int ) 不是引用或 cv 限定的，也不是任何类型的 when<condition> .由于没有一个特化是可行的，我们实例化了主模板。
3. 主要tag_of<T, void>继承自 tag_of<T, when<true>> .所以现在我们需要实例化第二种类型，这意味着我们要重做第 2 步。

4. 现在，两种不同的特化是可行的:

   // from hana's core
   template <typename T, bool condition> 
   struct tag_of<T, when<condition>>
   
   // yours
   template <typename T>
   struct tag_of<T, when<std::is_same<T, int>{}()>>
   

   请注意，您的其他专业不可行 - 因为std::is_same<T, unsigned>{}是false我们正在尝试匹配 when<true> .

5. 在这两个特化之间，如果我们通过部分排序规则，您的特化会更特化 - 因此它被选中并实例化。

因此，hana::tag_of<int>::type是hana::tag_of<int, void>::type是hana::tag_of<int, when<true>>::type是hana::tag_of<int, when<std::is_same<T, int>{}()>>::type是my_tag .

---

The thing is that I don't see why the true or false value of the when template can matter, if there's no default implementation for the false case.

以上内容有望说明其重要性。我们没有实例化 when<false>直接，但你可以编写一个特化来替代 when<false> (就像你的 when<std::is_same<T, unsigned>{}()> 专业)。

and why, if the condition is false for both cases, when<condition> is more specialized.

因为我们正在实例化 when<true> , 那些条件为 false 的特化被简单地排除在候选集中。可行的专业列表只是减少到 hana 直接提供的列表。它不是“更特化”——它是唯一可行的。

---

还值得注意的是 tag_of为您提供多种特化方法。您可以提供一些 bool 条件或使用void_t .或者，您可以专门研究顶级:

template <>
struct tag_of<int, void> {
    using type = my_tag;
};

这将在上面的第 2 步短路，跳过所有其他实例化。