【初心者歓迎】C/C++室 Ver.101【環境依存OK】 [無断転載禁止]©2ch.net

**デフォルトの名無しさん** · 2017/07/18(火) 07:07:27.20

エスケープシーケンスやWin32APIなどの環境依存なものでもOK。
ただしその場合、質問者は必ず環境を書きましょう。

◆ソースのインデントについて
半角空白やTABでのインデントはスレに貼ると無くなります。
そのため、アップローダーに上げるのも手ですが直接貼る場合は、
全角空白かに置換すると見栄えだけはよくなります。

【アップローダー】(質問が長い時はココ使うと便利)
http://codepad.org/ (コンパイルもできるし出力結果も得られる[]privateをチェック)
http://ideone.com/ (時間帯によってはcodepadが重い事があるのでここも利用)

前スレ
【初心者歓迎】C/C++室 Ver.100【環境依存OK】
http://mevius.2ch.net/test/read.cgi/tech/1478440682/

**デフォルトの名無しさん** · 2017/09/14(木) 22:17:41.81

関数テンプレート
マクロ
defineして#include

**デフォルトの名無しさん** · 2017/09/14(木) 23:51:59.63

問題解決しました。
ありがとうございます。

**デフォルトの名無しさん** · 2017/09/15(金) 02:25:25.95

＞変数同士の相対的なアドレス
引き算してはならない。ただし、同一の配列の要素どうしなら、引き算は、意味ある

**デフォルトの名無しさん** · 2017/09/15(金) 02:39:59.15

何かをハッキングしようとしてますね。

**デフォルトの名無しさん** · 2017/09/15(金) 05:27:31.76

staticなメンバしかないクラスがあるんですけど
これもうnamespaceでいいですよね？

**デフォルトの名無しさん** · 2017/09/15(金) 09:53:35.90

いいよ

**デフォルトの名無しさん** · 2017/09/15(金) 12:08:47.50

ADLとかとの兼ね合い

**デフォルトの名無しさん** · 2017/09/15(金) 17:45:57.17

>>667
>>668
なるほど参考になりました。

**デフォルトの名無しさん** · 2017/09/16(土) 23:02:46.17

>>664
>＞変数同士の相対的なアドレス
>引き算してはならない
んなこたーない

**デフォルトの名無しさん** · 2017/09/16(土) 23:11:51.68

C/C++的にはダメ

**はちみつ餃子** ◆8X2XSCHEME · 2017/09/17(日) 01:58:27.90

まあ動いちゃうときも多いと思うけど、やっちゃ駄目だよー

**デフォルトの名無しさん** · 2017/09/17(日) 02:12:21.90

ダメな例出して

**デフォルトの名無しさん** · 2017/09/17(日) 05:58:54.94

>>673
int a;
int b;
auto c = &b - &a;

**デフォルトの名無しさん** · 2017/09/17(日) 06:01:41.65

auto使いはやっぱり馬鹿だった。

**デフォルトの名無しさん** · 2017/09/17(日) 06:19:33.65

バカとしか書けないのかよ w

**デフォルトの名無しさん** · 2017/09/17(日) 12:32:24.59

>>671
だめなこんきょ出して

**デフォルトの名無しさん** · 2017/09/17(日) 12:49:17.96

>>677
規格嫁

**デフォルトの名無しさん** · 2017/09/17(日) 12:51:42.31

出せねーんだろﾌﾟﾌﾟ
auto使いはやっぱり馬鹿

**デフォルトの名無しさん** · 2017/09/17(日) 13:02:11.76

自分だけはバカじゃないという前提

**デフォルトの名無しさん** · 2017/09/17(日) 13:31:56.70

お、自分のばかを自覚したんだね
はいよくできました

**デフォルトの名無しさん** · 2017/09/17(日) 14:23:53.26

性格超悪そう

**デフォルトの名無しさん** · 2017/09/17(日) 18:01:33.39

ここで問題です。
　struct A { int x1, x2; } a;
　auto d = &a.x1 - &a.x2;
これは規格違反でしょうか

**デフォルトの名無しさん** · 2017/09/17(日) 19:10:18.83

#include <stddef.h>
offsetof(type, member-designator);

