c++ - 带有提升模板的 hana::make_map

Question

我正在尝试在编译时创建关键任务对的映射。键是一个序列号，它也应该用作映射任务类型内部的模板参数。我学到的是，我需要将我的 Task 提升到一个元函数中才能使其正常工作，但我在创建与我的模板参数匹配的正确 hana::types 方面已经遇到了问题。

这是我目前所拥有的:

template <std::size_t Key,
          typename T = double,
          template<typename...> class Complex = std::complex>
class Task
{
    ...
}

template <std::size_t Begin,
          std::size_t End,
          typename T,
          template<typename...> class Complex = std::complex>
class TaskFactory
{
    static constexpr auto create(void)
    {
        auto keys = hana::make_range(hana::int_c<Begin>, hana::int_c<End>);

        return hana::unpack(keys, [](auto... key)
        {
            return hana::make_map(hana::make_pair(key, hana::template_<Task>(hana::type_c<key>, hana::type_c<T>, hana::type_c<Complex>)())...);
        });
    }

    static constexpr auto taskMap_ = create();

    ...
}

int main()
{
    TaskFactory<2, 8, double, std::complex> myTaskFactory;
    return 0;
}

Clang 正在提示:

error: template template argument has different template parameters than its corresponding template template parameter

我做错了什么，这是正确的做法吗？

最佳 呜呜

Answer 1

hana::template_仅适用于 typename模板参数 - 它不支持非类型模板参数 或模板模板参数。参见 its implementation here .

这同样适用于 hana::type_c .

• hana::type_c<key>无效，因为 key不是一种类型。

• hana::type_c<Complex>无效，因为 Complex不是类型。

您的方法达到 hana::unpack(keys, [](auto... key)对我来说看起来不错。您需要更改您的 Task要根据类型定义的类 - 例如:

template <typename Key,
          typename Complex>
class Task
{
    // ...
};

这样，您可以使用 hana::template_如您所愿。