C言語　ポインタ変数にアドレスではない文字列を代入している

C言語のファイル操作の記事を読んでいたのですが
不明点があったのでお願いします。
参考記事

c
1#include <stdio.h>
2#include <stdlib.h>
3 
4int main(int argc, char** argv)
5{
6    FILE* fp;
7    char  buf[1024];
8    char* cmd = "/usr/bin/ls -l /";
9 
10    if ((fp = popen(cmd, "r")) != NULL) {
11        while (fgets(buf, sizeof(buf), fp) != NULL) {
12            printf("%s", buf);
13        }
14        pclose(fp);
15        return 0;
16    }
17    return -1;
18}
19

上記のコードの中の

c
1    char* cmd = "/usr/bin/ls -l /";

この部分。
char型のcmdポインタ変数に文字列を入れているのですが
どういうことなのでしょうか？
本来アドレスを入れるのですよね？
分からないので参考になるリンクまたは説明をお願いします。

行動規範の内容に同意します

回答4件

char型のcmdポインタ変数に文字列を入れているのですが

どういうことなのでしょうか？
本来アドレスを入れるのですよね？

いえ、これもアドレス代入です。C言語の文字列リテラルは基本的にconst char[]（基本となるcharは環境によって変わるかもしれませんが、constな配列であることは共通です）として扱われ、式の中では一部の箇所を除いて先頭を指すアドレスとして解釈されます。

投稿2019/09/06 00:43

maisumakun

総合スコア145183

maisumakun

2019/09/06 00:44

文字列定数を書き換えるとトラブルのもとになるので（何が起きても知らない未定義動作の世界に突入する）、const char *で受けるべきだとは思います（C++だとコンパイルエラーになったかもしれません）。

kazuyakazuya

2019/09/06 01:35

ありがとうございます。

行動規範の内容に同意します

やっぱり基礎から勉強して下さい。
C言語　ポインタ変数　scanf_s　第二引数へ指定する
で、回答（コメント）に有ると思いますが、全く分かってない。
「追記」前回書いた内容をもう一回書きます。
“"World"は配列（コンパイラが割り当てた領域に格納される）です、従って"World"の先頭アドレスがchar *jmojiに代入されます。ちなみに"World"のようにプログラムに、じかに書かれた文字列は文字列リテラルといいます。OSによっては（組み込み系のような）ROM領域に格納されます。
char str[]="World";とは違います。←これは配列の初期化。 ”

投稿2019/09/06 01:01

編集2019/09/06 01:10

cateye

総合スコア6851

cateye

2019/09/06 01:18 編集

アセンブルソース見れば一発なんだけど・・・ｗ “文字列リテラル”で検索しましょう、

kazuyakazuya

2019/09/06 01:35

文字リテラルの認識が甘かったです。ありがとうございます。

行動規範の内容に同意します

ベストアンサー

まず。C言語には「文字列」という基本型はありません。
C言語において文字列とは、
char型の配列で、データ並びの最後にNUL文字'\0'が終端のマークとして付けられているもの
ということになっています。なので、文字列は根っこのところで配列です。

そして、先日の質問への回答で書きましたけど、C言語では配列の扱いを、ほぼ配列の先頭要素へのポインタとみなします。
なので、文字列を管理するのはcharへのポインタ型、ということになります。

「管理するのは」と書きましたけど、文字列のデータそのものはchar型の配列に格納されていて、ポインタはその配列を指しているだけだ、という理解は必要です。

なお、今回は文字列が「リテラル」(定数)なので、定数の中身は書き換えられないということを盛り込んで
const char* cmd = "/usr/bin/ls -l /";
とするほうがベター(型に厳しいC++だとmust)とは思います。

ついでにいうと、これはご存知かと思いますが、
char cmdVal[17]="/usr/bin/ls -l /";
としたときには、cmdValはchar型の配列で、宣言時に"/usr/bin/ls -l /"と'\0'がコピーされます。配列の要素数を省略すると、配列の要素数はコンパイラが最小限を設定してくれます。

以上から、

C
1#include <stdio.h>
2char cmdVal_l[]="/usr/bin/ls -l /";
3char cmdVal_a[]="/usr/bin/ls -a /";
4char *cmd;
5int main(void){
6  cmd=cmdVal_l;
7  printf("%s\n",cmd);
8  cmd=cmdVal_a;
9  printf("%s\n",cmd);
10  return 0;
11}

とすれば、
/usr/bin/ls -l /
/usr/bin/ls -a /
が順次出力される、というのはいいですね?
しかし、

C
1#include <stdio.h>
2char cmdVal_l[]="/usr/bin/ls -l /";
3char cmdVal_a[]="/usr/bin/ls -a /";
4char cmd[17];
5int main(void){
6  cmd=cmdVal_l;
7  printf("%s\n",cmd);
8  cmd=cmdVal_a;
9  printf("%s\n",cmd);
10  return 0;
11}