効果のないステートメントがCで合法と見なされるのはなぜですか?

13
A. W. 2020-02-28 13:54.

この質問が素朴な場合はご容赦ください。次のプログラムを検討してください。

#include <stdio.h>

int main() {
  int i = 1;
  i = i + 2;
  5;
  i;
  printf("i: %d\n", i);
}

上記の例では、文5;i;完全に余分に見える、まだデフォルトでは、警告やエラーのないコードのコンパイル(ただし、gccは投げないwarning: statement with no effect [-Wunused-value]と警告するとき走ったが-Wall)。それらはプログラムの他の部分には影響を与えませんが、そもそもなぜそれらは有効なステートメントと見なされるのでしょうか。コンパイラは単にそれらを無視しますか?そのようなステートメントを許可することに何か利点はありますか?

5 answers

10
Nate Eldredge 2020-02-28 14:12.

このようなステートメントを許可する利点の1つは、人間が作成するのではなく、マクロまたは他のプログラムによって作成されるコードを使用することです。

例として、int do_stuff(void)成功した場合は0を返し、失敗した場合は-1を返すことになっている関数を想像してみてください。「もの」のサポートはオプションである可能性があります。そのため、次のようなヘッダーファイルを作成できます。

#if STUFF_SUPPORTED
#define do_stuff() really_do_stuff()
#else
#define do_stuff() (-1)
#endif

ここで、可能であれば何かを実行したいが、成功するか失敗するかを実際に気にするかどうかわからないコードを想像してみてください。

void func1(void) {
    if (do_stuff() == -1) {
        printf("stuff did not work\n");
    }
}

void func2(void) {
    do_stuff(); // don't care if it works or not
    more_stuff();
}

ときSTUFF_SUPPORTED0であり、プリプロセッサは、呼を拡大するfunc2だけで読み込むステートメントに

    (-1);

そのため、コンパイラパスには、気になるような「余分な」ステートメントが表示されます。しかし、他に何ができるでしょうか?の場合#define do_stuff() // nothing、のコードfunc1は壊れます。(そしてfunc2、単に読むだけの空のステートメントがまだありますが;、これはおそらくさらに不必要です。)一方、do_stuff()-1を返す関数を実際に定義する必要がある場合は、関数呼び出しのコストが発生する可能性があります。正当な理由はありません。

3
J. Dumbass 2020-02-28 14:00.

Cの単純なステートメントは、セミコロンで終了します。

Cの単純なステートメントは式です。式は、変数、定数、および演算子の組み合わせです。すべての式は、変数に割り当てることができる特定のタイプの値になります。

一部の「スマートコンパイラ」は5を破​​棄する可能性があると言っています。そして私; ステートメント。

2
Keith Thompson 2020-02-28 14:42.

許可するよりも禁止する方が難しいため、効果のないステートメントは許可されます。これは、Cが最初に設計され、コンパイラーがより小さく、より単純になったときに、より適切でした。

式文はセミコロンが続く表現で構成されています。その動作は、式を評価し、結果(存在する場合)を破棄することです。通常、目的は式の評価に副作用があることですが、特定の式に副作用があるかどうかを判断することは必ずしも簡単ではなく、可能でさえありません。

たとえば、関数呼び出しは式であるため、関数呼び出しの後にセミコロンが続くのはステートメントです。この声明には副作用がありますか?

some_function();

の実装を見ずに見分けることは不可能ですsome_function

これはどう?

obj;

おそらくそうではありませんが、objがとして定義されている場合はvolatile、そうなります。

許可の任意になされるべき表現式文、セミコロンを追加することで、言語の定義が簡単になります。式に副作用があることを要求すると、言語定義とコンパイラーが複雑になります。Cは、一貫した一連のルール(関数呼び出しは式、割り当ては式、式の後にセミコロンが続くのはステートメント)に基づいて構築されており、プログラマーが意味のあることや意味のないことを妨げずに、やりたいことを実行できます。

2
dbush 2020-02-28 14:48.

効果のないリストにあるステートメントは、式ステートメントの例です。その構文は、C標準のセクション6.8.3p1に次のように記載されています。

 式ステートメントopt  ;

セクション6.5はすべて式の定義に専念していますが、大まかに言えば、は演算子にリンクされた定数と識別子で構成されています。特に、式には代入演算子が含まれる場合と含まれない場合があり、関数呼び出しが含まれる場合と含まれない場合があります。

したがって、セミコロンが後に続く式はすべて、式ステートメントとしての資格があります。実際、コードのこれらの各行は、式ステートメントの例です。

i = i + 2;
5;
i;
printf("i: %d\n", i);

