C++相談室 part166

**sage** (ﾜｯﾁｮｲ 8732-NXaD) · 2025/04/26(土) 10:34:58.41

!extend:checked:vvvvv:1000:512
!extend:checked:vvvvv:1000:512
↑同じ内容を3行貼り付けること

次スレは>>980が立てること
無理なら細かく安価指定

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

VIPQ2_EXTDAT: checked:vvvvv:1000:512:: EXT was configured

2025/06/20(金) 09:03:31.40

変数があっても結果が同じ計算式で置き換えられるならそうしてくる
10倍よりも8倍+2倍のほうが速い、とかで

2025/06/20(金) 10:35:00.76

最適化のロジックを作るのはまだプログラマーでしょうから。
値を10倍してから10で割るというプログラムを
何もしないに変更するのありかな。
でもわざと桁あふれをさせたい場合もある？！

2025/06/20(金) 10:40:47.81

昔は最適化でバグ混入させられることもあって、最適化は切れってされてたなぁ、っていうおっちゃんのつぶやき

**デフォルトの名無しさん** · 2025/06/20(金) 10:45:39.27

>>392
ここまでの話で「定数だけの演算なら」と何で言い出すのか理解できないけど
>>375では「整数型の変数を」と言っているわけだし
まあそれはおいておいても「コンパイルの時点で計算しても」←演算してんじゃんって俺は思うわけ

>>393
それ自体は問題なくね？
157　を　10で割って15
これに10を掛けるのでなく15*8+15+2 でも最適化の影響はないだろ？
割り算の方でそれが起きるなら問題だけど、>>378の人の話では起きないようだけど

2025/06/20(金) 11:14:53.80

>>396
これ観たら発狂するんじゃね
https://qiita.com/HexagramNM/items/6ca6900b8df37a9b59b8
https://qiita.com/manjuu_eater/items/2e9e38eb001e4b90145b
https://qiita.com/hiramax/items/add36c4fe38900f7175d

2025/06/20(金) 11:57:23.05

>>396
コンパイラで演算しても結果が変わらない場合に限り、コンパイラで演算を行いその結果だけを使う
392でも書いてるが、例題の変数を10で割って10を掛ける動作は演算結果が変わってしまうので最適化は行わない

2025/06/20(金) 12:39:35.73

定数はいつ計算しても同じ結果なんだから最適化されるよ

2025/06/20(金) 12:50:40.34

-O3だとプログラムが動かなくなるから使っていいのは -O2までって先輩に言われてた

2025/06/20(金) 12:53:23.61

何故最適化レベルをワザワザ選べるようにしているのか？
完璧なら選ぶ必要はない
理想論には興味ないから語りたいなら具体的な問題点を上げていけ

2025/06/20(金) 13:06:46.75

>>400
それは言われてたのは知ってるが
「-O3だとプログラムが動かなくなる」のは未定義踏んでるからじゃないか

2025/06/20(金) 13:28:04.40

モバイルc消えてるんだけどなんで？

2025/06/20(金) 13:42:00.01

>>403
あれ便利やった
なんで消されたんやろ

**デフォルトの名無しさん** (JP 0H46-E6Ax) · 2025/06/20(金) 17:27:19.07

std::formatの件だが、Visual Studio 2022のコンパイラ設定が
デフォルトでC++14標準になってた。すまん。

**デフォルトの名無しさん** · 2025/06/20(金) 18:21:03.44

>>398
そんなことは知ってるのさ
「実行ごとに演算結果が変わる（可能性がある）」から最適化されない、と言うのは良いんだけど
最初からその前提の話をしていたはずなのに「演算をやらない可能性がある」と言い出しただろ？

375 整数型の変数を～（略）～この計算が最適化とかで除かれない保証ってあるの
381 それだと取り除けるケースがあるので保証はされない
382　いや、そんなことない。最適化では結果は変わらない事が保証される。
388　（略）～演算をやらない可能性があるってこと

この流れじゃ『整数型の変数（実行時に結果が変わる）の場合でも最適化によって「演算をやらない可能性がある」』ってニュアンスになっているって気づかんの？
それに対してのどういう状況だ？という>>390だよ
まあ言いたいことは分かったから別にいいけどさ

2025/06/20(金) 19:12:09.11

>>406
回答者にも正しいことを言っている人と間違っていることを言っている人が
いるというだけ。
正しいのは、仕様に明示されている動作については、
最適化してもしなくても結果が変わらないという事だ。
なぜなら、それが仕様なのだから。

