Namespaces
Variants

std:: variant_size, std:: variant_size_v

From cppreference.net
C++
Utilities library
std::variant
Definiert im Header <variant>
template < class T >
struct variant_size ; /* undefined */
(1) (seit C++17)
template < class ... Types >

struct variant_size < std:: variant < Types... >>

: std:: integral_constant < std:: size_t , sizeof... ( Types ) > { } ;
(2) (seit C++17)
template < class T >
class variant_size < const T > ;
(3) (seit C++17)
template < class T >
class variant_size < volatile T > ;
(4) (seit C++17)
(veraltet in C++20)
template < class T >
class variant_size < const volatile T > ;
(5) (seit C++17)
(veraltet in C++20)

Bietet Zugriff auf die Anzahl der Alternativen in einer möglicherweise cv-qualifizierten Variante als einen Kompilierzeit-Konstantenausdruck.

Formal,

2) erfüllt die UnaryTypeTrait Anforderungen mit einer Basis-Charakteristik von std:: integral_constant < std:: size_t , sizeof... ( Types ) >
3-5) erfüllt die UnaryTypeTrait Anforderungen mit einer Basis-Charakteristik von std:: integral_constant < std:: size_t , std :: variant_size < T > :: value >

Inhaltsverzeichnis

Hilfsvariablen-Template

template < class T >
constexpr std:: size_t variant_size_v = std :: variant_size < T > :: value ;
(seit C++17)

Geerbt von std:: integral_constant

Member-Konstanten

value
[static]
sizeof...(Types)
(öffentliche statische Member-Konstante)

Member-Funktionen

operator std::size_t
konvertiert das Objekt zu std:: size_t , gibt value zurück
(öffentliche Member-Funktion)
operator()
(C++14)
gibt value zurück
(öffentliche Member-Funktion)

Member-Typen

Typ Definition
value_type std:: size_t
type std:: integral_constant < std:: size_t , value >

Hinweise

Alle Spezialisierungen von std::variant_size erfüllen UnaryTypeTrait mit Basis-Charakteristik std:: integral_constant < std:: size_t , N > für ein bestimmtes N .

Beispiel

Diesen Code ausführen 
#include <any>
#include <variant>
static_assert(std::variant_size_v<std::variant<>> == 0);
static_assert(std::variant_size_v<std::variant<int>> == 1);
static_assert(std::variant_size_v<std::variant<int, int>> == 2);
static_assert(std::variant_size_v<std::variant<int, int, int>> == 3);
static_assert(std::variant_size_v<std::variant<int, float, double>> == 3);
static_assert(std::variant_size_v<std::variant<std::monostate, void>> == 2);
static_assert(std::variant_size_v<std::variant<const int, const float>> == 2);
static_assert(std::variant_size_v<std::variant<std::variant<std::any>>> == 1);
int main() {}

Siehe auch

(C++17)
ermittelt den Typ der durch ihren Index angegebenen Alternative zur Kompilierzeit
(Klassentemplate) (Alias-Template)
(C++11)
ermittelt die Größe von

einem tuple
(Klassentemplate-Spezialisierung)