はてなブックマーク

プログラミング言語C/C++では、ビット幅が値0の無名(unnamed)ビットフィールドを宣言できる。ゼロ幅ビットフィールドにより、その前後ビットフィールドへの割当バイト(byte)を分離する。 struct S { int b1 : 4; int b2 : 2; int : 0; // (無名)ゼロ幅ビットフィールド int b3 : 2; }; 上記例のビットフィールドb1, b2は同一バイト位置に割り当てられるが、ゼロ幅ビットフィールドを挟んだb3は前2つとは異なるバイト位置に割り当てられることが保証される。 C言語 C99 6.7.2.1/p3, 11より一部引用（下線部は強調）。 Syntax (snip) struct-declarator: declarator declaratoropt : constant-expression 3 The expression that

C23／C++23現在のプログラミング言語仕様では、char型のビット幅CHAR_BITは8bit以上の処理系定義(implementation-defined)と規定される。POSIX規格では厳密にCHAR_BIT==8と定義する。 POSIX IEEE Std 1003.1, 2004, limits.hヘッダ仕様より一部引用。 Numerical Limits {CHAR_BIT} Number of bits in a type char. Value: 8 CHANGE HISTORY Issue 6 The values for the limits {CHAR_BIT}, {SCHAR_MAX}, and {UCHAR_MAX} are now required to be 8, +127, and 255, respectively. C++ C++標準ライブラリ仕様定義は

プログラミング言語Cの次期標準C2yでは、配列要素数を安全に取得する_Countof演算子が導入される。オペランドに配列型を要求すること以外は、構文規則的にsizeof演算子とほぼ同じ。 // C2y int fibs[] = { 1, 1, 2, 3, 5, 8, 13, 21 }; static_assert(_Countof(fibs) == 8); // OK // 標準ヘッダ<stdcountof.h>で定義されるマクロ利用すると // 小文字キーワード風に countof(fibs) と記述可能となる #include <stdcountof.h> static_assert(sizeof(fibs) == countof(fibs) * sizeof(int)); // C2y void func(int data[100]) { // 関数パラメータ部の配列表記 int d

次期C++2c(C++26)標準規格に向けて検討が進んでいる リフレクション(reflection) についてメモ。本記事の内容は提案文書 P2996R10 に基づく。 2025-07-18追記：2025年6月会合にてP2996R13［言語コア機能とライブラリ］、および一連の関連提案P3560R2［エラーハンドリング］、(PDF)P3096R12［関数パラメータ］、P3394R4［アノテーション］、P3491R3［静的データ定義］（→id:yohhoy:20250629）、P1306R5［展開文］（→id:yohhoy:20250228）などが採択された。*1 要約： 新しい演算子：^^、[:と:]の組 新しい構文 リフレクト式：^^識別子、^^型名 スプライサ構文：[:r:] constevalブロック宣言：consteval { statement(s) } 新しい標準ヘッダ<meta

異なるプログラミング言語における式i += 1 + ++i処理結果の違いについてメモ。*1 警告：1つの式内で同一変数を複数回更新する技巧的なコード記述は避けてください。こんな式を書くもんじゃねぇよ言語仕様書の紙束で張っ倒すぞ(#ﾉﾟДﾟ)ㇸ📘 ...取り乱しました。 int i = 0; // Java,C#,C++,C // let i = 0; // JavaScript i += 1 + ++i; // 変数 i の値は？ まとめ：整数型の変数iが値0で初期化さているとき、下記プログラミング言語における処理結果は次の通り。 Java：値2 JavaScript：値2 C#：値2 C：未定義動作(undefined behavior)（→id:yohhoy:20241125） C++（→id:yohhoy:20241125） C++14まで：未定義動作(undefined beha

プログラミング言語Cの次期C2x(C23)言語仕様に追加される属性（→id:yohhoy:20200505）reproducible, unsequencedに関するメモ。関数呼び出しに対する最適化ヒント。 // C2x int calc(int x, int y) [[unsequenced]]; int a = /*...*/; int b = calc(a) * 2; /* 任意の処理 */ int c = calc(a) * 4; // calc関数に付与されたunsequenced属性により、 // コンパイラによる下記の最適化が許可される。 // int b = calc(a) * 2; // int c = b * 2; // /* 任意の処理 */ まとめ： 関数または関数ポインタに対して付与する属性。 reproducible属性＝副作用を持たない(effectless)

プログラミング言語Cの次期C2x(C23)言語仕様に追加される#embedディレクティブについて。外部ファイルをバイナリデータとしてプログラムに埋込む機能。 2025-02-20追記：プログラミング言語C++においても、次期C++2c(C++26)に同機能を追加する提案文書P1967R14が採択された。*1 下記コードは、外部PNGファイル内容を生成プログラム中のuint8_t型配列として埋め込む例*2 *3。C17現在は外部ツール*4を用いたビルドステップで対応しているものが、C2x以降はC言語処理系（プリプロセッサ）のみで実現される。 // C2x #include <stdint.h> // uint8_t #if __has_embed("resource/icon.png") constexpr uint8_t icon[] = { #embed "resource/icon.p

プログラミング言語C標準規格における改行文字(new-line character)と改行コードCR, LFとの関係性について。 まとめ： C標準規格ではプログラム内部で扱う「改行文字」と、外部ファイルにおける具体的なCR, LF等の「文字コード」を区別する。*1 *2 改行文字をファイル上でどう表現するかについて何ら規定しない。CR/LFを使わない方式も想定されている。 UNIX互換システムの場合、改行文字==改行コードLF(0x0A)となる。 Windows OSの場合、改行文字は2個の改行コードCRLF(0x0D 0x0A)で表現される。 上記のような改行コードによる行区切り表現だけでなく、メタ情報を利用した行区切り位置表現、長さプレフィックスと文字列データ表現、固定長レコードと特殊パディング文字表現（！）*3など、多種多様なテキストデータの表現方式を許容する。 仮想ターミナルなどの

C標準ライブラリ Muslのatoi関数実装 では、符号付き整数オーバーフロー回避のため負数範囲で10進数値を減算してゆき最後に符号反転を行っている。 int atoi(const char *s) { int n=0, neg=0; while (isspace(*s)) s++; switch (*s) { case '-': neg=1; case '+': s++; } /* Compute n as a negative number to avoid overflow on INT_MIN */ while (isdigit(*s)) n = 10 * n - (*s++ - '0'); return neg ? n : -n; } C言語の符号付き整数型(int)では “2の補数” 表現が用いられるため*1、最大値INT_MAXより最小値INT_MINの絶対値が 1 だけ大き

プログラミング言語Cの次期仕様C2x(C23)では 属性(attribute) 構文が標準化される。属性構文を先行導入したC++言語とほぼ等価であり、連続するブラケット[[／]]を用いる。*1 // C2x [[nodiscard]] int f(); void g([[maybe_unsed]] int a) { [[maybe_unused] int x; /* ... */ } struct [[deprecated("old ver.")]] S { /*...*/ }; int n = f(); switch (n) { case 0: case 1: f(); [[fallthrough]]; default; g(n); break; } 属性指定を行える箇所： 構造体(struct)／共用体(union)の型宣言 列挙型(enum)の型宣言 列挙子(enumerator)の

関数ポインタ型をとるC言語インタフェースのライブラリに、Objective-C言語のデリゲート(Delegate)を指定する方法。ARC(Automatic Reference Counting)環境を想定。 // XxxLibライブラリ C言語/公開インタフェース // コールバック関数ポインタ型 // nValue: ライブラリから通知される値 // pUserData: 登録時に設定する任意ポインタ値 typedef int (*CallbackFunc)(int nValue, void *pUserData); // コールバック関数（関数ポインタ）を登録する int XxxLib_RegisterCallback(CallbackFunc pFn, void *pUserData); // 登録されたコールバック関数を呼び出す int XxxLib_InvokeCallback

プログラミング言語Javaのバージョン番号付与ルールについてメモ。 Java 1.0〜1.4までと、Java (SE) 5〜9ではバージョン番号の付与ルールが異なる。Java 5以降は一般に product version で呼称されるが、内部的には 1.N.0 のような developer version が付与されている。 Both version numbers "1.5.0" and "5.0" are used to identify this release of the Java 2 Platform Standard Edition. Version "5.0" is the product version, while "1.5.0" is the developer version. The number "5.0" is used to better reflect

C++1z(C++17)標準ライブラリに追加されるstd::launder関数テンプレートについて。メモリ・ロンダリング関数。*1 まとめ： オブジェクト生存期間(lifetime)に基づいた最適化の抑止をコンパイラに伝える関数。プログラマ視点では “何もしない関数” にみえる。*2 配置new(placement new)利用時のみ役立つ関数。アプリケーション開発者向けの機能ではなく、メモリアロケータやライブラリ内部実装者向け。 C++怖い。 A language support tool (an "optimisation barrier") to allow libraries to reuse storage and access that storage through an old pointer, which was previously not allowed. (This

プログラミング言語C++における評価順規定の変遷についてメモ*1。本記事では代入＋前置／後置インクリメント*2＋加算演算子*3 *4を扱う。 注意：本記事は言語仕様の隅をつつく話題であり、一般論として同一オブジェクトに対する複数回の副作用を伴う式文は避けるべき。sequenced-before関係ルールを覚えてまで際どいコードを書くほど人生は長くないはず。 int i = 0; i = ++i + 1; // [A] C++03以前: undefined behavior, C++11以降: well-defined i = i++ + 1; // [B] C++14以前: undefined behavior, C++1z以降: well-defined i = ++i + i; // [C] C++98/03/11/14/1z全てでundefined behavior C++98/03

プログラミング言語C/C++における、1文字の数字から1桁の整数値へ変換するイディオム ch - '0' について。 C/C++言語仕様では、数字の文字コード'0'〜'9'がその並び順で連続かつ隣接すると保証する。このため変換元文字chから数字0の文字コード'0'を減算する下記処理は、処理系やソースコードの文字集合によらず正常動作する。*1 int ch = /*...*/; assert(isdigit(ch)); // chは任意の数字 int n = ch - '0'; // 数字から数値へ変換 C99 5.2.1/p3より一部引用（下線部は強調）。 3 Both the basic source and basic execution character sets shall have the following members: (snip) the 10 decimal dig

POSIX環境またはWindows環境において、ファイルシステム上でアトミック（atomic; 不可分）なファイル更新を実現する方法。 まとめ： POSIX：<stdio.h>標準ヘッダrename関数を利用する。 Windows：windows.hヘッダ ReplaceFile 関数が最有力候補。ただし Undocumented な保証にすぎず、データ部のみがアトミック更新との噂。 POSIX rename関数はアトミック操作であると規定される。POSIX規格（IEEE Std 1003.1-2013 Ed）より一部引用（下線部は強調）。 RATIONALE This rename() function is equivalent for regular files to that defined by the ISO C standard. Its inclusion here exp

C++標準ライブラリ<random>で提供される分布生成器(distribution)は、具体的なアルゴリズムまで規定しないため処理系毎に異なる乱数列が得られる。乱数生成エンジン(engine)のアルゴリズム／パラメータが言語仕様で定義されるのとは対照的（→id:yohhoy:20130719）。 #include <random> std::mt19937 rng; // engine std::normal_distribution<> dist; // distribution // rng()で生成される値は全処理系で同一 // dist(rng)で生成される値は処理系依存 複数の処理系間で同一乱数列を得る必要があるときは、Boost.Randomライブラリなどを利用すること。正直、C++標準でポータブルな分布生成器まで提供した方が良かったのでは… 2016-02-25追記：Boo

C/C++言語における符号無し型と負数の扱いについてメモ。値-1をsize_tなどの符号なし整数型*1へ変換代入する場合、同型の最大値となることが保証される。この振る舞いは符号付き整数型の内部ビット表現に依存しない。*2 const size_t nmax = -1; // nmaxはsize_t型の最大値(全ビット1) C99 6.3.1.3/p2より引用。値-1は (変換先の型の最大値 + 1) - 1 となり、その結果は符号なし整数型の最大値に等しい。 Otherwise, if the new type is unsigned, the value is converted by repeatedly adding or subtracting one more than the maximum value that can be represented in the new ty

Pythonスクリプトのshebang（1行目の#!）*1はWindows環境でも効果がある。 Windows OSにPython 3.3以降を導入すると、C:\Windowsフォルダ以下にPythonランチャpy.exeがインストールされる。Python 2／3両バージョンがインストールされている場合、同ランチャ経由でPythonスクリプトを実行すると、shebang指定に従って適切なインタプリタが自動選択される。*2 #!/usr/bin/env python # -*- coding: utf-8 -*- """Python 2用スクリプト""" #!/usr/bin/env python3 """Python 3用スクリプト""" またC:\Windowsフォルダ（環境変数SYSTEMROOT）は既定で環境変数PATHに含まれるため、Pythonインストール先パスを気にしなくて良い

POSIX recursive mutexに関するDavid Butenhof氏*1の見解。2005年のニュースグループcomp.programming.threads投稿より部分引用。*2 要約： 原則、recursive mutexを使ってはならない。POSIX recursive mutexは、レガシーコード保護用のグローバルMutexを避けるためのハック(hack)として導入された。 正しく良い設計の並行処理ではrecursive mutexを必要としない。最初からそれに頼るのは怠慢であり邪悪な行為である。 自身の設計範囲外にある他コードとの関係上、どうしてもrecursive mutexが必要になったら使用すればよい。 A correct and well understood design does not require recursive mutexes. While re

イベントに予め “空の匿名メソッド” を登録しておくことで、イベント呼び出し時にnullチェックを逐一記述する必要がなくなる。Null Objectパターン*1。 public delegate void SomeHandler(object sender, SomeEventArgs e); public event SomeHandler SomeEvent = delegate {}; // ★ protected virtual void OnRaiseSomeEvent(SomeEventArgs e) { SomeEvent(this, e); } このパターンを利用しない場合、イベント呼び出し処理は下記のようになる。*2 protected virtual void OnRaiseSomeEvent(SomeEventArgs e) { SomeHandler handler

C/C++標準ライブラリで2点間距離 (x1,y1) - (x2,y2) を計算する方法。C99以降またはC++11以降では、sqrt関数の他にhypot関数も利用できる。*1 #include <cmath> // C++98 double dist = std::sqrt((x2 - x1) * (x2 - x1) + (y2 - y1) * (y2 - y1)); // C++11以降 double dist = std::hypot(x2 - x1, y2 - y1); #include <math.h> /* C90 */ double dist = sqrt((x2 - x1) * (x2 - x1) + (y2 - y1) * (y2 - y1)); // C99以降 double dist = hypot(x2 - x1, y2 - y1); メモ：hypotは三平方の定理

標準入力ストリームcinと標準エラーストリームcerrは、それぞれ標準出力ストリームcoutに結び付け(tie)られている。N3337 27.4.2/p2, p5, 27.5.5.3/p1より該当箇所を引用。*1 istream cin; 2 After the object cin is initialized, cin.tie() returns &cout. (snip) ostream cerr; 5 After the object cerr is initialized, cerr.flags() & unitbuf is nonzero and cerr.tie() returns &cout. (snip) basic_ostream<charT,traits>* tie() const; 1 Returns: An output sequence that is tied

Java8で追加された java.util.concurrent.CompletableFuture*1 クラスについてメモ。CompletionStage, Futureの両インタフェースを実装するクラス。 Executorsフレームワーク(Java5以降)およびFork/Joinフレームワーク(Java7以降)の上で、Futureパターン*2により合成可能な非同期／同期処理を実装するためのユーティリティクラス。類似のFutureTaskクラスは単なる同期プリミティブに過ぎないが、CompletableFutureクラスは独立した1つのフレームワークともいえる機能を提供する。 CompletableFuture<T>オブジェクトは、戻り値がT型オブジェクトまたは任意の例外送出の処理結果を表す。*3（Futureインタフェース） 実処理本体としてRunnable(T=Void)、またはSu