取消引用指针以获取引用是错误的吗？

Question

我更喜欢在任何地方使用引用,但是当你使用STL容器时,你必须使用指针,除非你真的想按值传递复杂的类型.我觉得很难转换回参考,这似乎是错误的.

是吗？

澄清...

MyType *pObj = ...
MyType &obj = *pObj;

这不是'脏',因为你可以(即使只是在理论上,因为你先检查它)取消引用一个NULL指针？

编辑:哦,你不知道对象是否是动态创建的.

Answer 1

在尝试将指针转换为引用之前确保指针不为NULL,并且只要引用(或保持分配,引用堆),对象将保留在作用域中,并且您将没事,道德干净:)

Answer 2

使用解除引用的指针初始化引用绝对没问题,无论如何都没有错.如果p是指针,并且如果解除引用它是有效的(例如,它不是null),那么*p它是指向的对象.您可以绑定对该对象的引用,就像绑定对任何对象的引用一样.显然,您必须确保引用不会超过对象(就像任何引用一样).

例如,假设我传递了一个指向对象数组的指针.它也可以是迭代器对,或对象的向量,或对象的向量map,但为了简单起见,我将使用数组.每个对象都有一个函数order,返回一个整数.我bar按照增加的order值顺序在每个对象上调用一次函数:

void bar(Foo &f) {
    // does something
}

bool by_order(Foo *lhs, Foo *rhs) {
    return lhs->order() < rhs->order();
}

void call_bar_in_order(Foo *array, int count) {
    std::vector<Foo*> vec(count);  // vector of pointers
    for (int i = 0; i < count; ++i) vec[i] = &(array[i]);
    std::sort(vec.begin(), vec.end(), by_order);
    for (int i = 0; i < count; ++i) bar(*vec[i]); 
}

我的示例初始化的引用是函数参数而不是直接变量,但我可以有效地完成:

for (int i = 0; i < count; ++i) {
    Foo &f = *vec[i];
    bar(f);
}

显然,vector<Foo>这是不正确的,因为那时我会按顺序调用每个对象bar的副本,而不是按顺序调用每个对象.bar采用非const引用,所以除了性能或其他任何东西,如果bar修改输入显然是错误的.

智能指针或提升指针向量的向量也是错误的,因为我不拥有数组中的对象,当然也不能释放它们.也可能不允许对原始数组进行排序,或者如果它map不是数组则不可能.

Answer 3

不。你还能如何实现operator=？您必须取消引用this才能返回对自己的引用。

请注意，我仍然会按值将项目存储在 STL 容器中——除非您的对象很大，否则堆分配的开销将意味着您使用更多的存储空间，并且效率低于您只是按值存储项目。