一部の演算子には、代入演算子のセットやプリ/ポストインクリメント/デクリメント演算子などの副作用があり、関数呼び出し演算子() 、問題の関数の機能によっては副作用が発生する場合があります。ただし、オペレーターの1人に副作用がなければならないという要件はありません。

別の例を次に示します。

atoi("1");

これはprintf、例の呼び出しと同じように、関数を呼び出して結果を破棄しますがprintf、関数呼び出し自体とは異なり、副作用はありません。

1

時々、そのようなステートメントは非常に便利です:

int foo(int x, int y, int z)
{
    (void)y;   //prevents warning
    (void)z;

    return x*x;
}

または、リファレンスマニュアルに、レジスタを読み取って何かをアーカイブするように指示されている場合-たとえば、フラグをクリアまたは設定する場合(uCの世界では非常に一般的な状況)

#define SREG   ((volatile uint32_t *)0x4000000)
#define DREG   ((volatile uint32_t *)0x4004000)

void readSREG(void)
{
    *SREG;   //we read it here
    *DREG;   // and here
}

https://godbolt.org/z/6wjh_5

Related questions

MORE COOL STUFF

Reba McEntire は、彼女が息子の Shelby Blackstock と共有する「楽しい」クリスマスの伝統を明らかにしました:「私たちはたくさん笑います」

Reba McEntire は、彼女が息子の Shelby Blackstock と共有する「楽しい」クリスマスの伝統を明らかにしました:「私たちはたくさん笑います」

Reba McEntire が息子の Shelby Blackstock と共有しているクリスマスの伝統について学びましょう。

メーガン・マークルは、自然な髪のスタイリングをめぐってマライア・キャリーと結ばれました

メーガン・マークルは、自然な髪のスタイリングをめぐってマライア・キャリーと結ばれました

メーガン・マークルとマライア・キャリーが自然な髪の上でどのように結合したかについて、メーガンの「アーキタイプ」ポッドキャストのエピソードで学びましょう.

ハリー王子は家族との関係を修復できるという「希望を持っている」:「彼は父親と兄弟を愛している」

ハリー王子は家族との関係を修復できるという「希望を持っている」:「彼は父親と兄弟を愛している」

ハリー王子が家族、特にチャールズ王とウィリアム王子との関係について望んでいると主張したある情報源を発見してください。

ワイノナ・ジャッドは、パニックに陥った休暇の瞬間に、彼女がジャッド家の家長であることを認識しました

ワイノナ・ジャッドは、パニックに陥った休暇の瞬間に、彼女がジャッド家の家長であることを認識しました

ワイノナ・ジャッドが、母親のナオミ・ジャッドが亡くなってから初めての感謝祭のお祝いを主催しているときに、彼女が今では家長であることをどのように認識したかを学びましょう.

セントヘレナのジェイコブのはしごを登るのは、気弱な人向けではありません

セントヘレナのジェイコブのはしごを登るのは、気弱な人向けではありません

セント ヘレナ島のジェイコブズ ラダーは 699 段の真っ直ぐ上る階段で、頂上に到達すると証明書が発行されるほどの難易度です。

The Secrets of Airline Travel Quiz

The Secrets of Airline Travel Quiz

Air travel is far more than getting from point A to point B safely. How much do you know about the million little details that go into flying on airplanes?

Where in the World Are You? Take our GeoGuesser Quiz

Where in the World Are You? Take our GeoGuesser Quiz

The world is a huge place, yet some GeoGuessr players know locations in mere seconds. Are you one of GeoGuessr's gifted elite? Take our quiz to find out!

バイオニック読書はあなたをより速く読むことができますか?

バイオニック読書はあなたをより速く読むことができますか?

BionicReadingアプリの人気が爆発的に高まっています。しかし、それは本当にあなたを速読術にすることができますか?

モンサントは世界で最も強力な遺伝子編集ツールにアクセスできるようになりました

モンサントは世界で最も強力な遺伝子編集ツールにアクセスできるようになりました

画像:AP通信の農業会社であるモンサントは、MITのブロード研究所とハーバード大学からCRISPR / Cas9遺伝子編集システムを使用するための非独占的なグローバルライセンス契約を取得しました。同社はこれを使用して新しい種子や植物を設計および栽培しますが​​、モンサントがこの革新的な新技術を悪用するのを防ぐために、その使用には重要な制限があります。

グーグルのAIが囲碁世界チャンピオンの李世ドルとの最初の試合に勝った

グーグルのAIが囲碁世界チャンピオンの李世ドルとの最初の試合に勝った

