C++相談室 part160

**デフォルトの名無しさん** · 2022/04/15(金) 08:39:32.42

前スレ
C++相談室 part158
https://mevius.5ch.net/test/read.cgi/tech/1645239402/

**はちみつ餃子** ◆8X2XSCHEME · 2022/05/21(土) 11:13:07.39

C++ は見かけ上の動作が仕様通りならどういう機械語を生成するか規定しないのが原則だから……。
言語仕様的には constexpr やら consteval も定数式として使える範囲を拡大しただけで、生成される機械語に対しては要求をしてない。
(想定はしていると思うけど。)

**デフォルトの名無しさん** · 2022/05/21(土) 11:49:29.76

翻訳系の仕事はソースコードの意味を変えずにオブジェクトコードに翻訳することで（ry
狭義のアルゴリズム（シングルスレッド条件、有限ステップで結果出力）の入力と出力の関係が翻訳前後で同じ結果になるならおk
最適化はボランティア活動みたいなもん
だいたいコルモゴロフ複雑性的な意味で一意な解など一般に無いし

**デフォルトの名無しさん** · 2022/05/21(土) 12:00:28.50

ていうかDFTと逆DFTおよび4n乗根のDFTと逆DFTができましたよ
https://ideone.com/uK9v58

n語のフーリエ変換にメモリを2n語使って良いなら話は簡単やが
>>695 のソースコードはn語で済ませているから黒魔術を駆使しているに違いない
>>695　の作者は漏れよか頭良すぎ（いやいい意味で、

**ハノン** ◆QZaw55cn4c · 2022/05/21(土) 14:44:04.21

>>978
＞C++ は見かけ上の動作が仕様通りならどういう機械語を生成するか規定しないのが原則だから……。
だとすると、inline の存在自体が原則に大きく矛盾していることになりますねえ

**デフォルトの名無しさん** · 2022/05/21(土) 14:47:32.33

あくまでもヒントじゃないのか

**デフォルトの名無しさん** · 2022/05/21(土) 15:01:05.79

>>982
そんな曖昧な態度だから、マクロによるインラインが跋扈してしまうんです、inline に限っては強制力を伴うべきでしょう、#define マクロを葬り去りたいのなら

**デフォルトの名無しさん** · 2022/05/21(土) 15:01:21.03

そう
あくまでヒント

ヒントになった理由は
世の中のプログラマーがアホだから

**デフォルトの名無しさん** · 2022/05/21(土) 15:01:54.43

#defineは永遠に不滅です

**デフォルトの名無しさん** · 2022/05/21(土) 15:23:50.89

CRTPにするとインターフェース継承してもインライン展開されるのほんとまじ意味わからん

**デフォルトの名無しさん** · 2022/05/21(土) 15:35:03.49

>>984
マクロ跋扈とを許す設計者の方がもっとアホですね

**デフォルトの名無しさん** · 2022/05/21(土) 15:39:45.82

誰の方がアホとかどうでもよくて
アホだからそういう仕様になった

**デフォルトの名無しさん** · 2022/05/21(土) 16:03:58.87

ちと別件に取り掛かったのでソースコードを見ながらではなく想像やが
>>695 のソースコードでやっている頻繁なswapの意図がわかった希ガス
　X(k) = Σ[j=0..n-1]{ x(j) * w^(j*k) }
を計算するとき項の足し合わせ順序はどうでも良く、かつk>1なら
　j * k = 0 (mod n)　　--- (1)
となるx(j) * w^(j*k)が複数回現れるから、(1)を満たす項の出現回数が大きいものを最初に足し合わせたらたちまち
（出現回数)-1語　のメモリが空く、というのが基本的着想で、
これを異なるkについて繰り返し行う場合(1)を満たす最大の出現回数となるjの系列jはk毎に相違するから、
kについての繰り返しについても部分計算を片付けてメモリを空けつつ進められ、
結局jとkの2重ループについてメモリを空けつつつつがなく進められるというしくみ（多分

