如何从概念中检索类型？

Question

说我有一个概念：

template < typename Group  > concept bool GGroup =
    requires() { typename Group::Inner; };

在短格式中使用概念时，如何检索Inner类型？

void doSomething(const GGroup& group)
{
    // an ugly alternative
    using Inner = typename std::decay_t<decltype(group)>::Inner;

    //// could be something like:
    // using Inner = GGroup::Inner;
    // or
    // using Inner = underlyingtype(GGroup)::Inner;
}

Answer 1

概念TS的简短形式的内置缺点是您不能仅仅命名概念化参数的类型名称。 你必须使用decltype才能得到它。

因此，您需要权衡：您可以避免使用显式template声明，但代价是实际代码中的更多decltype ，或者您可以避免使用decltype而牺牲显式模板声明。