函数模板_南昌壹佳企网络通信有限公司

左值引用只能绑定左值，右值引用只能绑定右值；std::move仅转换为右值引用而不移动数据；移动操作应声明noexcept；std::forward用于模板中条件转发以保持值类别。

Concepts是语义契约而非语法糖，用于提升模板接口的可读性、可检性和可维护性；它约束类型行为而非结构，强调数学一致性等语义性质，而非仅检查操作符存在。

std::for_each是中的函数模板，用于对区间内每个元素调用指定可调用对象，不支持break/continue，仅依次调用且返回函数对象副本。

std::mismatch是中的函数模板，返回首个不相等位置的迭代器对std::pair；若完全匹配则返回各自末尾迭代器，需确保范围合法并检查返回值有效性。

友元函数声明必须在类内，定义可在类外；它非成员却可访问私有成员，常用于重载流操作符等需非成员且需访问权限的场景。

std::min用于返回两个同类型值中较小者，依据operator

模板特化是为具体类型提供完全替换的专属实现，需用template语法显式指定所有参数，类模板特化可重构内部结构，但函数模板特化不参与重载决议。

Concepts不能彻底替代SFINAE，二者机制不同：Concepts在参数替换后、重载解析前检查约束并直接剔除不满足者，错误更清晰；SFINAE在替换过程中静默丢弃失败特化，仍参与重载解析，适用于动态、异常、元编程等场景。

std::get_if更安全因其返回指针而非抛异常：成功时返回T*，失败时返回nullptr，避免std::bad_variant_access异常及未定义行为；须传非常量左值引用、模板参数须为variant明确声明的类型，且必须判空后解引用。