微信公众号搜"智元新知"关注
微信扫一扫可直接关注哦!

c – 什么时候std :: reference_wrapper转换为T&?

请考虑以下代码
#include <iostream>
#include <functional>

using namespace std;

template<class T>
void fun(T t) 
{ 
    t+=8;
}


int main()
{
    int i = 0;
    fun(ref(i));
    cout << i << endl;
}

代码打印“8”.我假设fun()中的t自动转换为int&amp ;.

但如果我用t = 8替换t = 8,程序将无法编译.

为什么?

解决方法

的reference_wrapper< T>有一个T&隐式转换运算符,所以它将被转换为T& T& T是比reference_wrapper< T>更好的匹配.

在扩充赋值表达式中,唯一可行的运算符是int& operator =(int&,int),因此int&提取.

在赋值表达式中,成员运算符reference_wrapper< int> :: operator =(const reference_wrapper< int>&)也可用,因此成员运算符是首选;然后编译器尝试从常量8构造一个引用包装器,它会失败.赋值运算符具有重新绑定的效果,这对于像tie这样的工具按预期工作是必需的.

这意味着引用包装器更接近Python等语言中的引用而不是C引用:

#include <functional>
#include <iostream>

int main() {
    int i = 1,j = 2;
    std::ref(i) = j;
    std::cout << i << '\n';                 // prints '1'
}

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。

相关推荐