2025/06/20(金) 19:41:18.21

>>407
大元の質問からすると仕様が動作を保証するか結果を保証するかをわかってないようだからその説明では不十分でしょ。

2025/06/20(金) 20:44:54.01

保証されます。

2025/06/20(金) 21:00:28.00

コンパイル時に値が決まるようなら実行時に演算されない
そうでない場合でもある整数が決まった値になることが保証されていることがコンパイル時に分かっているなら最適化されて演算されないケースがある
それ以外なら最適化されない

2025/06/20(金) 21:06:32.84

いずれにせよ結果を使わないなら最適化で丸々消される

2025/06/20(金) 21:12:56.63

>>409
ただしバグがなければ

2025/06/20(金) 21:18:29.51

最適化の時点でコードが消されるので直に0で除算をするとコンパイルエラー

変数に突っ込んでるとコンパイル可能で実行してもその部分は最適化され消されてるのでゼロ除算にならない
もちろんconstにしててもコンパイルエラー

2025/06/20(金) 21:43:49.77

>>412
それは、ユーザープログラムのバグではなく、コンパイラのバグだ。
コンパイラにバグが無ければ、四則演算や&,|,~,^,&&,||などと
括弧の組み合わせた結果は、最適化しても変わらない。
0除算に関しては話が別。

2025/06/20(金) 21:48:47.56

最適化されて変わる可能性があるのは、今思い出せるのは、
・初期化してない変数の中身
・変数のアドレス
・結果を利用せず、副作用も伴わない式の存在。
整数に対する四則演算を含めた「計算」は、仕様が決められているので、
同じコンパイラと同じターゲット(OS、環境)だと最適化しても
結果は変わらない。
浮動小数点に対する計算は誤差の範囲で結果が変化する可能性はある。

2025/06/20(金) 22:25:10.37

>>415
1. 整数の計算途中に「桁あふれ」が起きる場合はこの限りではないかも知れない。
　例えば、整数型 a に対して、a * 100 / 5 は、a * 20 と最適化できる
　可能性がある。しかし a がとても大きい場合には結果は同じにはならない可能性がある。このことに
　関して仕様がどうなっているかは知らない。
2. 浮動小数点型の変数 a に対して、(a * 100.0) / 5.0 は、
　a * 20.0 と最適化できる可能性があるが、浮動小数点型には計算誤差があるので、
　誤差の範囲内で異なる結果になる可能性があるかもしれない。
　これに対して仕様上、最適化していいかどうか走らない。
3. しかし、整数型

2025/06/20(金) 22:25:52.67

>>416
3. しかし、整数型変数 a に対して、(a / 100) * 100 は、
　明らかに

2025/06/20(金) 22:26:34.77

>>416
3. しかし、整数型変数 a に対して、(a / 100) * 100 は、
　明らかに a とは、結果が異なる。だから a と最適化される事は無い。

2025/06/21(土) 01:51:51.86

キミは色々と勘違いをしているからこの手の話をしたいならもうちょい勉強しよう
aが何だろうがa*100/5をa*20とはそもそも出来ないし、2.も同様
3.もaの値によっては演算の前後で値がおなじケースがある
色々あるのでいちいち書かなかったが、例えばaが10の倍数の時、aの絶対値が9以下の時、またaが列挙型だったり配列の添字だったりする時は挙動が推測出来るケースも出てくる
他にも最適化で実行時の演算をしなくてすむケースがある
演算をしなくてもaの値を変えることは出来うるし、その場合除算の代わりにいくつかの分岐や直値に変わるだろう

**デフォルトの名無しさん** (JP 0H46-E6Ax) · 2025/06/21(土) 02:46:24.26

また空気読めない書き込みする。ずっと議論
が続いているけど興味ない。

そもそも実数データを表現するbit数が有限
なんだけど(doubleで8byte=64bit)、そりゃあ
場合によっては結果が違うが、実数の場合は
それほど問題じゃない。誤差の範囲内。

整数演算の方が問題。
i=32767/10000*10000の演算やったらどう
なるか？これはコンパイラの最適化の問題
じゃなくてプログラムする人が気をつける
べきことだと思う。というか、変な最適化
はしない方がいいと思う。最適化しなくても
現在のコンピュータ能力じゃあ大して時間差
は問題にならん。

それよりも行列演算でNRVOを実装してほしい。
gccの一部では実装されているみたいだけど。

**デフォルトの名無しさん** (JP 0H46-E6Ax) · 2025/06/21(土) 02:49:22.52

あ、言い忘れた。演算子のオーバーロードでの話ね。

2025/06/21(土) 06:20:55.55

>>413
0除算は未定義動作だから、(0除算については)最適化されてエラーが出なくてもC++規格通りかね。

**デフォルトの名無しさん** (JP 0H46-E6Ax) · 2025/06/21(土) 08:07:57.88

浮動小数点演算で問題になるのは情報落ち(桁落ち)。
expを指数関数としてexp(x)+exp(-x)でxの絶対値が
大きくなるとどうなるか？4倍精度演算が標準として
ほしい。fortranには昔からある。たしか南米の人が
C++で４倍精度演算ライブラリ作ってた気がする。

**デフォルトの名無しさん** (JP 0H46-E6Ax) · 2025/06/21(土) 08:14:50.36

ところで、前から気になってたけど何でワイだけ
ワッチョイ出ないんだろ。メール設定ミス？それとも
プロバイダの問題？目立つから困る。

2025/06/21(土) 09:45:45.70

signedのオーバーフローは未定義だがunsignedのオーバーフローは定義されてる
あとC/C++はfenvで浮動小数点コプロセッサのモードを切り替えられるから、それを使うつもりのコードはコンパイル時に計算されると狂ったりはする

2025/06/21(土) 11:27:06.14

>>424
ワッチョイと同じ役割を持つ名前一覧
1) オイコラミネオ
2) ササクッテロ
3) オッペケ
4) エムゾネ
5) スプー・スプッ

JPは知らん

2025/06/21(土) 11:46:04.84

>>419
あなたは馬鹿。
数学的センスが無いので、勉強しても直らないだろう。

**デフォルトの名無しさん** (JP 0H46-E6Ax) · 2025/06/21(土) 12:00:57.87

>>426
レスありがとう。プロバイダが関係してるのかな

2025/06/21(土) 13:55:21.38

>>424
VPNでも使ってるんだろ

**デフォルトの名無しさん** (JP 0H46-E6Ax) · 2025/06/21(土) 14:01:54.99

VPNオンだと5chが書き込み拒否する。まあ、いいか。

2025/06/21(土) 15:02:17.15

>>424
出てるじゃん　JPって
大方逆引き不可なホストだろうからプロバイダの問題ではある
マイナーすぎて細かく設定してないだけかも知れないけど

**デフォルトの名無しさん** (JP 0H46-E6Ax) · 2025/06/21(土) 15:34:31.30

>>431
レスありがとうございます。本スレの趣旨に合わないので
以後の返事は控えさせていただきます。

2025/06/21(土) 16:15:28.70

先の話題について、コンピュータではなく数学の世界まで振り返って考えてみると、
(1) a が実数の時
a * 100 / 100 = a
は恒等的に成り立つ。だからこの最適化は、精度を無視すれば
していい可能性が高い。
(2) a が整数で、整数としての割り算で考える場合、
a * 100 / 100 = a
は、一般的には成り立たない。
だから、a * 100 / 100 を a と最適化することはそもそも出来ない。

2025/06/21(土) 16:16:35.17

>>433
重大な訂正。
(2)は正しくはこう :
(a / 100) * 100 = a
は、一般的には成り立たない。
だから、(a /100) * 100 を a と最適化することはそもそも出来ない。

2025/06/21(土) 16:40:28.18

分かったからもういいって
対人論証するようなのの意見は誰も聞かんよ

2025/06/21(土) 17:52:28.47

そりゃタダのコンパイラならかっこ付き計算の仕様に合わせて最適化しかできない
でもそれがAIがやるようになると、トータルで何やってるか把握して最適化するようになるから
無駄な計算は省かれるだろう

2025/06/21(土) 18:30:14.39

マジックナンバーだらけになりそうだな

2025/06/21(土) 18:49:30.35

日によって最適化の結果が変わりそうだな

2025/06/21(土) 19:00:56.65

浮動小数点数を「実数」と見た時に
『数学的な恒等式』ならば、最適化していい
という価値観は有るはずだ。
実際には、実数は無限精度であるのに対し、浮動小数点数は
有限精度であるから、実数では恒等式であっても、
浮動小数点数では恒等式ではないので、最適化すると結果が
少し変わってしまうことはありえる。

2025/06/21(土) 20:42:47.18

そんなのはまともなコンパイラはみんな分かってて-ffast-mathとかでやるかやらないか選べるけどそれが何？

**デフォルトの名無しさん** (JP 0H46-E6Ax) · 2025/06/21(土) 21:24:08.46

すみません。次のコードで .5e のところの精度(少数部桁数)5
を変数precで設定したいんですけど、さっきからコンパイラに
駄目だし食らって遊ばれとります。わかる人いますか？
#include <iostream>
#include <cmath>
#include <format>

int main()
{
using namespace std;

double x, y, dx=0.5;
unsigned prec =4;

for (int i = 0; i < 20; ++i)
{
x = i * dx;
y = sin(x);
cout << format("{: .5e} {: .5e}", x, y) << endl;
}

cin.get();
return 0;
}

**デフォルトの名無しさん** (JP 0H46-E6Ax) · 2025/06/21(土) 21:35:25.24

cout << format("{0: .{2}e} {1: .{2}e}", x, y, prec) << endl;
で解決しました。

2025/06/21(土) 22:20:34.53

>>440
https://kristerw.github.io/2021/10/19/fast-math/
ここには、「-fassociative-math」が今回の例に近いようだが、
同じものは載ってないと思うが。
以下は、近いが、今回のものとはまた違う :
(C1 / X) * C2
↓
(C1 * C2) / X

2025/06/22(日) 12:29:48.51

・人間の思考「脳波」は頭蓋骨の外に漏れない
人間の脳は発光していた！「脳が放つ光」の観測に初成功
2025.06.19 12:00:38 THURSDAY
https://nazology.kusuguru.co.jp/archives/179808
>>カナダ・アルゴマ大学（Algoma University）の最新研究で、ついにこの「脳の光」を頭蓋骨の外から観測することに成功したのです。
>>UPEは細胞の代謝活動、特に酸化反応によって発生する副産物の一種です。
>>以来、UPEはあらゆる植物や動物の細胞からも確認されており、生体内の酸化ストレスや老化、さらにはがんの診断補助にも応用が期待されてきました。
>>脳は体の中で最も代謝が活発な臓器のひとつであり、神経活動に伴って活性酸素が多く発生します。
>>チームは今回、20人の健康な成人を対象に、特殊な装置を用いた実験を実施しました。
>>被験者は真っ暗な部屋に座り、頭には脳波計を装着。
>>その周囲には、光電子増倍管（PMT）と呼ばれる極微弱な光を検出する装置が配置されました。
>>そして被験者には、目を開ける／閉じる、あるいは音楽（120BPM）を聴くといったシンプルなタスクを行ってもらい、その間のUPEと脳波の変化を同時に測定したのです。
☆>>まず、脳からのUPEは背景光（周囲の空気中のノイズ）とは明確に異なる変動パターンを持つことが判明したのです。
>>とくに後頭部（視覚野）と側頭部（聴覚野）から検出された光は、安静時でも一定のリズムと変動性を示し、他の部位とは異なるスペクトル的特徴を持っていました。
>>さらに目を閉じたときに増える「アルファ波」と呼ばれる脳波の活動と、UPEの強さが同期していることも発見されました。
>>これはつまり、脳の電気的な信号（脳波）と、化学的な代謝反応（UPE）が連動していることを意味します。
>>この成果は、従来のfMRIやPETスキャンのような「重装備で高コスト」な装置を使わずとも、非侵襲・低刺激で脳機能の状態を“光”から読み取る可能性を示すものです。
>>研究者たちはこの新しい手法を「光脳波記録（photoencephalography）」と名付けました。

2025/06/22(日) 12:39:57.32

光ｺﾝﾋﾟｭｰﾃｨﾝｸﾞやないかい

2025/06/22(日) 17:00:05.82

光というのは電磁波だったと思うが。

2025/06/22(日) 17:03:00.89

ニュータイプ近づいたな

2025/06/22(日) 18:48:20.68

スレ違い。

2025/06/22(日) 19:08:02.78

>>444
みたいな書き込み、完全にスレチ
このスレのみならず、板自体が壊れてしまう。

2025/06/23(月) 01:01:04.29

http://hissi.org/read.php/tech/20250622/NGFYUVNZT0cw.html
毎回こことPythonスレだけ荒らしてるアホ

2025/06/23(月) 01:12:15.09

統失の間でもPythonとC++は認知されてるってことでしょ
名誉ですなぁ

2025/06/23(月) 14:29:01.81

