C++相談室 part165

2023/10/31(火) 07:37:38.52

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

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

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

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

2025/03/14(金) 15:50:51.90

キャプチャ付lambdaでさらに脳汁

2025/03/14(金) 17:15:25.44

迷走してますなぁw

2025/03/14(金) 21:47:11.78

>>742
初めて知った

2025/03/15(土) 09:10:45.56

>>745
実際にはラムダ式 (クロージャ型) に対しての特別な機能があるわけじゃなくて、単項 + にクロージャオブジェクトを渡そうとするとオーバーロード解決ルールの途中で適用可能な暗黙の変換が適用された結果としてそうなる

**デフォルトの名無しさん** (ｽﾌｯ Sd9a-JU6R) · 2025/03/15(土) 17:45:50.20

[](){}();

2025/03/15(土) 22:57:27.79

停止性問題を一般のケースについて解く機械的手続きで有限時間で必ずおわるもの（アルゴリズム）は存在しないが
人間は納期までにプログラムえおデバッグできる……できる……たぶん……

2025/03/16(日) 09:48:31.74

出来なかったら誰かがどういう形かで責任を取る。
それが社会ってもんだ。

2025/03/16(日) 11:01:20.74

有限時間内に終わる機械的計算手続きとして存在するかという観点で考えたとき
デバックの不可能なプログラムは存在しないという例の命題は偽な可能性、
もっともこの正確な引用は「バグのないプログラムは存在しないがデバックの不可能なプログラムもまた存在しない」であって全体として矛盾した主張であることは前から指摘されてあるが

2025/03/16(日) 11:04:22.68

訂正orz、
誤：　有限時間内に終わる機械的計算手続きとして存在するかという観点で考えたとき
正：　任意のプログラムのデバッグと言う手続きが有限時間内に終わる機械的計算手続きとして存在するかという観点で考えたとき

2025/03/17(月) 06:41:01.39

ラムダ式に+の話は始めて知った
勉強になった

2025/03/17(月) 09:17:27.77

>>746
それちょっとだけ解説きぼんぶっちゃけなんとなくで使ってて気持ち悪かった

2025/03/17(月) 09:55:35.41

オーバーロード解決のルールは大雑把には
　・候補の中で実引数と完璧に型が一致するものがあればそれが選ばれる。
　・完璧な一致がないが暗黙の型変換を適用したら一致するという候補があればそれが選ばれる。
ということになってる。
実際には変換の中にも優先順位がごちゃごちゃあってかなり複雑なんだけど……。

で、組み込みの単項 + が受け取りうる型は何かというと算術型、スコープなし列挙型、またはポインタ型の三つ。
https://timsong-cpp.github.io/cppwp/n3337/expr.unary#op-7

キャプチャなしのクロージャ型は関数ポインタへの変換関数を持っている。つまり暗黙の型変換が可能。
https://timsong-cpp.github.io/cppwp/n3337/expr.prim.lambda#6

クロージャからポインタへ暗黙の型変換をすれば単項 + に一致するからそれが選ばれる。
そういうメカニズムだと私は理解してるんだけど間違いがあったら誰か指摘してね。

2025/03/17(月) 09:58:44.63

単項 + の話題がウケたみたいなのでオマケで * の話もしようかな。
単項 * にクロージャを渡した場合は関数の参照になる。
つまり *[](){} としたら型は void(&)() ってことね。

式中に参照が現れたら参照が指す先の型に変換されて、関数指示子が現れたら関数ポインタに変換されるので多くの状況では最終的に関数ポインタになっちゃうんだけど。

2025/03/17(月) 10:46:49.46

要するに副作用って事か
環境によってとかオプティマイズ如何で違った動きになる事は無いのかなぁ

2025/03/17(月) 11:12:41.81

ならんだろw

2025/03/17(月) 11:24:02.10

昔、ARM系の環境で配列とポインタがまるっきり違う扱いになって困ったって事があったんだよなぁ

2025/03/17(月) 11:44:46.70

