如果我有这个:
int a = 2;
int b = 4;
int &ref = a;
如何在此代码之后进行ref
引用?b
这是不可能的,这是设计使然。引用不能被反弹。
对于 C++11,有新的(ish)std::reference_wrapper。
#include <functional>
int main() {
int a = 2;
int b = 4;
auto ref = std::ref(a);
//std::reference_wrapper<int> ref = std::ref(a); <- Or with the type specified
ref = std::ref(b);
}
这对于在容器中存储引用也很有用。
您不能重新分配引用,但如果您正在寻找可以提供类似功能的东西,您可以改为使用指针。
int a = 2;
int b = 4;
int* ptr = &a; //ptr points to memory location of a.
ptr = &b; //ptr points to memory location of b now.
您可以使用以下方法获取或设置指针内的值:
*ptr = 5; //set
int c = *ptr; //get
您不能重新分配参考。
从形式上讲,这是不可能的,因为它是被设计禁止的。随意地说,这是可能的。
引用存储为指针,因此只要您知道如何获取其地址,您就可以随时更改它指向的位置。同样,您也可以在您无权访问时更改 const 变量、const 成员变量甚至私有成员变量的值。
例如,以下代码更改了类 A 的 const private 成员引用:
#include <iostream>
using namespace std;
class A{
private:
const int &i1;
public:
A(int &a):i1(a){}
int geti(){return i1;}
int *getip(){return (int*)&i1;}
};
int main(int argc, char *argv[]){
int i=5, j=10;
A a(i);
cout << "before change:" << endl;
cout << "&a.i1=" << a.getip() << " &i=" << &i << " &j="<< &j << endl;
cout << "i=" << i << " j=" <<j<< " a.i1=" << a.geti() << endl;
i=6; cout << "setting i to 6" << endl;
cout << "i=" << i << " j=" <<j<< " a.i1=" << a.geti() << endl;
*(int**)&a = &j; // the key step that changes A's member reference
cout << endl << "after change:" << endl;
cout << "&a.i1=" << a.getip() << " &i=" << &i << " &j="<< &j << endl;
cout << "i=" << i << " j=" <<j<< " a.i1=" << a.geti() << endl;
j=11; cout << "setting j to 11" << endl;
cout << "i=" << i << " j=" <<j<< " a.i1=" << a.geti() << endl;
return 0;
}
程序输出:
before change:
&a.i1=0x7fff1b624140 &i=0x7fff1b624140 &j=0x7fff1b624150
i=5 j=10 a.i1=5
setting i to 6
i=6 j=10 a.i1=6
after change:
&a.i1=0x7fff1b624150 &i=0x7fff1b624140 &j=0x7fff1b624150
i=6 j=10 a.i1=10
setting j to 11
i=6 j=11 a.i1=11
如您所见,a.i1最初指向i,更改后指向j。
但是,这样做被认为是危险的,因此不被推荐,因为它违背了数据封装和 OOP 的最初目的。它更像是内存地址黑客攻击。
这不可能以您想要的方式。C++ 只是不允许您重新绑定引用指向的内容。
但是,如果你想使用诡计,你几乎可以用一个新的范围来模拟它(永远不要在真正的程序中这样做):
int a = 2;
int b = 4;
int &ref = a;
{
int& ref = b; // Shadows the original ref so everything inside this { } refers to `ref` as `b` now.
}
您可以使用放置新的位置非常容易地制作参考包装器:
template< class T >
class RefWrapper
{
public:
RefWrapper( T& v ) : m_v( v ){}
operator T&(){ return m_v; }
T& operator=( const T& a ){ m_v = a; return m_v;}
//...... //
void remap( T& v )
{
//re-map reference
new (this) RefWrapper(v);
}
private:
T& m_v;
};
int32 a = 0;
int32 b = 0;
RefWrapper< int > r( a );
r = 1; // a = 1 now
r.remap( b );
r = 2; // b = 2 now
这个有可能。因为在引擎盖下,引用是一个指针。以下代码将打印“hello world”
#include "stdlib.h"
#include "stdio.h"
#include <string>
using namespace std;
class ReferenceChange
{
public:
size_t otherVariable;
string& ref;
ReferenceChange() : ref(*((string*)NULL)) {}
void setRef(string& str) {
*(&this->otherVariable + 1) = (size_t)&str;
}
};
void main()
{
string a("hello");
string b("world");
ReferenceChange rc;
rc.setRef(a);
printf("%s ", rc.ref.c_str());
rc.setRef(b);
printf("%s\n", rc.ref.c_str());
}
正如其他答案所述,这是不可能的。
但是,如果您将引用存储在 aclass
或struct
中,则可以使用placement new 重新创建整个事物,因此引用被重新绑定。正如@HolyBlackCat 所指出的,不要忘记使用std::launder
来访问重新创建的对象或使用从新位置返回的指针。考虑我的例子:
#include <iostream>
struct A {
A(int& ref) : ref(ref) {}
// A reference stored as a field
int& ref;
};
int main() {
int a = 42;
int b = 43;
// When instance is created, the reference is bound to a
A ref_container(a);
std::cout <<
"&ref_container.ref = " << &ref_container.ref << std::endl <<
"&a = " << &a << std::endl << std::endl;
// Re-create the instance, and bind the reference to b
A* new_ref_container = new(&ref_container) A(b);
std::cout <<
// &ref_container and new_ref_container are the same pointers
"&ref_container = " << &ref_container << std::endl <<
"new_ref_container = " << new_ref_container << std::endl <<
"&new_ref_container.ref = " << &new_ref_container->ref << std::endl <<
"&b = " << &b << std::endl << std::endl;
return 0;
}
输出是:
&ref_container.ref = 0x7ffdcb5f8c44
&a = 0x7ffdcb5f8c44
&ref_container = 0x7ffdcb5f8c38
new_ref_container = 0x7ffdcb5f8c38
&new_ref_container.ref = 0x7ffdcb5f8c40
&b = 0x7ffdcb5f8c40
虽然这是一个坏主意,因为它违背了使用引用的目的,但可以直接更改引用
const_cast< int& >(ref)=b;