[過去ﾛｸﾞ]
C言語なら俺に聞け 163 (1002ﾚｽ)
C言語なら俺に聞け 163 http://mevius.5ch.net/test/read.cgi/tech/1721137434/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
134: デフォルトの名無しさん (ﾜｯﾁｮｲ a6e1-865n) [sage] 2024/09/14(土) 00:39:08.66 ID:0gsw2riP0 >>128 初期化する以外に参照されてないってのはおかしいだろ printfで中身が表示されてんだから ポインター変数のbar経由で中身を参照してるけど、中身は初期化で渡された文字列そのものだ そもそもリテラルが参照されてないという言い方もおかしい リテラルは単なる定数の簡略表記に過ぎず、ソースコード上だけの用語だ 実行時に消えてると言いたいのか？ そんなわけない、全く消えてない http://mevius.5ch.net/test/read.cgi/tech/1721137434/134
135: デフォルトの名無しさん (ﾜｯﾁｮｲ 6663-QZ+t) [sage] 2024/09/14(土) 00:51:01.21 ID:8t7wdnSS0 >>132 CobolやFortranはこれからも生き残るよ 多分 http://mevius.5ch.net/test/read.cgi/tech/1721137434/135
136: デフォルトの名無しさん (ﾜｯﾁｮｲ 2a7c-9vXG) [] 2024/09/14(土) 08:27:14.72 ID:QgTfRJpW0 >>134 言ってることが意味不明。 textセグメントとかbssとかdataセグメントとか知らんの？ http://mevius.5ch.net/test/read.cgi/tech/1721137434/136
137: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 7932-IU9Y) [sage] 2024/09/14(土) 08:59:02.76 ID:N2YvcTj50 >>134 > printfで中身が表示 意味が解らん。 表示されてる中身というのは foo の中身であってリテラルじゃないだろ。 > リテラルは単なる定数の簡略表記 整数リテラルなどは右辺値だが文字列リテラルに限っては左辺値。 文字列リテラルは実行フェイズにおいてオブジェクトとしての性質を持つということ。 (抽象機械の上では。) ただし、この文字列リテラルが型変換された結果によって生まれるポインタはアドレス定数の要件を満たす。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/137
138: デフォルトの名無しさん (ﾜｯﾁｮｲ a6e1-865n) [sage] 2024/09/14(土) 10:32:56.64 ID:0gsw2riP0 >>137 int i = 1; printf("i -> %d\n", i); この1は同じ様にリテラル表記以外に参照されてないというのか？ http://mevius.5ch.net/test/read.cgi/tech/1721137434/138
139: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 7932-IU9Y) [sage] 2024/09/14(土) 10:49:21.06 ID:N2YvcTj50 >>138 前述の通り整数リテラルは右辺値 (rvalue)。 文字列リテラルは例外的な存在だ。 まず、 C の用語では「オブジェクト」と「値」は違う意味を持つ。 メモリ上のビットパターンがオブジェクトで、値は式の結果だ。 (規格用語では data storage だがここではあえてカジュアルな用語で言うことにする。) そして式の結果は lvalue と rvalue に区分される。 オブジェクトに結び付いている値が lvalue だと考えていい。 個々に規定があるので詳細は割愛するが、 式の中で変数名だとか単項 * 演算だとか [] とかがあればそれはメモリ上に存在してるのは明白だろ？ そういうのが lvalue 。 たとえば 1+3+5 みたいな式があれば途中で 4 という値が生じるが、これは「どこ」にある？ 場所に結び付いておらず、式が終われば破棄されることになってる。 こういうのが rvalue 。 ちなみに lvalue も rvalue が要求される文脈では rvalue に変換される。 (メモリから値が読みだされる。) http://mevius.5ch.net/test/read.cgi/tech/1721137434/139
140: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 7932-IU9Y) [sage] 2024/09/14(土) 12:58:36.93 ID:N2YvcTj50 >>138 このときの 1 というリテラルは (rvalue の) 1 を返す式で、その値が i にコピーされた後で寿命を終えて消滅する。 printf の引数の i で取り出される 1 は i に入っている 1 であってリテラルの 1 じゃない。 整数リテラルはあくまでも整数を返す (生成すると言ってもいいかも？) 式であって、メモリ上のどこかにあるオブジェクトというわけじゃない。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/140
141: デフォルトの名無しさん (ﾜｯﾁｮｲ a6e1-865n) [sage] 2024/09/14(土) 13:32:49.89 ID:0gsw2riP0 >>140 1は破棄されて"hoge"は破棄されないんだろ？ だから参照されてんじゃん http://mevius.5ch.net/test/read.cgi/tech/1721137434/141
142: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 7932-hr+9) [sage] 2024/09/14(土) 13:40:20.14 ID:N2YvcTj50 >>141 >>122 の bar が参照しているのは文字列リテラルからコピーされた配列であって文字列リテラルではない。 文字列リテラルが破棄されないこととは独立した話だよ。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/142
143: デフォルトの名無しさん (ﾜｯﾁｮｲ a6e1-865n) [sage] 2024/09/14(土) 13:43:47.04 ID:0gsw2riP0 >>142 barは配列のコピーじゃないだろ ポインターなんだから コピーしてるのはアドレス値だぞ http://mevius.5ch.net/test/read.cgi/tech/1721137434/143
144: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 7932-hr+9) [sage] 2024/09/14(土) 13:55:39.65 ID:N2YvcTj50 >>143 そのポインタが指しているという意味で参照してると言ってる。 なにを言いたいんだ？ 論点は「配列の初期化子として現れる文字列リテラルは配列の初期化以外に使われる可能性がない」という話だろ。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/144
145: デフォルトの名無しさん (ﾜｯﾁｮｲ 6663-QZ+t) [sage] 2024/09/14(土) 14:05:45.99 ID:8t7wdnSS0 ＞ char foo[] = "hoge"; ＞ char* bar = &foo[1]; /* 敢えてずらしてみる */ ＞ bar が参照しているのは文字列リテラルからコピーされた配列であって文字列リテラルではない。 説明がよく分からないが、barは、fooではなく、どこかにコピーした別の文字列なり配列を参照していると言うことか？ http://mevius.5ch.net/test/read.cgi/tech/1721137434/145
146: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 7932-IU9Y) [sage] 2024/09/14(土) 14:20:52.41 ID:N2YvcTj50 >>145 bar はどうでもいいよ。 それは要らん間接参照を入れて例としてよくわからんようになってるから 飛び飛びになってる私の書いてることをあらためてまとめると ・ char foo[] = "hoge"; といったような記述があれば "hoge" によって foo を初期化する。 ・ このときの文字列リテラル "hoge" は foo を初期化するだけに使われて他からアクセスされる可能性がない。 ・ 言語規格の建前上は文字列リテラルの寿命はプログラムの最初から最後までだが…… ・ この場合は他からアクセスされる可能性がないから機械語レベルでは文字列リテラルは最適化で消えて (即値としてコードに埋め込んで) も問題にならない。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/146
147: デフォルトの名無しさん (ﾌﾞｰｲﾓ MM0a-bJfQ) [sage] 2024/09/14(土) 16:37:38.90 ID:kHQOYHTcM つまり >>118 でgccが文字列を即値にする最適化の条件を推察したら はちみつ餃子が規格の観点で説明が不適切ってぼこってるわけか？ 前者の情報のほうが有益だわ http://mevius.5ch.net/test/read.cgi/tech/1721137434/147
148: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 7932-hr+9) [sage] 2024/09/14(土) 16:47:20.53 ID:N2YvcTj50 >>147 補足したつもりだが。 どう最適化するにしても規格に反する挙動にしてはならない (したら規格に対応しているとは名乗れない) からどうしてそれで規格に反しないのかの観点から説明した。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/148
149: デフォルトの名無しさん (ﾜｯﾁｮｲ 8af5-/VPw) [sage] 2024/09/14(土) 17:01:46.57 ID:5H/bnNk90 最適化でどうなるかを考えながらC書くくらいならもうアセンブリ書いたほうが良いと思う http://mevius.5ch.net/test/read.cgi/tech/1721137434/149
150: デフォルトの名無しさん (ﾜｯﾁｮｲ a6e1-865n) [sage] 2024/09/14(土) 17:07:34.51 ID:0gsw2riP0 >>146 はちみつは文字列リテラルがアセンブリソースの段階で"hoge"と書かれてなければ消えてると思ってんだなw 例え命令コードの即値で書かれていても消えてる訳じゃないからー！残念！ だから話が噛み合わなかったんだw まぁ強いて言えば、最適化でデータの表現法方を変えても構わないって言えば良い http://mevius.5ch.net/test/read.cgi/tech/1721137434/150
151: デフォルトの名無しさん (ﾜｯﾁｮｲ a6e1-865n) [sage] 2024/09/14(土) 17:14:48.19 ID:0gsw2riP0 x = 1; ← 最適化で消えても構わない x = 2; 最適化で消えても構わないってこういうことを言うんだよ char foo[] = "hoge"; "hoge"は消えて良い訳ないだろw gccは実際、命令コードに文字列を埋め込んでスタックに生成してるが、その文字列はポインター変数を使えば参照可能だ http://mevius.5ch.net/test/read.cgi/tech/1721137434/151
152: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 7932-IU9Y) [sage] 2024/09/14(土) 17:26:48.38 ID:N2YvcTj50 >>149 それはそう。 原則としては言語の理屈に従っておくのが良い。 繰り返すけど、少なくとも初心者に対して低レイヤの観点で C を説明するのは筋が悪いと思う。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/152
153: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 7932-IU9Y) [sage] 2024/09/14(土) 17:33:13.32 ID:N2YvcTj50 >>151 > 参照可能だ その時参照してるのはスタック上にある配列であって、文字列リテラルではないってのを俺は何度書けばいいんだ？ 文字列リテラルは本来は「プログラムの開始から終わりまでの寿命を持つオブジェクト」としてあらねばならないのが、 実際には文字列リテラルではない形になってることを「消えてる」と表現したのは確かに微妙な表現だったかもしれないが、 有るべき場所から消えてるんだからそんくらいわかるだろ。 そもそも最初は char* foo = "hoge"; との対比で言ってたんだから。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/153
154: デフォルトの名無しさん (ﾜｯﾁｮｲ 8a56-/VPw) [sage] 2024/09/14(土) 18:13:05.20 ID:5H/bnNk90 はちみつ餃子の説明はたぶん、C++ の考え方が混ざっていないか C で配列の初期化子に文字列リテラルが書けるのはあくまで文字列リテラル限定であって、それは式として扱われるのではなく、lvalue も rvalue もクソもないということだと思うが http://mevius.5ch.net/test/read.cgi/tech/1721137434/154
155: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 7932-IU9Y) [sage] 2024/09/14(土) 18:35:19.29 ID:N2YvcTj50 >>154 初期化子の文法の一部であって式の規則の適用範囲外じゃないの？ってことだよね？ 6.7.8 を見てこの場合でも式だと解釈してるけど、そういわれたらちょっと自信がないかも。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/155
156: デフォルトの名無しさん (ﾜｯﾁｮｲ a6e1-865n) [sage] 2024/09/14(土) 18:53:38.72 ID:0gsw2riP0 >>153 その配列に格納されているデータが文字列リテラルから生成された文字列(の実体)だろ 厳密に言いたいなら、文字列リテラルはコンパイル時に存在さえしてれば良いものなんだよ 何しろ「リテラル」だから それを生存期間だの実行時の実体とごっちゃにしてるから訳分かんないことになんだよ コンパイル時にさえ存在してれば良いという事を実行時には消えてても良いとか言っちゃってんでしょ？ http://mevius.5ch.net/test/read.cgi/tech/1721137434/156
157: デフォルトの名無しさん (ﾜｯﾁｮｲ a6e1-865n) [sage] 2024/09/14(土) 19:03:33.67 ID:0gsw2riP0 char foo[] = { 'h', 'o', 'g', 'e', 0 }; 文字列リテラルは↑のシンタックスシュガーだ 初期化子は消えても構わないのか？ 初期化子が生成した文字列は参照出来ないと言うのか？ http://mevius.5ch.net/test/read.cgi/tech/1721137434/157
158: デフォルトの名無しさん (ﾜｯﾁｮｲ 8a56-/VPw) [sage] 2024/09/14(土) 19:10:37.88 ID:5H/bnNk90 >>155 https://en.cppreference.com/w/c/language/array_initialization ここ参考にしてたから文法定義の時点で式じゃないと思ってたけど、ちゃんと規格上は式としてのパースではあったね、すまない 改めて C99（でいいんだよね、6.7.8 ってことは）の draft 読んでみたけど、文字列リテラルで初期化できるのは 6.7.8.14,15 で特殊に定義された意味論であって、やっぱり式扱いじゃないんじゃないかね http://mevius.5ch.net/test/read.cgi/tech/1721137434/158
159: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 7932-hr+9) [sage] 2024/09/14(土) 19:58:20.45 ID:N2YvcTj50 >>154 結果的な挙動からするとどっちでも良いから書いてないだけかも。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/159
160: デフォルトの名無しさん (ﾜｯﾁｮｲ 6663-QZ+t) [sage] 2024/09/14(土) 20:16:47.07 ID:8t7wdnSS0 皆拘らずに使っているのに言うのもあれなんだが C言語にはC++で言う参照はありません http://mevius.5ch.net/test/read.cgi/tech/1721137434/160
161: デフォルトの名無しさん (ﾜｯﾁｮｲ a6b2-Z1Qu) [sage] 2024/09/14(土) 21:01:12.02 ID:NQ2pFzob0 hogeは破棄されないって一人がんばってるID:0gsw2riP0を救済して差し上げたいが……自分も完全にわかってないのでできない。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/161
162: デフォルトの名無しさん (ﾜｯﾁｮｲ 65cd-RtM0) [sage] 2024/09/14(土) 21:04:22.62 ID:tDLmxNl+0 実在するのはfoo[]だけで 文字列"hoge"は破壊どころか最初からあっても無くてもいいというのがここまでにわかったことだろ http://mevius.5ch.net/test/read.cgi/tech/1721137434/162
163: デフォルトの名無しさん (ﾜｯﾁｮｲ 7910-VVra) [] 2024/09/14(土) 22:15:49.35 ID:zMI9sEnq0 配列と別に文字列もどこか別に確保しといて何の意味があるんだよ この形で配列作る度に二倍メモリ食うことになるじゃないか http://mevius.5ch.net/test/read.cgi/tech/1721137434/163
164: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 7932-IU9Y) [sage] 2024/09/14(土) 22:32:05.03 ID:N2YvcTj50 >>163 せやで。 だから最適化の余地があるという話をしてる。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/164
165: デフォルトの名無しさん (ﾜｯﾁｮｲ 6663-QZ+t) [sage] 2024/09/14(土) 22:34:31.27 ID:8t7wdnSS0 ここで最適化の話は混ぜない方が良い http://mevius.5ch.net/test/read.cgi/tech/1721137434/165
166: デフォルトの名無しさん (ﾜｯﾁｮｲ a6e1-865n) [sage] 2024/09/14(土) 23:00:09.33 ID:0gsw2riP0 >>163 clangは配列でも文字列リテラルは残ってるよ ここって想像だけで語るアホばっかだなw リテラルはコンパイル時のみに必要 それとは別に実行時にリテラルを実体化した値が存在する 基本的にrvalueだ でないと当然初期化が出来ない この値をはちみつは無視して語っている http://mevius.5ch.net/test/read.cgi/tech/1721137434/166
167: デフォルトの名無しさん (ﾜｯﾁｮｲ a6e1-865n) [sage] 2024/09/14(土) 23:04:40.23 ID:0gsw2riP0 はちみつはリテラルはコンパイル時にのみ必要な事と、実行時には必要な初期値(rvalue)を最適化で命令コードに埋め込む事を消えたと表現して、ごっちゃにしてるアホ これが結論 http://mevius.5ch.net/test/read.cgi/tech/1721137434/167
168: デフォルトの名無しさん (ﾜｯﾁｮｲ a6e1-865n) [sage] 2024/09/14(土) 23:11:36.67 ID:0gsw2riP0 リテラルは参照されないと言ってるのがその証拠 そりゃコンパイル時にのみに必要なその場でデータ構造を表現するリテラルを、実行時に参照出来る訳ないだろw それが出来るのはコードをデータとして表現してるLisp だけだ C++のテンプレートでも無理 C++のconstevalなら可能になった std::formatはそれで実装可能になった 実行時には初期化の為のrvalueが絶対に存在する http://mevius.5ch.net/test/read.cgi/tech/1721137434/168
169: デフォルトの名無しさん (ﾜｯﾁｮｲ a6e1-865n) [sage] 2024/09/14(土) 23:13:53.14 ID:0gsw2riP0 constevalも文字列リテラルを参照可能なのはコンパイル時のみだった… やっぱり真に実行時に文字列リテラルを参照可能なのはLisp だけだな http://mevius.5ch.net/test/read.cgi/tech/1721137434/169
170: デフォルトの名無しさん (ﾜｯﾁｮｲ 8a56-/VPw) [sage] 2024/09/14(土) 23:40:13.14 ID:5H/bnNk90 >>1 の C17 ドラフトのリンク C++17 のやつじゃん 次スレ立てるならこれに変えといて https://web.archive.org/web/20181230041359/http://www.open-std.org/jtc1/sc22/wg14/www/abq/c17_updated_proposed_fdis.pdf http://mevius.5ch.net/test/read.cgi/tech/1721137434/170
171: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ 7932-IU9Y) [sage] 2024/09/14(土) 23:53:27.27 ID:N2YvcTj50 >>167 起きていることは >>127 でこれ以上なく具体的に説明されてるんだから改めて厳密に表現しないと理解できないとは思わなかったんだよ。 >>168 文字列リテラルが静的記憶域期間を持つことは 6.4.5 に書かれてる。 実行フェイズに存在するオブジェクトだよ。 (最適化を抜きにして仕様通りに解釈すれば。) 配列の初期化子として現れる文字列リテラルの扱いは微妙かもという話が >>154 >>158 の指摘だが、 記憶域期間についての記述は文脈を指定せず文字列リテラル全部を対象にした記述に見える。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/171
172: デフォルトの名無しさん (ﾜｯﾁｮｲ d7cd-qbvN) [sage] 2024/09/15(日) 00:57:56.19 ID:/wZr5+b/0 >>163 そりゃ書き換える場合があるからでしょー 一個しかなかったら関数呼ばれるたびに初期値も書き換わってしまう なんで悩んでるのこの人？ constつけたら一個ですむだろ多分 http://mevius.5ch.net/test/read.cgi/tech/1721137434/172
173: デフォルトの名無しさん (ﾜｯﾁｮｲ ffe1-1pYN) [sage] 2024/09/15(日) 01:17:55.27 ID:STy65/7c0 >>171 > 実行フェイズに存在するオブジェクトだよ。 存在してんじゃねーかよ！ これが最適化で消えて良いかの話だよ！ gccの場合は命令コードに埋め込んでるけど、消えてる訳じゃないし、別のポインターから参照可能だ http://mevius.5ch.net/test/read.cgi/tech/1721137434/173
174: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ f732-vU+L) [sage] 2024/09/15(日) 01:30:47.17 ID:B6k8li/O0 >>173 配列とその初期化子として現れる文字列リテラルが別の存在だってことが俺が何度も書いてることだよ。 これがそんなに何度も何度も何度も何度も書かないと理解できないようなことか？ 別のポインタは配列を指せるが、その初期化子として現れる文字列リテラルを指せるわけじゃない。 char* foo = "hoge"; のようなケースではポインタ foo は文字列リテラルを指してるということと対比しての話だぞ。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/174
175: デフォルトの名無しさん (ﾜｯﾁｮｲ ffe1-1pYN) [sage] 2024/09/15(日) 01:32:35.13 ID:STy65/7c0 ちなみに「文字列リテラル」が「実行時」に存在してる訳では全くない はちみつはそこを勘違いしてる 静的記憶期間というのはスコープの事だ まぁエクステントと言った方が正確だが それはコンパイラーが理解できるものだが、それと「実行時」に存在する値を結びつけてはいけないし関係無い DLLだとしたら静的記憶期間の変数も実行時には存在しない可能性もある スレッドローカルストレージの変数もそうだな 要するに文字列リテラルで生成されたデータは実行時には確実にアクセス可能で、消えてるなんて全くあり得ない それをずっと言ってる http://mevius.5ch.net/test/read.cgi/tech/1721137434/175
176: デフォルトの名無しさん (ﾜｯﾁｮｲ ffe1-1pYN) [sage] 2024/09/15(日) 01:38:12.52 ID:STy65/7c0 >>174 > 文字列リテラルを指せるわけじゃない。 はい、これが間違いの全て 文字列リテラルはコンパイラーだけが理解できる「構文」に過ぎない それを実行時にさせないとはこれいかに？w 文字列リテラルは「実行時」には何て名前になってんだ？ 配列でもないぞ 配列に代入される前のrvalueの事だ まぁ文字列は例外的にlvalueにもなれるが、rvalueであることには違いない http://mevius.5ch.net/test/read.cgi/tech/1721137434/176
177: デフォルトの名無しさん (ﾜｯﾁｮｲ 9f56-3vlU) [sage] 2024/09/15(日) 01:45:15.62 ID:hg9QOZOF0 >>171 なんかいろいろ書いたけど最終的には自分もそれで合っていると思う 実用上は正直どこで役に立つのかあまり思いつかないが、規格上どういう建て付けになってるのかはとりあえず理解できたかも というか、実用上あんまり役に立つわけじゃないから今まで調べもしなかったというか 規格上は「リテラル」は存在せず integer/enumeration/floating/character は定数なんですね それで定数は記憶域期間を持たない 文字列リテラルは静的記憶域期間を持つ 複合リテラルは関数本体の外か中かに応じて静的/自動記憶域期間を持つ、と うーんでもなあ 某言語でいきなり &1 とか書けるの知ってたら別に定数にも記憶域期間持たせればいいじゃんとか思っちゃうなあ とりあえずそうなっているというだけか http://mevius.5ch.net/test/read.cgi/tech/1721137434/177
178: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ f732-vU+L) [sage] 2024/09/15(日) 01:46:17.50 ID:B6k8li/O0 >>175 > 静的記憶期間というのはスコープの事 ちがう。 記憶域期間はオブジェクトの寿命の区分。 6.2.4 を参照のこと。 寿命の区分が設定されている以上はオブジェクト (メモリ上のどこかにある) のこと。 > 文字列リテラルで生成されたデータは実行時には確実にアクセス可能で、消えてるなんて全くあり得ない 関数 (C のプログラムは関数の集合なので実質的にプログラムの全て) はオブジェクトではない。 私が「消える」と表現したのはこの意識があったからだが、機械語のレベルでどこかには存在するという意味ではそりゃ存在するだろう。 (同じ内容が連続する配列だったらループで書き込むような形にすることもあるかもしれない。) 配列の初期化子としての文字列リテラルは本来あるべき場所 (オブジェクト) から最適化で消えてるし、ポインタで指すことは出来ない。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/178
179: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ f732-vU+L) [sage] 2024/09/15(日) 01:53:34.48 ID:B6k8li/O0 >>177 C++ の右辺値参照も左辺値参照も左辺値なんだよね。 参照を経由したら左辺値になるなら最初からそう出来ないか？ と思ったことはある。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/179
180: デフォルトの名無しさん (ﾜｯﾁｮｲ ffe1-1pYN) [sage] 2024/09/15(日) 01:58:39.53 ID:STy65/7c0 >>178 > ちがう。 記憶域期間はオブジェクトの寿命の区分。 だからエクステントと書いてんだろ！ もしかして理解出来なかったか？ > 配列の初期化子としての文字列リテラルは本来あるべき場所 (オブジェクト) から最適化で消えてるし 本来あるべき場所(オブジェクト)って何だよ？！ 目茶苦茶だなw これがコンパイラーと実行時に存在すべき値(rvalue)をごっちゃにした成れの果てだなw http://mevius.5ch.net/test/read.cgi/tech/1721137434/180
181: デフォルトの名無しさん (ﾜｯﾁｮｲ ffe1-1pYN) [sage] 2024/09/15(日) 02:33:43.11 ID:STy65/7c0 初期化に使われた(文字列)リテラルが実行時にrvalueになったものに名前を付けるべきだな これは最適化でも消えることはない(当たり前だが…) 名前がないとまたリテラルは消えるから参照出来ない野郎が発生しかねないw http://mevius.5ch.net/test/read.cgi/tech/1721137434/181
182: デフォルトの名無しさん (ｽｯｯﾌﾟ Sdbf-2MD7) [] 2024/09/15(日) 12:24:08.15 ID:WkBCL5VYd >>174 ＞char* foo = "hoge"; ＞ ＞のようなケースではポインタ foo は文字列リテラルを指してる その表現が間違ってる。 fooは静的記憶域を指してるが正しい。 intptr_t *bar = 0xAABB; この場合数値リテラルを指すなんて言わんだろ。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/182
183: 警備員[Lv.2][新芽] (ﾜｯﾁｮｲ 5707-/vo+) [sage] 2024/09/15(日) 13:50:20.31 ID:krajCak80 ＞＞char* foo = "hoge"; ＞＞ ＞＞のようなケースではポインタ foo は文字列リテラルを指してる ＞ ＞その表現が間違ってる。 ＞fooは静的記憶域を指してるが正しい。 彼も文字列リテラルは静的記憶域に置かれると言ってなかったっけ 僕にはこの２つの違いが分からないや 勘違いだったらごめんなさい http://mevius.5ch.net/test/read.cgi/tech/1721137434/183
184: デフォルトの名無しさん (ﾌﾞｰｲﾓ MM8f-GITO) [sage] 2024/09/15(日) 16:04:15.59 ID:7leD3hDGM もっと中身のある話しようぜ http://mevius.5ch.net/test/read.cgi/tech/1721137434/184
185: デフォルトの名無しさん (ﾜｯﾁｮｲ 9794-z7on) [sage] 2024/09/15(日) 17:53:23.56 ID:V70NGKYC0 >>68 規格に後置++演算子は実数型とポインタ型にしか使えないとあったけどそれの関係じゃないの？ 規格でそう決まってるだけの話では？ http://mevius.5ch.net/test/read.cgi/tech/1721137434/185
186: デフォルトの名無しさん (ｽﾌﾟｯｯ Sd3f-2MD7) [] 2024/09/15(日) 18:13:20.02 ID:/tCGodXOd それだな http://mevius.5ch.net/test/read.cgi/tech/1721137434/186
187: デフォルトの名無しさん (ﾜｯﾁｮｲ d7cd-qbvN) [sage] 2024/09/15(日) 21:42:32.09 ID:/wZr5+b/0 ちなみに int main(int argc, char *argv[]) と定義しても argvは++できる http://mevius.5ch.net/test/read.cgi/tech/1721137434/187
188: デフォルトの名無しさん (ﾜｯﾁｮｲ ff63-y7MN) [sage] 2024/09/15(日) 23:27:23.69 ID:dUpBu3ui0 main の引数だけど、人によって好みがある *argv[]だったり、 **argvだったり、 さすがにargv[][]はいないと思う http://mevius.5ch.net/test/read.cgi/tech/1721137434/188
189: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ f732-vU+L) [sage] 2024/09/16(月) 08:22:23.81 ID:JwEVxA0h0 >>185 配列はポインタに型変換される。 だから型は合うんだよ。 変更可能な左辺値でなければならないという制約に違反してる。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/189
190: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ f732-vU+L) [sage] 2024/09/16(月) 08:28:07.90 ID:JwEVxA0h0 >>182-183 静的記憶域期間ってのは静的＋記憶域期間なんだよ。 静的記憶域＋期間じゃないんだよ。 まあ静的記憶域期間を持つオブジェクトが配置されている場所を静的記憶域と呼んでもカジュアルな場面ではそんなに不自然ではないとは思うけど。 実装上は専用のセクションに配置するのが普通だし。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/190
191: デフォルトの名無しさん (ﾜｯﾁｮｲ 776e-SKTh) [sage] 2024/09/16(月) 08:30:39.50 ID:+a4Swf1f0 ここまでのまとめ Cは生産性が低い C使いも生産性が低い http://mevius.5ch.net/test/read.cgi/tech/1721137434/191
192: デフォルトの名無しさん (ﾜｯﾁｮｲ ff63-y7MN) [sage] 2024/09/16(月) 10:51:57.39 ID:yKwOC4kA0 ID:+a4Swf1f0 は、言語に何使おうと生産性が低そう http://mevius.5ch.net/test/read.cgi/tech/1721137434/192
193: デフォルトの名無しさん (ﾜｯﾁｮｲ ff2a-48Tr) [] 2024/09/16(月) 11:29:42.22 ID:0nzerU0W0 >>191,192 生産性など、君ら社畜を計る尺度に過ぎんよ。 芸術家は、時間をかけて1行の美しさを追及するものだ。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/193
194: デフォルトの名無しさん (ﾜｯﾁｮｲ 1751-z7on) [sage] 2024/09/16(月) 12:43:08.20 ID:T6H9+ne50 >>189 変更可能な左辺値に配列型は含まれないからそれとは違うん？いつポインタに型変換されてんの？ http://mevius.5ch.net/test/read.cgi/tech/1721137434/194
195: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ f732-vU+L) [sage] 2024/09/16(月) 13:26:14.08 ID:JwEVxA0h0 >>194 6.3.2.1 より > 左辺値がsizeof演算子のオペランド，単項&演算子のオペランド，又は文字配列を初期化するのに使われる文字列リテラルである場合を除いて， > 型“〜型の配列”をもつ式は，型“〜型へのポインタ”の式に型変換する。 式として出てくる配列は一部の例外を除けば問答無用で変換されるので ++ のオペランドに配列が出てくるときも変換後のポインタ (rvalue) に対する演算 (実際には出来ないけど) として解釈されるということでいいと思う。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/195
196: デフォルトの名無しさん (ﾜｯﾁｮｲ 1751-z7on) [sage] 2024/09/16(月) 14:56:21.22 ID:T6H9+ne50 >>195 配列オブジェクトの先頭の要素で左辺値じゃないって書いてあるな ということは左辺値の式の中に出てくる配列は左辺値じゃなくなっちゃうということ？ なんでそんな仕様になったんだろうね http://mevius.5ch.net/test/read.cgi/tech/1721137434/196
197: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ f732-vU+L) [sage] 2024/09/16(月) 16:28:24.01 ID:JwEVxA0h0 >>196 C には配列の要素を指すポインタとは別に配列を指すポインタというものもある。 こんなことが出来る。 int foo[10]; int (*bar)[10] = &foo; このときの bar の型は int(*)[10] ということになるわけだが……。 型情報として長さが含まれるのはかえって邪魔だ。 大抵の配列を受け取る関数 (str系やmem系など) は配列の大きさが固定ではないから。 配列の先頭要素で配列を代表させる (それが簡単な記法にする) ほうが都合がよかったんじゃないかと思う。 配列全体をひとつの値として扱いたい場合のほうが少ないだろうという判断もそれなりに合理的じゃないかな。 いまどきの言語 (Go とか Rust とか) は範囲を表すスライスという概念を導入して解決してるけど、 C の登場時期だと 2 ワードのオブジェクトを基本型にするのってなんかヤじゃない？ と思ったとしても仕方ない。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/197
198: デフォルトの名無しさん (ｽﾌﾟｯｯ Sd3f-2MD7) [] 2024/09/16(月) 17:22:11.94 ID:udznqyd1d >>190 横からすまんが、記憶域期間って言葉も変 http://mevius.5ch.net/test/read.cgi/tech/1721137434/198
199: デフォルトの名無しさん (ｽﾌﾟｯｯ Sd3f-2MD7) [] 2024/09/16(月) 17:23:46.99 ID:udznqyd1d >>189 ＞配列はポインタに型変換される。 それは関数呼び出しの場合だぞ http://mevius.5ch.net/test/read.cgi/tech/1721137434/199
200: デフォルトの名無しさん (ﾜｯﾁｮｲ bf79-MnYn) [sage] 2024/09/16(月) 17:29:54.17 ID:E0fXFEgV0 この糞コテは半端知識のかまちょだからNGやスルー推奨 http://mevius.5ch.net/test/read.cgi/tech/1721137434/200
201: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ f732-6w0d) [sage] 2024/09/16(月) 18:10:03.54 ID:JwEVxA0h0 >>199 こっちは根拠になる規格の文面を提示してるんだから違うというなら違うと思う根拠を提示して。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/201
202: デフォルトの名無しさん (ｱｳｱｳｳｰ Sa5b-E6+g) [sage] 2024/09/16(月) 18:57:26.00 ID:ISRAyNkZa >>188 そらargv[][]では誤りだもんな http://mevius.5ch.net/test/read.cgi/tech/1721137434/202
203: デフォルトの名無しさん (ｱｳｱｳｴｰ Sadf-N1Zj) [] 2024/09/16(月) 21:32:46.16 ID:NNTpe0yPa >>187 たしかに関数の引数だと違うんだな https://ideone.com/MR7Vqm #include <stdio.h> char *hoge(char fuga[10]) { ++fuga; return fuga; } int main(void) { char hage[10] = {0}; char *p = hoge(hage); printf("%p, %p\n", hage, p); return 0; } // もちろん ++hage は出来ない https://ideone.com/xEP42d http://mevius.5ch.net/test/read.cgi/tech/1721137434/203
204: デフォルトの名無しさん (ﾜｯﾁｮｲ bf4f-NiVF) [] 2024/09/16(月) 22:10:35.73 ID:hHcIxSUD0 >>197 流石に言ってる事が的外れ過ぎるのでもうちょっと勉強した方がいいと思うよ http://mevius.5ch.net/test/read.cgi/tech/1721137434/204
205: 警備員[Lv.1][新芽] (ﾜｯﾁｮｲ f731-/vo+) [sage] 2024/09/16(月) 22:25:26.45 ID:z+htC2pc0 恥ずかしながら、静的記憶域期間(で合ってるのか?)という言葉を知らなくて、ライフタイムは「静的」に含意されているのかと思ったワ… しかし、記憶域期間って違和感あるなぁ http://mevius.5ch.net/test/read.cgi/tech/1721137434/205
206: 警備員[Lv.1][新芽] (ﾜｯﾁｮｲ f731-/vo+) [sage] 2024/09/16(月) 22:30:23.39 ID:z+htC2pc0 わけわからん >>205は撤回します http://mevius.5ch.net/test/read.cgi/tech/1721137434/206
207: はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ f732-vU+L) [sage] 2024/09/16(月) 22:43:01.97 ID:JwEVxA0h0 >>203 余談だけど配列だけじゃなくて関数型も関数ポインタ型に調整されるよ。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/207
208: デフォルトの名無しさん (ﾜｯﾁｮｲ 9f7c-2MD7) [] 2024/09/16(月) 22:52:59.17 ID:TDYyKtgo0 >>201 規格に配列は常にポインタに変換されるなんて書いて無いぞ。 http://mevius.5ch.net/test/read.cgi/tech/1721137434/208
209: デフォルトの名無しさん [sage] 2024/09/16(月) 23:00:53.05 ID:f3T7KT8T0 >>208 「常に」とは書かれていない 「ポインタに変換される」ではなく「ポインタに型変換される」 >>102がまさにそれでしょ E1という配列が関数呼び出しでない場合においてもポインタという型に変換されているから出来ること http://mevius.5ch.net/test/read.cgi/tech/1721137434/209
210: デフォルトの名無しさん (ﾜｯﾁｮｲ ff63-y7MN) [sage] 2024/09/16(月) 23:10:52.64 ID:yKwOC4kA0 ＞char *hoge(char fuga[10]) こう書いてあっても､関数内で10を使う訳ではない 関数内で仮に100個めの要素アクセスするロジック書いてもエラーにはならない （実行時にはエラーになると思う、多分） だから、 ＞char *hoge(char fuga[]) 添え字無しにしても良いことになる http://mevius.5ch.net/test/read.cgi/tech/1721137434/210
211: デフォルトの名無しさん (ﾜｯﾁｮｲ d7cd-qbvN) [sage] 2024/09/17(火) 01:04:31.11 ID:BokinMog0 >>210 元々ローカルでchar hage[10];と定義して10以上をアクセスしてもコンパイル時にはエラーにならないでしょ 引数に[10]と書くとしたら可読性のため(この関数では[0～9]までアクセスする可能性があると明示するため) http://mevius.5ch.net/test/read.cgi/tech/1721137434/211
212: デフォルトの名無しさん (ｽﾌﾟｯｯ Sd3f-2MD7) [] 2024/09/17(火) 10:15:58.36 ID:9gub94Dsd __FILE__ とか __LINE__ は大文字なのになんで __func__ は小文字なん？ http://mevius.5ch.net/test/read.cgi/tech/1721137434/212
213: デフォルトの名無しさん (ｱｳｱｳｴｰ Sadf-N1Zj) [] 2024/09/17(火) 10:17:16.72 ID:TMGdiCOOa 範囲の問題じゃなくて ++hage または hage++ が出来るか出来ないかが問題なんです http://mevius.5ch.net/test/read.cgi/tech/1721137434/213
214: デフォルトの名無しさん (ﾜｯﾁｮｲ ff63-y7MN) [sage] 2024/09/17(火) 11:06:41.56 ID:bX/ekV+z0 一見配列を受け渡ししているように見えるけれど、 実際はポインターとして受け渡ししているってことでしょ http://mevius.5ch.net/test/read.cgi/tech/1721137434/214
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 788 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.017s