cppreference中std::reference_wrapper构造函数的detail::FUN<T> SFINAE解析

一、detail::FUN(...)的作用 #

这个工具函数的两个重载是为reference_wrapper的构造做关键校验：

• 拦截右值参数：第二个重载void FUN(T&&) = delete直接禁用了右值参数的调用。因为reference_wrapper本质是包装左值引用，不能绑定临时对象（右值），如果传入右值，编译器会匹配到这个被delete的重载，直接触发编译错误。
• 验证类型转换合法性：第一个重载T& FUN(T& t)要求传入的参数能隐式转换为T&。当传入U类型参数时，detail::FUN<T>(std::forward<U>(u))会尝试把u转换成T&，如果转换不合法（比如U和T完全无关，或者U&无法转成T&），这个调用会失败，触发SFINAE机制，让该构造函数重载被排除。
• 保留左值属性：哪怕U是右值引用类型，只要std::forward<U>(u)实际是左值（比如U本身是左值引用），就会匹配第一个重载返回T&，确保后续std::addressof能拿到合法的左值地址。

二、SFINAE构造的设计意图 #

这个构造的设计不止是确保U&可转换为T&，而是三重目的：

1. 验证类型转换：通过detail::FUN<T>(std::declval<U>())确保U类型参数能转换成T&，转换失败则构造函数不参与重载候选。
2. 避免和拷贝构造函数冲突：std::enable_if_t<!std::is_same_v<reference_wrapper, std::remove_cvref_t<U>>>()这个条件，是为了禁止用reference_wrapper本身（包括带const/volatile限定的版本）调用这个模板构造函数。如果没有这个限制，当传入reference_wrapper对象时，模板构造函数可能会比默认拷贝构造函数更“匹配”，导致拷贝逻辑被意外覆盖。
3. 强制绑定左值：结合detail::FUN的右值禁用重载，确保这个构造函数只能接受能转换为T&的左值，完全符合reference_wrapper绑定左值的语义。

内容的提问来源于stack exchange，提问作者user3882729