c言語 strcmpを用いた空白確認について

Question

C言語初心者です。読みにくいかもしれませんがご了承ください。

文字列変数[5+1]="";
if(!strcmp(文字列変数,""))｛
true
} false

こういった処理があったとした場合
処理結果はfalseという認識でよろしいでしょうか。
また自身で調べた際、空白比較の際は!(否定)をつけるケースが多かったのですがその理由は何でしょうか?

読みづらい文章で申し訳ございません。
ご回答よろしくお願いいたします。

Comments

[episteme]

space(5) ってなんですか?

[int32_t]

文字列変数[0] から [5] には何が入っているのですか?
文字列変数[5+1]=""; は何を代入する意図ですか?

[退会済みユーザー]

修正いたしました。
空白5文字と表したかったのでこう書いてしまいました。

[int32_t]

コードはコードブロック「```c」と「```」で囲ってください。

Answer 1

"" って、空白じゃないですが…？
空(から)の文字列です。
比較したいのは空白ですか？空(カラ、文字が何も入ってない文字列)ですか？
フツー、空白とはスペース、タブなどを言います。
C言語ならisspace() の仕様を見てください。

「自身で調べた際、空白比較の際は!(否定)をつけるケースが多かった」とは？
調べた時に見つかった例をちゃんと理解しましょう。！ をつける付けないと空文字列を判定することは無関係です。
「みんながこんな風にやっていたからこうした」じゃプログラムは動きません。

付け加えるなら、この程度の短いプログラムなら、チャチャっと書いて動かしてみたほうが、質問するより速いとおもいます。

Answer 2

まず

  char 文字列変数[5+1] = "";

としたならば、実際の文字列変数はこんな感じになっています。
[0] = 0x00 (\0)
[1] = ?
[2] = ?
[3] = ?
[4] = ?
[5] = ?
※[1]～[5]までは初期化されるかどうかは実装依存

その上で、strcmp で比較したら、
[0] が 0x00 と 0x20 で、不一致。ゆえに strcmp は「0ではない値」を返します。

Cの規約上、0でないものを ! で否定した場合は 0 になります。ですので if の条件式は 0 = 偽 となり、処理結果は false 側に倒れます。

strcmp は「一致すると 0」を返すので、単項否定演算子を使って真偽を逆転させることで、if 文の then～else の対応と一致させられるので、よく使われる手法です。
個人的には strcmp() == 0 と書いた方がわかりやすいとは思いますが。

Comments

[kazuma-s]

charの配列を文字列リテラルで初期化するとき、文字数が少ない場合
残りは全部 0 で初期化されます。実装依存ではありません。

規格書(JIS X3010:2003)の次の記述のうち、集成体型は配列型と構造体型の総称です。

6.7.8　初期化
...
集成体型の要素又はメンバの個数より波括弧で囲まれた並びにある初期化子
が少ない場合，又は大きさが既知の配列の要素数よりその配列を初期化する
ための文字列リテラル中の文字数が少ない場合，その集成体型の残りを，
静的記憶域期間をもつオブジェクトと同じ規則で暗黙に初期化する。

Answer 3

strcmp(s1, s2) は文字列s1、s2 を辞書順で比較し、
s1 < s2 なら 負値
s1 = s2 なら 0
s1 > s2 なら 正値
を返します。

!strcmp(s1, s2) は上記の否定なので、 s1 = s2 のとき true(!=0) となります。
※ !なんとか は なんとか == 0 と同じ。

Answer 4

strcmpは空白だろーが区別はありません。
単純に数値比較ですよ