No.1ベストアンサー
- 回答日時:
> 文法的に (void)0 どのように解釈出来るのでしょう。
文法的には,単純に,0をvoid型にキャストしているだけです。
cast-expression: (void)0 as '(' type-name ')' cast-expression
type-name: void
cast-expression: 0 as unary-expression
unary-expression: 0 as postfix-expression
postfix-expression: 0 as primary-expression
primary-expression: 0 as constant
そして,void型への型変換は,規格 (ISO/IEC 9899:1999) の
6. Language - 6.3 Conversions - 6.3.2 Other operands - 6.3.2.2 void
に説明があり,
> If an expression of any other type is evaluated as a void expression, its value or designator is discarded.
と書かれています。
つまり,値0は単純に破棄されます。
ちなみに,全ての式文は,6.8.3 Expression and null statementの第2段落に
> The expression in an expression statement is evaluated as a void expression for its side effects.
とあるため,voidへのキャストがあるかのように扱われます。
回答有り難う御座います。
詳しいですね。規格を此処まで熟知している人は少ないと思います。
頼りになります。
英語の勉強にもなりました。
また質問したときには、宜しくお願いします。
No.3
- 回答日時:
C言語では、関数呼び出しも代入計算も、基本的に全ての文は「式」に「;」を付けたものになっています。
「func();」という文は、「func()」という式を文にしたものになります。
「b=a+1;」という文は、「b=a+1」という式を文にしたものになります。
同じように、「0;」という文は、「0」という式を文にしたものになります。
ただし、このままだと数式の値を何にも利用していませんから、
コンパイラはバグの可能性を考えて「式の結果を利用していない」という警告を出す場合があります。(例えば、「a+1;」も文としては正しいですが、何の意味もない式文ですので、記述者が間違えている可能性が高いと推測できます)
そこで、「0」という式をvoidにキャストする「(void)0」にすると、式の値を使っていないことを明示できるため、そういう警告を出さないようにできるのです。
では、非デバッグ時にassertの定義がなぜこのような形になっているかというと、
if (foo) assert(bar);
といった形でassertが使われた時に、assert の効果は無くしつつも、assertを式として成立させて、if文としての体裁は変わらないようにしているのです。
早速の回答有り難う御座います。
mtaka2さんの回答を見て下記のプログラムで試した所、コンパイラからは警告もエラーも有りませんでした。
ルネサスのマイコン用コンパイラHEWを使っています。
MISRA C と言うC言語のチェッカでは次の警告が有りました。
0; 何の副作用も無いという警告有り
1 == 1; 何の副作用も無いという警告有り
(void)0; 何の副作用も無いという警告有り
if (1) ; {}を付けた方が良いと言う警告有り
if (1){} ; 警告無し
if (1){(void)0;}; 何の副作用も無いという警告有り
(void)0 を使えば警告は出なくなる事を期待したのですが、出るようです。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
このQ&Aを見た人はこんなQ&Aも見ています
-
あるあるbotに投稿したけど採用されなかったあるある募集
あるあるbotに投稿したけど採用されなかったあるあるをこちらに投稿してください
-
フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
あなたが普段思っている「これまだ誰も言ってなかったけど共感されるだろうな」というあるあるを教えてください
-
映画のエンドロール観る派?観ない派?
映画が終わった後、すぐに席を立って帰る方もちらほら見かけます。皆さんはエンドロールの最後まで観ていきますか?
-
海外旅行から帰ってきたら、まず何を食べる?
帰国して1番食べたくなるもの、食べたくなるだろうなと思うもの、皆さんはありますか?
-
天使と悪魔選手権
悪魔がこんなささやきをしていたら、天使のあなたはなんと言って止めますか?
-
C言語での引数の省略方法
C言語・C++・C#
関連するカテゴリからQ&Aを探す
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
int main()、void main()、void...
-
多重定義が起きている?--lnk20...
-
静的でないメンバ関数の呼び出...
-
gcc: incompatible pointer type
-
既定のコンストラクタがありま...
-
コールバックって・・・
-
C# Controls.Addで動的に配置し...
-
C/C++でのScene管理について
-
C言語 ① 5秒間 1秒間隔で点滅を...
-
C言語 extern について
-
voidポインタをハンドルへ
-
【gcc・cygwin】multiple defin...
-
戻り値を返す関数の前に(void)...
-
C++にてtemplateで受け取った任...
-
ArduinoでMouse関数を使用して...
-
コンパイルエラー: LNK2001
-
マルチメディアタイマー
-
関数の戻り値にその関数のポイ...
-
動的に作ったリッチエディット...
-
アルディーノ初心者です。 下記...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
【gcc・cygwin】multiple defin...
-
C++にてtemplateで受け取った任...
-
戻り値を返す関数の前に(void)...
-
静的でないメンバ関数の呼び出...
-
多重定義が起きている?--lnk20...
-
既定のコンストラクタがありま...
-
C# Controls.Addで動的に配置し...
-
int main()、void main()、void...
-
void*型の配列について
-
(void)0 はどんな意味ですか
-
gcc: incompatible pointer type
-
C# KeyDownイベントでショート...
-
C言語 ① 5秒間 1秒間隔で点滅を...
-
Notepad++の関数リスト表示の変...
-
コールバックって・・・
-
マルチメディアタイマーの使用方法
-
_beginthreadにて発生するコン...
-
C#でラジオボタンを設定に記録...
-
VC++でGetKeyboardStateがうま...
-
typedef unsigned int UINT;が...
おすすめ情報