[過去ﾛｸﾞ] C言語なら俺に聞け 163 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
653: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ ff32-DO7v) 02/11(火)23:17 ID:0+q77CUl0(2/2) AAS
>>650
わかる範囲でやるってだけ。
わからないところは保守的なコードを生成する。
ただ、今は LTO があるのでわかる範囲がだいぶん広い。
わからないからこそプログラマは未定義なことをしないと仮定した最適化をする (未定義を踏んでたらむちゃくちゃになる) という場合もある。
654: (ﾜｯﾁｮｲ d301-XAIF) 02/12(水)10:25 ID:WVzDbo940(1/2) AAS
>>648
ポインタpとqの値が同じにならないんだけど…
655: (ｻｻｸｯﾃﾛﾗ Spa3-Z3xl) 02/12(水)10:28 ID:p1VJlK94p(1) AAS
Cに余計なもん付けたらいにしえのLinux由来のコードが通らなくなるだろ
656: (ﾜｯﾁｮｲ 6a4d-WFrT) 02/12(水)11:20 ID:OojhOsKe0(1/3) AAS
未定義の動作がどういうことなのかよく分かっていない人がいるみたいなので補足しておく
>>628
未定義の動作を引き起こすプログラムを提示しても結果が分からないし毎回違う可能性もある点でこれだと何も示せてない
きつい言い方かもしれないが注意喚起になっていない
>>634の2行目を見るとコードの動き方に対しての認識として不定の動作と未定義の動作を混同して勘違いしてるかも知れないね
657: 627 (ﾜｯﾁｮｲ 6a4d-WFrT) 02/12(水)11:21 ID:OojhOsKe0(2/3) AAS
>>631
未定義の動作なので2行目から7行目のような事が起きるかどうかは分からない
仮に未定義の動作がなかったとしても行目を自明のように仮定することは出来ない
アーキテクチャが色々ある中そういう処理系もあればそうでない処理系もあるしCでは何も規定してない
スタックの仕組みがないものもあればポインタをそもそも数値や番地で扱わないアーキテクチャもある
後段も同様
658(2): 627 (ﾜｯﾁｮｲ 6a4d-WFrT) 02/12(水)11:22 ID:OojhOsKe0(3/3) AAS
>>644
コンパイラの動作に対して必要条件が何も設定されない状態になるという話で最適化は全く関係ない
ちなみに今回の話はK&Rの頃からあるルールなので>>648とはちょっと違う
ただ内容は大体同じでポインタはオブジェクトを指してるもので、その内部形式や扱い方はユーザーが知る必要はない
659: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ ff32-XAIF) 02/12(水)11:47 ID:cXwd7RB80(1/2) AAS
>>658
言語仕様上で未定義動作とされている状況が実際の機械の上でどう動作するか (その動作は想像できない) という文脈でヤバさを伝えるためになるべく想像外な結果を生む実例を出そうとしているので最適化は関係ある。
660: (ｻｻｸｯﾃﾛﾗ Spa3-Z3xl) 02/12(水)11:50 ID:XyTZkBHop(1) AAS
最適化しないと無駄なコードや無意味なコードも忠実に出力されるからなぁ
661: (ﾜｯﾁｮｲ 4618-6Hi7) 02/12(水)12:49 ID:J/UI6pYQ0(1) AAS
>>658
未定義だから不明を連呼されても大して参考にならんわけで
なぜ現実のgccではあのような結果になるのか理由を説明できないのか？
わかってないようだけど最適化は大いに関係してるぞ
662: (ﾜｯﾁｮｲ de76-/Fy3) 02/12(水)13:26 ID:7GgOweZ60(1) AAS
えーと未定義や環境依存を使ったりとかは
Cおよびコンピュータの理解が不十分な
質の劣るプログラマが存在するからでしょうに
そういう人達に重要プログラムを書かせる責任問題でもある
663: (ﾜｯﾁｮｲ 5302-aFRq) 02/12(水)15:09 ID:+Pz/j8Me0(1) AAS
相手に過大に説明を要求して、自分は分かろうとしない者は嫌われちゃうよ
664: (ﾜｯﾁｮｲ 1e63-euVe) 02/12(水)15:17 ID:iId2MJ1V0(1) AAS
gccのフォーラムで質問出してみたら？
参考にできる回答が得られるかも知れないよ
665: (ﾜｯﾁｮｲ d301-XAIF) 02/12(水)15:52 ID:WVzDbo940(2/2) AAS
＞ポインタにはprovenanceという，どのオブジェクト由来かの情報が含まれています
↑まずこれがおかしい
666: (ｻｻｸｯﾃﾛﾗ Spa3-Z3xl) 02/12(水)16:26 ID:I956D6cKp(1) AAS
ランタイムじゃなくてコンパイル時の静的なルールだろうね
667(1): (ﾜｯﾁｮｲ ea07-XAIF) 02/12(水)17:12 ID:1bCkYFVx0(1) AAS
投資家はRustを信頼するって言ってるんだから、Rustとおんなじようにすればいいだけ
俺はC/C++派なので、どんどんRustの実績をぶんどってくるべきって思ってる
668: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ ff32-DO7v) 02/12(水)17:47 ID:cXwd7RB80(2/2) AAS
>>667
Rust のようにやるなら Rust のほうが巧くやれる。
当たり前だろ。
669: 警備員[Lv.1][新芽] (ﾜｯﾁｮｲ aba3-tGgj) 02/13(木)00:32 ID:rym7RjTu0(1/2) AAS
移植性が求められることばかりでもないし、最適化などのオプションも頻繁に取ったりつけたりしないし、思い通りに動かなければアセンブルリストみたりするけど、コンパイラが出力するコードが予想通りかなんて観点はないし、実践的ではないけど、人を小馬鹿にしたりしなければ勉強になって面白い話なのに
670: 警備員[Lv.1][新芽] (ﾜｯﾁｮｲ aba3-tGgj) 02/13(木)00:34 ID:rym7RjTu0(2/2) AAS
実践的でない、はちょっと違うか
671: (ﾜｯﾁｮｲ 8655-u07z) 02/15(土)13:31 ID:vKfoke/00(1) AAS
Arduino (ESP32)で文字列変換をしたいです。
tの文字列をtm structに変換したいんですが，タイムゾーンのオフセット部分の+9:00の扱いが分かりません。
%Zはタイムゾーンのオフセットを分を指定する場合で、%zだとUTCなどタイムゾーン名を指定する場合に使うみたいでした。
どうやるんでしょうか？
外部ﾘﾝｸ:pastebin.com
672(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ ff32-XAIF) 02/15(土)15:04 ID:ewglApEf0(1/3) AAS
strptime で %z や %Z でタイムゾーンを扱えるのは glibc の拡張 (他で真似している場合もあるかもしれんけど) なんだけど、 Arduino の C ライブラリは glibc ベースなの？
そうじゃないなら各ライブラリのドキュメント (またはソースコード) を読まないとわからないし、そもそもそんな機能はないのかもしれない。
673(1): (ﾜｯﾁｮｲ 5357-u07z) 02/15(土)16:19 ID:BNBq5D0N0(1) AAS
>>672
どうもありがとうございます
%zのようなのを使わず+の前後で分けてまず前だけでtm structに変換して後ろはエポック秒が何かに変換して使うのがベターでしょうか？
674: (ﾌﾞｰｲﾓ MM3b-6Hi7) 02/15(土)16:25 ID:Q9F/iLI2M(1) AAS
やり方思いついたならやれ
675: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ ff32-XAIF) 02/15(土)16:39 ID:ewglApEf0(2/3) AAS
>>673
どうやら Arduino は newlib ベースの模様。
newlib の strptime はタイムゾーンをサポートしてない。
どうにかしてタイムゾーンを扱いたい場合にどうやって実装するかは個々の事情によると思うのでなんとも言えない。
実績のある実装をどこかから持ってきたほうが良いんじゃないかと個人的には思う。
外部ﾘﾝｸ:www.google.com
パースするだけならたいして複雑なものではないので自分で書いてみてもいいかな。
ちなみにタイムゾーンを略称で扱うのは面倒な事情が絡む。
タイムゾーンを標準時からの差の時間で表すときはその時点での差があれば十分なので簡単なんだけど、略称で表すときはサマータイムの情報もいる。
たとえばニューヨークのタイムゾーン (EST) は普段は -05:00 だけどサマータイム中は -04:00 になる。
単に EST=-05:00 というわけではない。
そんでもってこのへんの扱いが面倒なのは変わることは割とよくあるということ。
サマータイムの期間が変わったりずらす時間が変わったり、あるいはゾーンが増えたり減ったりするのは政治的な判断なので情報を定期的に更新する前提じゃないときちんと運用できない。
パソコンの OS だと適当なタイミングで更新する仕組みがあるのが普通だけど組み込みシステムだとそうもいかないこともある。
676: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ ff32-DO7v) 02/15(土)21:12 ID:ewglApEf0(3/3) AAS
基本的なことを書き忘れてた。
strptime は C の言語仕様には無い関数で、 POSIX (UNIX 系 OS の統一仕様) にある。
POSIX は最低限の共通部分だけをまとめたもので実装には雑多な拡張を入れる前提なので各実装によってサポート内容が違う。
POSIX 準拠ではない環境で部分的に POSIX を真似てるだけ (POSIX の最低限の要求も満たしてない) ということもある。
677: (ｱｳｱｳｴｰ Sa13-9cJ9) 02/16(日)12:03 ID:rAQQ2/+ca(1) AAS
最初からtmstructをUTCで取得した方が楽ジャマイカ
678: (ﾜｯﾁｮｲ 232c-1nj7) 02/17(月)01:18 ID:mzGEyEzq0(1) AAS
有効な同型ポインタの比較において、同一オブジェクト/配列由来でない場合、
== の結果は 0
(未定義動作ではない)
C99(N1256) Annex J.2 Undefined behavior
— Pointers that do not point to the same aggregate or union (nor just beyond the same
array object) are compared using relational operators (6.5.8).
ここに Equality operators の記述がない。
6.5.8 Relational operators
6.5.9 Equality operators
でも同様の内容となっている。また、
N3231 外部ﾘﾝｸ[pdf]:www.open-std.org
2024/03/21 Kleynhans, TS 6010 A Provenance-aware Memory Object Model for C, Revision Draft
N3005
2022/06/16 Gustedt, A Provenance-aware Memory Object Model for C, draft TS 6010, version June 2022
では、provenance と abstract address という用語が導入されてスッキリとした文面になっている。
679: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ ed32-7Htj) 02/17(月)10:52 ID:tIRsmIw80(1) AAS
C99 をあらためて読み返してみたら確かにそうだ……。
・ ふたつのポインタが等しいと判断される条件が書いてあって「その場合に限り」等しいとする
・ 各演算子は指定された関係が真の場合は1を，偽の場合は0を返す
・ 未定義と書いてある (またはそれと等価な言い回し) か動作の明示的な定義がない場合は全て未定義
等しい条件を満たさないなら 0 が返されることを保証していることになるので未定義ではないことになる。
でもまあ現実的に考えたらおかしいし、欠陥報告が出てたりしない？
680(1): (ﾜｯﾁｮｲ 1501-7Htj) 02/17(月)19:30 ID:iQTBmgHC0(1) AAS
>>648のサンプルプログラムで同じことが起きることってある？
681: (ﾜｯﾁｮｲ 23ad-MHHu) 02/22(土)07:05 ID:nEyoRU5r0(1/2) AAS
>>680
WSL2 の Ubuntu 22.04.5 にインストールされている gcc 11.4.0 で gcc -O でコンパイルしたら起きた。
-O なしだと起きない。
682: (ﾜｯﾁｮｲ fde8-ItHp) 02/22(土)12:11 ID:DWcN/KDk0(1) AAS
余計なことを
上下前次1-新書関写板覧索設栞歴
あと 320 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.017s