「sizeof(a?true:false)」が4バイトの出力を返すのはなぜですか?

133
msc 2017-10-30 22:37.

sizeof三項演算子を使用した演算子に関する小さなコードがあります。

#include <stdio.h>
#include <stdbool.h>

int main()
{
    bool a = true;
    printf("%zu\n", sizeof(bool));  // Ok
    printf("%zu\n", sizeof(a));     // Ok
    printf("%zu\n", sizeof(a ? true : false)); // Why 4?
    return 0;
}

出力(GCC):

1
1
4 // Why 4?

しかし、ここで、

printf("%zu\n", sizeof(a ? true : false)); // Why 4?

三項演算子はbooleantypeを返し、sizeoftypebool1Cのバイトです。

では、なぜsizeof(a ? true : false)4バイトの出力が得られるのでしょうか。

6 answers

223
Justin 2017-10-30 22:42.

それはあなたが持っているからです#include <stdbool.h>。そのヘッダの定義マクロ truefalseなるように10、ので、このようなあなたの文のルックス:

printf("%zu\n", sizeof(a ? 1 : 0)); // Why 4?

sizeof(int) プラットフォームでは4です。

66
Sourav Ghosh 2017-10-30 22:40.

ここで、三項演算子の戻り値のboolean型、

OK、それだけではありません!

Cでは、この3項演算の結果はタイプintです。[以下の注記(1,2)]

したがって、結果はsizeof(int)プラットフォーム上の式と同じになります。


注1:引用C11、§7.18章、Boolean type and values <stdbool.h>

[....]残りの3つのマクロは、#ifディレクティブの前処理での使用に適しています。彼らです

true

これは整数定数1に展開されます

false

これは整数定数0に展開されます[....]

