std::byte

 

C++

Apoyo de compiladores

Implementaciones independientes y albergadas

Lenguaje

Biblioteca estándar

Encabezados de la biblioteca estándar

Requisitos denominados

Macros de prueba de característica (C++20)

Biblioteca de apoyo del lenguaje

Biblioteca de conceptos(C++20)

Biblioteca de diagnósticos

Biblioteca de gestión de memoria

Biblioteca de metaprogramación(C++11)

Biblioteca de servicios generales

Biblioteca de contenedores

Biblioteca de iteradores

Biblioteca de rangos(C++20)

Biblioteca de algoritmos

Biblioteca de cadenas

Biblioteca de procesamiento de texto

Biblioteca numérica

Biblioteca de fecha y hora

Biblioteca de entrada/salida

Biblioteca del sistema de archivos(C++17)

Biblioteca de apoyo de concurrencia(C++11)

Biblioteca de apoyo de ejecución(C++26)

Especificaciones técnicas

Índice de símbolos

Bibliotecas externas

 

Biblioteca de servicios

Apoyo del lenguaje Apoyo de tipos (tipos básicos, RTTI) Biblioteca de macros de prueba de característica(C++20) Servicios del programa Apoyo de corrutinas(C++20) Funciones variádicas is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) Comparación de tres vías three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)   is_eqis_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

Servicios generales Objetos función Manipulación de bits(C++20) bitset hash (C++11) Operadores relacionales(en desuso en C++20) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= Funciones de comparación de enteros cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) Intercambio y operaciones de tipos swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) Tipos vocabulario comunes pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

Apoyo de tipos

Tipos básicos
Tipos fundamentales
Tipos enteros de anchura fija(C++11)
ptrdiff_t size_t max_align_t (C++11) byte (C++17)	nullptr_t (C++11) offsetof NULL
Límites numéricos
numeric_limits
Interfaz de C de límites numéricos
Información de tipo en tiempo de ejecución
type_info type_index (C++11)	bad_typeid bad_cast
Rasgos de tipos
Categorías de tipos
is_void (C++11) is_null_pointer (C++14) is_array (C++11) is_pointer (C++11) is_enum (C++11) is_union (C++11) is_class (C++11) is_function (C++11)	is_object (C++11) is_scalar (C++11) is_compound (C++11) is_integral (C++11) is_floating_point (C++11) is_fundamental (C++11) is_arithmetic (C++11)
is_reference (C++11)
is_lvalue_reference (C++11)
is_rvalue_reference (C++11)
is_member_pointer (C++11)
is_member_object_pointer (C++11)
is_member_function_pointer (C++11)

Propiedades de tipos
is_const (C++11) is_volatile (C++11) is_empty (C++11) is_polymorphic (C++11) is_final (C++14) is_abstract (C++11) is_aggregate (C++17) is_trivial (C++11)	is_trivially_copyable (C++11) is_standard_layout (C++11) is_literal_type (C++11)(hasta C++20) is_pod (C++11)(en desuso en C++20) is_signed (C++11) is_unsigned (C++11) is_bounded_array (C++20) is_unbounded_array (C++20)
has_unique_object_representations (C++17)
Constantes de rasgos de tipos
integral_constantbool_constanttrue_typefalse_type (C++11)(C++17)(C++11)(C++11)
Metafunciones
conjunction (C++17)
disjunction (C++17)
negation (C++17)
Contexto de evaluación constante
is_constant_evaluated (C++20)

Operaciones soportadas
is_constructibleis_trivially_constructibleis_nothrow_constructible (C++11)(C++11)(C++11)
is_default_constructibleis_trivially_default_constructibleis_nothrow_default_constructible (C++11)(C++11)(C++11)
is_copy_constructibleis_trivially_copy_constructibleis_nothrow_copy_constructible (C++11)(C++11)(C++11)
is_move_constructibleis_trivially_move_constructibleis_nothrow_move_constructible (C++11)(C++11)(C++11)
is_assignableis_trivially_assignableis_nothrow_assignable (C++11)(C++11)(C++11)
is_copy_assignableis_trivially_copy_assignableis_nothrow_copy_assignable (C++11)(C++11)(C++11)
is_move_assignableis_trivially_move_assignableis_nothrow_move_assignable (C++11)(C++11)(C++11)
is_destructibleis_trivially_destructibleis_nothrow_destructible (C++11)(C++11)(C++11)
has_virtual_destructor (C++11)
is_swappable_withis_swappableis_nothrow_swappable_withis_nothrow_swappable (C++17)(C++17)(C++17)(C++17)
Relaciones y consultas de propiedades
is_same (C++11) is_base_of (C++11) is_convertibleis_nothrow_convertible (C++11)(C++20) is_layout_compatible (C++20) is_pointer_interconvertible_base_of (C++20) is_pointer_interconvertible_with_class (C++20) is_corresponding_member (C++20)	alignment_of (C++11) rank (C++11) extent (C++11) is_invocableis_invocable_ris_nothrow_invocableis_nothrow_invocable_r (C++17)(C++17)(C++17)(C++17)
Modificaciones de tipos
remove_cvremove_constremove_volatile (C++11)(C++11)(C++11) add_cvadd_constadd_volatile (C++11)(C++11)(C++11) make_signed (C++11) make_unsigned (C++11)	remove_reference (C++11) add_lvalue_referenceadd_rvalue_reference (C++11)(C++11) remove_pointer (C++11) add_pointer (C++11) remove_extent (C++11) remove_all_extents (C++11)
Transformaciones de tipos
aligned_storage (C++11) aligned_union (C++11) decay (C++11) remove_cvref (C++20) enable_if (C++11) void_t (C++17)	conditional (C++11) common_type (C++11) common_reference (C++20) underlying_type (C++11) result_ofinvoke_result (C++11)(hasta C++20)(C++17) type_identity (C++20)

 

