ポインタにつけるconstについて※イメージ図有り（Ｃ＋＋）

Question

以下にわからなかったコードを記載します。(そのままのコードです)

#include<iostream>
using namespace std;

const char* const MONTH_NAME[]{  
"睦月","如月","弥生","卯月","皐月","水無月","文月","葉月","長月","神無月","霜月","師走"
};

const char* GetOldMonthName(int month){
if(1<=month && month<=12){
return MONTH_NAME[month-1];
}
return 0;
}

int main(){
int month;
 cout<<"今は何月ですか >"<<flush;
cin>>month;

const char*name=GetOldMonthName(month);
if(name==0){
cout<<"そんな月ねーべさ"<<endl;
}else{
cout<<name<<endl;
}
}

このコードを読もうとしたら、最初のconst char* const MONTH_NAME[]のところがわからなくなりました。

const char*は載せたイメージ図で考えると、他のアドレスを代入できないようにするconstで、
const MONTH_NAME[]はこの、MONTH_NAME[]配列に、{ブロック内の月の読み方}以外の値を代入できない

そもそもこの配列はなんのアドレスをいれているのですか？
ポインタがついている変数、配列はアドレスを入れるだけのものではないのでしょうか？

まとめると、

【わからないこと】
・ポインタと定数について、上に載せたイメージ図の考え方であっているかどうか
・わからなかったコードのポインタはそれぞれどこを参照しているのか（わたしの図であれば、*pは変数aを参照している）

*だらけでこんがらがってしまいました。
ちなみにこちらのコードが載っている参考書は【ロベールのＣ＋＋入門講座】です。

Answer 1

ポインタ変数とconst修飾の関係は下図を参考にください。赤枠がconstの適用範囲、つまり読取専用／変更不可を意味します。

配列MONTH_NAMEのメモリイメージと、それぞれの文字列リテラルの関係は下図を参考にください。

Comments

[2BUT4]

とてもわかりやすい図です！わたしが知りたかったことをわかりやすくまとめてくださってありがとうございます！
前のconstと後のconstの色分けのところの意味は、青のほうが要素に入っている「中身」が変更できない、黄色のほうが配列の「数」が変更できない、ということであっていますでしょうか？
お時間ありましたら、返信していただけるとうれしいです。

[yohhoy]

後者の色分け(青/黄)はconstの対象を明示するために入れてみました。

青＝文字列（文字そのもの）を変更できない
黄＝指し先の文字列を変更できない／別の文字列を指すことは出来ない

なおC/C++言語では、配列の数（要素数; この例では12）は、const有無に関わらず変更できません。

[2BUT4]

「配列の数（要素数）は変更できない」検討ちがいな質問をしてしまってすみません・・
指し先の文字列の固定！ですね。ようやくふわふわとですが理解できました！セットで固定されているようなイメージがなんとなくですが。
自分で考えてコードが打てるまで、他の問題にも挑戦してみます！
ありがとうございます！

Answer 2

こんにちは。

・ポインタと定数について、上に載せたイメージ図の考え方であっているかどうか

あってます。なかなか正確な理解だと思いますよ。

const char*は載せたイメージ図で考えると、他のアドレスを代入できないようにするconstで、

でも、これはイメージ図の理解と違ってます。「他のアドレス(char*型)」ではなく「他の値(char型)」を代入できないようにするconstです。このconstはcharにかかっていると考えると分かりやすいです。
つまりchar型の変数をリードオンリーとして指定しています。const char* p;ならば、*pはchar型であり、*pがconstです。

const MONTH_NAME[]はこの、MONTH_NAME[]配列に、{ブロック内の月の読み方}以外の値を代入できない

日本語の表現としては合っています。でも、2BUT4さんは、例えばMONTH_NAME[0]はchar型と考えているように見えます。この推測が当たっているなら、間違っています。

const char* const MONTH_NAME[]={...};

からconstを外すと

char* MONTH_NAME[]={...};

argv[]と同じ型ですね。argv[0]はchar*型です。同様にMONTH_NAME[0]もchar*型です。

さて、constを戻すとMONTH_NAME[0]はconst char*const型です。
イメージ図に従い、const MONTH_NAME[0]はリードオンリーなのでポインタを代入できません。
そして、MONTH_NAME[0]はconst char型を指すポインタですから、const char型である*MONTH_NAME[0]に値を代入できません。

---

しかし、ややこしいですね。
私はこのややこしさが嫌いなので、char const* constと書きます。const char* constと意味は全く同じです。
constは型修飾子ですが、constの修飾先が混乱しやすい場合は、このように書くことで左側にある型を修飾していると考えることができます。

char const*のconstはchar型を修飾し、char* constのconstはchar*型（char型を指すポインタ)を修飾します。

---

constが右側を修飾していると考えると、const char*のconstがcharを修飾しているのかchar*を修飾しているのか分かりにくいです。
日本語にすると「constなchar型を指すポインタ」となりますがconstがchar型を指すのか「char型を指すポインタ」を指すのか曖昧なのです。

Comments

[2BUT4]

ひとつひとつ丁寧に、書いてくださって本当にありがとうございます！
自分で図を書いておいて質問のときに間違えていたのですね・・最初のconstはcharにかかっている、という説明がすごくわかりやすかったです！Chironianさんが言われたとおり、MONTH_NAME[0]をchar型だと思っていました。ここの理解が難しくて迷っていたので本当に助かりました！
何度も読み直して、もっとちゃんと身につけたいです。
返信ありがとうございました！

Answer 3

Comments

[yumetodo]

>初期化した文字列以外の値を代入できない
そうじゃない。文字列を書き換えられないんだ。ただの配列なんだから代入もくそもない。

[2BUT4]

ご指摘ありがとうございます。
代入、という概念そのものがよくなかったのですね。型の前についたconstは、その値を書き換えられないようにするため、と覚えて問題ないでしょうか？

[yumetodo]

正確には読み取り専用である、でしょうか。またJavaと違い実行時にconstかは確認しません。あくまでコンパイル時の判定です

Answer 4

大体他の方の回答で解決していそうですが、補足するなら文字列リテラルについてでしょうか。

"arikitari";

こういうものを文字列リテラルと呼びますが、この方はconst指定された配列型です。かりにこの文字列がUTF-8でエンコードされたと仮定すると、この文字列リテラルの型はconst char[10]型です。

そしてC/C++では配列は3つの例外を除いて式中では常にポインタに読み替えられます。つまりconst char*型として扱われるわけですね。

さて。この文字列リテラルが実行時にどこに実体を持つかですが、まあこれは環境に大きく依存するのですが、いずれにせよ実行ファイルに文字列が埋め込まれ、実行時にこれがメモリー上に展開されます。
つまり文字列リテラルは例の3つの例外を除いてこのメモリー上に展開された文字列へのポインタといえるわけですね。

Comments

[2BUT4]

yumetodoさん、またまた返信ありがとうございます！
必ず変数のアドレスをポインタの変数にいれないといけないと思っていました。
文字列リテラルのことも全然わかってなかったので、回答してくださってとてもありがたかったです！

Answer 5

他からの引用ですが、「constの右側にあるものが定数になる」と覚えればよい。
引用元”constの位置について”

Comments

[2BUT4]

引用元のページを見てみたら、ぴったりわたしが迷ってるところの話でした。
constの右側にあるものが定数、という考えでもポインタになると、constが２つもでてきてしまってこんがらがってしまいました。
いろんな人の回答が見れてありがたいです！返信ありがとうございます！