>>756
これは言語仕様の話なので言語仕様に沿わないことがあるなら単にコンパイラのバグってだけだ。

2025/03/17(月) 13:02:56.94

「関数の配列」なんてものが存在しないC++で、関数ポインタに合法的な加減算することなんてないはずなのに、その仲間である単項+が効いちゃうのは気持ち悪くはある

2025/03/17(月) 13:42:24.96

関数ポインタをインクリメントしたら次の関数になるとかだったら便利よね

2025/03/17(月) 13:56:11.11

次ってどこだよ

2025/03/17(月) 14:43:44.88

関数のアドレス順とか

2025/03/17(月) 15:28:39.42

コード書いた順だろw

2025/03/17(月) 16:50:25.99

>>760
私もそう思う。
いつからこうなのか探ってみたら1984年のリファレンスマニュアルではそもそも単項 + は存在せず、
https://web.archive.org/web/20171002220954/http://www.eah-jena.de/~kleine/history/languages/Stroustrup-CplusplusReferenceManual.pdf
1989年には単項 + が現れていてポインタも受け取れるようになってる。
https://www.softwarepreservation.org/projects/c_plus_plus/cfront/release_2.0/doc/ProductReferenceManual.pdf
この間にどんな議論があったのかよくわからん。

C の規格では今でも単項 + は算術型しか許してないし、それが自然だよな。

2025/03/18(火) 18:06:10.72

>>760-762
各要素のサイズが一定じゃないから無理なんやろな

2025/03/21(金) 19:45:52.92

>>755
またまた勉強になったお！
ありがとうございます！！

2025/03/21(金) 19:49:46.16

関数のアドレスなら呼び出して
スタックに無理矢理アク(以下略)

2025/03/21(金) 22:32:50.41

そういうむちゃくちゃが簡単にできるのがC/C++

そんなことしながら、チップを覚えるんだよなあ
自分、次はMIPS覚えないと

2025/03/22(土) 14:21:53.59

どっかのタイミングでbpがスタックギリギリ飛ばすんじゃなくて
コンパイラが128bytesくらい飛ばす仕様になった気がするんだけど
あれは0埋めで(ホントはバグがあるのに)奇跡的にバグ回避するテクニックなのか
他に理由あるんか

2025/03/22(土) 18:01:17.10

>>770
128 ビット (16 バイト) じゃない？
SIMD とかの都合で 16 バイトアラインが必要な環境が出てきたからという事情だと聞いたことある。

2025/03/22(土) 20:51:53.87

質問なのですがstd::unique_ptr<T>とかstd::shared_ptr<T>みたいなSTLで定義済みの
テンプレートクラスをfriendにすることは合法？
用途はシングルトンﾊﾟﾃｨｰﾝのオブジェクトのプログラム終了時の自動解放

2025/03/22(土) 21:29:46.22

>>772
T のデストラクタが private なのを std::unique_ptr<T> からのアクセスは許すってこと？
特に問題ないよ。

ところでテンプレートクラスじゃなくてクラステンプレートな！

2025/03/22(土) 22:33:09.97

>>773
㌧クス、

>T のデストラクタが private なのを std::unique_ptr<T> からのアクセスは許すってこと？
>特に問題ないよ。
それがTのコンストラクタがprivateなﾊﾟﾃｨｰﾝなのです！
friendにしないとビルドが通らないかった（VS2022、VS2015）。
多分moveとかの最にstd::unique_ptr<T>がTのコンストラクタにアクセスするのだと思う。

2025/03/22(土) 22:39:33.53

>ところでテンプレートクラスじゃなくてクラステンプレートな！
なるほど……orz

コード例：
class Foo {
　　friend std::unique_ptr<Foo>;
　　static std::unique_ptr<Foo> m_pObj;
private:
　　static Foo* createInstance() {
　　　　if (m_pObj == NULL) { m_pObj = std::unique_ptr<Foo>(new Foo()); } return m_pObj.get()j;
　　　　// ↑ std::make_unique<Foo>()したらビルドエラー（使うには多分std::make_unique<Foo>()もfriendが要る
　　　　 // 　　スレッドセーフ化は省略
　　}
　　// ...
};

