模板中的嵌套概念类型

Question

考虑以下模板，旨在声明某些state :: Machine：

enum Strategy {
   Breadth,
   Depth,
   Heuristic,
};

template<class Map, Strategy Strategy = Depth>
struct Machine;

如果我们想对MAP类型执行一些约束，以便实现满足必要的概念，我们就有：

template <Range::Type Source, Comparable Constraint, class Result, Transition<Source, Constraint, Result> Transition, Range::Of<Transition> Transitions, Map<Constraint, Transitions> Map, Strategy Strategy = Strategy::Depth>
class Machine {

};

whye source是某些容器 suk std :: vector，约束是一些可比的struct ====结构 - ＆GT; bool，过渡是一些lambda（source） - ＆gt; product和过渡是transition的某些容器。

现在宣布这种类型正在筋疲力尽：

auto transition = [](std::string source) {
    return State::Product<std::string, State, State> {
            .source = source,
            .state = State::Start,
            .product = State::Start,
    };
};
static_assert(Transition<decltype(transition), std::string, State, State>);

std::map<State, std::set<decltype(transition)>> map = {
        {State::Start, {transition}}
};

State::Machine<std::string, State, State, decltype(transition), std::set<decltype(transition)>, decltype(map)> machine;

有没有办法让所有概念都需要使用一个类型的参数

State::Machine<decltype(map)> machine;

类似于在需要任何概念之前的方式？

Answer 1

大多数类型都暴露了他们的“亚型”。
std :: map has key_type和示例例如。

（如果需要，您可以创建特征以提取模板参数，如果类型不提供此类typedef）。

然后，您可能会对这些子类型使用约束，例如：

template <typename Map, Strategy Strategy = Strategy::Depth>
requires(Comparable<typename Map::key_type>
     && IsATransition<typename Map::mapped_type>)
class Machine
{
    // ...
};