如何更改代码以避免运行时错误（AddressSanitizer）？

Posted 2023-03-29

【中文标题】如何更改代码以避免运行时错误（AddressSanitizer）？

【英文标题】：How can I change the code to avoid runtime error (AddressSanitizer)?

【发布时间】：2021-05-22 10:53:56

【问题描述】：

我正在解决一个 leetcode 问题，我遇到了这个错误。

AddressSanitizer:DEADLYSIGNAL ==================================================== ================ ==31==错误：AddressSanitizer：SEGV 位于未知地址（pc 0x000000316d72 bp 0x7ffc6ca44b90 sp 0x7ffc6ca44348 T0） ==31==该信号是由 READ 内存访问引起的。 ==31==提示：此故障是由取消引用高值地址引起的（请参阅下面的寄存器值）。拆卸提供的电脑以了解使用了哪个寄存器。 #4 0x7f2548e8e0b2 (/lib/x86_64-linux-gnu/libc.so.6+0x270b2) AddressSanitizer 无法提供附加信息。 ==31==正在中止

我在 Internet 上搜索，发现错误与取消引用空指针有关。 下面是我的代码，错误发生在第18行和第19行。

/**
 * Definition for singly-linked list.
 * struct ListNode 
 *     int val;
 *     ListNode *next;
 *     ListNode() : val(0), next(nullptr) 
 *     ListNode(int x) : val(x), next(nullptr) 
 *     ListNode(int x, ListNode *next) : val(x), next(next) 
 * ;
 */
class Solution 
public:
    ListNode* mergeTwoLists(ListNode* l1, ListNode* l2) 
        ListNode* ans;
        ListNode *tmp1 = l1, *tmp2 = l2;
        while(tmp1 && tmp2)
            if(tmp1->val == tmp2->val)
                *ans = ListNode(tmp1->val);
                *(ans->next) = ListNode(tmp2->val);
                ans = ans->next->next;
                tmp1 = tmp1->next;
                tmp2 = tmp2->next;
            
            else if(tmp1->val < tmp2->val)
                *ans = ListNode(tmp1->val);
                ans = ans->next;
                tmp1 = tmp1->next;
            
            else
                *ans = ListNode(tmp2->val);
                ans = ans->next;
                tmp2 = tmp2->next;
            
        
        if(tmp1 != NULL || tmp2 != NULL)
            ListNode* tmp3 = (tmp1 != NULL) ? tmp1 : tmp2;
            while(tmp3)
                *ans = ListNode(tmp3->val);
                ans = ans->next;
                tmp3 = tmp3->next;
            
        
        return ans;
    
;

虽然我已经知道问题出在哪里，但我不知道如何解决这个问题。 我认为这是合理的。 （这是我的第一篇文章，英语不是我的母语，如果我做错了什么请告诉我，谢谢！）

【问题讨论】：

如果这应该创建一个新列表，您需要动态分配节点（但是，您应该能够按原样使用现有的列表接口，而无需显式创建任何节点）。如果这应该破坏性地合并列表，则根本不应该创建任何节点，而只需更改指针结构。如果不知道它应该做什么，就不可能说你应该如何解决这个问题。

如果你使用-fsanitize=address，还要加上-g或-ggdb。然后，它通常会向您显示发生坏事的确切行号。

【参考方案1】：

ListNode* ans; 是指向 ListNode 的指针，它不是 ListNode。它可以指向ListNode，但不能。

那么这里：

*ans = ListNode(tmp1->val);

当没有ListNode 时，您尝试分配给ListNode。取消引用 ans 是未定义的行为。

【参考方案2】：

快速检查显示 ans 未初始化为指向任何内容。 几行之后，您将分配给 ans 指向的事物。 *ans = ListNode(tmp1->val);

我怀疑您确实需要分配给指针，而不是指向的东西。 ans = ListNode(tmp1->val);

  ListNode* ans;
    ListNode *tmp1 = l1, *tmp2 = l2;
    while(tmp1 && tmp2)
        if(tmp1->val == tmp2->val)
            *ans = ListNode(tmp1->val);