C++ 如何验证整数转换：范围检查、转换规则与安全写法

小鹿同学

发布时间：2026-08-24| 104人浏览过

原创

展示 safeCast 校验步骤、numeric_limits 判断与异常处理结果的白底信息图 — **safeCast 校验流程图**把安全转换封装里的关键判断拆成流程图，适合配合 safeCast 模板一起阅读。

展示隐式转换、显式转换与常见陷阱对比的白底信息图 — **转换规则与高风险场景**把“自动提升”“符号变化”“收窄截断”三类常见情况拆开对比，能更快判断哪种转换值得额外审查。

展示 C++ 常见整数类型范围、平台差异与符号特性的白底信息图 — **整数类型范围与判断前提**把类型范围、平台差异和有符号/无符号特性放在一张图里，便于在写转换前先做边界判断。

前言

整数转换在 C++ 里常见但隐蔽：能编译不等于结果正确。审查时按 3 步判断即可：先确认目标类型范围，再检查是否混入无符号或收窄，最后把高风险转换放进带边界校验的统一封装。

整数转换先看目标类型范围，再看是否混入无符号或收窄；static_cast 只表达意图，不做边界校验。实用做法是把“检查范围后再转换”封装成统一逻辑。

先弄清楚整数类型范围

先确认源值是否落在目标类型可表示区间，尤其 long 为 4/8 字节，依赖平台。边界可用 std::numeric_limits 查询：

类型	大小	范围
char	1	-128~127
short	2	-32,768~32,767
int	4	-2,147,483,648~2,147,483,647
long	4/8	依赖于平台
long long	8	-9,223,372,036,854,775,808~9,223,372,036,854,775,807

#include <iostream>
#include <limits>

int main() {
    std::cout << std::numeric_limits<int>::min()
              << " 到 " << std::numeric_limits<int>::max() << std::endl;
}

C++ 整数转换到底按什么规则发生

源类型	目标类型	规则
较小类型	较大类型	通常无数据丢失
有符号类型	无符号类型	可能改变语义
较大类型	较小类型	可能截断

unsigned int unsignedInt = -1;
int largeValue = 70000;
short smallValue = static_cast<short>(largeValue);  // 可能的截断

怎样把整数转换写成可验证、可复用的安全逻辑

统一封装范围检查，超界就拒绝转换：

#include <iostream>
#include <limits>
#include <stdexcept>

template <typename DestType, typename SourceType>
DestType safeCast(SourceType value) {
    if (value > std::numeric_limits<DestType>::max() ||
        value < std::numeric_limits<DestType>::min()) {
        throw std::overflow_error("转换将导致溢出");
    }
    return static_cast<DestType>(value);
}

bool isValueInRange(long long value, int bits) {
    long long minValue = -(1LL << (bits - 1));
    long long maxValue = (1LL << (bits - 1)) - 1;
    return value >= minValue && value <= maxValue;
}