C++相談室 part166

2025/09/23(火) 11:17:00.61

>>640
autoは曖昧だから、ゆるいプログラム用だね
シビアなプログラムは無理

2025/09/23(火) 12:32:51.63

>>638
イテレータの返しを受けるオブジェクトはauto使うと便利みたいな

2025/09/23(火) 14:23:55.04

>>641
テンプレート作るときには必須になる場合もある
ゆるいって理解は雑

2025/09/23(火) 14:48:06.92

前提条件を変えると何でも言えてしまう。
とりあえずここでは発端は >>636 なのだから変数 data の型が int であり (多相にはしない) 内容はゼロで初期化するという狭い仮定を置いたほうがよかろう。
auto を持ち出したのは変に話題を曲げてしまったな。すまぬ。

2025/09/23(火) 20:34:08.12

今北

いまさら人に聞けない
auto って、右辺の型もそのまま左辺にコピーしてきてよ、って感じで使ってるんだけど
その認識で間違ってない? 落とし穴とかある?

2025/09/23(火) 20:39:56.49

右辺が式の場合もあるし
その時自分が思ってた型とautoの型が一致するとは限らないところとか

2025/09/23(火) 21:26:37.10

autoで手抜きしすぎるとあとでｿｰｽ追うときにｴﾗｲ苦労することあるから気を付けろよ

2025/09/23(火) 21:34:42.79

>>647
Pythonとか、
型が書かれてないから追いづらいよね

2025/09/24(水) 02:24:38.07

>>645
その認識でおおよそ正しいが変則的な部分もある。
auto foo = { 1, 2, 3 };
みたいに書くと initializer_list に推論されたりするのは知らないとちょっとびっくりするかもしれない。

それと修飾子などを組み合わせで使うことも出来る。
const auto* bar = &baz;
みたいに。

2025/09/24(水) 07:20:39.19

>>649
何の目的であるの？
C#的にゆるくなるだけだな…

2025/09/24(水) 08:23:07.29

>>650
ゆるいというのがどういう意味で言ってるのかわからないからなんとも言えない。
特に有用なのはテンプレート内で、たとえば

template<class T>
void foo(T x) {
auto bar = baz(x); // baz は関数テンプレートだとする
// ここでなんやかんや
}

みたいなのがあるとき auto を使わずに型を合わせて書こうとすると

template<class T>
void foo(T x) {
decltype(baz(x)) bar = baz(x); // baz は関数テンプレートだとする
// ここでなんやかんや
}

みたいになってわずらわしい。
初期化子の型をそのまま持ってくれば良いときに型を明示しても可読性に貢献しないし、簡便な記法があると楽。

**デフォルトの名無しさん** (JP 0Hc6-xemb) · 2025/09/24(水) 12:48:43.78

std::make_sharedとか使うと行が長くなりがちだからauto便利

2025/09/24(水) 23:18:51.30

autoでしか出来ないこともあるから奥が深い

2025/09/24(水) 23:47:45.55

罠仕様が仕込まれてるってだけでは

2025/09/25(木) 06:56:54.48

Rust派に言わせれば、C++が罠らしいぞｗ

でもそのC++が、今の俺を生んだ

2025/09/25(木) 16:58:42.68

有用なときもあるけど、ライブラリ用のコードで乱発するとメンテナンスが大変
可読性メンテナンス性を考えるなら、冗長でない限りはちゃんと書いた方がいい

>>651
それもbaz(buz?)の戻り値の型はTから導出出来るんだから、よほどややこしくない限りはそれ(decltypeで手抜きせずに)を書いた方が可読性メンテナンス性の面では良い

2025/09/25(木) 17:00:57.66

>>656
お前テンプレートプログラミングの素人さんだよね

2025/09/25(木) 20:40:29.81

>>657
自己紹介乙w
Expression Template使って線形代数のライブラリ作った人間だが、ETで利用者がauto使うとどういう問題が起きるか答えてみ
まさか分かりませんとか言わないよな？
テンプレート使ったライブラリ(てか標準ライブラリ)を"利用する"しかしたことのない人間が調子に乗るな

2025/09/25(木) 20:43:04.50

なんか「その理論を作ったのは私ですが」みたいなものを感じる
技術発表の際の怖い質問とかなんとかのやつw

2025/09/25(木) 20:43:46.25

言葉ならなんとでも言えるわな

**650** (ﾜｯﾁｮｲ 8a02-CSnM) · 2025/09/25(木) 20:44:29.25

