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

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);