C++でpythonのライブラリを作るのが気持ちいいかなみたいな。
ん？　普通はpythonのライブラリって何で書かれているんだろう。

2025/06/23(月) 16:02:13.08

>>450
Rustスレにも投稿されてたで。

2025/06/24(火) 09:31:18.32

pythonのモジュールはpythonでも描けるが
もちろんCでも描けるしC++でも描ける
最近はRustで描くのが楽で良い

**デフォルトの名無しさん** (JP 0Hab-E2BB) · 2025/06/24(火) 17:31:46.42

Rustは良い言語かもしれんが、自分には
必要ない。

2025/06/24(火) 18:59:56.02

>>455
同意

2025/06/24(火) 19:19:29.25

>>454
なんで、AIはPythonで書かれるんだろうな

謎だな…

2025/06/24(火) 19:22:51.87

Rustに静的ダックタイプ入ったら使うかどうか考える。
設計をカッチリできるプロジェクトでもなければRustはキツくない？

c++もコンセプト制約変数とか入らんかな。
変数レベルで静的ダックタイプにして､クラス継承は無くしたい。

2025/06/24(火) 19:44:21.82

C++26 にはリフレクションがようやく入る見込みで、これを使えばダックタイピングのような仕組みをライブラリで実現できる。

2025/06/24(火) 20:15:46.49

>>457
モジュールを書く人とAIを書く人が別だからじゃろ

2025/06/24(火) 20:45:25.03

AI の専門家がプログラミングの専門家というわけでもないしな。

2025/06/24(火) 20:49:18.38

>>460
というと？

2025/06/26(木) 02:55:12.43

NSCがC++を廃してRustを推しているのは、中国のUnrealEngineへの牽制か？

2025/06/26(木) 02:59:40.78

NSA だ。

2025/06/26(木) 03:19:10.72

>>463
unreal engineって、
中国が株主でしょ

2025/06/26(木) 07:43:46.78

UEはアメリカのゲーム企業が作ったものなんだが・・

2025/06/26(木) 12:38:45.11

スマン。中国が作ったものだとばかり思っていた。

2025/06/26(木) 12:41:11.49

ったく、こりだからよお

2025/06/26(木) 17:13:34.04

