引转移——避免在通用引用上重载

文章目录避免在通用引用上重载最危险的反模式为什么通用引用重载如此危险特殊危险地带构造函数何时安全避免在通用引用上重载核心要点要点1在通用引用上重载几乎总是导致函数被意外调用的频率远超预期2完美转发构造函数尤其危险会劫持非 const 左值的拷贝请求并劫持派生类对基类拷贝/移动构造的调用3通用引用的贪婪匹配特性使其在重载决议中具有压倒性优势4替代方案见条款27——不要试图在通用引用上重载最危险的反模式//全局容器std::multisetstd::stringnames;// 版本1针对左值voidlogAndAdd(conststd::stringname){names.insert(name);}// 版本2为高效处理右值而添加的通用引用重载 ❌templatetypenameTvoidlogAndAdd(Tname){names.insert(std::forwardT(name));}看起来完美——直到你真正使用它std::string nameAlice;logAndAdd(name);// 调用版本1 还是版本2// 答案调用版本2T 推导为 std::string// 模板版本是精确匹配压倒一切// 如果 name 是 const 的版本1 仍然不匹配——还是版本2shortidx42;logAndAdd(idx);// ❌ 编译错误// T 推导为 shortstd::multisetstd::string::insert 期望 std::string// short 本可隐式转换为 std::string若调用版本1但模板完美匹配 short// 错误信息埋藏在 std::string 构造函数深处 —— 令人发指为什么通用引用重载如此危险核心矛盾通用引用模板是 C 的贪婪匹配器——它能精确匹配几乎任何类型远比需要类型转换的非模板重载版本更有竞争力。重载决议优先级 1. 精确匹配通用引用 T ← 被选中 2. 需要派生类 → 基类转换 3. 需要 const 转换 4. 需要用户定义的隐式转换 ... 99. 需要标准隐式类型转换const T ← 被跳过特殊危险地带构造函数classPerson{public:templatetypenameTexplicitPerson(Tn)// 通用引用构造贪婪:name(std::forwardT(n)){}Person(constPersonrhs);// 拷贝构造编译器生成或自定义private:std::string name;};Personp(Nancy);autocloneOfP(p);// ❌ 编译错误// 你期望调用 Person(const Person) 拷贝构造函数// 实际发生调用 Person(T) 通用引用版本//// T 推导为 Person → Person(Person n)// p 不是 const → 精确匹配 Person 比 const Person 更优classSpecialPerson:publicPerson{public:SpecialPerson(constSpecialPersonrhs):Person(rhs)// ❌ 调用 Person(T)而非 Person(const Person){}SpecialPerson(SpecialPersonrhs):Person(std::move(rhs))// ❌ 同样问题{}};// rhs 和 std::move(rhs) 的类型是 SpecialPerson 和 SpecialPerson// 而非 Person / Person → 模板比基类拷贝/移动更匹配何时安全只有当通用引用是唯一的重载版本或者模板参数受到足够严格的约束通用引用重载才可能安全。// ✅ 安全唯一版本没有重载templatetypenameTvoidlogAndAdd(Tname){names.insert(std::forwardT(name));}