使用依賴類型的模板

Question

當模板位於模板類型參數中時，如何使用模板參數調用模板：

template<template<class> class Template, class T>
struct MakeType
{
    using type = Template<T>;
};

template<class Policy>
struct Blah
{
    using type = MakeType< /*A non-instantiated template member in Policy*/, int>::type;
};

例如， Policy可以有一個模板成員ArrayType ：

class ExamplePolicy
{
    template<class T>
    using ArrayType = std::vector<T>;
};

如何使用模板Policy::ArrayType作為Template從 Blah 調用MakeType 。

直接調用MakeType效果很好：

static_assert(std::is_same_v<std::vector<int>, MakeType<std::vector, int>::type>);

會編譯

Answer 1

這能解決你的問題嗎？

// -*- compile-command: "g++ SO.cpp"; -*-
#include <vector>

template <template <class> class Template, class T>
struct MakeType
{
  using type = Template<T>;
};

template <class Policy>
struct Blah
{
  using type = typename MakeType<Policy::template ArrayType, int>::type;

  type foo()
  {
    return type();
  }
};

struct ExamplePolicy
{
  template <class T>
  using ArrayType = std::vector<T>;
};

int main()
{
  Blah<ExamplePolicy> blah;

  auto tmp = blah.foo();
}