**デフォルトの名無しさん** · 2017/09/17(日) 20:31:22.48

変数内のレイアウトと　異なる変数のギャップと同じに取り扱っていいものなのかな

**デフォルトの名無しさん** · 2017/09/17(日) 20:47:23.92

現行規格の5.7/p6では未定義動作となっていて
他に許可する記述は見つけられなかった

**デフォルトの名無しさん** · 2017/09/17(日) 22:50:49.91

規格も読めないアホにつける薬はないってことかな w

**デフォルトの名無しさん** · 2017/09/18(月) 04:40:38.13

こういうアホな話になるのはauto使いはscript kiddie脳だから。
処理系に対する理解が皆無。

**デフォルトの名無しさん** · 2017/09/18(月) 05:41:38.61

具体的な指摘もできないアホ乙

**デフォルトの名無しさん** · 2017/09/18(月) 22:38:10.49

>>675
ちなみに聞くけど
cが何型なのか知ってるよな？

**デフォルトの名無しさん** · 2017/09/19(火) 01:28:21.18

な？ auto使いは馬鹿だろ。

**デフォルトの名無しさん** · 2017/09/26(火) 01:34:34.23

>>671 >>686
で終了なのに
なにか文句を付けなきゃ気がすまない人がいるみたい

**デフォルトの名無しさん** · 2017/09/26(火) 07:25:15.69

> ダメな例出して
って啖呵きったらさくっと出されて発狂中

**デフォルトの名無しさん** · 2017/09/27(水) 06:34:18.36

頭が悪すぎて相手にされないauto使いかわいそう。

**デフォルトの名無しさん** · 2017/09/27(水) 09:28:21.53

>>692
アドレスの話をしていたのにポインターの例にすり替えられた
と言われる恐れがあるので5/p4も加えておかないと
但し符号有り整数で減算した場合には未定義動作にならない

**デフォルトの名無しさん** · 2017/09/27(水) 09:29:48.92

○　符号無し
×　符号有り

**デフォルトの名無しさん** · 2017/09/27(水) 11:48:00.61

どうやらauto使いというのはCにおける未定義の意味を勘違いしてるようだ。
まだほとんどコードを書いたことがない初心者なのだろう。

**デフォルトの名無しさん** · 2017/09/27(水) 11:53:50.86

> 他に許可する記述は見つけられなかった

面白い発想だな。Cを高級言語だと思ってんだろうな。これは笑える。

**デフォルトの名無しさん** · 2017/09/27(水) 12:00:13.05

>>671 >>686 で終了
納得できない人がいるみたいだけど

実質問題無いのはその通り
問題がある事例を私は知らない

ただ言語の規格上は未定義

**デフォルトの名無しさん** · 2017/09/27(水) 12:36:06.37

メモリがリニアでないバンク方式やセグメント方式の処理系を知らないとは無知だな。
far、near知らないとか最近勉強し始めたのだろう。

Cは低級言語。処理系依存を書く言語。
コンパイラが勝手に処理系に依存した定義をしろってこと。

**デフォルトの名無しさん** · 2017/09/27(水) 14:25:01.86

nearだろうがfarもセグメント方式だろうが
a-b+b=a+b-b=aになるけど
ほとんどの環境で

なんてことは知らないか

**デフォルトの名無しさん** · 2017/09/27(水) 14:29:11.52

> 処理系依存を書く言語。
わざわざ依存した書き方をしなくていい
依存しないでデメリットなくかけるなら依存しない方法をとるのが普通

ていうか、
言語的に保証されてないアドレスの減算の処理などコンパイラの説明書に普通書いてないが、
誰が責任を取るつもり？

**はちみつ餃子** ◆8X2XSCHEME · 2017/09/27(水) 16:20:12.02

強力な最適化コンパイラはプログラマが未定義を踏んでいないことをあてにした最適化をすることがある。
「ほとんどの環境で大丈夫」なんていうのは現代では思い込みだよ。全然大丈夫じゃない。

**デフォルトの名無しさん** · 2017/09/27(水) 17:12:16.04

未定義の動作だからその文丸ごと消しちゃっても構わないよね
って最適化がかかってバグった話は、どこかで読んだな

**デフォルトの名無しさん** · 2017/09/27(水) 18:35:30.13