>>651
ふーん
便利だね

でも、templete自体が何だか好きじゃないわ…

**650** (ﾜｯﾁｮｲ 8a02-CSnM) · 2025/09/25(木) 20:46:08.51

>>656
ちゃんとっって、型を？

型が書いてないと、パット見でわからないよね…

2025/09/25(木) 20:54:22.86

>>662
そう&同感
ぱぱっと書いて何やってるかもすぐ分かるような場面(戻り値がイテレータとか)ではそりゃautoでいいと思うけどねぇ

2025/09/25(木) 21:36:33.99

今ならconceptを使うのが筋が良いんだろうな
他の言語みたいに型制約を書かずにジェネリクスを使えるけど、これは良くも悪くもだよね
楽と言えば楽だけど

2025/09/26(金) 01:34:47.37

>>658
リポジトリ晒して

まさか出せませんとか言わないよな？
テンプレート使ったライブラリ(てか標準ライブラリ)を"内製する"しかしたことのない人間が調子に乗るな

2025/09/26(金) 01:53:11.78

>>658
端的に言って

> それもbaz(buz?)の戻り値の型はTから導出出来るんだから、

ここだよ
関数テンプレートなんだから型が導出できるとは限らない
なぜお前は断言したのかな？
導出できない例にぶち当たったことがないからだよな

2025/09/26(金) 07:26:52.27

>>665 >>668
煽ればタダで教えてもらえると思ってるいつものアホか

>導出できない例
あるわけないだろどうやって実体化するんだよwwwwww

2025/09/26(金) 08:15:01.31

conceptはテンプレートだけじゃなく普通の変数制約にも使えればなぁ。
継承がほとんどいらなくなる。

2025/09/26(金) 10:28:59.69

>>647
判ります

2025/09/26(金) 11:12:51.14

手抜きというか情報を重複させないためにはautoが必要
苦労するのは型情報を追えないツールが悪い

2025/09/26(金) 11:53:52.65

>>648
ああ、おそろしいあの言語は
素人にはｻｻｯと組めて楽ﾁﾝだろうけど大掛かりなものは無理だろうな
想像しただけで脳が震えて耳から溶けて出てきそうだ

2025/09/26(金) 12:02:33.14

expression template を auto で受けるとまずいってのは Eigen みたいな設計の話かな。
あれはムーブがない時代の設計だから一時オブジェクトの参照を保持してしまう (先に一時オブジェクトが解体されて寿命管理が破綻する) のが問題なのであって、解決のための仕組みが与えられたにもかかわらずそれを使ってない設計が悪い。
expression template の仕組み上でどうしても解決できないというわけではないし auto のせいでもない。

ムーブのコストすら許容できないだとか、古い C++ (C++03 以前) もサポートしなきゃならないみたいな事情があるなら「すまんけどこのライブラリを使うときは注意して」というべき筋合いの話で、「auto なんか使っとるからじゃ！」みたいな態度はおかしいだろ。

2025/09/26(金) 12:09:27.62

>>672
>のが問題なのであって
違う。ETの場合、関数(演算子オーバーロード含む)が返すのは、式の構造を表すオブジェクトなのでそれをautoで受けると式の展開が行われず、計算処理の無いコードになってしまう
それを逆手に取ってauto経由で展開のタイミング遅らせることもできるけどね

あとETの利点はムーブどうこうで解決できる問題だけではないし、
誰も「ETを万人が使うべき」だなどと言っとらんよ、何が気に入らんかったの？

で、はちみつお前いつも「知ったかぶりしていい加減なことを言う奴」に怒ってる割に、自分も同じ事してるよな

2025/09/26(金) 12:11:01.51

あと
>「auto なんか使っとるからじゃ！」
一言も言ってないんだが。流れ読み直しておいで

2025/09/26(金) 12:54:00.88

>>672
> autoで受けると式の展開が行われず、計算処理の無いコードになってしまう

書いてなかったが評価タイミングは適当な関数で明示的にする前提を置いてた。
未定義を踏むのは他の何と比べても駄目だ。単に思ってた結果と違ったなんてのは重要じゃない。

> 誰も「ETを万人が使うべき」だなどと言っとらんよ、何が気に入らんかったの？

日常的には使わないケースだからこそだ。
それが auto の問題点のように挙げられてただろ？
ライブラリのほうが C++ の自然な習慣に合わせるのが筋なのにさ。

