在setter中应于赋值前手动校验参数:数值用std::numeric_limits、指针判空、字符串检查空与控制字符、枚举验证范围;统一按值传参兼顾const引用与右值;抛std::invalid_argument等异常而非返回bool;校验函数标记noexcept;编译期校验优先static_assert。

setter里怎么判断参数是否越界或非法
直接在set函数内部做校验,而不是依赖调用方。C++没有内置的契约检查机制,所有合法性必须手动编码验证。
常见越界场景包括:数值超出int范围、指针为空、字符串为空或含控制字符、枚举值不在合法集合内。校验逻辑应紧贴赋值前,避免先赋值再回滚。
- 对数值类型,用
std::numeric_limits比硬写INT_MAX更安全,尤其跨平台时 - 对指针成员,
if (ptr == nullptr)必须显式判断,别指望构造函数兜底 - 对
std::string,str.empty()和str.find_first_of("\0\t\n\r") != std::string::npos建议组合使用
抛异常还是返回布尔值
标准做法是抛std::invalid_argument或自定义异常,不推荐返回bool。C++惯例如std::vector::at()、std::stoi()都以异常表意失败,调用方更容易统一处理。
返回bool会诱使用户忽略检查(比如直接链式调用),且无法携带错误上下文。若真要静默失败,应在文档里明确标注“无效输入被忽略”,而非靠返回值暗示。
- 抛异常:用
throw std::invalid_argument("age must be between 0 and 150"); - 不要用
assert()——它在NDEBUG下失效,不能用于运行时数据校验 - 自定义异常类应继承
std::runtime_error,便于上层用catch(const std::exception&)捕获
const引用传参 + 移动语义怎么兼顾校验
当setter接收const std::string&或std::string&&时,校验逻辑不能只写一份。移动参数可能已处于无效状态(如被std::move()后又意外访问),需在校验前完成所有权转移或复制。
最稳妥的方式是统一按值传参:void set_name(std::string name)。这样既能接收左值(拷贝)也能接收右值(移动),且校验操作始终作用于稳定副本,不会干扰原对象。
- 避免重载
set_x(const T&)和set_x(T&&)并分别校验——易漏逻辑、难维护 - 如果性能敏感且确定参数总是大对象,可用
std::string_view做只读校验,但赋值时仍需转为std::string存储 - 校验函数本身应标记
noexcept,否则移动构造可能因校验抛异常而中断强异常保证
编译期能做的校验尽量提前
部分合法性可下移到模板参数或constexpr函数,比如枚举值范围、数组长度约束。这能拦截错误在编译阶段,比运行时抛异常更彻底。
例如用static_assert限制模板参数:template<int n> struct Buffer { static_assert(N > 0 && N 。但注意:这类检查仅适用于编译期已知值,无法替代对运行时输入(如用户输入、网络数据)的校验。</int>
-
constexpr校验函数必须满足常量表达式要求,不能调用std::string成员函数 - 对浮点数范围检查慎用
static_assert,因为字面量精度和运行时计算可能不一致 - 编译期检查和运行时检查不是二选一,而是分层互补:前者防蠢错,后者防恶意/异常输入
真正麻烦的是那些“合法但危险”的输入——比如时间戳是正数但远超纪元年份,IP地址格式正确但属于私有网段。这类边界需要业务语义理解,没法靠通用规则覆盖,得靠注释写清楚校验意图,不然半年后自己都看不懂为什么拦了这个值。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











