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

為什么在不返回值的情況下從非空函數(shù)的末尾流出不產(chǎn)生編譯器錯(cuò)誤？

C++ C

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

為什么在不返回值的情況下從非空函數(shù)的末尾流出不產(chǎn)生編譯器錯(cuò)誤？自從很多年前我意識(shí)到這不會(huì)在默認(rèn)情況下產(chǎn)生錯(cuò)誤(至少在GCC中)，我一直在想為什么？我知道您可以發(fā)出編譯器標(biāo)志來產(chǎn)生警告，但是它不應(yīng)該總是一個(gè)錯(cuò)誤嗎？為什么不返回值的非空函數(shù)是有效的？評(píng)論中要求的一個(gè)例子：#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貢獻(xiàn)1840條經(jīng)驗(yàn) 獲得超5個(gè)贊

GCC在默認(rèn)情況下不會(huì)檢查所有代碼路徑是否返回一個(gè)值，因?yàn)橥ǔ２荒苓@樣做。它假設(shè)你知道你在做什么?？紤]使用枚舉的常見示例：

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

    // Error, no return?}

你的程序員知道，除了一個(gè)錯(cuò)誤，這個(gè)方法總是返回一個(gè)顏色。GCC相信你知道你在做什么，所以它不會(huì)強(qiáng)迫你把回報(bào)放在函數(shù)的底部。

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

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

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

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

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

反對(duì) 回復(fù) 2019-06-06