悪意のあるVSCode拡張機能を検出できる「VSCan」
https://gigazine.net/news/20250625-vscan/
※上記の
本体プログラミング改造で改造コードを仕込む場所や攻撃ポイントを割り出せる
※緒繼Lと下記のプャ鴻Oラムでエラ＝[コードをメモャ梶[＾上に無いｂｩを調べて別のャvログラムを走ｂ轤ｹるとエラーャRードから親友ｂﾅきるかが割り緒oせる
などいろいろと使用可能

AIを活用した完全自律型の侵入テストツール「XBOW」がHackerOneのランキングでついに人間を抜いて1位に
https://gigazine.net/news/20250625-hackerone-xbow/

上記のプログラムと電波障害などで生じたエラーなどでで無理やりセキュリティーほーホールを見つけれる

2025/06/26(木) 17:16:52.94

まず自分の書き込みにAI活用しろよって思った

**デフォルトの名無しさん** (JP 0Hab-pT1b) · 2025/06/26(木) 18:27:21.16

藁

2025/06/26(木) 21:29:08.64

AndroidスマホでもiPhoneでもAIモデルをローカルで実行してチャットできる無料アプリ「Cactus Chat」レビュー
https://gigazine.net/news/20250626-cactus-chat-android-ios-ai-local/

インターネット接続不要でAIモデルをローカル実行できる「LM Studio」にMCPサーバーへの接続機能が追加される
https://gigazine.net/news/20250626-lmstudio-mcp/

上記のAIとマクロ機能を使用すればAIのみで会話できるようになる
ボイス・トォ・スカル「神や幽霊」の声はこれで行っているのか？

マクロ機能の拡張でインターネットにも自動で書き込みが可能になる

2025/06/26(木) 22:43:52.27

スレ違い。

**デフォルトの名無しさん** (JP 0Hab-pT1b) · 2025/06/28(土) 01:04:10.64

gcc4.6から4倍精度入ってるみたいですねえ。
Visual C++では入っているかな。調べてみます。

2025/06/28(土) 01:17:47.38

fortranで使うからね
gccはバックエンドから対応する必要がある機能を他フロントエンドのために入れるときはほぼC言語にも拡張として入れてくる

2025/06/28(土) 07:36:59.43

新たなクラスを作ってまえばいいのではないでしょうか。

**デフォルトの名無しさん** (JP 0Hab-pT1b) · 2025/06/28(土) 10:51:00.28

C++23からfloat128_tがサポート予定だけど
まだ詳細は決まってなさそう
VS2022ではまだみたい。gccも13.0以降？

2025/06/28(土) 15:20:29.63

>>477
MSのサポート掲示板だかコミュニティBBSだでVSは128_tやる気なし(一応要望は受け付けるけど)、みたいなの読んだ気がする。

2025/06/28(土) 15:55:10.80

C++23 では「そのような型があるなら std::float128_t として提供されることもある」というオプショナルなもので、あまりあてにならない。
https://timsong-cpp.github.io/cppwp/n4950/basic.extended.fp#4
ハードウェアとかツールチェインとかの都合もあるだろうし。

**デフォルトの名無しさん** (JP 0Hab-pT1b) · 2025/06/28(土) 16:00:47.16

うーむ。残念

2025/06/28(土) 16:13:42.13

std::float128_t が提供されるときは拡張浮動小数点型 (extended floating-point type) でなけりゃならないみたいだからクラスとして定義できない。

2025/06/28(土) 16:59:30.25

float128_tがあってもFLT_MAXは64ビットという闇

2025/06/28(土) 18:19:57.03

>>482
？？？ float128_t と FLT_MAX にどのような関係があるのか意味が分からない。

2025/06/28(土) 18:26:24.23

float 4バイトだろ 32ビットだぞ

2025/06/28(土) 19:30:31.51

float が 4 バイトなのに 8 バイト相当な値が FLT_MAX として定義されている (言語仕様に準拠していない) 環境があるという意味？

2025/06/28(土) 19:40:49.68

最大の浮動小数点型を表す定数のどれかと間違えたんでしょ
__int128があってもintmax_tが64ビットのままみたいな話のfloat版のつもりだったと思う

**デフォルトの名無しさん** (JP 0H8e-mQSl) · 2025/06/29(日) 08:57:18.64

インターネットからファイルをダウンロードするのに、現在のc界隈ではどんなライブラリを使用してるの？
vc2010あたりなら、標準で使えていたけど今でも使えるのかしら？

2025/06/29(日) 10:59:10.19

ちょっ質問なのですが
class Fooの中で構造体型PrivateStructがprivateな型として定義されており、
PrivateStruct型のFooのprivateなメンバFoo::m_stもある状況に対し、
Fooの外でauto&でもってPrivateStructの型を使用できて、
あまつさえFoo::m_stの値を読んだり書いたりできたりしてカプセル化神話が崩壊したんだけど
これっておま環？
（コード）
https://ideone.com/slBA72

2025/06/29(日) 12:56:56.18

>>487
Windows が前提なら WinINet を使うのが素直なやり方だと思う。
規格の多少の更新などがあっても OS の側で対処してくれるからアプリケーションはリビルドする必要すらなく長期的に使えることが期待できる。

マルチプラットフォームを考えるなら Curl が楽かなぁ……。

2025/06/29(日) 13:04:25.17

>>488
アクセス指定は識別子の可視性であって、間接的なアクセスも含めた一切の利用を禁止するわけではないよ。

2025/06/29(日) 13:14:06.51

上のコードの
>auto& st = x.refStruct(); // stはFooのprivateな型だがビルドが通る。
が識別子PrivateStructの可視性を無視してくれる理由がわからんぬ……
これ
>PrivateStruct& st = x.refStruct();
と書いたら型の名前PrivateStructの可視性がprivateなのでもちろんエラーになる

2025/06/29(日) 13:18:58.11

訂正orz
×: >PrivateStruct& st = x.refStruct();
○: >Foo::PrivateStruct& st = x.refStruct();

2025/06/29(日) 13:37:38.54

>>491
> 識別子PrivateStructの可視性を無視してくれる理由

識別子 PrivateStruct を使っていないから。
この場合は x.refStruct() という式から型を推論するので型名 (であるような識別子) の可視性は関係ない。

プライベートなデータメンバ m_st だってその参照を外へ持ち出してるだろ。
外で m_st という名前でアクセスできないが m_st に対応するオブジェクトへのアクセスは (アクセス経路があるなら) アクセス指定に左右されない。
同様に、プライベートに定義した型を型名ではアクセスできないが型を使えないわけではない。