旧石器時代のポインタをご利用の皆様へ ～provenance入門～ - Qiita

現代のプログラミング言語ではポインタは単なるアドレスではなく，provenanceを伴った参照として扱われています． 世界は既に変わっています． 概要 ポインタは単なるアドレスではありません． ポインタにはprovenanceという，どのオブジェクト由来かの情報が含まれています． Provenanceを使うことで，最適化が効きやすくなったり，堅牢なプログラムを書きやすくなったりします． 追記: 次の英語記事を読むとprovenanceが必要な理由についてもっとよく知ることができます．クリックしよう！！！！(2020-12-15) https://www.ralfj.de/blog/2020/12/14/provenance.html ポインタはアドレスではない 次のCプログラムを見てみましょう． #include <stdio.h> #include <string.h> int main

[NOV1975]

こういう話に「旧石器時代」とか入れるからまともに読んでもらえなくなるんだよ。

[kazuhooku]

ポインタを純粋なアドレスとして使うのは太古から strict aliasing rule に引っかかって問題になるし provenance 以前にそのあたりを説明するべきだと思う

[buzztaiki]

はやく新石器時代人になりたい。

[moondoldo]

「旧石器時代」とかいう下品なイキり言葉を平気で使う人の存在が、Qiita使う気が無くなる最たる理由なのよね

[hitotakuchan]

私の C 言語に関する知識は「エキスパート C プログラミング」　https://amzn.to/3bJAx8J　の内容で止まってるから知らなかった。

[dfk3]

旧石器時代の文化をポインタの概念を持ち込んで的確に説明した壮大な文化人類史みたいなのを期待して記事を開いたら全然違うぜ。

[mohno]

「ポインタのprovenance(由来)」←知らなかった。たしかに異なる領域のポインタを比較してはいけないんだが、変数をグローバルにすると「p == q」が「0」なのに「if文が成立」というおかしな状況になる。なんか迷惑な感じ。

[kkobayashi]

タイトルがクソ／ポインタはアドレスとイコールじゃない、って前からそうだと思うけど。実装としてはそうだし説明が楽だから言ってるだけで

[ardarim]

どうも。アセンブリ使いの原始人です。

[pixmap]

新石器時代のハンドル使ってた

[masterq]

某言語なんでもvoid *にするのまずいですよね。。。

[rryu]

元々C言語では配列要素へのポインタ以外の整数演算は未定義動作でそもそもご利用できないので旧石器時代も何も無いのだった。

[inoueyuworks]

最新のC言語において、 1. ポインタは単なるアドレスではない 2. ポインタには provenance という、どのオブジェクト由来かの情報が含まれる 3. provenance は、最適化だったり (type?) safety などに利用されるっぽい

[Falky]

普通に知らなかったのでビックリしてる。ポインタなにもわからない

[qnq777]

これ「GCC 10.1.0で実行する」のリンク先で最適化オプション外すとpとqが違う値になる

[saiyu99sp]

あ、狩猟犬のことですね！？

[UhoNiceGuy]

この程度の煽りタイトル、流してしまうようになってしまったのは毒され過ぎだろうか//Cも随分色々になったのだなぁ//C++は言語の一つの究極か。マスターしたいなぁ。無理か

[findup]

C/C++使ってる現場って最新の言語仕様なんてそれほど必要としてないのよね。C99とかC++11とかが現役だったりするし。

[takeishi]

アンティキティラ島の機械もびっくり

[a2ikm]

“ポインタは単なるアドレスではありません． ポインタにはprovenanceという，どのオブジェクト由来かの情報が含まれています．”

[mas-higa]

int a, b; で &a + 1 で b を指すなんてことしないし、*p == *q はやっても p == q もやることないかな。

[takc923]

Qiitaにはユーザのミュート機能があり、おすすめです

[sakidatsumono]

K&Rから入ったクチだからなあ。子供が大学でどう教わってくるかはチェックしていよう。

[ntstn]

ポインタとか20年は触ってないから、こんなことになってるのね今という感じ。今でもないか。

[rjj]

"§6.5.9 Two pointers compare equal if and only if … one is a pointer to one past the end of one array object and the other is a pointer to the start of a different array object that happens to immediately follow the first array object in the address space."とどう整合性を付けるか。

[mnnn]

いやこのタイトルを見て「煽られた」と思うのは図星だからじゃない？と思った(個人の感想です)

[zyzy]

Cは知らん間に結構変わってたんだなぁ、と3年くらい前に気付いた。如何せん隣でC++がエクストリームに変わりすぎてたので気付きにくかったが。

[diveintounlimit]

“素晴らしいタイトルを提供してくれた親友に感謝します． ”まったく感謝せんでええと思う。私はこの記事を読まない。

[ribot]

旧石器時代にはポインタどころかコンピューターもない。なんなら言語もあったかどうか。

[igrep]

例がわかりやすい

[at_yasu]

そうだったのかーどうしてアドレスは同じなのに別と認識できるか気になる。

[gfx]

“ポインタにはprovenanceという，どのオブジェクト由来かの情報が含まれています” / まじで…知らなかった。原始人だった。

[napsucks]

単にMMU挟んでるからどうのこうのという話ではなかったのか

[nakag0711]

これは未定義動作の場合の処理系側のテクニックだよね。でもなんか規格に追加しようとしてるみたいだけど必要なのかな

[buhoho]

c使ってる人尊敬するわ。頭おかしくなりそう