Question

我已经使用弱指针和灵巧指针实现了双链表。该程序正在运行，但是我对const签名方法中的getPrev表示怀疑。如果将const放在方法签名的末尾，将导致绑定引用错误

error: binding reference of type 'std::weak_ptr<Node<Integer> >&' to 'const std::weak_ptr<Node<Integer> >' discards qualifiers
         return prev;

该const的目的不是将*this标记为const吗？根据我的理解，返回类型是非常数。

下面是代码main.cpp：

#include <memory>
#include <iostream>
#include "DoubleLinkedList.h"

class Integer {
private:
    int number;
public:
    Integer(int number) : number(number) {}

    int get() { return number; }

};

int main() {

    DoubleLinkedList<Integer> list;
    list.insert(Integer(1));
    list.insert(Integer(2));
    list.insert(Integer(3));
    list.insert(Integer(4));
    list.insert(Integer(5));


    return 0;
}

DoubleLinkedList.h

#include <memory>
#include <vector>
#include <iostream>

template <typename T>
class Node {
private:
    T data;
    std::weak_ptr<Node> prev;
    std::shared_ptr<Node> next;
public:
    Node(): data(0) {}

    Node(const T &object) : data(object) {};

    T getData() const {
        return data;
    }

    void setData(T data) {
        Node::data = data;
    }

    std::weak_ptr<Node> &getPrev() const {
        return prev;
    }

    void setPrev(const std::weak_ptr<Node> &prev) {
        Node::prev = prev;
    }

    std::shared_ptr<Node> &getNext() {
        return next;
    }

    void setNext(const std::shared_ptr<Node> &next) {
        Node::next = next;
    }
};

template <typename T>
class DoubleLinkedList {
private:
    std::shared_ptr<Node<T>> header;
    std::weak_ptr<Node<T>> trailer;
    int size;
public:

    DoubleLinkedList() : size(0) {}

    void insert(const T &value) {
        auto node = std::make_shared<Node<T>>(value);

        if (size++ == 0) {
            header = node;
        } else {
            auto last = trailer.lock();
            last->getNext() = node;
            node->getPrev() = last;
        }
        trailer = node;
    }


};

Answer 1

如果您使用的是const方法，则所有数据成员均被视为const。

也就是说，在此函数内部：

std::weak_ptr<Node> &getPrev() const

您可以想象这样的成员变量：

const T data;
const std::weak_ptr<Node> prev;
const std::shared_ptr<Node> next;

很明显，您不能返回对const对象的非const引用：

const int x;

int& getX()
{
  return x; // error
}

即使引用是x，引用也会允许您修改const，因此，这是被禁止的（正式的：非const引用不能绑定到const对象）。

在const的{{1}}成员函数中，Node是prev，因此const std::weak_ptr<Node>不能出于完全相同的原因绑定到它。 / p>

似乎在std::weak_ptr<Node>&中，您确实打算修改insert（通过更改其node的值），在这种情况下，prev函数不应为const（因为您打算修改对象）。但是这种访问可能应该保留给getPrev，而不是一些任意的外部用户。然后，这成为界面设计的问题：您的代码的哪些部分是实现细节，以及应该如何向用户隐藏？用户应该与之交互的界面是哪些部分（以最小的机会破坏东西）？

返回非常量引用会导致绑定引用错误

1 个答案: