为什么 if 语句返回 false 后我的 for 循环会中断？

Question

这是我创建的一个链表类的搜索方法。当 if 语句第一次为 false 时，for 循环“Find Nodes With Kind”会中断。我已经包含了整个方法，以及方法之外的相关常量、枚举、结构和变量。我已经尝试添加大括号并切换到 while 循环，结果相同。我已经在 CLion 和 OnlineGDB.com 中对其进行了测试。

没有错误。如果KIND 与位置 0 中的Bead 相同（例如copper），则返回包含位置 0 的指针，以及紧随其后的每个位置也包含相同的珠子类型，但不包含在第一个不是那种珠子的位置之后持有那种珠子的位置。如果不是在 0 位置的类型（例如 0 包含 silver 并搜索 copper），则返回 nullptr。

/* list.h */

/* ...blah, blah, blah... */

// Enumerated Data Types
    // Bead Types
enum Bead: unsigned char{copper, silver, gold};

// Global Constants
const unsigned char X0 = 0, X1 = 1;

/* ...Other Stuff... */

class List
{
    /* ...irrelevant stuff...*/

    // Structures/Classes
    struct Node         // List's Node structure.
    {
        // Fields
        Bead   kind;        // Holds the kind of bead.
        Node * next;        // Points to the next Node.
        /* ...Other Stuff... */
    };

    // Fields
    Node * head;
    /* ...Other Stuff... */
public:
    /* ...Other Stuff... */

    // Methods
    size_t length() const;  // Length Retriever
    /* ...Other Stuff... */
};
/* ...Other Stuff... */

/* list.cpp */

/* ...blah, blah, blah... */

// Search Method
size_t * List::search(const Bead & KIND)
{
    // Method Variables/Constants
    List::Node   * node    = head;      // Pointer to move through the list.
    const size_t   L        {length()}, // Size of list.
                   LP1      {L + X1};   // List + 1 For Length
          size_t   position[LP1],       // Holds Positions Found
                   newSize = X1,        // Size of returned array.
                 * returned;            // Returned array.

    // Error Check
    if(!head) return nullptr;           // Return nullptr if empty.

    // Find Nodes With Kind
    for(size_t i = X0; i < L; ++i)      // Until end is reached:
        if(node->kind == KIND)          // If kind found:
        {                               // Add position to position[].
            position[newSize++] = i;    // Update newSize.
            node = node->next;          // Move to the next Node.
        }

    // When finished; set position[0] to newSize.
    position[X0] = newSize;

    // Return what was found; if anything.
    if(newSize > X1)
    {
        returned = new size_t[newSize];         // Create correctly sized array,
        for(size_t i = X0; i < newSize; ++i)        // and copy data over.
            *(returned + i) = position[i];
        return returned;                        // Then return it.
    }

    // Return nullptr if nothing was found:
    return nullptr;
}
/* ...Other Stuff... */

Answer 1

我对您的代码的一些问题是：

• 为什么数组不从索引 0 开始？
• 为什么要创建一个临时数组，只需填充最终数组
• 填充结果数组很奇怪，为什么使用*(returned + i) = ... 而不是returned[i] = ...

我对您的代码进行了修改，这就是我想出的。它与您的代码不完全相同，因为我不了解您代码的某些方面，但是，我认为您应该能够将其用作模板来缩短您的代码：

size_t * List::search(const Bead & KIND)
{
    size_t total = 0;
    for (List::Node* node = head; node; node = node->next)
    {
        if (node->kind == KIND)
            total++;
    }
    if (!total)
        return nullptr;
    size_t* result = new size_t[total];
    size_t index = 0;
    size_t resultIndex = 0;
    for (List::Node* node = head, index = 0; node; node = node->next, index++)
    {
        if (node->kind == KIND)
            result[resultIndex++] = index;
    }
    return result;
}

请注意，此 API 假定调用者将负责检查结果指针并负责删除它。这不是一个好的设计，因为 (1) API 应该负责删除它创建的任何内容，(2) 将分配和释放数组的责任推回给调用者。