Question

鉴于＆＃34;正常＆＃34;模板：

template<typename> struct Normal;

和别名模板：

template<typename>
using Alias = void;

当作为模板模板参数提供时，我如何区分这两者？

所以，理想情况下我想要编译以下内容：

int main() {
  static_assert(  is_alias_template<Alias>::value, "");
  static_assert(! is_alias_template<Normal>::value, "");
}

Answer 1

一种可能的方法是利用它：

在推导模板模板参数时，模板参数推断永远不会推断出别名模板。

http://en.cppreference.com/w/cpp/language/type_alias

因此，使用像

这样的类型特征

template<
  typename T,
  template<typename...> class Template
  >
struct instantiated_from
  : std::false_type {};

template<
  template<typename...> class Template,
  typename... Arguments
  >
struct instantiated_from<Template<Arguments...>, Template>
  : std::true_type {};

我们可以肯定，当我们将Alias<int>作为第一个模板参数并且Alias作为第二个传递时，编译器不会选择专门化。这立刻给了我们：

template<
  template<typename...> class Template,
  typename... Args
  >
struct is_alias_template
  : std::integral_constant<
      bool,
      ! instantiated_from<Template<Args...>, Template>::value
      >
{};

有了这个，我们可以 - 给出一些合适的模板参数 - 检测模板是否是别名模板：

int main() {
    static_assert(  is_alias_template<Alias, int>::value, "");
    static_assert(! is_alias_template<Normal, int>::value, "");

    static_assert(  is_alias_template<Alias, Alias<int>>::value, "");
    static_assert(  is_alias_template<Alias, Normal<int>>::value, "");
    static_assert(! is_alias_template<Normal, Alias<int>>::value, "");
    static_assert(! is_alias_template<Normal, Normal<int>>::value, "");
}

这里的主要缺点当然是需要知道一组合适的模板参数。只是猜测（或使用int）不会使用固定数量（> 1）模板参数的模板。

此外，这不适用于具有非类型（或模板）模板参数的（别名或非别名）模板。

如何检测模板是否为别名模板？

1 个答案: