实例化和未实例化模板的部分模板特化

Question

我有以下两个结构：

template<typename T>
struct one { /* ... */ };

template<template<typename...> typename T>
struct two { /* ... */ };

当我有这样的示例实例化/未实例化模板时：

template<typename T>
struct sample_templated { /* ... */ };

using instantiated = sample_templated<double>;

那我就可以了

one<instantiated>{};
two<sample_templated>{};

很好。不过，我想合并 one 和 two 的定义，使它们具有相同的名称，因为这将允许递归。

我尝试使用默认定义，例如

template<typename...>
struct types_match_impl;

并让两个原始结构成为 this 的部分特化，但这与 two 不兼容。

这里的解决方案是什么？

Answer 1

您希望的方式是不可能的。原因如下：

one<instantiated>{};
two<sample_templated>{};

one“使用”多于two：它指的是instantiated，即sample_templated实例化double。另一方面，two 只是“使用”sample_templated。

当您将模板视为类型上的函数时，这会变得更加清晰：two 是一个接受（类型级）函数来创建某种类型的函数。 one 是一个接受类型来创建某种类型的函数：

one :: T -> one<T>
two :: (T -> U) -> two<(T -> U)>

换句话说，one 的参数与two 的参数具有不同的“种类”（“类型的类型”）。

你可以做什么：

• 您可以提供one 的特化，它接受模板模板参数（“类型级函数”）和模板参数：

  template<template<typename...> typename TT, typename T>
  struct one<TT<T>>  { /* ... */ }; // this basically "calls" TT
  

• 您可以将two 变成可以同时接受两者的东西，尽管使用“虚拟”模板模板参数：

  template<template<typename...> typename TT, typename... Ts>
  struct two { /* */ };
  
  template<typename...>
  struct Void;
  
  template<typename T>
  struct two<Void<>, T> { /* Use T like in one */ };
  // or derive from one<T>
  

可能还有更多方法，但这些取决于您的具体用例。