ときどきの雑記帖 RE* (新南口)

忘れ草

Zガンダム＠テレ玉

「グリプス始動」

  • 「お兄ちゃん」
  • パラスアテネ(名前だけ登場
  • 久しぶり(?)のビンタ×2(エマ→カミーユ))
  • 18バンチ
  • 直径200mの穴

次回 「目覚め」

「ソーラ・レイ」から名前を変えたのはいろいろ理由があるとは思うのだけど、 「スゲー兵器」感がなくなっちゃってるよねえ＞「コロニーレーザー」

FA

「チームからは戦力構想外と見られている」西武・中村剛也（42）の“来季限りで引退”は既定路線か？ ドラフト同期・栗山巧の異例発言が広げる波紋 | 文春オンライン https://bunshun.jp/articles/-/84416

西武は今季、DeNAから桑原将志外野手、日本ハムから石井一成内野手をFAで獲得。 石井は人的補償なく獲得できるCランクだが、Bランクの桑原は人的補償か金銭補償が必要だ。

「栗山と中村は戦力として計算できなくても、西武で引退させる以上、28人のプロテクトリストに載せざるを得ない。 さらには、ポスティングシステムでメジャー移籍を目指す今井達也投手と髙橋光成投手も、 獲得されると移籍金がそのまま奪われるので保護しなければならない。

え、そうなの?＞移籍金

C++

を見ても??だったので

int main()
{
  [[]][][[]]()[[]]{}();
}

カッコ対の間に空白を入れて、それぞれのカッコ対の役割を書くとこう?

      ラムダ式の開始(キャプチャ)
        |    + 属性?
        |    |    + 引数リスト
        {    |    |    + 属性?
  [[]]  []  [[]]  ()  [[]]  {}  ();
   |                        |    + 関数呼び出し
   |                        関数本体
  属性?

ふむ。

なんかよくわからんのでcopilotに訊いてみたところ、 GPT-4oだと「コンパイルできないコードです」みたいな回答されたんだけど (C++23でコンパイルできる。とプロンプトには書いた)、 GPT-5だと

以下のコードは、**「何もしない無名ラムダ式をその場で呼び出す」**だけのプログラムです。 結果として main は副作用なく終了し、戻り値は既定値の 0（成功）になります。

int main()
{
 [[]][][[]]()[[]]{}();
}

と返ってきて、さらに詳しく解説してくれた😄

どのように構文解析されるのか

C++（C++23 含む）では、属性（attributes） を示す構文 [[ ... ]] を、式や宣言のさまざまな位置に書けます。また、ラムダ式 は

[] (引数) { 本体 }

の形を取り、式としてそのまま 関数呼び出し演算子 () で即時実行できます。

このコードを左から順にトークンで読むと、だいたい次のように解釈されます：

  1. [[ ]] （空の属性指定） 直後の式（ここではラムダ式）に属性を付けようとしている位置です。 注：規格上は [[ ]] の中身が空なのは不適合（ill-formed）です。つまり厳密には少なくとも 1 つの属性識別子が必要です。しかし、GCC や Clang など一部のコンパイラはこれを警告または黙認して「効果のない属性」として扱い、コンパイルが通ることがあります（利用するコンパイラの拡張・寛容度に依存）。
  2. [] ラムダのキャプチャリスト（空）。何もキャプチャしません。
  3. [[ ]] ラムダ式（あるいはその宣言部）に対する追加の属性指定（ただし中身は空。上記と同様に、規格的には不適合だが、コンパイラ拡張で黙認される場合がある）。
  4. () ラムダのパラメータリスト（空）。引数を取りません。
  5. [[ ]] ラムダ本体や宣言要素へのさらに別の属性指定（中身は空。上記と同様）。
  6. {} ラムダの本体（空）。何もしません。
  7. () 上で定義したラムダオブジェクトの即時呼び出し。引数なしで実行されます（本体が空なので実行しても何もしません）。

**つまり何が起こる？*+

  • 無名ラムダ [](){}
  • を、その場で () して呼び出しているだけ
  • 途中に挟まっている [[ ]] は「属性指定」を表す構文ですが中身が空のため、標準準拠コンパイラではエラーになり得ます。 一部コンパイラが拡張として許容している場合は、効果のない“空属性”として無視され、コンパイル・実行ともに成功します。
  • 実行時の副作用はなく、main は正常終了します。

補足（コンパイラ依存のポイント）

  • 規格準拠性：C++23 の文法では、[[ ]] の中に少なくとも 1 つの属性が必要です。 例：[[nodiscard]]、[[likely]]、[[deprecated("理由")]] など。
  • 実際の挙動：質問文に「コンパイル可能」とあるので、質問者の環境 （例えば Clang や GCC の特定バージョン／オプション設定）では空属性が受理されていると推測されます。 その場合、このコードは「空属性を 3 回付けた『引数もキャプチャも本体も空のラムダ』を即時呼び出し」というだけのプログラムになります。

**実務的な書き方（等価で規格的に安全）*＊

空属性を使わず、規格的に確実な書き方は次のとおりです：

int main() {
   [](){}(); // 何もしないラムダを即時呼び出し
}

こちらはすべての規格準拠コンパイラで問題なくコンパイル・実行できます。

auto

Can You Survive the C++ Auto Type Deduction Gauntlet? | Volatile Int

perl

なんやらよくわからんけど Perlはなぜ衰退したかネタがたくさん

WG 14

WG 14 Document log

新刊近刊

SOURCE CODE

池袋のジュンク堂で11日に発売ってことは ○○で10日に探してもなかったのはまあ当然か。

しかし140冊…

ラムダノート

ということなので、Lean本と一緒に注文した😄

『n月刊ラムダノート』Vol.5 No.2（2025）発行のお知らせ – 技術書出版と販売のラムダノート

「予想外」を予想する方法

これは面白そう

Vibe Engineering

awk

gawk

いくつかcommitがあったけど 目をひくような大きなものはなし

FORTRAN Compiler on IBM 704

まったく手を付けていないというわけではないのだけど 何かしら書くまでには至らないのがなかなか

目

知らなかった＞むかしは回っていた

アポカリプスホテル

元日(じゃないけど)からとは。 実は1話を観ていなかったので愉しみ (配信で観てもよかったのだけどなんとなく…)

今日の重箱の隅

「弟妹(ていまい)」は辞書にも載ってるけど 「妹弟」なんてあったかな?

SOURCE CODE ≪ prev