2025/09/26(金) 13:15:19.27

>>657-658

2025/09/26(金) 13:19:26.24

>>675
あと、ETで式の評価が発生するのは関数の呼び出し時ではない。どうでもいいけど
あと俺が作ったのは4次元まで(行列なら4x4まで。ゲーム用なので)だからヒープ使わんのでそもそもムーブどうこうは関係無いし、勝手によそのライブラリの未定義の話を持ってこられても困る

2025/09/26(金) 13:57:45.37

>>677
eigen は例として話題に出したつもりだったが余計だったな。
端的に主旨を言えば expression template の原理的には auto で受けれるように作ることは可能、かつその方が親切な作りだろうという話をしてる。

お前がどんな設計をしたのかなんてそれこそ俺には知ったことじゃないし、知りようもない。
お前のライブラリで auto で受けれないのはお前がそう設計しただけの話なので、それを根拠に auto がどうこう言ってもなんの足しにもならん。

2025/09/26(金) 14:04:20.28

>>657-658
ETの話はここで出した。

で、俺のautoの使い方に関する意見は>>656だ

自分が何をやってるか良く考えてからレス書き直せ

2025/09/26(金) 14:08:11.66

>>679
悪い設計のせいで利用者に不自然な書き方を強いるライブラリを作ったという話だということは理解してる。

2025/09/26(金) 14:13:42.65

あといちいち知ったかぶってるバカに教えてやるのも腹が立つが、普通数値演算でET使うときは代入演算子やコンストラクタに式を渡した場所で初めて式を展開するんだよ
(autoでわざと評価を遅延させることも可能だと書いただろアホ)
Eigenでも多分そう
もちろんboost::spiritとかの構文解析ならパース処理の関数に渡すまで展開しないだろうが

2025/09/26(金) 14:14:19.90

>>680
不自然なのはお前の、「スキルに見合わない自尊心」だと思うぞ

2025/09/26(金) 14:24:32.42

バカが屁理屈書いてきそうだから再三言うが、>>658は>>657を叩くために出した問いに過ぎない
「意図しないコードになる」という話

これだからお前には絡みたくないんだよマジ鬱陶しい

**デフォルトの名無しさん** · 2025/09/26(金) 17:03:47.95

お前ってのははちみつのこと言ってるのかね？
自分から絡んどいて何言ってんだろうコイツとしか思えんけど

2025/09/26(金) 17:53:41.26

>>684
で、>>666の導出出来ない例って何？www

2025/09/26(金) 19:18:42.84

>>685
ラムダの型導出できないだろ？
なんでこんなのも知らんのにえらそうにしてんの？
あと

https://wandbox.org/permlink/q5sTF1hp76f7jpnq

とかな
この例でfooでもif constexprを使えばautoはなくせるがそんなことやって可読性とかほざけない
他にもパターンあるぞ
謝罪してお前が作ったらしいヘボライブラリ公開したら教えてやってもいいぞ

2025/09/26(金) 19:32:01.31

屁理屈にも程がある
導出出来なきゃどうやって実体化するんだよ、Tしかテンプレートパラメータが無い状況でT以外に依存するものがあるのか？
まさか結果がTに依存するテンプレートになったら「導出出来てない」とかほざくの？
Tに依存するコンテナのイテレータと何も変わらんよそれ

2025/09/26(金) 20:12:50.41

てかその例でauto使わずに戻り値格納するのにif constexpr使うしかないと思ってるとかどんだけ経験不足なんだ・・・(はっきり処理分けする必要がある場合を除く)
そんなクソみたいな例ならさすがにdecltypeかauto使いたくなるが(そもそも使うなと言ってないんだが)、conditionalも知らんのかお前は
必死に探してきてご苦労さん

2025/09/26(金) 20:41:40.17

あの…そろそろ言っとくが

おもろいこと書いたヤツが優勝な?
２ちゃん５ちゃんの原則だぞ

2025/09/26(金) 20:46:36.85

>>665はおもろいと自分で思ってんの？w

2025/09/26(金) 20:59:48.54

>>687
おじいちゃん、ラムダの例で詰んでんのわかる？
わかんない？
わかんないかぁ

2025/09/27(土) 00:06:32.90

やっぱautoはゆるいね
C#とかPython的な感じ…

2025/09/27(土) 05:08:15.66

C++は自由なんだよ

変な風にも使えるし、傍で見てたらめちゃくちゃにもなる

