关于C++链表中const指针参数的两个编译疑问

可正常编译的代码 #

struct Node {
    int data;    
    Node *link;
};

// 可编译运行的版本
size_t list_length(const Node* head_ptr) {
    size_t size{};
    for ( ; head_ptr != nullptr; head_ptr = head_ptr->link) {
        size++;    
    }
    return size;
}

无法编译的代码 #

// 编译报错的版本
size_t list_length(const Node* head_ptr) {
    size_t size{};
    Node *ptr = head_ptr; // 报错位置
    for ( ; ptr != nullptr; ptr = ptr->link) {
        size++;    
    }
    return size;
}

疑问解答 #

问题1：为什么第一个版本里能修改head_ptr的值？ #

const Node* head_ptr 里的const修饰的是指针指向的Node对象，意思是你不能通过这个指针去修改Node里的data或link成员，但head_ptr本身只是函数的一个参数（值传递的指针变量），修改它的指向（让它从指向第一个节点变成指向第二个节点）完全没问题——这只是改变了指针变量自身的值，并没有修改它指向的Node内容。

简单区分：const Node* 是「指向const对象的指针」（指针指向的内容不能改，指针本身可以改）；如果是Node* const才是「指针本身不能改，但指向的内容可以改」。

问题2：为什么不能把head_ptr赋值给普通Node*指针？ #

const Node*是一个“承诺不会修改指向内容”的指针，而Node*是可以随意修改指向内容的指针。如果允许直接把const Node*赋值给Node*，那你就可以通过ptr去修改原本被const保护的Node对象，这违背了const的设计初衷，所以编译器会直接报错阻止这种不安全的隐式转换。

如果确实需要这么做（比如你确定不会通过ptr修改内容），可以用const_cast强制转换：Node *ptr = const_cast<Node*>(head_ptr);，但这种做法不推荐，除非你明确知道自己在做什么，否则很容易引入bug。

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