Type Requirements - Require the Existence of a Nested Type

Get an overview of type requirements and why the existence of the nested type is required.

Introduction

With type requirements, we can express that a certain type is only valid in a specific context. Type requirements can be used to verify if:

  • A certain nested type exists.
  • A class template specialization names a type.
  • An alias template specialization names a type.

Get hands-on with 1200+ tech skills courses.