2025/03/22(土) 23:40:24.86

>>775
new Foo() を Foo のメンバ関数の中でやる分には自分自身の中でやることなので friend 宣言は不要。
std::make_unique<Foo>() をすると std::make_unique の中で Foo のコンストラクタを呼ぼうとするから std::make_unique<Foo> をフレンド宣言する必要がある。

2025/03/22(土) 23:48:30.44

>>776
>new Foo() を Foo のメンバ関数の中でやる分には自分自身の中でやることなので friend 宣言は不要。
と思うじゃん？
↓現実
>friendにしないとビルドが通らないかった（VS2022、VS2015）。(>>774

エラーメッセージは熟読していませんぬが、
多分クラステンプレートの実体化がクラスのメソッド全部についてまとめて行われる的なことが起きて、
Tのコンストラクタにアクセスするstd::unique_ptr<T>のメンバ関数（moveコンストラクタとか）が引っかかるのだと予想

2025/03/23(日) 00:18:05.56

>>777
私は Visual Stuio 2022 (MSVC 17) にコンパイルさせてエラーが出ないことを確認した上で書いてる。
手元に Visual Studio を入れていないのでオンラインコンパイラだけど。
コードを呼び出す側なども補うとたぶんこんなのだよね？私が問題の理解を間違えている箇所はある？

#include <memory>

class Foo {
private:
static std::unique_ptr<Foo> m_pObj;
Foo(void) = default; // デフォルトコンストラクタはプライベート

public:
static Foo* createInstance() {
if (m_pObj == NULL) {
m_pObj = std::unique_ptr<Foo>(new Foo);
}
return m_pObj.get();
}
};

std::unique_ptr<Foo> Foo::m_pObj;

int main(void) {
auto bar = Foo::createInstance();
}

2025/03/23(日) 00:19:16.26

通ったが？
https://godbolt.org/z/xzTbKaM5f

2025/03/23(日) 00:20:25.80

あ、被った
内容は一緒

2025/03/23(日) 00:21:43.38

>>777
エラーメッセージは読まんといかんよ
分からんときは今ならLLMに読ませると良い

2025/03/23(日) 01:58:28.60

>>778>>779
お騒がせしましたｻｰｾﾝ；；；orz ビルドが通らないというのは私めの勘違いだった模様。
コードはそれで良いです。
そのコード（最小サンプル）、および最小サンプルにする前のコード×VS2015でもfriend宣言部分をコメントアウトしてビルドが通った。n_

フレンド宣言friend std::unique_ptr<Foo>; を付けるに至った履歴が無いので推測ですだが
デストラクタがprivateのままだったタイミングがあったのかも……
（m_pObjが生ポインタのタイプのSingletonはデストラクタがprivateでもビルドが通る（デストラクタを呼ぶ人が居ないため）
　→この状態でm_pObjをstd::unique_ptr<Foo>に変更してビルドエラー、アクセス許可が無いとコンパイラに言われて慌ててfriend追加、だった可能性、

2025/03/23(日) 09:31:51.75

繰り返しになるが熟読した方がいいぞ
無視していいメッセージかそうでないかも区別できるようになるから

2025/03/23(日) 09:32:31.18

元の話題からはずれる余談だけれど、静的記憶域期間を持つブロックスコープの変数は最初に通過したときに初期化されるルールがある。 (条件によるので常にではない。)
https://timsong-cpp.github.io/cppwp/n3337/stmt.dcl#4
なのでシングルトンパターンはこう単純化して書くことも出来る。

#include <memory>

class Foo {
Foo() = default;
public:
static Foo* createInstance() {
static std::unique_ptr<Foo> m_pObj = std::unique_ptr<Foo>(new Foo);
return m_pObj.get();
}
};

int main(void) {
auto bar = Foo::createInstance();
}

2025/03/23(日) 10:12:01.75

それunique_ptrにする意味ある？
shared_ptrなら意味わかるけど

2025/03/23(日) 10:45:14.55

>>785
意味ないな。

2025/03/23(日) 10:56:08.84

>>784
サンプルコードでは省略したけんども、Double-checked lockingの実験をしたかったﾉﾃﾞｽ！
■ Double-Checked Locking is Fixed In C++11
https://preshing.com/20130930/double-checked-locking-is-fixed-in-cpp11/

つなみに関数内staticオブジェクト初期化（初回実行時）のスレッド安全性がどうーなっているのかは
よく知りま栓（よって採用には消極的

>>785
Singletonなので誰からもshareされないし……
この場合むしろshared_ptrの方が牛刀な可能性もあるし……
なぜなら、std::shared_ptrの参照カウンタはその利用特性上
異なるスレッドから非同期にインクリメント/デクリメントされることを想定せざるおえず、
スレッド安全性担保がそこそこ重い同期オブジェクトで一方unique_ptrの所有権移動は非同期に行われることはなさげ

2025/03/23(日) 10:57:59.97

すまんこTeamsのノリで途中送信すたorz
誤：スレッド安全性担保がそこそこ重い同期オブジェクトで一方unique_ptrの所有権移動は非同期に行われることはなさげ
正：スレッド安全性担保がそこそこ重い同期オブジェクトで行われている危険性がある。一方unique_ptrの所有権移動は非同期に行われることはなさげなので多分軽量

2025/03/23(日) 11:03:44.18

だいたいstd::unique_ptrとstd::shard_ptrでは前者が1個のポインタと同じサイズなのに後者は2個分ある（ヒープにとられた参照カウンタへのポインタを持つため
sizeof(shared_ptr)=16
sizeof(unique_ptr)=8
というのもあり、std::unique_ptr<T>で済むところをstd::shared_ptr<T>推しするのはいかがなものか……

2025/03/23(日) 21:04:30.15

>>789
shared_ptrを使えと言ってるのでなくunique_ptrの意味が特にないと言ってる
別に使ってもいいけどお前それをわかってんの？ってこと？
ついでに言っておけばshared_ptrを使う場合ってのは参照カウントがゼロになったらシングルトンを破棄するみたいな凝った実装する場合に使う

2025/03/24(月) 00:16:57.44

unique_ptrじゃなくてナマポ使えって言ってんの？どこでdeleteする気なの？

2025/03/24(月) 00:22:30.84

>>791
static Fooでいいだろってことだよ
自分で気づけなかったな

2025/03/24(月) 07:56:52.11

えぇ・・・？

2025/03/24(月) 08:43:05.04

>>792
マルチスレッドで問題あるんじゃなかったっけ？
資料どこにあるか忘れたけど。

2025/03/24(月) 08:50:28.31

>>794
ずいぶん前に問題無くなっているのね。
https://cpprefjp.github.io/lang/cpp11/static_initialization_thread_safely.html

2025/03/24(月) 09:19:49.44

>>795
もし解決されてないならunique_ptrでも問題出るでしょ

2025/03/24(月) 23:17:27.23

Makefileについて教えてください。

ベースディレクトリにMakefileがあり、サブディレクトリは以下の構造としたいです
・src\内にhello.c func1.c func2.cが、include\内にfuncs.hがある
・*.oはobj\内に作る
・最終成果物は.\sample.exeとして作る

ソースファイル、ヘッダファイルの増減時にSRCS、INCSを修正すれば済むようにと、
以下のようなMakefileを作っているのですが、makeすると
*** No rule to make target 'obj/hello.o', needed by 'c_sample.exe'. Stop.
となってしまいます
ソースはsrc、オブジェクトはobjディレクトリとしている場合のサフィックスルールが正しくないので
src/hello.cからobj/hello.oを作るルールを表現できていない、と個人的に思っているのですが、
どのようにすれば動作するか教えてください

SRCDIR = ./src
OBJDIR = ./obj
INCDIR = ./include
SRCS = hello.c funcs1.c funcs2.c
OBJS = $(SRCS:%.c=%.o)
INCS = funcs.h
PROGRAM = c_sample.exe
CC = gcc
CFLAGS+= -g -Wall -I$(INCDIR)

.SUFFIXES: .c .o
all: $(PROGRAM)
$(PROGRAM): $(OBJDIR)/$(OBJS) $(INCDIR)/$(INCS)
$(CC) $(CFLAGS) -o $(PROGRAM) $^
.c.o:
$(CC) $(CFLAGS) -c $(SRCDIR)/$<

**797** (ﾜｯﾁｮｲ 4602-BGJw) · 2025/03/24(月) 23:24:39.28

すいません、タブが崩れました

下の方ですが、全角スペースで記載してますが

$(PROGRAM): $(OBJDIR)/$(OBJS) $(INCDIR)/$(INCS)
　　$(CC) $(CFLAGS) -o $(PROGRAM) $^
.c.o:
　　$(CC) $(CFLAGS) -c $(SRCDIR)/$<

こうです

申し訳ありませんでした

**Fish** (ﾜｯﾁｮｲ 652f-MaZR) · 2025/03/25(火) 02:35:59.65

OpenCVについての質問です。VS2022を使用し、includeやopencv_world4100d.libの設定が終わり、検証のためにMatを宣言してimread、imshowのみを書いて検証しようとしたのですが、dllの設定がうまくいってなかったのかコンソールにdllのloadがfailedと大量に出力されます。OpenCVの入れ方を教えてほしいです…まだC++初心者で5チャンの投稿も初心者なので何か変だったらすみません…

2025/03/25(火) 04:37:37.58

>>798
.o:
　　$(CC) $(CFLAGS) -c $(SRCDIR)/$<

>>799
環境変数

2025/03/25(火) 12:24:02.95

>>799
exeと同じディレクトリにloadがfailedと言われるdll置いてみたら?

2025/03/26(水) 11:17:13.88

Makefileを作る時の$<と$?と$^の使い分けを教えて下さい
特に$<が何のためにあるのか分かりません。これだと2番目以降の材料が無視されてしまって動かない場合があるんじゃないかと心配になります。あと、makeは常に新しい材料のみコンパイルするという事は、すべてのケースで$?で良いのではと思ってしまいます。超初歩的な質問だと思いますがよろしくお願いします

2025/03/26(水) 13:48:44.59

C言語だとオブジェクトファイルの依存ファイルは，cファイルとそのcファイルが使うhファイルだけどコンパイルするのはあくまでcファイルだけ
だから依存関係の1つ目にcファイルを，2個目以降にhファイルを書いておけば$<でコンパイルできる

とかかな

2025/03/26(水) 15:00:53.93

>>802
っ https://tex2e.github.io/blog/makefile/automatic-variables

2025/03/26(水) 15:48:44.68

>>797
基本的にサフィックスルールは何十年も前からobsolete扱いなのでやめた方が良い

2025/03/26(水) 20:50:04.73

ところでこの場合の makefile の話は GNU Make を前提にするということでええんか？

**797** (ﾜｯﾁｮｲ 4602-BGJw) · 2025/03/26(水) 22:53:57.57

皆さんいろいろと情報をどうもです
結局、以下のようなものと落ち着いてます
ちなみに使ってる環境のmakeはGNU Make 4.4で、GNU Makeの機能を多用してます

「$(OBJDIR)%.o: $(SRCDIR)%.c」と書ける理由は、pattern rulesという機能なのですかね
ここをforeachとかで書こうとしてましたが、これでいけると聞き、書いてみたら動いたのでもうそのままです

以外に汎用性が出そうだと感じてますが、改良点があればまたご意見ほしいです

PROGRAM = c_sample.exe

SRCDIR = ./src/
OBJDIR = ./obj/
INCDIR = ./include/

SRCS = $(wildcard ${SRCDIR}*.c)
OBJS = $(addprefix $(OBJDIR), $(notdir $(patsubst %.c, %.o, ${SRCS})))
INCS = $(wildcard ${INCDIR}*.h)

CC = gcc
CFLAGS += -g -Wall -I$(INCDIR)

all: $(PROGRAM)

$(PROGRAM): $(OBJS)
　　$(CC) $(CFLAGS) -o $(PROGRAM) $^

$(OBJDIR)%.o: $(SRCDIR)%.c $(INCS) Makefile
　　$(CC) $(CFLAGS) -c $< -o $(patsubst $(SRCDIR)%, $(OBJDIR)%, $@)

**デフォルトの名無しさん** (MX 0H1d-JaxA) · 2025/03/26(水) 23:25:47.70

>>803
>>804

ありがとうございます
助かりました

2025/03/27(木) 00:00:17.61

汎用するのならautotoolsを使った方が良いのでは?

2025/03/27(木) 01:07:35.19

拡張子に exe がついてるということはウィンドウズを想定してるんじゃないの？
cygwin とか msys2 とかだと autotools を入れるのは簡単だけどそうじゃないならめんどいかも。

2025/03/27(木) 02:03:57.32

普通cmakeでしょ
好きじゃないけど

2025/03/27(木) 08:24:51.71

>>807
分かったからもう消えろ
ここはCのスレではないしmakeのスレでもない

2025/03/27(木) 09:16:55.35

makeスレなくなったね

2025/03/27(木) 10:58:28.75

ないと思ったらUNIX板だったようだ

2025/03/27(木) 14:55:01.12

>>812
過疎ってきてるし
C++とmakeは連動すること多いから
話題はあってもいいんじゃねーかと
書き込んでみるテスト

2025/03/27(木) 18:38:06.75

ノーマルスーツを着ろシャア

2025/03/28(金) 12:58:29.90

>>815
あってもいいけどコンパイラの使い方までかな
makeは誘導した方が良いと思う

2025/04/06(日) 00:01:49.29

質問なのですが基底クラスでpublicとした仮想関数の可視性を派生クラスでprivateに狭めることができるのですが
なんでこんな仕様なの？
これは逆に言うと派生クラスでprivateとした一般メソッドに対し、
たまたま同じシグネチャの仮想関数を基底クラスで定義されたら基底クラス経由でprivateとしたメソッドを外部から呼び出せ
てしまいカプセル化の危機……！
そういう仕様になっているメリットとは一体……

2025/04/06(日) 07:42:00.02

前者は仮想関数を派生クラス経由で呼べないように出来る
というか派生のコンストラクタをprivateにして、friend指定したcreatorクラス経由でしか生成出来ないようにするとかそういうのに便利
あと後者は、試してないけど派生の同シグネチャの関数は基底経由で呼べないと思うよ、vtblに登録されてないから

2025/04/06(日) 08:51:38.89

継承に関しては早すぎる最適化の問題もあるから、そのまま使うんじゃなくてアダプタに切り離した方がいいと思う。

Boostあたりにアダプタ用のライブラリないかしらん。

2025/04/06(日) 09:09:40.72

>>818
コードで言えばこういう状況かな？
https://wandbox.org/permlink/gEndnLHWa7qEvNRP

基底にある仮想関数と同じシグネチャならオーバーライドするという規則は単純に言語設計の失敗。
だからこそ override 指定子が導入された。

override 指定子ではオーバーライドのつもりでオーバーライドになっていないときを検出できても
オーバーライドではないつもりでオーバーライドになってしまうことは検出できないのだが……
互換性を壊す変更を入れるわけにもいかずそのままズルズルと今まで失敗を引きずってきたという歴史的経緯。

2025/04/06(日) 09:14:57.63

ああそっか、シグネチャ同じなら強制的にオーバーライドになるんだっけスマン

2025/04/06(日) 09:27:02.17

意図せずオーバーライドになってしまうことがあるのは失敗だが、
意図して private でオーバーライドする分には「そういうインターフェイス」なのだからカプセル化の破綻ではないよ。

2025/04/06(日) 10:21:41.86

リスコフの置換原則を破るからあんまり良くはないと思うけどな
基底クラスとして振る舞わせる気がないならprivate継承すべきだ

2025/04/06(日) 10:25:35.73

>>821
なるほど……
virtualが省略可能なのが諸悪の根源かとｵﾓﾀがそっちか……

>>823
通常はBaseクラス→派生クラス、の順で設計するから「そういうインターフェイス」と考えてだいたい良いのかもしれませんけども
派生クラスまで設計した後にBaseクラスにメソッドを追加して、それがたまたま派生クラス独自に定義したprivateメソッドと
同じシグネチャになってしまった場合、Baseクラス経由で派生クラスのprivateメソッドを意図せず呼べてしまうという
現象が再燃する……

2025/04/06(日) 10:32:27.61

んまーBaseクラスにメソッドを追加しようとする時点で変更の影響範囲を派生クラスまで広げて調査すべき
というのは正論やがコンパイラで検出可能な不都合のチェックのを人にやらせるのはｲﾏｲﾁ……

2025/04/06(日) 11:31:20.83

大抵のコンパイラで普通警告出るやろ？

2025/04/06(日) 11:41:46.34

純粋仮装関数でも無ければ影響無いだろ
だいいち使わない関数なら配慮する必要も無い

2025/04/06(日) 11:42:28.71

全コンパイルは掛かるけどなw

2025/04/06(日) 11:43:04.77

たとえば GCC なら -Wsuggest-override を付けておけば override 指定子なしでオーバーライドしているときを警告する。
https://wandbox.org/permlink/h6PGzqrDAAkAVeJO

だけどこのオプションは -Wall にも -Wextra にも含まれてないから個別に指定しなきゃならなくて、普段は有効になってないのが普通かも。

**デフォルトの名無しさん** (JP 0Hd1-yI6P) · 2025/04/06(日) 11:54:04.73

前から思ってたけど -Wall と銘打ってるのに All じゃないとはこれいかに

**デフォルトの名無しさん** (JP 0Hd1-yI6P) · 2025/04/06(日) 11:54:05.20

前から思ってたけど -Wall と銘打ってるのに All じゃないとはこれいかに

**デフォルトの名無しさん** (JP 0Hd1-yI6P) · 2025/04/06(日) 11:54:58.77

（二重投稿ｽﾏﾝ）

2025/04/06(日) 12:20:48.70

コンストラクタ呼び出しで()の時にinitializer_listを呼んでしまったときの警告と
逆に{}の時にinitializer_list以外を呼んでしまったときの警告がほしい

2025/04/06(日) 12:33:44.13

override指定子って初めて知ったけども-Wallで警告出るのは俺はやだな
警告が大量に出るソースばかりと思うし
警告出すほどにoverride指定子を付けるべきなのかちょっと疑問

2025/04/06(日) 13:09:33.59

overrideなんて飾りです
privateも飾りです

2025/04/06(日) 15:06:13.11

#define class struct
#define private public
#define protected public
すれば大体はすり抜けられる

2025/04/06(日) 16:50:10.05

>>837
`private` などは用途が限定的なキーワードだからそういうことも出来るけど `class` はちょっと問題があるな。

template<class T> class foo {};

みたいなのが破綻する。

2025/04/07(月) 12:25:07.84

classとstructは別ものだからなぁ

2025/04/07(月) 12:42:21.06

C++ の言語仕様的分類では構造体というものはないのだが、 C との関係の都合で微妙な形で struct キーワードは残されてしまった。
これも歴史的経緯による変なところ。

2025/04/07(月) 14:49:45.64

むしろキーワードとしてのclassがいらなかった
型は全部struct、構文の曖昧さを除くためのプレースホルダは全部typenameで良かった

2025/04/07(月) 15:01:27.29

protectedは使った方が良いけどprivateは使いたくなるシーンがほとんど無い