2025/09/27(土) 05:36:45.87

自分が使った方がいいと思った時は使う。
しかないよ。後は規約や上司に従うぐらいか。

2025/09/27(土) 11:22:44.98

久々にC++スレらしくなってておっちゃん楽しいよ

2025/09/27(土) 17:37:01.17

>>681
コンストラクタや代入演算子で実際の計算を起動する方式も支持があるのは知ってるよ。
だからその代表例として有名どころの Eigen を話題に出したのだし、そこに齟齬はない。
その上で唯一の方式ではないし悪い設計だと言ってる。

私に反論するならどうしてそんな方式を取るのか利点 (悪い設計ではない理由) を説明すべきだった。
「数値計算で expression template を使うときは普通」なんて情報量ゼロのことを書かれても何の意味も感じられない。

コンストラクタや代入演算子をトリガーにするのは expression template を最適化として使う考え方だ。
つまり見かけ上は普通に式を書いてるだけなのに実は高速化しているというのがキモで、普通の式である「かのように」見える抽象化に意味がある。

実際の型を意識せざるを得なくなった段階で抽象化は破綻してる。
auto を使ったら何が起こるかを意識しなければならないのはライブラリ設計の失敗なんだよ。
隠れていたりいなかったりする半端な抽象化層を悪い設計と呼ぶのは間違ってるか？

> 再三言うが、>>658は>>657を叩くために出した問いに過ぎない
> 「意図しないコードになる」という話

そんなので意図しないコードになってしまうような作りのライブラリは出来が悪いという話なのはかわらん。
様々な事情に配慮してそうならざるを得ないということもあるというのならわかるが、
そうじゃなくて「それが普通なんだ」と思い込んだ狭い見識での判断なんだろ？

型を書くか auto にするかはスタイルの問題で、どちらを使うかで挙動が切り替わってしまうような設計のライブラリが本当にまともか？

2025/09/27(土) 17:54:13.79

よほど悔しかったんか知らんが、恥の上塗りやめたら？
autoをC++に取り込んだ人達は、お前が調子に乗るために提案したわけでも採用したわけでもなかろうよ

2025/09/27(土) 19:49:03.02

>>696
八光さんに同意だけど
それだとC++が設計ミスと言う結論になりかねない

2025/09/27(土) 20:00:56.28

C++ が設計ミスだらけなのは今更な話だろ。

**580** (ﾜｯﾁｮｲ f5a1-hkyQ) · 2025/09/28(日) 18:27:48.51

解決しますた！

2025/09/28(日) 19:20:47.09

そうか。

2025/09/29(月) 19:03:56.70

VSCode(WSL)のclang-tidyで質問です
関数にconst付けるのを警告する「readability-make-member-function-const」って奴ですがDoSave()関数にも警告が出ます
可能ならgetterのみに付けたいのですが皆さんこれはどうされてますか？
無効にしてるか、無視してるか、const付けてるか、その他何かやってますか？

C++の環境構築は初めてなので助言をいただけるとありがたいです
よろしくお願いします

2025/09/29(月) 19:56:30.29

こういうこと？
要はconst性を「セーブさせたくない」という符丁に使いたいのかな

class Hoge;　// DoSave()持ち

void foo(Hoge& h1, const Hoge& ch2)
{
　　h1.DoSave();　//ゆるす
　　ch2.DoSave();　//ゆるさない
}

そんな変なことやめとけとしか思わないけど、どうしてもそうしたい理由があるなら言ってみ

2025/09/29(月) 20:49:50.37

const_cast<Hoge*>(&ch2)->DoSave();

2025/09/29(月) 22:22:15.60

>> 703-704
すみませんサンプルを載せるべきでした

ソース：
double Point::X(){return x;}
void Point::X(double value){ x=value;}
ヘッダ：
static Point {
public:
double X();
void X(double value);
private :
double x=0;
};
clang-tidy を実行すると「double Point::X()」のX部分で「Method 'X' can be made const (readability-make-member-function-const)」という警告が出ます
調べてみると「constを追加して、内容が変更されないことを明確にすべき」らしいです
ソース：double Point::X() const {return x;}
ヘッダ：double X() const;

上記だけなら問題無いのですが、下記のような関数にも同じ警告が出てしまいます
ソース：void Sample::DoSave(){ ファイルの保存処理 }
ヘッダ：void DoSave();
この場合、getterではなく処理なので、const は付けるべきでは無いと考えてます

そこで質問ですが、clang-tidy で静的チェックを行う場合「readability-make-member-function-const」の扱いはどうすべきなのか気になった次第です
「無効にすればいいのか」と思いながらも、C#のプロパティではないので、「C++は変更されないことを明示した方が分かりやすいのか？」とどのように設定すべきか悩んでいます
よろしくお願いします
環境は下記：VSCode、ubuntu 22.04 (WSL)、C++ 17、clang-tidy-15

2025/09/29(月) 23:01:05.35

NOLINT

**デフォルトの名無しさん** · 2025/09/29(月) 23:04:57.63

>>705
その場合const付けたほうが良い理由は「変更されないことを明示」することより
constのインスタンスに対してその関数を呼べなくなることでは？
↓はエラーか警告（どっちかは忘れた）になると思う（constオブジェクトの非constメンバ関数は呼び出せない）

void SaveData(const Sample sample)
{
sample.DoSave();
}

void Sample::DoSave() const { ファイルの保存処理 }
にしておけば、DoSaveは呼び出せる

2025/09/30(火) 01:33:12.30

処理だからconst付けないんじゃなくて、そのﾒﾝﾊﾞ関数がPointｸﾗｽの中身を書き変えないことを保証するためにﾒﾝﾊﾞ関数の後ろにconstは付ける
つまり、Save処理はPointｸﾗｽを特段変更するﾒｿｯﾄﾞではないだろ？
だったらconstは付けるべき

2025/09/30(火) 07:07:46.33

>>705
つまり、constを本来の意味(中身を変更するかどうか)ではなく「getterであるかどうか」を示すラベルとして使いたいってことでしょ？
で、何を持って「getterであるかどうか」はあなたの頭の中にしかない定義であって、そのlintはもちろんコンパイラもエディタも世のライブラリも知ったことではない
それらをオレオレconstラベルに適合させるためにどうしたらいいか？というのがあなたの問うていることだ
やっぱりどうしてそんなことがしたいのか全く理解できない

2025/09/30(火) 08:58:44.76

>>705
オブジェクトがなんらかのストレージを抽象化したものであると考えたらそのオブジェクトが const であるときはセーブ機能を使えないようにしたいというのはわからんでもない。
実際の管理は他の場所でやっていて窓口に過ぎないならメンバ関数に const を付加可能 (だがそうしたくない) なこともあるだろう。

それが良い設計かどうかは脇に置いてそうすることに決めたときに clang-tidy の警告はどうすればいいのかということなら、
例外的な状況なので例外的なものとして無視してもらうしか仕方ないんじゃないか。
NOLINT コメントを書いておくと clang-tidy はその箇所については警告を抑制してくれるよ。

2025/09/30(火) 10:38:19.22

>>706-710
御返事がおそくなりすみません
ご意見ありがとうございます
自分の理解不足と設計思想が間違ってるまたはずれてるんだと理解しました

・「readability-make-member-function-const」の指示にしたがってconstを付けるのが良い
・更に言うと-fixオプションで自動付与するレベルの内容
・だけどNOLINTで無視もできるよ(無視してるとは言ってない)

ってことで理解しました
勉強になりました
ありがとうございます

2025/09/30(火) 21:38:35.37

VC++20のテンプレート制約で不可思議なことが起きるのだけど、以下の二つは同じ意味だよね？
1だと目的通りTParentに該当static関数<T>があれば適用、なければスルーという挙動になるのだけど、
2だと無くても適用されちゃって他を探しに行かずにオーバーロード未解決に陥るんだけどどういうことだろう？

1
template<typename T, typename TParent> concept HasSizeGetter = requires { (size_t)TParent::template get_size<T>(); };
template<HasSizeGetter<TParent> T> static consteval size_t get_require_space() { return TParent::get_size<T>(); }

2
template<typename T> requires requires { (size_t)TParent::template get_size<T>(); } static consteval size_t get_size() { return TParent::get_size<T>(); }

2025/09/30(火) 21:40:50.61

ちょっと書き間違えてたけど1はget_require_spaceじゃなくてちゃんと2と同じくget_sizeね

2025/09/30(火) 23:39:48.15

>>712
オーバーロード未解決という形で現れるのはよくわからないけど
この場合はその関数テンプレートを使わなくても (呼び出さなくても) エラーになるのが正しい挙動だと思う。

