C++相談室 part166 (769ﾚｽ)
上下前次1-新
1: sage (ﾜｯﾁｮｲ 8732-NXaD) 04/26(土)10:34 ID:pbPDl6lv0(1/2)調 AAS
!extend:checked:vvvvv:1000:512
!extend:checked:vvvvv:1000:512
↑同じ内容を3行貼り付けること
次スレは>>980が立てること
無理なら細かく安価指定
※前スレ
C++相談室 part165
2chｽﾚ:tech VIPQ2_EXTDAT: checked:vvvvv:1000:512:: EXT was configured
670: (ﾜｯﾁｮｲ 5301-QugL) 09/26(金)11:12 ID:TfDLIQWg0(1)調 AAS
手抜きというか情報を重複させないためにはautoが必要
苦労するのは型情報を追えないツールが悪い
671: (ﾜｯﾁｮｲ bff0-ar7H) 09/26(金)11:53 ID:IRzSnzQy0(1)調 AAS
>>648
ああ、おそろしいあの言語は
素人にはｻｻｯと組めて楽ﾁﾝだろうけど大掛かりなものは無理だろうな
想像しただけで脳が震えて耳から溶けて出てきそうだ
672(2): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-VPhE) 09/26(金)12:02 ID:E9e6Z1Un0(1/4)調 AAS
expression template を auto で受けるとまずいってのは Eigen みたいな設計の話かな。
あれはムーブがない時代の設計だから一時オブジェクトの参照を保持してしまう (先に一時オブジェクトが解体されて寿命管理が破綻する) のが問題なのであって、解決のための仕組みが与えられたにもかかわらずそれを使ってない設計が悪い。
expression template の仕組み上でどうしても解決できないというわけではないし auto のせいでもない。
ムーブのコストすら許容できないだとか、古い C++ (C++03 以前) もサポートしなきゃならないみたいな事情があるなら「すまんけどこのライブラリを使うときは注意して」というべき筋合いの話で、「auto なんか使っとるからじゃ！」みたいな態度はおかしいだろ。
673: (ﾜｯﾁｮｲ 0679-P6+q) 09/26(金)12:09 ID:uQKo8FSG0(2/7)調 AAS
>>672
>のが問題なのであって
違う。ETの場合、関数(演算子オーバーロード含む)が返すのは、式の構造を表すオブジェクトなのでそれをautoで受けると式の展開が行われず、計算処理の無いコードになってしまう
それを逆手に取ってauto経由で展開のタイミング遅らせることもできるけどね
あとETの利点はムーブどうこうで解決できる問題だけではないし、
誰も「ETを万人が使うべき」だなどと言っとらんよ、何が気に入らんかったの？
で、はちみつお前いつも「知ったかぶりしていい加減なことを言う奴」に怒ってる割に、自分も同じ事してるよな
674: (ﾜｯﾁｮｲ 0679-P6+q) 09/26(金)12:11 ID:uQKo8FSG0(3/7)調 AAS
あと
>「auto なんか使っとるからじゃ！」
一言も言ってないんだが。流れ読み直しておいで
675(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-BMc3) 09/26(金)12:54 ID:E9e6Z1Un0(2/4)調 AAS
>>672
> autoで受けると式の展開が行われず、計算処理の無いコードになってしまう
書いてなかったが評価タイミングは適当な関数で明示的にする前提を置いてた。
未定義を踏むのは他の何と比べても駄目だ。単に思ってた結果と違ったなんてのは重要じゃない。
> 誰も「ETを万人が使うべき」だなどと言っとらんよ、何が気に入らんかったの？
日常的には使わないケースだからこそだ。
それが auto の問題点のように挙げられてただろ？
ライブラリのほうが C++ の自然な習慣に合わせるのが筋なのにさ。
676: (ｻｻｸｯﾃﾛﾗ Sp23-P6+q) 09/26(金)13:15 ID:4po4sxfpp(1/6)調 AAS
>>657-658
677(1): (ｻｻｸｯﾃﾛﾗ Sp23-P6+q) 09/26(金)13:19 ID:4po4sxfpp(2/6)調 AAS
>>675
あと、ETで式の評価が発生するのは関数の呼び出し時ではない。どうでもいいけど
あと俺が作ったのは4次元まで(行列なら4x4まで。ゲーム用なので)だからヒープ使わんのでそもそもムーブどうこうは関係無いし、勝手によそのライブラリの未定義の話を持ってこられても困る
678: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-BMc3) 09/26(金)13:57 ID:E9e6Z1Un0(3/4)調 AAS
>>677
eigen は例として話題に出したつもりだったが余計だったな。
端的に主旨を言えば expression template の原理的には auto で受けれるように作ることは可能、かつその方が親切な作りだろうという話をしてる。
お前がどんな設計をしたのかなんてそれこそ俺には知ったことじゃないし、知りようもない。
お前のライブラリで auto で受けれないのはお前がそう設計しただけの話なので、 それを根拠に auto がどうこう言ってもなんの足しにもならん。
679(1): (ｻｻｸｯﾃﾛﾗ Sp23-P6+q) 09/26(金)14:04 ID:4po4sxfpp(3/6)調 AAS
>>657-658
ETの話はここで出した。
で、俺のautoの使い方に関する意見は>>656だ
自分が何をやってるか良く考えてからレス書き直せ
680(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-BMc3) 09/26(金)14:08 ID:E9e6Z1Un0(4/4)調 AAS
>>679
悪い設計のせいで利用者に不自然な書き方を強いるライブラリを作ったという話だということは理解してる。
681(1): (ｻｻｸｯﾃﾛﾗ Sp23-P6+q) 09/26(金)14:13 ID:4po4sxfpp(4/6)調 AAS
あといちいち知ったかぶってるバカに教えてやるのも腹が立つが、普通数値演算でET使うときは代入演算子やコンストラクタに式を渡した場所で初めて式を展開するんだよ
(autoでわざと評価を遅延させることも可能だと書いただろアホ)
Eigenでも多分そう
もちろんboost::spiritとかの構文解析ならパース処理の関数に渡すまで展開しないだろうが
682: (ｻｻｸｯﾃﾛﾗ Sp23-P6+q) 09/26(金)14:14 ID:4po4sxfpp(5/6)調 AAS
>>680
不自然なのはお前の、「スキルに見合わない自尊心」だと思うぞ
683: (ｻｻｸｯﾃﾛﾗ Sp23-P6+q) 09/26(金)14:24 ID:4po4sxfpp(6/6)調 AAS
バカが屁理屈書いてきそうだから再三言うが、>>658は>>657を叩くために出した問いに過ぎない
「意図しないコードになる」という話
これだからお前には絡みたくないんだよマジ鬱陶しい
684(1): 09/26(金)17:03 ID:iKKvsVQ80(1)調 AAS
お前ってのははちみつのこと言ってるのかね？
自分から絡んどいて何言ってんだろうコイツとしか思えんけど
685(1): (ﾜｯﾁｮｲ 0679-P6+q) 09/26(金)17:53 ID:uQKo8FSG0(4/7)調 AAS
>>684
で、>>666の導出出来ない例って何？www
686: (ﾜｯﾁｮｲ 467f-RvFB) 09/26(金)19:18 ID:+hZbpaFa0(1/2)調 AAS
>>685
ラムダの型導出できないだろ？
なんでこんなのも知らんのにえらそうにしてんの？
あと
https://wandbox.org/permlink/q5sTF1hp76f7jpnq
とかな
この例でfooでもif constexprを使えばautoはなくせるがそんなことやって可読性とかほざけない
他にもパターンあるぞ
謝罪してお前が作ったらしいヘボライブラリ公開したら教えてやってもいいぞ
687(1): (ﾜｯﾁｮｲ 0679-P6+q) 09/26(金)19:32 ID:uQKo8FSG0(5/7)調 AAS
屁理屈にも程がある
導出出来なきゃどうやって実体化するんだよ、Tしかテンプレートパラメータが無い状況でT以外に依存するものがあるのか？
まさか結果がTに依存するテンプレートになったら「導出出来てない」とかほざくの？
Tに依存するコンテナのイテレータと何も変わらんよそれ
688: (ﾜｯﾁｮｲ 0679-P6+q) 09/26(金)20:12 ID:uQKo8FSG0(6/7)調 AAS
てかその例でauto使わずに戻り値格納するのにif constexpr使うしかないと思ってるとかどんだけ経験不足なんだ・・・(はっきり処理分けする必要がある場合を除く)
そんなクソみたいな例ならさすがにdecltypeかauto使いたくなるが(そもそも使うなと言ってないんだが)、conditionalも知らんのかお前は
必死に探してきてご苦労さん
689: (ﾜｯﾁｮｲ 7307-RsoB) 09/26(金)20:41 ID:aJA0eUoF0(2/2)調 AAS
あの…そろそろ言っとくが
おもろいこと書いたヤツが優勝な?
２ちゃん５ちゃんの原則だぞ
690: (ﾜｯﾁｮｲ 0679-P6+q) 09/26(金)20:46 ID:uQKo8FSG0(7/7)調 AAS
>>665はおもろいと自分で思ってんの？w
691: (ﾜｯﾁｮｲ 467f-RvFB) 09/26(金)20:59 ID:+hZbpaFa0(2/2)調 AAS
>>687
おじいちゃん、ラムダの例で詰んでんのわかる？
わかんない？
わかんないかぁ
692: (ﾜｯﾁｮｲ 8a02-CSnM) 09/27(土)00:06 ID:ov4hhnsF0(1)調 AAS
やっぱautoはゆるいね
C#とかPython的な感じ…
693: (ﾜｯﾁｮｲ 7307-RsoB) 09/27(土)05:08 ID:rNLW6nkI0(1)調 AAS
C++は自由なんだよ
変な風にも使えるし、傍で見てたらめちゃくちゃにもなる
694: (ﾜｯﾁｮｲ 1ed6-X2Ee) 09/27(土)05:36 ID:p3kzti810(1)調 AAS
自分が使った方がいいと思った時は使う。
しかないよ。後は規約や上司に従うぐらいか。
695: (ﾜｯﾁｮｲ 7f7c-3pIy) 09/27(土)11:22 ID:0x5FUGdK0(1)調 AAS
久々にC++スレらしくなってておっちゃん楽しいよ
696(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-VPhE) 09/27(土)17:37 ID:nSvwU9re0(1/2)調 AAS
>>681
コンストラクタや代入演算子で実際の計算を起動する方式も支持があるのは知ってるよ。
だからその代表例として有名どころの Eigen を話題に出したのだし、そこに齟齬はない。
その上で唯一の方式ではないし悪い設計だと言ってる。
私に反論するならどうしてそんな方式を取るのか利点 (悪い設計ではない理由) を説明すべきだった。
「数値計算で expression template を使うときは普通」なんて情報量ゼロのことを書かれても何の意味も感じられない。
コンストラクタや代入演算子をトリガーにするのは expression template を最適化として使う考え方だ。
つまり見かけ上は普通に式を書いてるだけなのに実は高速化しているというのがキモで、普通の式である「かのように」見える抽象化に意味がある。
実際の型を意識せざるを得なくなった段階で抽象化は破綻してる。
auto を使ったら何が起こるかを意識しなければならないのはライブラリ設計の失敗なんだよ。
隠れていたりいなかったりする半端な抽象化層を悪い設計と呼ぶのは間違ってるか？
> 再三言うが、>>658は>>657を叩くために出した問いに過ぎない
> 「意図しないコードになる」という話
そんなので意図しないコードになってしまうような作りのライブラリは出来が悪いという話なのはかわらん。
様々な事情に配慮してそうならざるを得ないということもあるというのならわかるが、
そうじゃなくて「それが普通なんだ」と思い込んだ狭い見識での判断なんだろ？
型を書くか auto にするかはスタイルの問題で、どちらを使うかで挙動が切り替わってしまうような設計のライブラリが本当にまともか？
697: (ﾜｯﾁｮｲ 0679-P6+q) 09/27(土)17:54 ID:iipvXy1W0(1)調 AAS
よほど悔しかったんか知らんが、恥の上塗りやめたら？
autoをC++に取り込んだ人達は、お前が調子に乗るために提案したわけでも採用したわけでもなかろうよ
698: (ｱｳｱｳｳｰ Sacf-kv3/) 09/27(土)19:49 ID:k7oMySGea(1)調 AAS
>>696
八光さんに同意だけど
それだとC++が設計ミスと言う結論になりかねない
699: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 7f32-BMc3) 09/27(土)20:00 ID:nSvwU9re0(2/2)調 AAS
C++ が設計ミスだらけなのは今更な話だろ。
700: 580 (ﾜｯﾁｮｲ f5a1-hkyQ) 09/28(日)18:27 ID:MSQtxm6D0(1)調 AAS
解決しますた！
701: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 2d32-jLB2) 09/28(日)19:20 ID:pjQge+jC0(1)調 AAS
そうか。
702: (ﾜｯﾁｮｲ 4366-WwN1) 09/29(月)19:03 ID:ALxfRd8b0(1/2)調 AAS
VSCode(WSL)のclang-tidyで質問です
関数にconst付けるのを警告する「readability-make-member-function-const」って奴ですがDoSave()関数にも警告が出ます
可能ならgetterのみに付けたいのですが皆さんこれはどうされてますか？
無効にしてるか、無視してるか、const付けてるか、その他何かやってますか？
C++の環境構築は初めてなので助言をいただけるとありがたいです
よろしくお願いします
703: (ﾜｯﾁｮｲ 2d7c-2Udd) 09/29(月)19:56 ID:BDszbKFL0(1)調 AAS
こういうこと？
要はconst性を「セーブさせたくない」という符丁に使いたいのかな
class Hoge; // DoSave()持ち
void foo(Hoge& h1, const Hoge& ch2)
{
h1.DoSave(); //ゆるす
ch2.DoSave(); //ゆるさない
}
そんな変なことやめとけとしか思わないけど、どうしてもそうしたい理由があるなら言ってみ
704: (ﾜｯﾁｮｲ adf0-pGVw) 09/29(月)20:49 ID:Qgirjd9Z0(1)調 AAS
const_cast<Hoge*>(&ch2)->DoSave();
705(3): (ﾜｯﾁｮｲ 4376-Duv+) 09/29(月)22:22 ID:ALxfRd8b0(2/2)調 AAS
>> 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
706(1): (ﾜｯﾁｮｲ 1b39-ZlhK) 09/29(月)23:01 ID:jk3QzjEU0(1)調 AAS
NOLINT
707(1): 09/29(月)23:04 ID:rfIMSjI90(1)調 AAS
>>705
その場合const付けたほうが良い理由は「変更されないことを明示」することより
constのインスタンスに対してその関数を呼べなくなることでは？
↓はエラーか警告（どっちかは忘れた）になると思う（constオブジェクトの非constメンバ関数は呼び出せない）
void SaveData(const Sample sample)
{
sample.DoSave();
}
void Sample::DoSave() const { ファイルの保存処理 }
にしておけば、DoSaveは呼び出せる
708(1): (ﾜｯﾁｮｲ adf0-pGVw) 09/30(火)01:33 ID:Xmjd+d/v0(1)調 AAS
処理だからconst付けないんじゃなくて、そのﾒﾝﾊﾞ関数がPointｸﾗｽの中身を書き変えないことを保証するためにﾒﾝﾊﾞ関数の後ろにconstは付ける
つまり、Save処理はPointｸﾗｽを特段変更するﾒｿｯﾄﾞではないだろ？
だったらconstは付けるべき
709(1): (ﾜｯﾁｮｲ 2d7c-2Udd) 09/30(火)07:07 ID:NaKN2pJV0(1)調 AAS
>>705
つまり、constを本来の意味(中身を変更するかどうか)ではなく「getterであるかどうか」を示すラベルとして使いたいってことでしょ？
で、何を持って「getterであるかどうか」はあなたの頭の中にしかない定義であって、そのlintはもちろんコンパイラもエディタも世のライブラリも知ったことではない
それらをオレオレconstラベルに適合させるためにどうしたらいいか？というのがあなたの問うていることだ
やっぱりどうしてそんなことがしたいのか全く理解できない
710(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 2d32-jLB2) 09/30(火)08:58 ID:0fqHawiZ0(1/3)調 AAS
>>705
オブジェクトがなんらかのストレージを抽象化したものであると考えたらそのオブジェクトが const であるときはセーブ機能を使えないようにしたいというのはわからんでもない。
実際の管理は他の場所でやっていて窓口に過ぎないならメンバ関数に const を付加可能 (だがそうしたくない) なこともあるだろう。
それが良い設計かどうかは脇に置いてそうすることに決めたときに clang-tidy の警告はどうすればいいのかということなら、
例外的な状況なので例外的なものとして無視してもらうしか仕方ないんじゃないか。
NOLINT コメントを書いておくと clang-tidy はその箇所については警告を抑制してくれるよ。
711: (ｽｯｯﾌﾟ Sd43-WwN1) 09/30(火)10:38 ID:Dzyyn8xKd(1)調 AAS
>>706-710
御返事がおそくなりすみません
ご意見ありがとうございます
自分の理解不足と設計思想が間違ってるまたはずれてるんだと理解しました
・「readability-make-member-function-const」の指示にしたがってconstを付けるのが良い
・更に言うと-fixオプションで自動付与するレベルの内容
・だけどNOLINTで無視もできるよ(無視してるとは言ってない)
ってことで理解しました
勉強になりました
ありがとうございます
712(1): (ﾜｯﾁｮｲ 2596-TDpG) 09/30(火)21:38 ID:bXNPhBlr0(1/2)調 AAS
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>(); }
713: (ﾜｯﾁｮｲ 2596-TDpG) 09/30(火)21:40 ID:bXNPhBlr0(2/2)調 AAS
ちょっと書き間違えてたけど1はget_require_spaceじゃなくてちゃんと2と同じくget_sizeね
714(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 2d32-jLB2) 09/30(火)23:39 ID:0fqHawiZ0(2/3)調 AAS
>>712
オーバーロード未解決という形で現れるのはよくわからないけど
この場合はその関数テンプレートを使わなくても (呼び出さなくても) エラーになるのが正しい挙動だと思う。
get_size は依存名ではないのでテンプレートの定義時 (テンプレート実引数を当てはめる前) に名前のルックアップが試みられて失敗する。
requires 節はテンプレート引数の妥当性を検証する仕組みなのでテンプレート引数をあてはめなくても式が不成立になるようなのはエラー。
というのが私の理解なんだけどあんまり自信はない……。
715(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 2d32-jLB2) 09/30(火)23:47 ID:0fqHawiZ0(3/3)調 AAS
>>714
これは TParent::get_size が存在しない場合の話で、
TParent::get_size が存在するけど TParent::get_size<T> の展開に失敗する場合はちゃんと次の候補が選ばれるはず。
(手元に MSVC がないんだけどオンラインコンパイラで一応の動作確認はした。)
716(1): (ﾜｯﾁｮｲ 2596-TDpG) 10/01(水)06:54 ID:O1Ml42XO0(1)調 AAS
>>715
そう、2の場合でもTParent::get_sizeはあるけど<T>とはマッチしない場合にはちゃんと1と同じ挙動になるんだよね
TParentにstaticなget_sizeが全くない場合だと1と2で挙動が変わってしまう
でも2って1をインラインに直接書いたものであって同じ意味だよね？
だからrequiresがどういう意味を持つかとか以前に挙動変わってくる時点で不可思議なんだよね
717: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 2d32-I4u/) 10/01(水)07:43 ID:XKqCU3PC0(1)調 AAS
>>716
1 の場合は get_size は依存名だ。
そこで解釈が違うよ。
718(1): (ﾜｯﾁｮｲ faa6-/eJP) 10/22(水)12:58 ID:6nuMV8zc0(1)調 AAS
C++26から入るらしい^^と[::]という二つの演算子はどういう用途に使うものなのでしょうか？
719: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 4132-ctWl) 10/22(水)13:31 ID:/iXiQCcE0(1)調 AAS
>>718
リフレクションで検索したら色々な例がみつかるよ。
構文要素を値として取り扱う、本物のマクロだ。
720: (ｱｳｱｳｳｰ Sa09-u8G0) 10/22(水)19:35 ID:t2Chdy11a(1)調 AAS
^^
↑ちょっと顔にみえる
721: (ﾜｯﾁｮｲ aa71-zeRK) 10/22(水)21:43 ID:q+0a8lK20(1)調 AAS
^^;
722: (ｱｳｱｳｳｰ Sa09-HZvd) 10/22(水)21:55 ID:tW3LNod+a(1)調 AAS
^^;ゞ
723: (ﾜｯﾁｮｲ 417c-ib/k) 10/22(水)22:05 ID:b6F/3uj70(1)調 AAS
^^::←グローバル名前空間のリフレクション値
724: (ﾜｯﾁｮｲ d6d6-9FkA) 10/23(木)05:29 ID:HOQCmR4+0(1)調 AAS
v^^
725: (ﾜｯﾁｮｲ c1ef-6mJJ) 10/23(木)21:41 ID:FPW1mHao0(1)調 AAS
山崎渉
726: (ｱｳｱｳｳｰ Sa09-6N1s) 10/24(金)14:17 ID:nAYKU6CIa(1)調 AAS
GGは
へへ
ミミ
727: (JP 0Hab-oW0m) 10/29(水)17:48 ID:KY7jGttbH(1)調 AAS
Y(^_^)Y なんすかこれ
口が違う。覚えてる人修正して
728: (ｱｳｱｳｳｰ Sae3-N4yN) 11/11(火)14:16 ID:crDtfQHZa(1)調 AAS
バルタン星人のひと元気かな
729(1): (ﾌﾞｰｲﾓ MM9f-lDbn) 11/13(木)14:20 ID:jo2+4JNJM(1)調 AAS
多分基本的な質問ですまんけど、参照型のメンバー持ったクラスをmove対応させるのってどうやんのが定石？
ポインタにするしかない？
730(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 9f32-jcp5) 11/13(木)14:53 ID:bJCWdXAy0(1/2)調 AAS
>>729
その参照が差す先のオブジェクトの所有権 (最終的に後始末する責任) を持っている状況ということ？
ポインタを交換する手法がよく使われるのはヌルで無効を表現してるだけなので所有権を持ってるかどうかわかるフラグを立てれるならなんでもいいよ。
型システム的に表現するなら optional と reference_wrapper を組み合わせるのがよいかな。(optional は参照を直接には保持できない。)
731: (ﾜｯﾁｮｲ ffd6-UeF3) 11/13(木)22:00 ID:oKSfQs8Q0(1)調 AAS
いきなりわからんorz
732(1): (ﾌﾞｰｲﾓ MMd3-lDbn) 11/13(木)22:38 ID:PBCTneT3M(1)調 AAS
>>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)) { }
};
733: (ﾜｯﾁｮｲ 9f7c-18cq) 11/13(木)22:48 ID:qvmNyT2p0(1/4)調 AAS
・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: ムーブ関数書くのとメンテし続けるのがめんどい。抜け殻に参照先残る。
どれも完璧じゃないから好きなの選んでいいよ
734: (ﾜｯﾁｮｲ 1f01-/Hnv) 11/13(木)23:01 ID:/tchf03X0(1/4)調 AAS
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;}
}
てなかんじかと
知らんけど
735: (ﾜｯﾁｮｲ 1fa6-0yYo) 11/13(木)23:06 ID:pKRh1I850(1)調 AAS
参照なんて引数と演算子オーバーロード以外で使ってもいいこと無くね？
736(1): (ﾜｯﾁｮｲ 9f7c-18cq) 11/13(木)23:07 ID:qvmNyT2p0(2/4)調 AAS
そもそも所有権自分で保持してるメンバがもともとT&ってことはないだろ
どっか遠くのオブジェクトを見えるようにしてるだけでしょ？
（それはそれで設計的に焦げ臭いけど置いとく）
737: (ﾜｯﾁｮｲ 1f01-/Hnv) 11/13(木)23:07 ID:/tchf03X0(2/4)調 AAS
もしくはunique_ptrをunique_refでラップしてしまうのが楽か
738(1): (ﾜｯﾁｮｲ 1f01-/Hnv) 11/13(木)23:10 ID:/tchf03X0(3/4)調 AAS
>>736
たまにある
外部リソース（たとえばファイルハンドル）を一時的にクラスに保持して使いやすくするとか
なんにせよ寿命を明示的に管理しておかないと後でやばいことになる
739(1): (ﾜｯﾁｮｲ 9f7c-18cq) 11/13(木)23:14 ID:qvmNyT2p0(3/4)調 AAS
>>738
ファイルハンドルだとして、それを管理するクラスがファイルハンドルの値自体を持たずにヨソに置いて参照するのはなぜ？
やっぱり意味がわからない
740(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 9f32-jcp5) 11/13(木)23:20 ID:bJCWdXAy0(2/2)調 AAS
>>732
UB になる。
ポインタと違って参照自体は無効を表現できないのが C++ の基本ルールであり、 reference_wrapper でもそれは同じ。
それでもあえてやるなら適当にダミーのオブジェクトを作っておいてそれを参照していたら無効ということにするというようなことをできなくはないが……それはそれでちょっと不恰好だよね。
741(1): (ﾜｯﾁｮｲ 1f01-/Hnv) 11/13(木)23:22 ID:/tchf03X0(4/4)調 AAS
>>739
クラス内部でちゃんと管理するのがいいんだけど時には関数内クラスを定義してちょっとしたことを行うこともある（かも）
その時には所有権を一時的にでも委譲しなきゃならなくなる
742: (ﾜｯﾁｮｲ 9f7c-18cq) 11/13(木)23:30 ID:qvmNyT2p0(4/4)調 AAS
>>741
ハンドルは外部で持ったままで、その関数内クラスにはハンドルの参照を渡す（関数内クラスの参照メンバを外部のハンドルで初期化する）って言ってる？それ委譲とは言わないよ
委譲したからにはそのリソースはその関数内クラスの消滅とともに消えないといけないけど、そうなったら外部で持ってたハンドルの実体はどうなるの？
どんなケースを想定してるのか全然わかんない
743(2): (ﾌﾞｰｲﾓ MM0f-lDbn) 11/14(金)12:19 ID:YW3kWFexM(1)調 AAS
>>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)) { }
};
744(1): (ﾜｯﾁｮｲ ff36-TpjX) 11/14(金)17:06 ID:sw2A38eb0(1)調 AAS
>>743
型無しのnullpointerが型システム(機能保証)を破壊しているから、型を強要する参照は必要。
745: (ﾌﾞｰｲﾓ MM0f-lDbn) 11/14(金)17:48 ID:d/VpWy+aM(1)調 AAS
>>744
古くね？
そういうのはoptional使えってのが最近のやり方でしょ？
746: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 9f32-jcp5) 11/14(金)19:18 ID:YeCIJNF30(1)調 AAS
>>743
参照は色々な場面で有用ではあるが、 D&E によれば最初の動機は演算子オーバーロードだと書かれている。
オブジェクトをコピーする必要がない (値をコピーせずに場所を渡せば充分) ような状況で参照がなくポインタを使うならいちいち &a+&b みたいにして書く必要が生じる。
いかにも煩わしいだろう。
747(3): (ﾜｯﾁｮｲ 1fa6-0yYo) 11/14(金)19:55 ID:p/1JbX4j0(1)調 AAS
C++より古いの新しいの含めて多くの言語が採用してるように参照は引数でのみ使用可能で良かったと思うよ
748(2): (ﾜｯﾁｮｲ 9fda-V2U1) 11/14(金)20:35 ID:/xnnTPah0(1)調 AAS
>>747
他の言語はともかく、C++の参照は引数に限定されてないですよ。
int a = 10;
int* pa = &a;
749: (ﾜｯﾁｮｲ 1f42-q6Sd) 11/15(土)10:22 ID:ncudN0/g0(1/2)調 AAS
747は、（実際の仕様はそうなっていないけど）引数でのみ使用可能なら良かったのに……という意味だと思うぞ。
750: (ﾜｯﾁｮｲ 9fda-V2U1) 11/15(土)19:11 ID:lfrbAWbT0(1)調 AAS
ああ
＞使用可能で良かったと思うよ
ではなく、
＞使用可能だったら良かったのにと思うよ
って事ですか
751: (ﾜｯﾁｮｲ ffa1-lDbn) 11/15(土)19:25 ID:3JdS/6Ib0(1)調 AAS
カスみたいな読解力
752: (ｵｯﾍﾟｹ Srf3-rRus) 11/15(土)19:35 ID:QqRirP4Fr(1)調 AAS
そんなコミュ力高かったら、石が友達なんて言わない
753: (ﾜｯﾁｮｲ 1f42-q6Sd) 11/15(土)19:39 ID:ncudN0/g0(2/2)調 AAS
分かりやすいように749みたいに書いたけど、747で普通に意味が通じるので、「ではなく」というとちょっと違う気がするかな。言葉って難しい。
754: (ﾜｯﾁｮｲ 4d7c-2tyn) 11/16(日)01:00 ID:oagsDxeg0(1)調 AAS
こういう人が仕様書読んで実装すると思うとこわい
755(1): (ｱｳｱｳｳｰ Sa85-H7iN) 11/16(日)13:18 ID:0LN83zrSa(1)調 AAS
横からだけど
>>747 で充分判る
>>748 は本当に日本人か？
756: (ﾜｯﾁｮｲ 7901-djhR) 11/16(日)13:32 ID:Xh/GBEYv0(1)調 AAS
C++ばっかりやっとるからだよ
日本語を使え
757(1): (ﾜｯﾁｮｲ 0dda-43h0) 11/16(日)16:38 ID:r6khXsKc0(1)調 AAS
>>755
>748だけど日本人だよ。
>747日本語の文法としておかしいと思うんだが分かるんか…。
こっちが年食ったんかなぁ…。
758: (ﾜｯﾁｮｲ 22f2-43h0) 11/16(日)16:49 ID:D8AV/AUw0(1)調 AAS
あんたは機能的非識字なんでしょ
歳とか関係ないって
759: (ﾜｯﾁｮｲ 91df-iLwu) 11/16(日)18:20 ID:fnmgx6dT0(1)調 AAS
747は、日本語の文法としておかしなところは別にないけれども、748のような読み方も許すという点で多義的な文にはなっているかな。
「C++より〜ように」という前半の文脈があるので748のような受け取り方はしない方が普通だと思うが、文法的には748のような読み方も一応可能だろう。
「使用可能（ということ）で良かった」としたら、完全に一義的になっているとまでは言えないまでも、多少ニュアンスは明確になっているかな。そうでもないか。
760: (ﾜｯﾁｮｲ 11da-ZOUt) 11/16(日)19:06 ID:B8gkzotY0(1)調 AAS
>>757
文字なんでニュアンスが伝わりづらいだけだよ
「この前の件だけど、両方出来るようになったよ」
「他と同じように片方のみで良かったと思うよ」
まあ誤解を与えない書き方とすると
「他と同じように片方のみで良かったのにと思うよ」
って感じで「のに」をいれた方が残念がっている様子が伝わってくるよね
761(2): (ﾜｯﾁｮｲ e9f6-iLwu) 11/17(月)09:06 ID:g7E0m0EQ0(1)調 AAS
C++はよく分からないので、cpprefjpにはいつもお世話になっているんだけど、生文字列リテラルのところにある「改行が入力された場合、改行の制御文字 '\n' に変換される」というのは説明として正確なのかな。
raw文字列リテラルのところの規格にはそれっぽいことは書いていないように思うし、改行文字は通常の文字としてそのままraw文字列リテラルに含められるだけであって、別に「変換」とかはされていないんじゃないかと思うんだけど。
762: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 4d32-o1Ob) 11/17(月)10:18 ID:DdlSQj440(1/2)調 AAS
>>761
'\n' に変換するという説明は誤りだと私も思う。
規格内の例中では \n と同等というような説明はあるのでこれを変換と誤解したのかも？
https://timsong-cpp.github.io/cppwp/n4950/lex.string#5
763(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 4d32-o1Ob) 11/17(月)10:27 ID:DdlSQj440(2/2)調 AAS
余談だけど生文字列リテラルの扱いにはちょっと変な特別扱いがある。
C++ では処理の初期段階で行を連結 (改行を削除) してしまうことになっていて、その時点では各改行が生文字列リテラルの中なのかどうか認識してない。
https://timsong-cpp.github.io/cppwp/n4950/lex#phases-1.2
後でトークンを分割するときになって生文字列リテラルを認識したらその範囲では連結を「取り消す」という処理が入る。
https://timsong-cpp.github.io/cppwp/n4950/lex#pptoken-3.1
結果としては改行はそのまま含まれるだけなんだけど、理屈としては色々な操作 (変換？) はされてる。
ただ、これは C++ の言語の解釈の話であって処理系の実装方法ではない。
つまり結果が同じであれば実装方法は問わないので連結してから取り消すのではなく連結の例外にしてもかまわないし、
生文字列リテラルを普通の文字列リテラルに変換するような手法もあるのかもしれない。
764(2): (ﾜｯﾁｮｲ e9a6-Bso2) 11/17(月)20:16 ID:3c799E+W0(1)調 AAS
>>761
gccにCRLF改行のソースコードを食わせてもLF(\n)だけになったので変換はされてるんじゃないか
他のコンパイラの動作はしらね
765(1): (ﾜｯﾁｮｲ 6e10-iLwu) 11/18(火)02:43 ID:oTdu6LNz0(1)調 AAS
>>763
削除されるのは「\（改行）」（Pythonとかでは明示的な行継続と言われているやつ）みたいなやつだけで、（\ に後続しない）単なる改行はwhitespace文字として扱われるだけかと思っていたんだけど。
>>764
改行をLFだけにする（正規化？）のは、raw文字列リテラルに限らない共通の処理なのでは。
766(1): (ﾜｯﾁｮｲ 4d7c-2tyn) 11/18(火)07:15 ID:cPKOUaFd0(1)調 AAS
規格が決めてるのはソース中の論理的な「改行」の振る舞いであって、そのバイト表現は知ったこっちゃないって奴じゃないの
知らんけど
767: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 4d32-o1Ob) 11/18(火)10:05 ID:BySuHnsX0(1)調 AAS
>>766
従来はそうだったはずだけど C++23 からは Unicode (UTF-8) のコードポイントの並びで規定されていて、 CRLF が単一の改行に置き換えられる規則が明記されてる。
ただ、 Unicode 系以外の文字コードから処理系定義の規則で Unicode に適当にマッピングするようなのも認めているので実態はあまり変わらない。
768(1): (ｱｳｱｳｳｰ Sa85-H7iN) 11/18(火)23:53 ID:+AochNn2a(1)調 AAS
>>764-765
termcapだかterminfoだかでゴニョゴニョ
769: (ﾌﾞｰｲﾓ MM22-hp//) 11/19(水)15:04 ID:HRoC/CWNM(1)調 AAS
>>768
関係ない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.739s*