ラクラムシ

C++ とか Siv3D とか

[ラクラムシ @raclamusi]

おふざけ記事を書きました
C++ AdC 5日目です

C++コンパイル時コード生成で（Rustみたいに）先を見通す型推論　〜コンパイルは2回〜
https://t.co/O8IgbG45Ie

[ラクラムシ @raclamusi]

Meccha Chameleon みたいに ch の前の促音に c を使うやつ、めっちゃ違和感あるんだけど、なんかもう浸透しちゃってる？

[ラクラムシ @raclamusi]

CPUレジスタ：主記憶装置
CPUキャッシュ：補助記憶装置
メインメモリ：補助補助記憶装置
ストレージキャッシュ：補助補助補助記憶装置
ストレージ：補助補助補助補助記憶装置

[ラクラムシ @raclamusi]

SSDはSWAPに使うのでもちろん「補助」記憶装置

[ラクラムシ @raclamusi]

自分のリポジトリなのに watch しないと通知がこないのが悪い

[ラクラムシ @raclamusi]

私は自分のリポジトリに来たPRを1年間すっぽかしました

私は自分のリポジトリに来たPRを3ヶ月間すっぽかしました ←new!

[ラクラムシ @raclamusi]

C++ に std::indirect_array なんてあるんだ
C++26 で入った std::indirect の配列版かな？

と思ったら全然違った

[ラクラムシ @raclamusi]

なぜか delete[] でセグフォが出ると思ったら、アライメント違反してた

[ラクラムシ @raclamusi]

CとC++の違い

C: (int[]){ 1, 2, 3 }
C++: typename[:^^int[]:]{ 1, 2, 3 }

[ラクラムシ @raclamusi]

iostream「昔は可変引数テンプレートがなかったからシフト演算子を使うのは仕方なかったよ！　新しいライブラリは演算子を正しく使おうね！」

filesystem「？」
chrono「？」
ranges「？」
execution「？」

[夜糸 @yaito3014]

iostream におけるシフト演算子の転用、あれはあれで理由があって…みたいに言い出す老害オタクムーブしそうになった

[ラクラムシ @raclamusi]

1＝0.999... の件、「 ... 」という記号が悪くて、ちゃんと毎回 lim_{n→∞}∑_{k=1}^{n} 9×10^{-k} と書くべきなのでは？（）

[ラクラムシ @raclamusi]

アサーションのためにわざわざ # include <cassert> する必要がなくなる、など

[こるぼー @zero_kpr]

C++26の契約プログラミング、あまり良さがわかってない

[ラクラムシ @raclamusi]

@yaito3014 型に限定するなら、列挙型に限定してもよかっただろと思いますが、うーん…

[ラクラムシ @raclamusi]

𝑒𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒 is 何

[ラクラムシ @raclamusi]

列挙型は enum class E; と書くだけで完全型になるから、完全型とは別に「列挙子が見える」という概念が必要なのか
しかし、なぜクラス型が含まれる？

[ラクラムシ @raclamusi]

^^T* == ^^U* だとdealiasされて幸せ（ポインタにできない型だとエラー）

[でちまるさん（実際かわいい） @decimalbloat]

std::same_as<T, U>の代わりに^^T == ^^Uとすると、元の型とaliasが区別されるので死

[ラクラムシ @raclamusi]

できるやないか

[ラクラムシ @raclamusi]

ツイートできない……

[ラクラムシ @raclamusi]

@k_matsuzaki この辺のCとC++で結構差がありますね。
C++も最近（C++20以降）はmemcpyを使わず合法的にキャストする方法が提供されてます。
int i;
float f = std::bit_cast<float>(i);

[ラクラムシ @raclamusi]

int i; があるとき、
*(float*)&i
はダメだけど、
(union { int i; float f; }){ i }.f
はよかった気がする

[ラクラムシ @raclamusi]

@k_matsuzaki C言語の文脈でした
おっしゃる通り、C++ではダメですね