get_size は依存名ではないのでテンプレートの定義時 (テンプレート実引数を当てはめる前) に名前のルックアップが試みられて失敗する。
requires 節はテンプレート引数の妥当性を検証する仕組みなのでテンプレート引数をあてはめなくても式が不成立になるようなのはエラー。

というのが私の理解なんだけどあんまり自信はない……。

2025/09/30(火) 23:47:38.26

>>714
これは TParent::get_size が存在しない場合の話で、
TParent::get_size が存在するけど TParent::get_size<T> の展開に失敗する場合はちゃんと次の候補が選ばれるはず。
(手元に MSVC がないんだけどオンラインコンパイラで一応の動作確認はした。)

2025/10/01(水) 06:54:56.10

>>715
そう、2の場合でもTParent::get_sizeはあるけど<T>とはマッチしない場合にはちゃんと1と同じ挙動になるんだよね
TParentにstaticなget_sizeが全くない場合だと1と2で挙動が変わってしまう
でも2って1をインラインに直接書いたものであって同じ意味だよね？
だからrequiresがどういう意味を持つかとか以前に挙動変わってくる時点で不可思議なんだよね

2025/10/01(水) 07:43:33.30

>>716
1 の場合は get_size は依存名だ。
そこで解釈が違うよ。

2025/10/22(水) 12:58:32.68

C++26から入るらしい^^と[::]という二つの演算子はどういう用途に使うものなのでしょうか？

2025/10/22(水) 13:31:13.53

>>718
リフレクションで検索したら色々な例がみつかるよ。
構文要素を値として取り扱う、本物のマクロだ。

2025/10/22(水) 19:35:11.69

^^
↑ちょっと顔にみえる

2025/10/22(水) 21:43:50.71

^^;

2025/10/22(水) 21:55:39.76

^^;ゞ

2025/10/22(水) 22:05:42.67

^^::←グローバル名前空間のリフレクション値

2025/10/23(木) 05:29:13.93

v^^

2025/10/23(木) 21:41:47.99

山崎渉

2025/10/24(金) 14:17:57.63

GGは
へへ
ミミ

**デフォルトの名無しさん** (JP 0Hab-oW0m) · 2025/10/29(水) 17:48:11.20

Y(^_^)Y　なんすかこれ

口が違う。覚えてる人修正して

2025/11/11(火) 14:16:42.56

バルタン星人のひと元気かな

2025/11/13(木) 14:20:45.09

多分基本的な質問ですまんけど、参照型のメンバー持ったクラスをmove対応させるのってどうやんのが定石？
ポインタにするしかない？

2025/11/13(木) 14:53:55.31

>>729
その参照が差す先のオブジェクトの所有権 (最終的に後始末する責任) を持っている状況ということ？
ポインタを交換する手法がよく使われるのはヌルで無効を表現してるだけなので所有権を持ってるかどうかわかるフラグを立てれるならなんでもいいよ。
型システム的に表現するなら optional と reference_wrapper を組み合わせるのがよいかな。(optional は参照を直接には保持できない。)

2025/11/13(木) 22:00:10.45

いきなりわからんorz

2025/11/13(木) 22:38:55.22

>>730
なるほどサンキュー
でもoptionは省きたいところ
moveしたあとは使わない前提でこれはUBになる？

class A {
　std::reference_wrapper<const std::string> m_s;
public:
　A(const std::string& s) : m_s(s) {}
　A(A&& rhs) : m_s(std::exchange(rhs.m_s, *(const std::string*)nullptr)) { }
};

2025/11/13(木) 22:48:43.43

・T*（ナマポ）にする
Pros: 一番素直、ムーブ後状態をぬるぽで自然に表現できる。
Cons: メンバ使ってるとこで*付けたり.を->に書き換えたりが必要。deleteとか加減算とか好き勝手できちゃう。今どきナマポとかダサい。
・std::unique_ptr<T>やstd::shared_ptr<T>にする
Cons: 多分セマンティクス違う（もともとはヨソのオブジェクト覗いてるだけでしょ？）
・std::referrence_wrapper<T>にする
Pros: 参照の置き換えという意味でこれも素直。
Cons: メンバ使ってるとこに.get()をつける書き換えが必要。ムーブがコピーになるので抜け殻に参照が残って潔癖な人だとキショい。
・std::optional<std::referrence_wrapper<T>>にする
Pros: 型的に一番真面目なので型マニアにっこり。
Cons: 書くのめんどい。「何これ？」って聞かれたときに説明めんどい（未来の自分含む）。.get()必要。
・メンバはT&のままにしてムーブコンストラクタとムーブop=の方で対応する
Pros: 既に使われてる所の書き換え不要。
Cons: ムーブ関数書くのとメンテし続けるのがめんどい。抜け殻に参照先残る。

