std::byte

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(C++20)

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

工具库

语言支持 库功能特性测试宏(C++20) 类型支持（基本类型、RTTI） 程序工具 可变参数函数 is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) 协程支持(C++20) 契约支持(C++26) 三路比较 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)

通用工具 函数对象 位操纵(C++20) bitset hash (C++11) 关系运算符(C++20 弃用) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= 整数比较函数 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) 交换与类型运算 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) 常用词汇类型 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)

 

类型支持

基本类型
定宽整数类型(C++11)
定宽浮点类型(C++23)
ptrdiff_t size_t max_align_t (C++11) byte (C++17)	nullptr_t (C++11) offsetof NULL
数值极限
numeric_limits
C 数值极限接口
运行时类型信息
type_info type_index (C++11)	bad_typeid bad_cast

 

在标头 <cstddef> 定义
enumclass byte :unsignedchar{};		(C++17 起)

std::byte 是一种独立类型，它实现了 C++ 语言定义中所规定的字节的概念。

类似 unsignedchar，它能用于访问其他对象所占据的原始内存（对象表示），但不同于 unsignedchar，它不是字符类型也不是算术类型。std::byte 只实现位的汇集，而且仅支持进行整数位移运算、与另一 std::byte 进行逐位和比较运算。

非成员函数

std::to_integer

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

等价于：return IntegerType(b); 此重载只有在 std::is_integral_v<IntegerType> 为 true 时才会参与重载决议。

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

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

1) 等价于：return b = b << shift; 此重载只有在 std::is_integral_v<IntegerType> 为 true 时才会参与重载决议。

2) 等价于：return b = b >> shift;

此重载只有在 std::is_integral_v<IntegerType> 为 true 时才会参与重载决议。

std::operator<<,operator>>

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

1) 等价于：return std::byte(static_cast<unsignedint>(b)<< shift); 此重载只有在 std::is_integral_v<IntegerType> 为 true 时才会参与重载决议。

2) 等价于：return std::byte(static_cast<unsignedint>(b)>> shift);

此重载只有在 std::is_integral_v<IntegerType> 为 true 时才会参与重载决议。

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

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

1) 等价于：return l = l | r;。

2) 等价于：return l = l & r;。

3) 等价于：return l = l ^ r;。

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

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

1) 等价于：return std::byte(static_cast<unsignedint>(l)|static_cast<unsignedint>(r));。

2) 等价于：return std::byte(static_cast<unsignedint>(l)&static_cast<unsignedint>(r));。

3) 等价于：return std::byte(static_cast<unsignedint>(l)^static_cast<unsignedint>(r));。

4) 等价于：return std::byte(~static_cast<unsignedint>(b));。

注解

由于 C++17 放松的 enum class 初始化规则，可以用 std::byte{n} 转换数值 n 为 byte 值。

可以使用常规方式用显式转换把 byte 转换为数值（例如用于生成对象的整数散列），使用 std::to_integer 也可以。

功能特性测试宏	值	标准	功能特性
__cpp_lib_byte	201603L	(C++17)	std::byte

示例

运行此代码

#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; // 错误：无法把 int 转换为 byte。 std::byte y{1};// OK   // if (y == 13) {} // 错误：无法比较。if(y == std::byte{13}){}// OK，byte 是可比较的   int arr[]{1, 2, 3};// int c = a[y]; // 错误：数组下标不是整数[[maybe_unused]]int i = arr[std::to_integer<int>(y)];// OK[[maybe_unused]]int j = arr[std::to_underlying(y)];// OK   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; // 错误：b 不是算术类型 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);}

输出：

00101010