函数重载_第3页_南昌壹佳企网络通信有限公司

建造者模式适合创建复杂对象，但仅当构造参数多、可选配置多且需分步控制时才真正必要；若不满足不变量校验、组合差异大等条件，应优先使用带默认值的New函数。

函数重载要求同名函数在同一作用域内参数列表不同（类型、个数或顺序），返回类型不参与区分；const成员函数可重载；仅返回类型不同或仅默认参数不同不能构成有效重载。

std::is_same是C++11引入的编译期类型比较工具，严格判断两类型是否字面一致，不考虑cv限定符、引用、隐式转换；其变量模板std::is_same_v更简洁安全。

nullptr是C++11起唯一推荐的空指针字面量；NULL本质是整型常量0或0L，易导致重载歧义、模板推导失败，并触发编译器警告。

std::initializer_list是轻量只读视图，不拥有元素，仅包装栈或静态存储的连续内存；其生命周期依赖初始化表达式，返回局部花括号列表会导致悬空指针，且元素类型必须一致、只读不可修改。

本文介绍在TypeScript中如何让泛型函数根据输入对象的type字段（判别联合）自动推导并返回精确匹配的输出类型，解决switch分支内类型无法被正确收窄的核心问题。

std::not_null是GSL提供的非空指针契约工具，用于函数参数、返回值和成员变量中明确要求非空语义的场景，不适用于可能为空的情况。

std::array是固定大小栈上数组的轻量级封装类模板，非原生数组类型，不支持隐式转换为T*或T[N]，须用.data()等显式获取指针。

隐式转换存在多重风险：数值类型间截断丢精度、函数重载误选、字符串构造开销、模板推导偏差、自定义类型单位语义丢失及双向转换导致编译错误；应启用-Wconversion等警告，单参数构造函数加explicit，用static_cast显式转换。