如何将概念用作模板参数？

Question

我猜这是不可能的，但我真的希望是这样。一个例子：

template<class T>
concept bool Dereferencable() { return requires(T t){ *t }; }

template<class T>
concept bool Incrementable() { return requires(T t){ ++t }; }

template<class T, ??? X, ??? Y>
concept bool And() { return X<T>() && Y<T>(); }

static_assert( And<int*, Dereferencable, Incrementable>() );

有没有办法做这样的事情？

如果没有，是否存在实现相同功能的黑客攻击？

最终我想使用复合概念作为占位符约束。

Answer 1

概念实际上只能以有限的方式使用（截至撰写本文时）。因此，无法实现您想要的目标。

解决方法是将特定（元）功能与每个概念相关联，以实现更高阶的使用：

// this is just one way of doing it...
template<typename Arg>
struct is_dereferencable_f {
    static constexpr bool value = Dereferencable<Arg>;
};

// ...via template template parameters
template<typename Arg, template<typename> typename... Conjuncts>
concept bool SatisfiesAll = (... && Conjuncts<Arg>::value);