どれも完璧じゃないから好きなの選んでいいよ

2025/11/13(木) 23:01:27.30

unique_ptrと同様のもの（unique_ref）を作ればいいんじゃねえのって話だろ
ただしptrはnullptrで無効を表現してるから
代わりにフラグを用意する
class unique_ref{
T& ref;//参照
bool isValid;//無効判定
//コンストラクタ
unique_ref(T&r):ref(r), isValid(true){}
//ムーブコンストラクタ
unique_ref(unique_ref&& a){move(a);}
//ムーブ代入
　unique_ref& operator=(unique_ref&& a){move(a);}
move(unique_ref&&a){if(this!=&a && a.isValid) ref=a.ref; a.isValid=false;}
}
てなかんじかと
知らんけど

2025/11/13(木) 23:06:32.01

参照なんて引数と演算子オーバーロード以外で使ってもいいこと無くね？

2025/11/13(木) 23:07:03.58

そもそも所有権自分で保持してるメンバがもともとT&ってことはないだろ
どっか遠くのオブジェクトを見えるようにしてるだけでしょ？
（それはそれで設計的に焦げ臭いけど置いとく）

2025/11/13(木) 23:07:46.30

もしくはunique_ptrをunique_refでラップしてしまうのが楽か

2025/11/13(木) 23:10:58.33

>>736
たまにある
外部リソース（たとえばファイルハンドル）を一時的にクラスに保持して使いやすくするとか
なんにせよ寿命を明示的に管理しておかないと後でやばいことになる

2025/11/13(木) 23:14:39.55

>>738
ファイルハンドルだとして、それを管理するクラスがファイルハンドルの値自体を持たずにヨソに置いて参照するのはなぜ？
やっぱり意味がわからない

2025/11/13(木) 23:20:38.76

>>732
UB になる。
ポインタと違って参照自体は無効を表現できないのが C++ の基本ルールであり、 reference_wrapper でもそれは同じ。
それでもあえてやるなら適当にダミーのオブジェクトを作っておいてそれを参照していたら無効ということにするというようなことをできなくはないが……それはそれでちょっと不恰好だよね。

2025/11/13(木) 23:22:41.52

>>739
クラス内部でちゃんと管理するのがいいんだけど時には関数内クラスを定義してちょっとしたことを行うこともある（かも）
その時には所有権を一時的にでも委譲しなきゃならなくなる

2025/11/13(木) 23:30:06.73

>>741
ハンドルは外部で持ったままで、その関数内クラスにはハンドルの参照を渡す（関数内クラスの参照メンバを外部のハンドルで初期化する）って言ってる？それ委譲とは言わないよ
委譲したからにはそのリソースはその関数内クラスの消滅とともに消えないといけないけど、そうなったら外部で持ってたハンドルの実体はどうなるの？
どんなケースを想定してるのか全然わかんない

2025/11/14(金) 12:19:28.56

>>740
までもnull objectはよく使ってるからそれにするわ
個人的にはすっきり
でもc++の参照っていらん子やん？って気がしてならない

class A {
　static constexpr std::string s_empty_str{""};
　std::reference_wrapper<const std::string> m_s;
public:
　A(const std::string& s) : m_s(s) {}
　A(A&& rhs) : m_s(std::exchange(rhs.m_s, s_empty_str)) { }
};

2025/11/14(金) 17:06:33.25

>>743
型無しのnullpointerが型システム(機能保証)を破壊しているから、型を強要する参照は必要。

2025/11/14(金) 17:48:56.23

>>744
古くね？
そういうのはoptional使えってのが最近のやり方でしょ？

2025/11/14(金) 19:18:46.50

>>743
参照は色々な場面で有用ではあるが、 D&E によれば最初の動機は演算子オーバーロードだと書かれている。
オブジェクトをコピーする必要がない (値をコピーせずに場所を渡せば充分) ような状況で参照がなくポインタを使うならいちいち &a+&b みたいにして書く必要が生じる。
いかにも煩わしいだろう。

2025/11/14(金) 19:55:59.90

C++より古いの新しいの含めて多くの言語が採用してるように参照は引数でのみ使用可能で良かったと思うよ