>>703
offsetofとかいうマクロの中身を見てみようか

**デフォルトの名無しさん** · 2017/09/27(水) 18:37:06.64

いずれにしろ、
言語上未定義なコードをわざわざ書くのはアホ
>>700とか

**はちみつ餃子** ◆8X2XSCHEME · 2017/09/27(水) 20:20:25.41

>>705
何を言いたいんだ？
offsetof の中身が何を意味してるって？

**デフォルトの名無しさん** · 2017/09/27(水) 20:32:56.04

バカにマジレスみっともない

**デフォルトの名無しさん** · 2017/09/27(水) 21:11:03.19

>>707
中身見た？

**デフォルトの名無しさん** · 2017/09/27(水) 21:14:39.99

offsetofはコンパイラメーカーが用意するものだから
意味合いが違ってくるのでは？

**デフォルトの名無しさん** · 2017/09/27(水) 21:15:50.58

なにも考えずに互換性を減らすコードを書くのはアホ

使う環境が限られているのに、互換性を理由に明確なメリットがあるコードを避けるのもアホ

**デフォルトの名無しさん** · 2017/09/27(水) 21:17:57.15

また未定義、未規定、処理系定義の違いもわかってない>>700が暴れてるのか
autoに粘着してるところを見ると新しいものについていけなくなった老害なんだろうな w

**デフォルトの名無しさん** · 2017/09/27(水) 21:18:58.16

それとoffsetofに何の関係が？
offsetofはコンパイラメーカーが用意したんだろうから
少なくともそのコンパイラでは動くようになってる
だからといってどうこうという話は一切ない

**デフォルトの名無しさん** · 2017/09/27(水) 21:22:31.36

offsetofは>>703への反論

**デフォルトの名無しさん** · 2017/09/27(水) 21:26:08.14

>>714
>>703とoffsetofに何の関係が？
offsetofはコンパイラメーカーが用意したんだから
少なくともそのコンパイラで動くようになってる
これをもってして、どうこうという話はない

**デフォルトの名無しさん** · 2017/09/27(水) 21:38:58.24

offsetofがどうやって出来たかも知らんとは
じゃあ逆にうまく動かない具体例を知ってる？
たいてい内部はただの整数演算だぞ

**はちみつ餃子** ◆8X2XSCHEME · 2017/09/27(水) 21:51:01.70

>>716
いいえ。たとえば GCC は __builtin_offsetof を持っていて、 offsetof マクロはこれに展開されます。

**デフォルトの名無しさん** · 2017/09/27(水) 22:05:03.95

だからoffsetofはコンパイラメーカーが用意したもので
自分たちが自分たちの製品用に用意したんだから動くのは当たり前だろ？
offsetofは動くが(そりゃコンパイラメーカーが用意したんだから当たり前)
だから何なんだ？

nullptrが好きみたいだから
https://cpplover.blogspot.jp/2015/12/blog-post_21.html
↑を読んでみると良い
それもじっくり読んだほうが良い
こういった不慮の事故があるから未定義動作は避けるべきというのは当たり前では?
↑のプログラムが未定義動作で最適化でコンパイラで削除されるのに
offsetofは最適化されずに残るってのは非常に興味深い微妙な部分なんだよ
やってることはヌルポインターの参照で同じことなんだがな
こんなのさじ加減なんで、何が起こるか分からない

**デフォルトの名無しさん** · 2017/09/27(水) 22:44:20.00

>>717
具体例は？

**デフォルトの名無しさん** · 2017/09/27(水) 23:48:58.08

具体例が無いと>>702-704,718の懸念は認められない。
などと思っているならこいつはとんだアホウだ

**デフォルトの名無しさん** · 2017/09/28(木) 06:23:37.76

具体例が出ないことは>>701の証拠となる

**デフォルトの名無しさん** · 2017/09/28(木) 06:28:56.63

つまり>>700の否定だ

**デフォルトの名無しさん** · 2017/09/28(木) 06:46:37.21

そもそも>>717は具体的な例だし>>719の考える具体例ってなに？

**デフォルトの名無しさん** · 2017/09/28(木) 07:37:45.60

