Question

我正在尝试在编译时创建Key-Task对的映射。键是一个序列号，它也应该用作映射的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抱怨道：

错误：模板模板参数具有与其对应的模板模板参数不同的模板参数

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

最佳

柳条制

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_。

hana :: make_map与提升模板

1 个答案: