style: `# define` および `/* implementation-defined */`の表記修正 #1471

akinomyoga · 2025-07-13T04:16:25Z

#1470 (comment)
#1470 (comment)

github-actions · 2025-07-13T04:26:28Z

⚡ プレビュー (HTML) (更新時刻: 2025-07-14 21:54:42 JST)

⫯ Commit: d8458b6
プレビューの生成には時間がかかります (3～5分)。進捗状況はこちらをご確認ください。

変更記事一覧

187件の記事が変更されました。多いため一部を表示しています。完全なリストについてはこちらをご参照ください。

(ファイル一覧)

📝 lang/cpp11/pragma_operator
📝 lang/cpp11/variadic_macros
📝 reference/algorithm/equal
📝 reference/algorithm/fill_n
📝 reference/algorithm/generate_n
📝 reference/algorithm/is_permutation
📝 reference/algorithm/ranges_reverse_copy
📝 reference/algorithm/reverse_copy
📝 reference/atomic/atomic_flag_init
📝 reference/atomic/atomic_var_init
📝 reference/atomic/lock_free_property
📝 reference/cassert/assert
📝 reference/cerrno/errno
📝 reference/cfenv/fe_all_except
📝 reference/cfenv/fe_divbyzero
📝 reference/cfenv/fe_downward
📝 reference/cfenv/fe_inexact
📝 reference/cfenv/fe_invalid
📝 reference/cfenv/fe_overflow
📝 reference/cfenv/fe_tonearest
📝 reference/cfenv/fe_towardzero
📝 reference/cfenv/fe_underflow
📝 reference/cfenv/fe_upward
📝 reference/cfenv/fexcept_t
📝 reference/cfloat/dbl_decimal_dig
📝 reference/cfloat/dbl_dig
📝 reference/cfloat/dbl_epsilon
📝 reference/cfloat/dbl_has_subnorm
📝 reference/cfloat/dbl_mant_dig
📝 reference/cfloat/dbl_max
📝 reference/cfloat/dbl_max_10_exp
📝 reference/cfloat/dbl_max_exp
📝 reference/cfloat/dbl_min
📝 reference/cfloat/dbl_min_10_exp
📝 reference/cfloat/dbl_min_exp
📝 reference/cfloat/dbl_true_min
📝 reference/cfloat/decimal_dig
📝 reference/cfloat/flt_decimal_dig
📝 reference/cfloat/flt_dig
📝 reference/cfloat/flt_epsilon
📝 reference/cfloat/flt_eval_method
📝 reference/cfloat/flt_has_subnorm
📝 reference/cfloat/flt_mant_dig
📝 reference/cfloat/flt_max
📝 reference/cfloat/flt_max_10_exp
📝 reference/cfloat/flt_max_exp
📝 reference/cfloat/flt_min
📝 reference/cfloat/flt_min_10_exp
📝 reference/cfloat/flt_min_exp
📝 reference/cfloat/flt_radix
📝 reference/cfloat/flt_rounds
📝 reference/cfloat/flt_true_min
📝 reference/cfloat/ldbl_decimal_dig
📝 reference/cfloat/ldbl_dig
📝 reference/cfloat/ldbl_epsilon
📝 reference/cfloat/ldbl_has_subnorm
📝 reference/cfloat/ldbl_mant_dig
📝 reference/cfloat/ldbl_max
📝 reference/cfloat/ldbl_max_10_exp
📝 reference/cfloat/ldbl_max_exp
📝 reference/cfloat/ldbl_min
📝 reference/cfloat/ldbl_min_10_exp
📝 reference/cfloat/ldbl_min_exp
📝 reference/cfloat/ldbl_true_min
📝 reference/chrono/duration
📝 reference/climits/char_bit
📝 reference/climits/char_max
📝 reference/climits/char_min
📝 reference/climits/int_max
📝 reference/climits/int_min
📝 reference/climits/llong_max
📝 reference/climits/llong_min
📝 reference/climits/long_max
📝 reference/climits/long_min
📝 reference/climits/mb_len_max
📝 reference/climits/schar_max
📝 reference/climits/schar_min
📝 reference/climits/shrt_max
📝 reference/climits/shrt_min
📝 reference/climits/uchar_max
📝 reference/climits/uint_max
📝 reference/climits/ullong_max
📝 reference/climits/ulong_max
📝 reference/climits/ushrt_max
📝 reference/cmath/double_t
📝 reference/cmath/float_t
📝 reference/cmath/fp_fast_fma
📝 reference/cmath/fp_fast_fmaf
📝 reference/cmath/fp_fast_fmal
📝 reference/cmath/fp_ilogb0
📝 reference/cmath/fp_ilogbnan
📝 reference/cmath/fp_infinite
📝 reference/cmath/fp_nan
📝 reference/cmath/fp_normal
📝 reference/cmath/fp_subnormal
📝 reference/cmath/fp_zero
📝 reference/cmath/huge_val
📝 reference/cmath/huge_valf
📝 reference/cmath/huge_vall
📝 reference/cmath/infinity
… (以下省略)

※ソース (.md) に直接変更のあった記事を列挙しています。グローバル修飾や変換規則の変更による変化は考慮していません。

lang/cpp11/variadic_macros.md

akinomyoga · 2025-07-13T04:57:23Z

reference/atomic/atomic_var_init.md

@@ -5,7 +5,7 @@
 * cpp20deprecated[meta cpp]

 ```cpp
-# define ATOMIC_VAR_INIT(value) see below
+#define ATOMIC_VAR_INIT(value) see below


see below となっていますが他の場所では大体 implementation-defined になっています。#define 系統で see below になっているのは、このファイルも含めて以下の3件あります。

$ git grep -nE '#.*see[ -]below' ./reference/atomic/atomic_flag_init.md:8:#define ATOMIC_FLAG_INIT see below ./reference/atomic/atomic_var_init.md:8:#define ATOMIC_VAR_INIT(value) see below ./reference/cstddef/offsetof.md:6:#define offsetof(type, member) see-below

これらも implementaion-defined にするべき? しかし、改めて考えてみるとこれらは本当に implementation-defined なのでしょうか? implementation-defined というのは規格が処理系に対してその具体的値を文書に記述することを要求するという意味です。でも、マクロの具体的な値について文書に記述することを要求している箇所って規格にあるのでしたっけ。寧ろ implementation-defined ではなくて unspecified なのではという気もします…。

ATOMIC_VAR_INITに限れば C++11 〜 C++17 までライブラリ仕様定義では see below 表記されていますので、リファレンスサイトの説明としては現行通りで問題ないと思います。

ありがとうございます。そういう意味では see below のままで問題があるというわけでもない (ちゃんと "下" に説明があれば) のですが、他の多くの記事において規格で see below だったものが implementation-defined や C規格に合わせたconstant-expression などに置き換えられているので、この3記事だけで see below が残っているのは、余り一貫していないなと思ったのでした。他の記事のほうも see below に書き換えるべきか(?)というとそれも微妙な気がしています。

改めて確認してみた所、

既存の "see below" → "implementation-defined" は、半分くらいは、実はC規格の方で implementation-defined と明記されているものでした (→ 変更なし)

それでも、既にこのPRの中にあるように、HUGE_VAL, HUGE_VALF, HUGE_VALL などは implementation-defined ではないのに see below が implementation-defined に置き換えられて記述されていました (→ 978af3c)

他にも、 <cfenv> のマクロなどは規格では see below, C規格では文中で integer constant expression と書いてあって、implementation-defined とは一言も書かれていないのに、cpprefjp の記事中では implementation-defined と書かれています (→ 978af3c)

offsetof は現状で cpprefjp で see below になっていますが、C規格の方で integer constant expression と書いてあるのでそちらに改めても良さそうです (→ 978af3c)

執筆者が仕様解釈して "see below" から置換表記されるケースがあるのですね。このパターンは認識していませんでした。

<concepts>や<execution>以下のページだと「仕様をインラインコードで書くと複雑すぎる／自然言語を用いて仕様記述する」ために "see below" が使われており、cpprefjpサイト上でも前後関係を維持してそのまま表記してる箇所も多いですね。

これらも implementaion-defined にするべき? しかし、改めて考えてみるとこれらは本当に implementation-defined なのでしょうか? implementation-defined というのは規格が処理系に対してその具体的値を文書に記述することを要求するという意味です。でも、マクロの具体的な値について文書に記述することを要求している箇所って規格にあるのでしたっけ。寧ろ implementation-defined ではなくて unspecified なのではという気もします…。

対象マクロ ATOMIC_FLAG_INIT, ATOMIC_VAR_INIT, offsetof の仕様定義を確認したところ「自然言語を用いて仕様記述する」ケースであり、現状の "see below" 表記で妥当に思えます。

C++規格では implementation-defined / unspecified いずれもプログラムの振る舞い(behavior)に関する用語となっており、今回ケースはいずれにも該当しないと思います。

implementation-defined behavior: 起こり得る候補のうちいずれかの挙動となる。選択された挙動は処理系によって文書化すべきである。

unspecified behavior: 起こり得る候補のうちいずれかの挙動となる。文書化の必要はない。

ありがとうございます! ATOMIC_{FLAG,VAR}_INIT は see below のままにするのが妥当そうですね。そのままにしようと思います。

offsetof についてはC規格の方で integer constant expression 云々の記述があるので、既に integer_constant_expression などになっていたものに合わせて、integer-constant-expression にしようとかなと思います。正確には "integer-constant-expression" だけで説明を尽くせている訳ではないので、それでも see below for more details って感じですが、部分的注釈はあっても悪くはないかなと…。説明を尽くせていないと言い出したら、あらゆる synopsis は全部 see below としか書けなくなってしまうので…という言い訳です。

C規格(C17)の offsetof 定義を確認してみました。確かに integer constant expression で良さそうですね。

offsetof(type, member-designator)

which expands to an integer constant expression that has type size_t, the value of which is the
offset in bytes, to the structure member (designated by member-designator), from the beginning of its
structure (designated by type).

reference/cmath/infinity.md

reference/cmath/nan.md

貢献ポイント備考: これは機械的な置換の後に目視確認で該当するものだけ拾ったものです。 cpprefjp#1470 (comment)

…defined" cpprefjp#1470 (comment)

構文説明なので C++ としての着色は不要かもしれないが、着色しても問題ないような気がするので。

エラーだったら ec を設定し、それ以外だったら ec.clear() にするのは既に status(p, ec), symlink_status(p, ec) が実施しているので、改めて呼び出し元で設定する必要はないように思われる。 std::filesystem::exists に関しては status_known (つまり s.type() == std::filesystem::file_type::none) 以外の時は ec.clear() を実行すると規格には書かれていたが、既存の説明だと ec が空の時しか ec.clear() を呼び出さないようになっていた。これは記述の修正になる。

akinomyoga

他にも implementation-defined ではないのに implementation-defined と書かれてしまっているところを修正しました。

@faithandbrave 一つご確認いただきたい commit があるのですが、こちら d8458b6 見ていただけないでしょうか。よろしくお願いいたします。

勘違いでなければ、規格を見る限りはこれらの「エラーだったら ec を設定して、そうでなければ ec.clear() をする」といった処理は、全て status(p, ec) の中で既に実行されているように見えます。なので、大幅に単純化しました。

一点、記述されている振る舞いが変更になっているのが filesystem::exists で ec.clear() が実行される条件です。規格は status_known(s) ~~でなければ~~ならば ec.clear() を実行すると書かれていますが、cpprefjp の記述ですと先に if (ec) return false; してしまっているので、ec.clear() を免れてしまうパターンがあるように思われます。書き換えました。

faithandbrave · 2025-07-14T13:43:24Z

りょうかいです。見ておきます。
ちょっと多忙なため時間がかかるかもしれないので (遅くても今週中には見ますが)、先にマージしていただいて、直す必要があれば別途私からPRを出す、というのでもだいじょうぶです

akinomyoga · 2025-07-14T13:45:39Z

お忙しいところありがとうございます。お言葉に甘えこちらのペースでマージさせていただきますね。

akinomyoga force-pushed the fix-define-style branch from 76deb2c to c355b3a Compare July 13, 2025 04:21

akinomyoga mentioned this pull request Jul 13, 2025

new page mb_cur_max #1470

Merged

akinomyoga commented Jul 13, 2025

View reviewed changes

akinomyoga force-pushed the fix-define-style branch from c275846 to 4cb96df Compare July 13, 2025 06:25

fix: 1d0cf2b によるプリプロセッサディレクティブ誤爆の修正

6ff7a18

貢献ポイント備考: これは機械的な置換の後に目視確認で該当するものだけ拾ったものです。 cpprefjp#1470 (comment)

akinomyoga force-pushed the fix-define-style branch 2 times, most recently from 53e132e to a3029b0 Compare July 13, 2025 17:11

akinomyoga added 9 commits July 14, 2025 21:29

fix(cstdlib,cstdio): "/* implementation-defined */ => implementation-…

7602768

…defined" cpprefjp#1470 (comment)

fix(cpp11/variadic_macros): 言語指定 cpp を追加・コード修飾を追加

60c9395

構文説明なので C++ としての着色は不要かもしれないが、着色しても問題ないような気がするので。

fix(cmath): マクロ定数の式の種類についてC規格の記述を反映

a9bb587

fix(cmath): 条件付きで定義されるマクロについて #undef の場合も追記

d4994ea

fix(cstdio,format): use "unspecified" rather than "/* unspecified */"

f06f4b1

fix(reference): implementation-defined ではない型の説明を修正

6cffd59

fix(cmath,cfenv): コード修飾を追加・修正

e157cbb

style(algorithm,cmath): "## {使用 => }例"

2e6d9bc

akinomyoga force-pushed the fix-define-style branch from a3029b0 to d8458b6 Compare July 14, 2025 12:49

akinomyoga mentioned this pull request Jul 14, 2025

fpos_t and fread #1468

Open

akinomyoga commented Jul 14, 2025

View reviewed changes

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

style: `# define` および `/* implementation-defined */`の表記修正 #1471

style: `# define` および `/* implementation-defined */`の表記修正 #1471

Uh oh!

akinomyoga commented Jul 13, 2025

Uh oh!

github-actions bot commented Jul 13, 2025 •

edited

Loading

Uh oh!

Uh oh!

akinomyoga Jul 13, 2025 •

edited

Loading

Uh oh!

yohhoy Jul 13, 2025

Uh oh!

akinomyoga Jul 13, 2025 •

edited

Loading

Uh oh!

akinomyoga Jul 13, 2025 •

edited

Loading

Uh oh!

yohhoy Jul 14, 2025

Uh oh!

yohhoy Jul 14, 2025

Uh oh!

akinomyoga Jul 14, 2025

Uh oh!

yohhoy Jul 14, 2025

Uh oh!

Uh oh!

Uh oh!

akinomyoga left a comment •

edited

Loading

Uh oh!

faithandbrave commented Jul 14, 2025

Uh oh!

akinomyoga commented Jul 14, 2025

Uh oh!

Uh oh!

style: # define および /* implementation-defined */の表記修正 #1471

Are you sure you want to change the base?

style: # define および /* implementation-defined */の表記修正 #1471

Uh oh!

Conversation

akinomyoga commented Jul 13, 2025

Uh oh!

github-actions bot commented Jul 13, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

変更記事一覧

Uh oh!

Uh oh!

akinomyoga Jul 13, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

yohhoy Jul 13, 2025

Choose a reason for hiding this comment

Uh oh!

akinomyoga Jul 13, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

akinomyoga Jul 13, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

yohhoy Jul 14, 2025

Choose a reason for hiding this comment

Uh oh!

yohhoy Jul 14, 2025

Choose a reason for hiding this comment

Uh oh!

akinomyoga Jul 14, 2025

Choose a reason for hiding this comment

Uh oh!

yohhoy Jul 14, 2025

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

akinomyoga left a comment • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

faithandbrave commented Jul 14, 2025

Uh oh!

akinomyoga commented Jul 14, 2025

Uh oh!

Uh oh!

style: `# define` および `/* implementation-defined */`の表記修正 #1471

style: `# define` および `/* implementation-defined */`の表記修正 #1471

github-actions bot commented Jul 13, 2025 •

edited

Loading

akinomyoga Jul 13, 2025 •

edited

Loading

akinomyoga Jul 13, 2025 •

edited

Loading

akinomyoga Jul 13, 2025 •

edited

Loading

akinomyoga left a comment •

edited

Loading