概念可以与模板模板参数一起使用吗？

Question

#include <concepts>

template<typename X>
struct Concrete_M {
  X f() const { return X{}; }
};

struct Concrete_X {};

template<typename T, typename X>
concept M = requires (T t)
  {
   { t.f() } -> std::convertible_to<X>;
  };

template<M<Concrete_X>>
struct C {};

const C<Concrete_M<Concrete_X>> c{};

template<template<typename> typename T, typename X>
concept M = requires (T<X> t)
  {
   { t.f() } -> std::convertible_to<X>;
  };

template<M<Concrete_X>>
struct C {};

const C<Concrete_M<Concrete_X>> c{};

template<typename X, /* ... */>
struct C {};

const C<Concrete_X, /* ... */> c{};

template<typename X, M<X>>
struct C {};

const C<Concrete_X, Concrete_M<Concrete_X>> c{};

（...）“m”不约束类型（...）

Answer 1

概念的短手类型约束语法：

template <Concept T>
struct C { };

仅对concept的第一个模板参数是类型参数的情况有效。如果不是这种情况，您必须简单地使用长格式语法：一个requires-子句：

template <template <typename> class Z>
    requires M<Z, Concrete_X>
struct C {};

对于我最初的示例，等价的更长形式是：

template <typename T> requires Concept<T>
struct C { };