画像提供:Linh Nguyen一連の試合の最初の試合で、Google Deepmindの強力な人工知能AlphaGoが囲碁の世界チャンピオンであるリーセドルを打ち負かしました。セドルとDeepMindの試合(実際には5つのうちの最初の試合)がYouTubeで生放送されました。 3月9日。

アマゾンのタイルスポーツとタイルプロブラックフライデーのお得な情報には無料のエコードットが付属しています

アマゾンのタイルスポーツとタイルプロブラックフライデーのお得な情報には無料のエコードットが付属しています

タイルトラッカーは、鍵を見つけることができないためにいつも遅れている友人に素晴らしい贈り物をします(真剣に、彼らはとても時間厳守です、誰もがいつもそれを言っています、彼らは彼らの鍵を見つけることができませんでした!)、そしてAmazonのタイルブラックフライデーのお得な情報彼ら(またはあなた自身)のためにいくつかを購入するのは簡単です。ここでは3つの選択肢があります:私のお金のために、それはプロを取得する価値があります。

それにふたを置きます。実際、すべてに蓋をしてください。14ドルで12個のシリコンストレッチキッチン蓋を手に入れよう. [エクスクルーシブ]

それにふたを置きます。実際、すべてに蓋をしてください。14ドルで12個のシリコンストレッチキッチン蓋を手に入れよう. [エクスクルーシブ]

Tomorrow's Kitchen シリコンストレッチ蓋 12個パック | $14 | アマゾン | プロモーション コード 20OFFKINJALids は基本的にキッチンの靴下です。常に迷子になり、二度と閉じられない孤立したコンテナーが残ります。しかし、蓋が伸びて、残った容器、鍋、フライパン、さらには大きなスライスされた果物のすべてに適合するとしたらどうでしょうか? その非常に特殊な蓋を失うことを二度と心配する必要はありません。

米国のフィギュア スケートは、チーム イベントでの最終決定の欠如に「苛立ち」、公正な裁定を求める

米国のフィギュア スケートは、チーム イベントでの最終決定の欠如に「苛立ち」、公正な裁定を求める

ロシアのフィギュアスケーター、カミラ・バリエバが関与したドーピング事件が整理されているため、チームは2022年北京冬季オリンピックで獲得したメダルを待っています。

Amazonの買い物客は、わずか10ドルのシルクの枕カバーのおかげで、「甘やかされた赤ちゃんのように」眠れると言っています

Amazonの買い物客は、わずか10ドルのシルクの枕カバーのおかげで、「甘やかされた赤ちゃんのように」眠れると言っています

何千人ものAmazonの買い物客がMulberry Silk Pillowcaseを推奨しており、現在販売中. シルクの枕カバーにはいくつかの色があり、髪を柔らかく肌を透明に保ちます。Amazonで最大46%オフになっている間にシルクの枕カバーを購入してください

パデュー大学の教授が覚醒剤を扱った疑いで逮捕され、女性に性的好意を抱かせる

パデュー大学の教授が覚醒剤を扱った疑いで逮捕され、女性に性的好意を抱かせる

ラファイエット警察署は、「不審な男性が女性に近づいた」という複数の苦情を受けて、12 月にパデュー大学の教授の捜査を開始しました。

コンセプト ドリフト: AI にとって世界の変化は速すぎる

コンセプト ドリフト: AI にとって世界の変化は速すぎる

私たちの周りの世界と同じように、言語は常に変化しています。以前の時代では、言語の変化は数年または数十年にわたって発生していましたが、現在では数日または数時間で変化する可能性があります。

SF攻撃で91歳のアジア人女性が殴られ、コンクリートに叩きつけられた

犯罪擁護派のオークランドが暴力犯罪者のロミオ・ロレンゾ・パーハムを釈放

SF攻撃で91歳のアジア人女性が殴られ、コンクリートに叩きつけられた

認知症を患っている 91 歳のアジア人女性が最近、47 番街のアウター サンセット地区でロメオ ロレンゾ パーハムに襲われました。伝えられるところによると、被害者はサンフランシスコの通りを歩いていたところ、容疑者に近づき、攻撃を受け、暴行を受けました。

ℝ

“And a river went out of Eden to water the garden, and from thence it was parted and became into four heads” Genesis 2:10. ? The heart is located in the middle of the thoracic cavity, pointing eastward.

メリック・ガーランドはアメリカに失敗しましたか?

バイデン大統領の任期の半分以上です。メリック・ガーランドは何を待っていますか?

メリック・ガーランドはアメリカに失敗しましたか?

人々にチャンスを与えることは、人生で少し遅すぎると私は信じています。寛大に。

Language