注2:条件演算子については、§6.5.15章(強調鉱山

最初のオペランドが評価されます。その評価と第2オペランドまたは第3オペランドの評価(どちらか評価された方)の間にシーケンスポイントがあります。2番目のオペランドは、最初のオペランドが0と等しくない場合にのみ評価されます。3番目のオペランドは、最初のオペランドが0に等しい場合にのみ評価されます。結果は、2番目または3番目のオペランド(評価された方)の値です。[...]

そして

2番目と3番目のオペランドの両方に算術型がある場合、通常の算術変換によって決定される結果の型は、それらがこれらの2つのオペランドに適用された場合に、結果の型になります。[....]

したがって、結果は整数型になり、値の範囲のため、定数は正確に型になりintます。

とは言うものの、一般的なアドバイスは、真に標準に準拠することであるint main()必要がありますint main (void)

58
n. 'pronouns' m. 2017-10-30 23:49.

三項演算子は赤いニシンです。

    printf("%zu\n", sizeof(true));

4(またはsizeof(int)プラットフォーム上にあるもの)を出力します。

以下は、boolcharサイズ1の同義語または同様のタイプであり、intがより大きいことを前提としていcharます。

理由sizeof(true) != sizeof(bool)sizeof(true) == sizeof(int)するので、単純でtrueあるではない型の式bool。これは型の式intです。それはさ#defineをd1の中でstdbool.h

boolCには型の右辺値はまったくありません。このような右辺値はすべてint、の引数として使用されている場合でも、すぐにに昇格されますsizeof編集:この段落は真実ではありません、引数sizeofはに昇格されませんint。ただし、これは結論には影響しません。

31
Lundin 2017-10-31 23:47.

Cのブール型について

ブール型は、1999年のC言語のかなり遅い時期に導入されました。それ以前は、Cにはブール型がなく、代わりintにすべてのブール式に使用されていました。したがって、> == !etcなどのすべての論理演算子intは値1またはを返します0

アプリケーションではtypedef enum { FALSE, TRUE } BOOL;、などの自家製タイプを使用するのが習慣でしたが、これもintサイズタイプに要約されます。

C ++には、はるかに優れた明示的なブール型がありbool、これは1バイト以下でした。Cのブール型または式は、最悪の場合4バイトになります。C ++との互換性のいくつかの方法は、C99標準のCで導入されました。次に、Cはブール型_Boolとヘッダーを取得しましたstdbool.h

stdbool.hC ++との互換性を提供します。このヘッダーは、に展開されるマクロbool(C ++キーワードと同じスペル)を定義します。この_Boolタイプは、おそらく1バイトの小さい整数型です。同様に、ヘッダーは2つのマクロtruefalseC ++キーワードと同じスペルを提供しますが、古いCプログラムとの下位互換性があります。したがって、truefalseに拡大1し、0Cに、そのタイプがありますint。これらのマクロは、対応するC ++キーワードのように実際にはブール型ではありません。

同様に、下位互換性の目的で、Cの論理演算子は、最近Cがブール型を取得したとしても、今日でもを返しintます。C ++では、論理演算子はを返しますbool。したがってこのような表現は、sizeof(a == b)のサイズ与えるintCで、しかしのサイズboolC ++です。

条件演算子について ?:

条件演算子?:は、いくつかの癖のある奇妙な演算子です。と100%同等であると信じるのはよくある間違いif() { } else {}です。完全ではありません。

1番目のオペランドと2番目または3番目のオペランドの評価の間にはシーケンスポイントがあります。?:オペレータは、それが評価されていないオペランドのいずれかの副作用を実行することができないので、第二または第三のオペランドのいずれかのみを評価することが保証されます。のようなコードtrue? func1() : func2()は実行されませんfunc2()。ここまでは順調ですね。

ただし、2番目と3番目のオペランドは暗黙的に型昇格され、通常の算術変換を使用して相互にバランスを取る必要があるという特別な規則があります。(暗黙的なタイプのプロモーションルール)。これは、2番目または3番目のオペランドが常に少なくとも。と同じ大きさになることを意味しintます。

したがって、式は常に少なくとも関係のないサイズを与えるので、それは問題ではなくtruefalseたまたまintCの型であることになりますint

式を書き直しても !のサイズが返されます。sizeof(a ? (bool)true : (bool)false) int

これは、通常の算術変換による暗黙的な型の昇格によるものです。

21
chqrlie 2017-10-31 23:02.

素早い回答:

  • sizeof(a ? true : false)とはそれぞれとしてとで定義されている4ためtrue、と評価されます。そのため、式は、プラットフォーム上で4バイトを占めるタイプが整数の式に展開されます。同じ理由で、あなたのシステムでも評価されます。false<stdbool.h>10sizeof(a ? 1 : 0)intsizeof(true)4

ただし、次の点に注意してください。

  • sizeof(a ? a : a)また4、これらが整数式である場合、三項演算子が2番目と3番目のオペランドで整数昇格を実行するために評価されます。もちろん、sizeof(a ? true : false)とについても同じことが起こりますが、sizeof(a ? (bool)true : (bool)false)式全体をキャストすると、bool期待どおりに動作しますsizeof((bool)(a ? true : false)) -> 1

  • また、比較演算子はブール値1またはに評価されます0が、intタイプは次のとおりsizeof(a == a) -> 4です。

ブール型の性質を維持する唯一の演算子はa次のとおりです。

  • コンマ演算子:両方sizeof(a, a)とコンパイル時にsizeof(true, a)評価さ1れます。

  • 代入演算子:両方sizeof(a = a)sizeof(a = true)の値は1

  • インクリメント演算子: sizeof(a++) -> 1

最後に、上記のすべてが唯一のCに適用されます:C ++はに関する異なる意味があるboolタイプ、ブール値truefalse、比較演算子と三項演算子を:これらのすべてsizeof()の式は、と評価する1C ++インチ

1
u__ 2017-11-06 01:42.

これは、ソースに含まれているものからのスニペットです

#ifndef __cplusplus

#define bool    _Bool
#define true    1
#define false   0

#else /* __cplusplus */

マクロがありtruefalseそれぞれ1と0として宣言されています。

ただし、この場合、型はリテラル定数の型です。0と1はどちらもintに収まる整数定数であるため、それらの型はintです。

そしてsizeof(int)あなたのケースでは4です。

Related questions

MORE COOL STUFF

「水曜日」シーズン1の中心には大きなミステリーがあります

「水曜日」シーズン1の中心には大きなミステリーがあります

Netflixの「水曜日」は、典型的な10代のドラマ以上のものであり、実際、シーズン1にはその中心に大きなミステリーがあります.

ボディーランゲージの専門家は、州訪問中にカミラ・パーカー・ボウルズが輝くことを可能にした微妙なケイト・ミドルトンの動きを指摘しています

ボディーランゲージの専門家は、州訪問中にカミラ・パーカー・ボウルズが輝くことを可能にした微妙なケイト・ミドルトンの動きを指摘しています

ケイト・ミドルトンは、州の夕食会と州の訪問中にカミラ・パーカー・ボウルズからスポットライトを奪いたくなかった、と専門家は言う.

一部のファンがハリー・スタイルズとオリビア・ワイルドの「非常に友好的な」休憩が永続的であることを望んでいる理由

一部のファンがハリー・スタイルズとオリビア・ワイルドの「非常に友好的な」休憩が永続的であることを望んでいる理由

一部のファンが、オリビア・ワイルドが彼女とハリー・スタイルズとの間の「難しい」が「非常に友好的」な分割を恒久的にすることを望んでいる理由を見つけてください.

エリザベス女王の死後、ケイト・ミドルトンはまだ「非常に困難な時期」を過ごしている、と王室の専門家が明らかにする 

エリザベス女王の死後、ケイト・ミドルトンはまだ「非常に困難な時期」を過ごしている、と王室の専門家が明らかにする&nbsp;

エリザベス女王の死後、ケイト・ミドルトンが舞台裏で「非常に困難な時期」を過ごしていたと伝えられている理由を調べてください.

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

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

セント ヘレナ島のジェイコブズ ラダーは 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アプリの人気が爆発的に高まっています。しかし、それは本当にあなたを速読術にすることができますか?

Total War:Warhammer:Kotakuレビュー

Total War:Warhammer:Kotakuレビュー

私はこのゲームを嫌う準備ができていました。先週の前に、Total War:Warhammerについての私の考えがありました:それでもここに私は、私の手にある完成品であり、私は変わった男です。

涙の道:軍事化された帝国主義勢力がスタンディングロックキャンプを占領

涙の道:軍事化された帝国主義勢力がスタンディングロックキャンプを占領

スタンディングロックスー族のメンバーと水の保護者は、ノースダコタ州のスタンディングロックにあるオセティサコウィンキャンプを去ります。(Twitter経由のCNNスクリーンショット)火と煙がスカイラインを覆い、スタンディングロックスー族のメンバーと水の保護者が、聖なるものを守りながら建てた家、オセティサコウィン(セブンカウンシルファイアーズ)キャンプから行進し、太鼓を打ち、歌い、祈りました。ダコタアクセスパイプラインとしても知られる「ブラックスネーク」からの土地。

シアーズとKマートはイヴァンカ・トランプの商品を自分たちで取り除いています

シアーズとKマートはイヴァンカ・トランプの商品を自分たちで取り除いています

写真:APシアーズとKマートは、イヴァンカ・トランプのトランプホームアイテムのコレクションも、誰も購入したくないために削除しました。シアーズとKマートの両方の親会社であるシアーズホールディングスは、土曜日のABCニュースへの声明で、彼らが気にかけていると辛抱強く説明しましたトランプラインを売り続けるにはお金を稼ぐことについてあまりにも多く。

ポテトチップスでたった10分でスペインのトルティーヤを作る

ポテトチップスでたった10分でスペインのトルティーヤを作る

伝統的なスペインのトルティーヤは通常、オリーブオイルで柔らかくなるまで調理されたポテトから始まります(30分以上かかる場合があります)が、ケトルで調理されたポテトチップスの助けを借りてわずか10分でテーブルに置くことができます。上のビデオはすべてがバラバラにならないように裏返す方法を含め、レシピ全体を説明しますが、必要なのは4〜5個の卵と3カップのケトルチップスだけです。

ケイト・ミドルトンとウィリアム王子は、彼らが子供たちと行っているスパイをテーマにした活動を共有しています

ケイト・ミドルトンとウィリアム王子は、彼らが子供たちと行っているスパイをテーマにした活動を共有しています

ケイト・ミドルトンとウィリアム王子は、子供向けのパズルの本の序文を書き、ジョージ王子、シャーロット王女、ルイ王子と一緒にテキストを読むと述べた.

事故で押しつぶされたスイカは、動物を喜ばせ水分補給するために野生生物保護団体に寄付されました

事故で押しつぶされたスイカは、動物を喜ばせ水分補給するために野生生物保護団体に寄付されました

Yak's Produce は、数十個のつぶれたメロンを野生動物のリハビリ専門家であるレスリー グリーンと彼女のルイジアナ州の救助施設で暮らす 42 匹の動物に寄付しました。

デミ・ロヴァートは、新しいミュージシャンのボーイフレンドと「幸せで健康的な関係」にあります: ソース

デミ・ロヴァートは、新しいミュージシャンのボーイフレンドと「幸せで健康的な関係」にあります: ソース

8 枚目のスタジオ アルバムのリリースに向けて準備を進めているデミ ロヴァートは、「スーパー グレート ガイ」と付き合っている、と情報筋は PEOPLE に確認しています。

Plathville の Kim と Olivia Plath が数年ぶりに言葉を交わすことへようこそ

Plathville の Kim と Olivia Plath が数年ぶりに言葉を交わすことへようこそ

イーサン プラスの誕生日のお祝いは、TLC のウェルカム トゥ プラスビルのシーズン 4 のフィナーレで、戦争中の母親のキム プラスと妻のオリビア プラスを結びつけました。

仕事の生産性を高める 8 つのシンプルなホーム オフィスのセットアップのアイデア

仕事の生産性を高める 8 つのシンプルなホーム オフィスのセットアップのアイデア

ホームオフィスのセットアップ術を極めよう!AppExert の開発者は、家族全員が一緒にいる場合でも、在宅勤務の技術を習得しています。祖父や曽祖父が共同家族で暮らしていた頃の記憶がよみがえりました。

2022 年、私たちのデジタル ライフはどこで終わり、「リアル ライフ」はどこから始まるのでしょうか?

20 年前のタイムトラベラーでさえ、日常生活におけるデジタルおよびインターネットベースのサービスの重要性に驚くことでしょう。MySpace、eBay、Napster などのプラットフォームは、高速化に焦点を合わせた世界がどのようなものになるかを示してくれました。

ニューロマーケティングの秘密科学

ニューロマーケティングの秘密科学

マーケティング担当者が人間の欲望を操作するために使用する、最先端の (気味が悪いと言う人もいます) メソッドを探ります。カートをいっぱいにして 3 桁の領収書を持って店を出る前に、ほんの数点の商品を買いに行ったことはありませんか? あなたは一人じゃない。

地理情報システムの日: GIS 開発者として学ぶべき最高の技術スタック

地理情報システムの日: GIS 開発者として学ぶべき最高の技術スタック

私たちが住んでいる世界を確実に理解するには、データが必要です。ただし、空間参照がない場合、このデータは地理的コンテキストがないと役に立たなくなる可能性があります。

Language