元は>>652だな
それに続く>>658の１部だけを抜き出して>>664の書き込み
目的がこの時点でそれて、これ以降アドレスの減算の話になる

ダメな例ってのはアドレスの減算を行って実際にうまく動かない例
オフセット分を戻すことで有効アドレスで使うことになるので、>>701で実際に元に戻らない環境を多く示せばいい

言語規格上保証されてないことは>>670や>>677以外は知っている

**デフォルトの名無しさん** · 2017/09/28(木) 10:53:55.67

それとoffsetofが何の関係があるのか、と聞いているわけだが

**デフォルトの名無しさん** · 2017/09/28(木) 11:32:16.87

offsetofは未定義とされるコードが処理系のライブラリ内で使用されていた例。
「具体例」は単に実際に問題となる例を出せと言っているだけ。
両者は無関係だが>>705が>>715を理解する知能が無かったのが残念。

**デフォルトの名無しさん** · 2017/09/28(木) 11:35:32.70

offsetofと同様の自作マクロがたくさん使われてる
ということを知らないとは

ていうか、順番が逆だ

色々な所で使われてるから標準化された

**デフォルトの名無しさん** · 2017/09/28(木) 11:37:25.53

>>725
offsetofの中身を見れば関連がわかる

**デフォルトの名無しさん** · 2017/09/28(木) 11:46:41.60

きっと>728の使ってるコンパイラでのoffsetofの定義には我々の想像も付かない何かが書いてあるんだよ。
他の人の使ってるコンパイラでも同じことが書いてあるはずだと思ってる理由はわかんないんだけど。
>728はその「offsetofの中身」を明示して話すといいんじゃないかな。知らんけど。

**デフォルトの名無しさん** · 2017/09/28(木) 12:01:16.61

>>727
>色々な所で使われてるから標準化された
お前のパソコンに保存されてる自作マクロには興味ないけど、
offsetofは機能性を規格化しただけで実装は規格化されてないぞ

**デフォルトの名無しさん** · 2017/09/28(木) 12:44:17.37

0番地を構造体のアドレスにキャストして、メンバのアドレスに変換して、それをそのまま整数にキャストする

ってマクロ、昔は一般的に使われてたんだけど
知らないか

>>701の根拠のひとつ

いずれにしろ、
反例がひとつも出て来ないようじゃそんな根拠もいらないね

**デフォルトの名無しさん** · 2017/09/28(木) 12:45:47.97

>>700はトンチンカンで、
>>703も説得力ゼロ

ってことで

**デフォルトの名無しさん** · 2017/09/28(木) 14:59:31.87

ぬるぽ使った自作offsetofがすべての処理系で正常動作するとは限らない
って話じゃないのけ？

**デフォルトの名無しさん** · 2017/09/28(木) 16:36:34.69

ぬるぬるぽっぽっぽ

**デフォルトの名無しさん** · 2017/09/28(木) 18:14:43.67

>>726
offsetofはコンパイラベンダーが用意したのだから動くのは当たり前では
俺らからしたら、未定義動作、処理系依存、実装依存、であっても
コンパイラベンダーからしたら、仕様なのでは？
特にコンパイラベンダーは究極的にはコンパイラの仕様を変更することも
出来る立場なので

**デフォルトの名無しさん** · 2017/09/28(木) 18:44:25.04

>>733
ほとんどの環境でうまくいく
だから良く使われている

そうじゃないっていうなら
うまくいかない例を出して

っていう話

**デフォルトの名無しさん** · 2017/09/28(木) 18:45:14.20

>>735
壊れたレコードプレーヤーか？

**デフォルトの名無しさん** · 2017/09/28(木) 18:47:54.52

壊れたレコードでも何でもいいけど
説明求む

**デフォルトの名無しさん** · 2017/09/28(木) 18:52:01.14

日本語が通じない人に説明は不可能
おれは>>726じゃないし

**はちみつ餃子** ◆8X2XSCHEME · 2017/09/28(木) 18:52:29.72

なんでそんなに仕様に違反したいんだ？
仕様に違反すべきではないってことにそんなに根拠が必要か？

**デフォルトの名無しさん** · 2017/09/28(木) 18:52:32.31

とりあえず落ち着いてスレを読み返しな