**はちみつ餃子** ◆8X2XSCHEME · 2022/05/21(土) 16:11:12.45

>>981
inline は ODR の例外。また、異なる翻訳単位の同じ定義が統合されることを保証する。
これは C++98 のときからそう。
インライン化が望ましいことの指示であるとは書いてあるけど、
今では変数にも inline を付けることが出来るようになったのはもはや inline は ODR の例外としての意味がメインだと考えるべき。

**デフォルトの名無しさん** · 2022/05/21(土) 16:29:48.48

>>981
展開を強制したいならforceinlineあるやんけ(メジャーなコンパイラの拡張だけど

**デフォルトの名無しさん** · 2022/05/21(土) 16:47:52.13

onlineも導入すべき

**デフォルトの名無しさん** · 2022/05/21(土) 17:00:45.58

>>952
こんなのあるんか便利そうだな
まあ汎用的なデータ構造だと暫定未定義にするだけでもいいと思うけど、用途が決まってるクラスに関しては制約をつけたものを用意しておくのが無難だろうね

**ハノン** ◆QZaw55cn4c · 2022/05/21(土) 17:25:58.12

>>991
情報ありがとうございます。

>>990
ここで One Definition Rule がリファーされるのに直観的違和感を覚えます‥‥
が、反論はゆっくり考えますのでしばらくお待ちください、様々な視点を提供いただき感謝しております

**はちみつ餃子** ◆8X2XSCHEME · 2022/05/21(土) 17:56:26.14

>>994
inline というキーワードの選択が不自然なのはわかるが inline はインライン化の指示というよりは
インライン化に都合のよいように制限する指示と考えるとそんなに不自然でもない。

① C/C++ は翻訳単位ごとに個々にコンパイルしてからリンクする手順を取る
② 他のコンパイル単位にある定義の内容はわからんのでインライン化するためには翻訳単位の中に定義がある必要がある
③ ヘッダに関数定義を書きたい
④ ヘッダに定義を書くと ODR 違反やろ
⑤ じゃあ ODR の例外を設けよう。 inline って付けたら ODR の例外な！

**デフォルトの名無しさん** · 2022/05/21(土) 18:53:36.34

>>995

>>995 でいう定義は宣言に置き換えるべきでは？
ODR はあくまでも定義の話であって、宣言の話ではないかと考えます、私の勘違いでしょうか？

実装的には inline のついた関数定義が外部にリンクされる可能性があれば、すなわち extern な iniline 関数があれば、リンクのためのコード体を、各所に inline に展開されるコード体とは別に（こっそり）用意しておく、見たいな感じで十分に実装可能ですね

**はちみつ餃子** ◆8X2XSCHEME · 2022/05/21(土) 19:24:52.72

>>996
外部に見せる用の実体のある定義は実際に用意される実装が多いと思う。
でも、その外部では実体を参照することは出来てもインライン化できないよね、各翻訳単位で定義が存在する必要があるよねということを言ってる。

その上で現在では LTO が普及したのでどうでもよくなったけど。

**デフォルトの名無しさん** · 2022/05/21(土) 20:03:09.89

>>997
なるほど、やっと理解しました

LTO: Link Time Optimization ですか‥‥、トラブルの元で胡散臭いと思っている私は古い人なんでしょうね‥‥、.obj がコンパイラ固有になるのも嫌ですし

**デフォルトの名無しさん** · 2022/05/21(土) 20:12:03.42

海外の専門用語はわかりにくいのう
日本風にリンオプとか略してくれればいいのに
イニシャリズムみたいな言い方だとなんて言うんだろ

**デフォルトの名無しさん** · 2022/05/21(土) 20:15:04.92

>>999
村上龍の「5分後の世界」では、略語は使うな、ちゃんと元の言葉を使え、と教育されていますね
ジョージ・オーウェルの「1984」では、略語は謀略的な意味で使われる（小説末尾の appendix: New Speak 解説のカテゴリーB）ようですね

これらに影響されて、略語を連発するのは望ましくないという言語観を私は持っていますが

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 36日 11時間 35分 33秒