“警告：控制到達非空函數的末尾”，但實際上該函數被聲明為int並返回一個int

Question

我有這個功能：

int firstHeapArray (IntHeapArray h) {
    if(!emptyHeapArray(h))
        return h.array[0];
}

它被聲明為int，這是IntHeapArray結構：

typedef struct intHeapArray {
    int *array;
    int size;
} IntHeapArray;

您能說為什么我在編譯時收到此警告嗎？

heap-test.c: In function ‘firstHeapArray’:
heap.h:31:1: warning: control reaches end of non-void function

非常感謝你。

Answer 1

錯誤消息指出您擁有的方法不是void返回值，但是您到達末尾卻沒有返回值。 您需要返回一個有效的int值。

問題在這里：

int firstHeapArray (IntHeapArray h) {
    if(!emptyHeapArray(h))
        return h.array[0];

    // If emptyHeapArray(h) is true, you reach here...

   // You need to return SOMETHING here to remove the warning
   return 0;
}

Answer 2

如果emptyHeapArray(h)返回true，則不返回任何內容。 然后控件到達非無效函數firstHeapArray 。

Answer 3

編譯器推斷， if測試失敗，則沒有return語句if可以執行。

Answer 4

事實上firstHeapArray不返回如果emptyHeapArray(h) == true 。

這是未定義的行為，這意味着可能發生任何事情，很可能在堆為空時使用此函數的任何人都可能會收到隨機值。

您可以處理這種情況，返回成功標志：

bool firstHeapArray (IntHeapArray h, int * out_value) {
   if(!emptyHeapArray(h))
   {
       *value = h.array[0];
       return true; //success
   }
   return false;
}

Answer 5

無論哪種情況，此函數都必須返回值：

int firstHeapArray (IntHeapArray h) {
    if(!emptyHeapArray(h))
        return h.array[0];

    return 0;
}

在您的示例中，僅當滿足某些條件時，它才返回值。