Definido en el archivo de encabezado <cstddef>
enumclass byte :unsignedchar{};		(desde C++17)

std::byte es un tipo distinto que implementa el concepto de byte como se especifica en la definición del lenguaje C++.

Al igual que char y unsignedchar, puede usarse para acceder a memoria sin formato ocupada por otros objetos (representación de objetos), pero a diferencia de esos tipos, no es un tipo carácter ni un tipo aritmético. std::byte modela una mera colección de bits, admitiendo únicamente operaciones de desplazamiento de bits con un entero, y operaciones de comparación y de bits con otro std::byte.

Funciones no miembro

std::to_integer

template<class IntegerType>  constexpr IntegerType to_integer(std::byte b)noexcept;		(desde C++17)

Equivalente a: return IntegerType(b); Esta sobrecarga solo participa en la resolución de sobrecargas si std::is_integral_v<IntegerType> es verdadero.

std::operator<<=,operator>>=

template<class IntegerType>  constexpr std::byte& operator<<=(std::byte& b, IntegerType shift)noexcept;	(1)	(desde C++17)
template<class IntegerType>  constexpr std::byte& operator>>=(std::byte& b, IntegerType shift)noexcept;	(2)	(desde C++17)

1) Equivalente a: return b = b << shift; Esta sobrecarga solo participa en la resolución de sobrecargas si std::is_integral_v<IntegerType> es verdadero.

2) Equivalente a: return b = b >> shift;

Esta sobrecarga solo participa en la resolución de sobrecargas si std::is_integral_v<IntegerType> es verdadero.

std::operator<<,operator>>

template<class IntegerType>  constexpr std::byte operator <<(std::byte b, IntegerType shift)noexcept;	(1)	(desde C++17)
template<class IntegerType>  constexpr std::byte operator >>(std::byte b, IntegerType shift)noexcept;	(2)	(desde C++17)

1) Equivalente a: return std::byte(static_cast<unsignedint>(b)<< shift); Esta sobrecarga solo participa en la resolución de sobrecargas si std::is_integral_v<IntegerType> es verdadero.

2) Equivalente a: return std::byte(static_cast<unsignedint>(b)>> shift);

Esta sobrecarga solo participa en la resolución de sobrecargas si std::is_integral_v<IntegerType> es verdadero.

std::operator|=,operator&=,operator^=

constexpr std::byte& operator|=(std::byte& l, std::byte r)noexcept;	(1)	(desde C++17)
constexpr std::byte& operator&=(std::byte& l, std::byte r)noexcept;	(2)	(desde C++17)
constexpr std::byte& operator^=(std::byte& l, std::byte r)noexcept;	(3)	(desde C++17)

1) Equivalente a: return l = l | r;.

2) Equivalente a: return l = l & r;.

3) Equivalente a: return l = l ^ r;.

std::operator|,operator&,operator^,operator~

constexpr std::byte operator|(std::byte l, std::byte r)noexcept;	(1)	(desde C++17)
constexpr std::byte operator&(std::byte l, std::byte r)noexcept;	(2)	(desde C++17)
constexpr std::byte operator^(std::byte l, std::byte r)noexcept;	(3)	(desde C++17)
constexpr std::byte operator~(std::byte b)noexcept;	(4)	(desde C++17)

1) Equivalente a: return std::byte(static_cast<unsignedint>(l)|static_cast<unsignedint>(r));.

2) Equivalente a: return std::byte(static_cast<unsignedint>(l)&static_cast<unsignedint>(r));.

3) Equivalente a: return std::byte(static_cast<unsignedint>(l)^static_cast<unsignedint>(r));.

4) Equivalente a: return std::byte(~static_cast<unsignedint>(b));

Notas

Un valor numérico n puede convertirse a un valor byte usando std::byte{n}, debido a las reglas de inicialización de enum class relajadas de C++17.

Un byte se puede convertir en un valor numérico (por ejemplo, para producir un hash entero de un objeto) de la forma habitual con una conversión explícita o, alternativamente, con std::to_integer.

Macro de Prueba de característica	Valor	Estándar	Comentario
__cpp_lib_byte	201603L	(C++17)	std::byte

Ejemplo

Ejecuta este código

#include <bitset>#include <cassert>#include <cstddef>#include <iostream>#include <utility>   std::ostream& operator<<(std::ostream& os, std::byte b){return os <<std::bitset<8>(std::to_integer<int>(b));}   int main(){// std::byte y = 1; // ERROR: no se puede convertir int a byte. std::byte y{1};// de acuerdo   // if (y == 13) {} // ERROR: no se puede comparar.if(y == std::byte{13}){}// de acuerdo, bytes son comparables   int arr[]{1, 2, 3};// int c = a[y]; // ERROR: el subíndice del array no es un número entero.[[maybe_unused]]int i = arr[std::to_integer<int>(y)];// de acuerdo[[maybe_unused]]int j = arr[std::to_underlying(y)];// de acuerdo   auto to_int =[](std::byte b){return std::to_integer<int>(b);};   std::byte b{42};assert(to_int(b)==0b00101010);std::cout<< b <<'\n';   // b *= 2; // ERROR: b no es de tipo aritmético b <<=1;assert(to_int(b)==0b01010100);   b >>=1;assert(to_int(b)==0b00101010);   assert(to_int(b <<1)==0b01010100);assert(to_int(b >>1)==0b00010101);   b |= std::byte{0b11110000};assert(to_int(b)==0b11111010);   b &= std::byte{0b11110000};assert(to_int(b)==0b11110000);   b ^= std::byte{0b11111111};assert(to_int(b)==0b00001111);}

Salida:

00101010