C++ std::has_single_bit _ C++20快速检查2的整数次幂【详解】

畫卷琴夢

畫卷琴夢

2026-04-13

475人浏览

原创

std::has_single_bit 是 c++20 判断无符号整数是否为 2 的正整数次幂的标准函数,语义清晰、性能等效于 x & (x-1) == 0,但仅重载无符号类型,对有符号数需显式转换并检查符号。

c++ std::has_single_bit _ c++20快速检查2的整数次幂【详解】

std::has_single_bit 是什么,它真能替代 x & (x-1) == 0?

是的,std::has_single_bit 就是 C++20 为“判断是否为 2 的整数次幂(且非零)”提供的标准函数,语义明确、可读性强,且编译器通常能生成和 x & (x - 1) == 0 一样高效的汇编。但它不是万能的:它只对无符号整数类型重载,对 intlong 等有符号类型直接编译失败。

常见错误现象:std::has_single_bit(-4)std::has_single_bit(0) 都不合法——前者类型不匹配,后者虽是无符号但返回 false(符合设计:0 没有“单个 bit 置位”)。

  • 必须传入无符号类型:如 unsigneduint32_tsize_t
  • 输入为 0 时返回 false,这和传统 x && !(x & (x-1)) 行为一致
  • 对负数或有符号变量直接调用会触发 SFINAE 失败或编译错误,不是运行时断言

怎么安全地用在 int 或 size_t 上?注意隐式转换陷阱

你不能直接把 int x = 8; 丢给 std::has_single_bit(x)——C++20 标准只声明了对无符号整数类型的重载。编译器不会自动把 int 转成 unsigned 再调用,而是直接报错:no matching function for call to 'has_single_bit'

正确做法是显式转换,但要注意边界:

C函数速查手册(CHM版)
C函数速查手册(CHM版)

C函数速查手册(CHM版)

下载
  • std::has_single_bit(static_cast<unsigned>(x))</unsigned> —— 仅当 x >= 0 时安全;若 x 为负,转换结果是模运算值(如 -1 → UINT_MAX),导致误判
  • 更稳妥的是先检查符号:x > 0 && std::has_single_bit(static_cast<:make_unsigned_t>>(x))</:make_unsigned_t>
  • size_t 可直接用,因为它本身就是无符号类型;但注意 Windows 上 size_t 是 64 位,而 unsigned 是 32 位,别硬转成 unsigned

和手动位运算比,性能差吗?编译器真的优化掉了吗?

在开启优化(-O2 或更高)时,主流编译器(GCC 11+、Clang 12+、MSVC 19.30+)对 std::has_single_bit(x) 生成的汇编和 x != 0 && (x & (x-1)) == 0 完全一致——通常是单条 test + 条件跳转,或利用 BMI1 的 blsi 指令(如果目标支持)。没有额外函数调用开销。

但有两个容易被忽略的点:

  • 未启用优化时(如 Debug 模式),std::has_single_bit 可能展开为带分支的通用实现,比手写位运算慢;而手写表达式始终是纯计算
  • 某些嵌入式平台或老编译器(如 GCC 10)可能尚未实现该函数,链接时报 undefined reference;此时需回退到宏或内联函数封装
  • 它不处理浮点数或自定义类型——这点和名字完全一致,别指望它做额外事

实际项目中建议怎么封装才不容易出错?

直接裸用 std::has_single_bit 容易漏掉类型检查和符号判断。推荐封装一个模板函数,约束输入并统一行为:

template <typename t>
constexpr bool is_power_of_two(T x) noexcept {
    if constexpr (std::is_signed_v<t>) {
        return x > 0 && std::has_single_bit(static_cast<:make_unsigned_t>>(x));
    } else {
        return std::has_single_bit(x);
    }
}</:make_unsigned_t></t></typename>

这样 is_power_of_two(16)is_power_of_two(-8)is_power_of_two(0U) 都能安全调用,语义清晰,且编译期可求值。唯一复杂点是:如果你要支持 __int128 或其他扩展整型,得确认对应 std::make_unsigned_t 是否可用——标准不保证,得查具体编译器文档。

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

c++

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

2023.08.02

2958

3

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.08.29

1709

6

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

2025.08.29

1675

10

C++中int的含义
C++中int的含义

本专题整合了C++中int相关内容,阅读专题下面的文章了解更多详细内容。

2025.08.29

745

10

undefined是什么
undefined是什么

undefined是代表一个值或变量不存在或未定义的状态。它可以作为默认值来判断一个变量是否已经被赋值,也可以用于设置默认参数值。尽管在不同的编程语言中,undefined可能具有不同的含义和用法,但理解undefined的概念可以帮助我们更好地理解和编写程序。本专题为大家提供undefined相关的各种文章、以及下载和课程。

2023.07.31

9035

4

网页undefined是什么意思
网页undefined是什么意思

网页undefined是指页面出现了未知错误的意思,提示undefined一般是在开发网站的时候定义不正确或是转换不正确,或是找不到定义才会提示undefined未定义这个错误。想了解更多的相关内容,可以阅读本专题下面的文章。

2024.08.14

4215

7

网页undefined啥意思
网页undefined啥意思

本专题整合了undefined相关内容,阅读下面的文章了解更多详细内容。后续继续更新。

2025.12.25

2433

7

function是什么
function是什么

function是函数的意思,是一段具有特定功能的可重复使用的代码块,是程序的基本组成单元之一,可以接受输入参数,执行特定的操作,并返回结果。本专题为大家提供function是什么的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.04

1389

5

js函数function用法
js函数function用法

js函数function用法有:1、声明函数;2、调用函数;3、函数参数;4、函数返回值;5、匿名函数;6、函数作为参数;7、函数作用域;8、递归函数。本专题提供js函数function用法的相关文章内容,大家可以免费阅读。

2023.10.07

253

5

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
RabbitMQ 教程手册
RabbitMQ 教程手册

共0课时 | 0人学习

Linux man-pages 项目
Linux man-pages 项目

共0课时 | 0人学习

C# 教程
C# 教程

共94课时 | 20.2万人学习