C++20 模板模板概念语法

Question

对于概念，C++20 提供了很好的语法，例如

template<typename T>
concept SomeConcept = true; // stuff here


template<typename T>
requires SomeConcept<T>
class Foo;

template<SomeConcept T>
class Foo;

这两种概念限制类的方式是等价的，但后者更简洁。

如果我现在有一些模板模板概念，例如

template<template<typename> typename T>
concept SomeOtherConcept = true; // stuff here

template<template<typename> typename T>
requires SomeOtherConcept<T>
class Foo;

我不知道没有要求条款的非冗长（简洁/简短）语法，例如

template<template<typename> SomeotherConcept T>
class Foo;

template<template<SomeOtherConcept> typename T>
class Foo;

没用，所以

声明这样一个模板模板类的正确语法是什么？对模板模板参数有概念限制？

Answer 1

声明这样一个模板模板类的正确语法是什么？对模板模板参数有概念限制？

编写依赖于模板模板参数或非类型模板参数的约束的唯一方法是使用 requires-clause。较短的 type-constraint 语法仅适用于约束类型的概念（因此得名 type-constraint）：

template <typename T> concept Type = true;
template <template <typename...> class Z> concept Template = true;
template <auto V> concept Value = true;

// requires-clause always works
template <typename T> requires Type<T> struct A { };
template <template <typename...> class Z> requires Template<Z> struct B { };
template <auto V> requires Value<V> struct C { };

// type-constraint only for type concepts
template <Type T> struct D { };

// abbreviated function template definitely only for type concepts
void e(Type auto x);

Answer 2

这是我以前用过的一个技巧。

使用noop-like 函数在主表达式中定义一个 lambda，如下所示：

void noop(auto) {}

//...

template<typename T>
concept SomeConcept = true;

/*
template <template<typename>SomeConcept T>
struct Example {};
*/ //does not work

template <template<typename>typename T>
  requires requires() {
    {
      noop(
        []<typename TArg> requires SomeConcept<typename T<TArg>> (){}
      )
    };
  }
struct Example {};