2025/11/14(金) 20:35:30.63

>>747
他の言語はともかく、C++の参照は引数に限定されてないですよ。

int a = 10;
int* pa = &a;

2025/11/15(土) 10:22:10.37

747は、（実際の仕様はそうなっていないけど）引数でのみ使用可能なら良かったのに……という意味だと思うぞ。

2025/11/15(土) 19:11:12.30

ああ
＞使用可能で良かったと思うよ

ではなく、

＞使用可能だったら良かったのにと思うよ
って事ですか

2025/11/15(土) 19:25:57.81

カスみたいな読解力

2025/11/15(土) 19:35:13.09

そんなコミュ力高かったら、石が友達なんて言わない

2025/11/15(土) 19:39:44.33

分かりやすいように749みたいに書いたけど、747で普通に意味が通じるので、「ではなく」というとちょっと違う気がするかな。言葉って難しい。

2025/11/16(日) 01:00:07.67

こういう人が仕様書読んで実装すると思うとこわい

2025/11/16(日) 13:18:16.47

横からだけど
>>747 で充分判る
>>748 は本当に日本人か？

2025/11/16(日) 13:32:50.84

C++ばっかりやっとるからだよ
日本語を使え

2025/11/16(日) 16:38:31.73

>>755
>748だけど日本人だよ。
>747日本語の文法としておかしいと思うんだが分かるんか…。
こっちが年食ったんかなぁ…。

2025/11/16(日) 16:49:19.65

あんたは機能的非識字なんでしょ
歳とか関係ないって

2025/11/16(日) 18:20:15.84

747は、日本語の文法としておかしなところは別にないけれども、748のような読み方も許すという点で多義的な文にはなっているかな。
「C++より～ように」という前半の文脈があるので748のような受け取り方はしない方が普通だと思うが、文法的には748のような読み方も一応可能だろう。
「使用可能（ということ）で良かった」としたら、完全に一義的になっているとまでは言えないまでも、多少ニュアンスは明確になっているかな。そうでもないか。

2025/11/16(日) 19:06:28.66

>>757
文字なんでニュアンスが伝わりづらいだけだよ

「この前の件だけど、両方出来るようになったよ」
「他と同じように片方のみで良かったと思うよ」

まあ誤解を与えない書き方とすると

「他と同じように片方のみで良かったのにと思うよ」
って感じで「のに」をいれた方が残念がっている様子が伝わってくるよね

2025/11/17(月) 09:06:44.31

C++はよく分からないので、cpprefjpにはいつもお世話になっているんだけど、生文字列リテラルのところにある「改行が入力された場合、改行の制御文字 '\n' に変換される」というのは説明として正確なのかな。
raw文字列リテラルのところの規格にはそれっぽいことは書いていないように思うし、改行文字は通常の文字としてそのままraw文字列リテラルに含められるだけであって、別に「変換」とかはされていないんじゃないかと思うんだけど。

2025/11/17(月) 10:18:46.23

>>761
'\n' に変換するという説明は誤りだと私も思う。
規格内の例中では \n と同等というような説明はあるのでこれを変換と誤解したのかも？
https://timsong-cpp.github.io/cppwp/n4950/lex.string#5

2025/11/17(月) 10:27:40.74

余談だけど生文字列リテラルの扱いにはちょっと変な特別扱いがある。
C++ では処理の初期段階で行を連結 (改行を削除) してしまうことになっていて、その時点では各改行が生文字列リテラルの中なのかどうか認識してない。
https://timsong-cpp.github.io/cppwp/n4950/lex#phases-1.2
後でトークンを分割するときになって生文字列リテラルを認識したらその範囲では連結を「取り消す」という処理が入る。
https://timsong-cpp.github.io/cppwp/n4950/lex#pptoken-3.1
結果としては改行はそのまま含まれるだけなんだけど、理屈としては色々な操作 (変換？) はされてる。

ただ、これは C++ の言語の解釈の話であって処理系の実装方法ではない。
つまり結果が同じであれば実装方法は問わないので連結してから取り消すのではなく連結の例外にしてもかまわないし、
生文字列リテラルを普通の文字列リテラルに変換するような手法もあるのかもしれない。

2025/11/17(月) 20:16:57.16

>>761
gccにCRLF改行のソースコードを食わせてもLF(\n)だけになったので変換はされてるんじゃないか
他のコンパイラの動作はしらね