首頁猿問為什么在不返回值的情況下從非空函數...

為什么在不返回值的情況下從非空函數的末尾流出不產生編譯器錯誤？

C++ C

慕桂英3389331 2019-06-06 13:14:05

為什么在不返回值的情況下從非空函數的末尾流出不產生編譯器錯誤？自從很多年前我意識到這不會在默認情況下產生錯誤(至少在GCC中)，我一直在想為什么？我知道您可以發(fā)出編譯器標志來產生警告，但是它不應該總是一個錯誤嗎？為什么不返回值的非空函數是有效的？評論中要求的一個例子：#include <stdio.h>int stringSize(){}int main(){ char cstring[5]; printf( "the last char is: %c\n", cstring[stringSize()-1] ); return 0;}.編譯.

查看完整描述

3 回答

慕斯709654

TA貢獻1840條經驗獲得超5個贊

GCC在默認情況下不會檢查所有代碼路徑是否返回一個值，因為通常不能這樣做。它假設你知道你在做什么。考慮使用枚舉的常見示例：

Color getColor(Suit suit) {
    switch (suit) {
        case HEARTS: case DIAMONDS: return RED;
        case SPADES: case CLUBS:    return BLACK;
    }

    // Error, no return?}

你的程序員知道，除了一個錯誤，這個方法總是返回一個顏色。GCC相信你知道你在做什么，所以它不會強迫你把回報放在函數的底部。

另一方面，javac試圖驗證所有代碼路徑都返回一個值，如果不能證明它們都返回值，則拋出一個錯誤。此錯誤是Java語言規(guī)范強制要求的。請注意，有時它是錯誤的，您必須放入一個不必要的返回語句。

char getChoice() {
    int ch = read();

    if (ch == -1 || ch == 'q') {
        System.exit(0);
    }
    else {
        return (char) ch;
    }

    // Cannot reach here, but still an error.}

這是哲學上的不同。C和C+比Java或C#更容易理解和信任，因此新語言中的一些錯誤是C/C+中的警告，一些警告默認被忽略或關閉。

反對回復 2019-06-06