stdc_leading_zeros

 

C

编译器支持

语言

头文件

类型支持

程序工具

可变参数函数支持

错误处理

动态内存管理

字符串库

算法

数值

日期和时间工具

输入/输出支持

本地化支持

并发支持 (C11)

技术规范

符号索引

 

数值

常用数学函数

浮点环境 (C99)

伪随机数生成

复数算术 (C99)

类型泛型数学 (C99)

位操作 (C23)

带检查的整数算术 (C23)

 

位操作

函数

stdc_leading_zeros (C23)

stdc_leading_ones (C23)

stdc_trailing_zeros (C23)

stdc_trailing_ones (C23)

stdc_first_leading_zero (C23)

stdc_first_leading_one (C23)

stdc_first_trailing_zero (C23)

stdc_first_trailing_one (C23)

stdc_count_zeros (C23)

stdc_count_ones (C23)

stdc_has_single_bit (C23)

stdc_bit_width (C23)

stdc_bit_floor (C23)

stdc_bit_ceil (C23)

宏常量

__STDC_ENDIAN_LITTLE__ __STDC_ENDIAN_BIG__ __STDC_ENDIAN_NATIVE__ (C23)(C23)(C23)

 

定义于头文件 <stdbit.h>
unsigned int stdc_leading_zeros_uc( unsigned char value ) [[unsequenced]];	(1)	(自 C23 起)
unsigned int stdc_leading_zeros_us( unsigned short value ) [[unsequenced]];	(2)	(自 C23 起)
unsigned int stdc_leading_zeros_ui( unsigned int value ) [[unsequenced]];	(3)	(自 C23 起)
unsigned int stdc_leading_zeros_ul( unsigned long int value ) [[unsequenced]];	(4)	(自 C23 起)
unsigned int stdc_leading_zeros_ull( unsigned long long int value ) [[unsequenced]];	(5)	(自 C23 起)
#define stdc_leading_zeros( value ) // 暴露的接口 generic_return_type stdc_leading_zeros( generic_value_type value ) [[unsequenced]];	(6)	(自 C23 起)

1-5) 返回 value 中从最高有效位开始的连续 ​0​ 位的数量。

6) 类型泛型函数（由其 generic_value_type 参数标记）根据输入值的类型返回适当的值，只要它是

• 标准无符号整数类型，排除 bool；
• 扩展无符号整数类型；
• 或者，位精确无符号整数类型，其宽度与标准或扩展整数类型匹配，排除 bool。

generic_return_type 应为能够表示计算结果的适当大小的无符号整数类型。

参数

value

-

无符号整数类型的值

返回值

value 中从最高有效位开始的连续 ​0​ 位的数量。

示例

运行此代码

#include <limits.h>
#include <stdbit.h>
#include <stdint.h>
#include <stdio.h>
 
#define bits_num(value) (sizeof(value) * CHAR_BIT)
 
#define bin_impl(T, suffix) \
const char* bin_##suffix(T x) \
{ \
    static char buf[bits_num(x) * CHAR_BIT + 1]; \
    for (T i = 0, mask = ((T)1 << (bits_num(x) - 1)); mask; mask >>= 1) \
        buf[i++] = x & mask ? '1' : '0'; \
    buf[bits_num(x)] = '\0'; \
    return buf; \
}
 
bin_impl(uint8_t, u8)
bin_impl(uint16_t, u16)
bin_impl(uint32_t, u32)
bin_impl(uint64_t, u64)
 
#define bin(x) _Generic((x), \
    uint8_t: bin_u8, uint16_t: bin_u16, uint32_t: bin_u32, default: bin_u64)(x)
 
int main()
{
    puts("uint8_t:");
    for (uint8_t x = 0b11000000; ; x >>= 1)
    {
        printf("x = [%s], leading zeros: %d\n", bin(x), stdc_leading_zeros(x));
        if (!x)
            break;
    }
 
    puts("uint16_t:");
    for (uint16_t x = 0b11000000; ; x >>= 1)
    {
        printf("x = [%s], leading zeros: %d\n", bin(x), stdc_leading_zeros(x));
        if (!x)
            break;
    }
}

输出

uint8_t:
x = [11000000], leading zeros: 0
x = [01100000], leading zeros: 1
x = [00110000], leading zeros: 2
x = [00011000], leading zeros: 3
x = [00001100], leading zeros: 4
x = [00000110], leading zeros: 5
x = [00000011], leading zeros: 6
x = [00000001], leading zeros: 7
x = [00000000], leading zeros: 8
uint16_t:
x = [0000000011000000], leading zeros: 8
x = [0000000001100000], leading zeros: 9
x = [0000000000110000], leading zeros: 10
x = [0000000000011000], leading zeros: 11
x = [0000000000001100], leading zeros: 12
x = [0000000000000110], leading zeros: 13
x = [0000000000000011], leading zeros: 14
x = [0000000000000001], leading zeros: 15
x = [0000000000000000], leading zeros: 16

参见

stdc_first_leading_zero (C23)	查找从最高有效位开始的第一个 ​0​ 位的位置 (类型泛型函数宏)
stdc_count_zeros (C23)	计算无符号整数中 ​0​ 位的数量 (类型泛型函数宏)
stdc_leading_ones (C23)	计算从最高有效位开始的连续 1 位的数量 (类型泛型函数宏)
C++ 文档 关于 countl_zero