**デフォルトの名無しさん** · 2017/09/28(木) 18:54:33.80

>>740
違反したいなんて思ってるのは>>700くらい

メリットがあれば違反することもある
簡単な代替手段があれば違反しない

**デフォルトの名無しさん** · 2017/09/28(木) 18:57:08.19

そもそも、どの環境でも正しく動く保証がある意味のあるコードなんてないから
どのコードもある程度環境を前提としてる

**デフォルトの名無しさん** · 2017/09/28(木) 19:09:22.17

そんな唐突な、そもそも論は、要らないだろ
程度問題だろ
C/C++の仕様的にはNGでも、コンパイラの仕様書にOKって書いてあればOKなんじゃね？
例えば int は 32bit 整数ですって書いてあれば、そういう製品仕様として納得するし
ただ、offsetofをもってしてOKと言えるのかどうか

**デフォルトの名無しさん** · 2017/09/28(木) 19:14:42.61

だからダメな例を出せって
>>699に対して反論したいなら

**デフォルトの名無しさん** · 2017/09/28(木) 19:16:02.07

コンパイラの仕様書に書いてないよ普通
ポインタのビット数が書いてあるだけで

**デフォルトの名無しさん** · 2017/09/28(木) 19:19:48.44

>だからダメな例を出せって
そしたら逆にコンパイラの仕様書でOKって書いてある例を出せ
って話になるでしょ
無ければグレーゾーンになるわけだ
まさに未定義

**デフォルトの名無しさん** · 2017/09/28(木) 19:30:52.46

日本語が通じない人が多いなあ

とおもったら同じ人か

**デフォルトの名無しさん** · 2017/09/28(木) 19:38:01.58

>>745
だから>>717で反例でてるだろ
C++で&演算子を定義されたら簡単に破綻する
https://stackoverflow.com/questions/400116/what-is-the-purpose-and-return-type-of-the-builtin-offsetof-operator/406941#406941

**デフォルトの名無しさん** · 2017/09/28(木) 19:41:37.10

またトンチンカンな例を
話の流れくらい理解してから書け

**デフォルトの名無しさん** · 2017/09/28(木) 19:50:55.33

そりゃ誰もお前の中だけの勝手な話の流れなど知ったことではないだろ

**デフォルトの名無しさん** · 2017/09/28(木) 20:20:35.35

>>750
トンチンカンとしか言えないなら黙ってろよw

**デフォルトの名無しさん** · 2017/09/28(木) 21:45:26.80

単純な話、ベンダー提供のマクロで言語仕様上保証されないような使い方がされていたとして、
そのマクロ自体の動作はベンダーが保証しても同じコードがそのマクロ外で保証されるわけじゃないよね。
実際には動くかもしらんけど。

**デフォルトの名無しさん** · 2017/09/28(木) 22:24:40.88

最近また片山老人が暴れてんの？

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/09/28(木) 23:35:41.44

昔は学生運動が一大イベントだった。鉄砲の音が聞こえたら、学生たちが一斉に走り回る。それは軍隊のように団結力のある集団だった。

**片山博文MZ** ◆T6xkBnTXz7B0 · 2017/09/29(金) 00:24:14.89

って昔話でもさせるのか？

**はちみつ餃子** ◆8X2XSCHEME · 2017/09/29(金) 00:55:18.83

>>753
「こんな最適化するのか！」って思うようなピンポイントな最適化は有るから、
逆にピンポイントな例外だってありそうよね。

**デフォルトの名無しさん** · 2017/09/29(金) 06:49:45.56

>>753
マクロとそれを展開したソースで動きが異なるってこと？
さすがにそれは考えにくいと思うけど

**デフォルトの名無しさん** · 2017/09/29(金) 10:16:34.25

>>736
すべての環境で動作する保証が無い＝環境依存

**デフォルトの名無しさん** · 2017/09/29(金) 11:32:53.08

お前らが何を話しているのかわからん
相手に何を伝えたいのか
お前らは何を訴えたいのか
何も見えてこない
俺がないならもうやめろ

**デフォルトの名無しさん** · 2017/09/29(金) 12:45:07.45

俺の主張は>699

**デフォルトの名無しさん** · 2017/09/29(金) 12:46:04.43

主張内容に興味無いけど