C++相談室 part155 at TECH
[2ch|▼Menu]
[前50を表示]
950:デフォルトの名無しさん
21/05/17 18:51:12.32 pyZ7P5gV.net
まあ辞書順は可能だぬ

951:デフォルトの名無しさん
21/05/17 19:28:02.39 xbubPeOw.net
>>932
c++のpublic継承は継承先クラスを継承元クラスと同じものとして扱うので、特性の包含性が重要。
なので、失われる特性があるなら継承はしないほうが良い。
上でも挙がっているけど、複素数は実数の全順序性という特性が失われるので継承はしないほうが良い。やるなら無限体を継承元クラスにすべきだわな。

952:デフォルトの名無しさん
21/05/17 19:49:53.27 pZGof8k7.net
>>911
ブルバギじゃなくて?

953:デフォルトの名無しさん
21/05/17 20:09:19.46 FZJkNpOI.net
正多面体と素数
URLリンク(www.youtube.com)

954:デフォルトの名無しさん
21/05/17 20:11:40.34 PX9GndkV.net
何のスレやねん

955:デフォルトの名無しさん
21/05/17 20:51:22.31 pyZ7P5gV.net
>>935
継承したからといって継承元クラスで定義される演算を継承したクラスにも引き継がねばならない理由は無い
演算子のオーバーロードと型変換関連のコンストラクタまたはキャスト演算子を定義したら
同じ演算子に対してパラメータの型毎に許す演算と許さない演算を任意に設定できる
特にComplexクラスからRealクラスを派生させた場合は
(この場合は|z|やarg(z)といった複素数の演算子がReal以外の実数を返すComplexのメソッドとすることになりそうだがそれはおくとして
ある意味話は簡単で、Complex同士のoperator<()の一族を定義せずにおもむろにReal同士でだけ定義するだけにしたらええんじゃ
つか個人的にカナーリ疑問なのですだが、AがBの真部分集合であることと、
Aを表すのクラスとBを表すクラスの継承関係は一体追求すべき何の関係があるん??

956:デフォルトの名無しさん
21/05/17 21:58:18.14 SfcIGFpx.net
継承元として振る舞えるのはポリモーフィズムの必須要件じゃない?
親クラスとして振る舞えなくなる子クラスとか存在価値ないでしょ

957:デフォルトの名無しさん
21/05/17 22:27:35.19 rt013aFx.net
>>935
は?
複素数を継承して実数を作る
という話だけど

958:デフォルトの名無しさん
21/05/17 22:36:00.22 pyZ7P5gV.net
>>940
実数を複素数としてふるまわせたいならRealをComplexに型変換したら済むので継承やポリモーフィズムは必須ではない
>>939の問いに戻るがなんで集合としての包含関係をそう執拗に継承関係に反映させようとするんじゃ……
だいたい実数から複素数を作る演算(|z|とarg(z)で複素数zを作る)もあるし
複素数から実数を作る演算(|z|やarg(z))があるから変換は双方向的なので、
この場合派生クラスから基底クラスへの一方的変換だけでは片手落ちなのは明白
無理矢理やったら>>939に書いたみたく|z|やarg(z)といった複素数の演算子がReal以外の実数を返すみたいなgdgdな話に……

959:デフォルトの名無しさん
21/05/17 22:39:11.47 rt013aFx.net
>>942
おまえ文系だろ
>>940に「ポリモーフィズムは必須」なんて書いてない

960:デフォルトの名無しさん
21/05/17 23:00:01.22 hwY+PVbw.net
>>939
>継承したからといって継承元クラスで定義される演算を継承したクラスにも引き継がねばならない理由は無い
さすがに演算が別物レベルで違うのはc++のpublic継承を使うべきじゃない。
public継承は継承元クラスのポインタ変数・参照として使えるという意思表示でもある。使えると言っているのに使えないのはクラスのユーザーを混乱させるし、コンパイラとかからの支援も期待できなくなる。
継承元か継承先かを意識してプログラムしなきゃいけないのは典型的な「継承の危険な使い方」だよ。

961:デフォルトの名無しさん
21/05/17 23:17:51.34 hwY+PVbw.net
>>941
えっ、そうなの?
それなら継承の問題は無いと思うけど、継承を使うメリットある? c++だと性能的に不利な気が。
浮動小数から整数を継承するのと似たような臭いがする。

962:デフォルトの名無しさん
21/05/17 23:39:13.83 GYmzER1r.net
浮動小数と整数は継承関係にない代わりに個別に暗黙変換のルールが作り込まれているわけだから
同列には語れんような。

963:デフォルトの名無しさん
21/05/17 23:53:21.28 rt013aFx.net
>>945
元は>>847
>>864が逆だと勘違いしたんだろうねえ
そこから中身のないプライドを保つ為だけの書き込み多数

964:デフォルトの名無しさん
21/05/18 00:42:41.50 pJ71QEbf.net
>>947
お前頭悪いって良く言われるっしょ

965:デフォルトの名無しさん
21/05/18 01:40:04.12 FUhBCUlD.net
ここまでのアホみたいな流れは全部>>794のクソコードのせいにして終わり終わり

966:デフォルトの名無しさん
21/05/18 02:05:36.55 0A1+AcfP.net
>>943
>940 は >939 に反論する形で
 継承元(Complex)として振る舞えるのは(Realが満足すべき)ポリモーフィズムの必須要件、
と言っているのだから
>ポリモーフィズムは必須」なんて書いてない
なんて大嘘

967:デフォルトの名無しさん
21/05/18 02:07:04.04 0A1+AcfP.net
全く>>947はこの問題でいっぱいレスしている割にガチで頭悪いのではないか

968:デフォルトの名無しさん
21/05/18 06:07:46.07 M8tLf7N/.net
URLリンク(wandbox.org)
これの実行結果なんだけど
何で == になるのか誰かわかる?

969:デフォルトの名無しさん
21/05/18 07:35:31.53 iJzvlnxx.net
<=>使ったことないけど==は自分で定義しとかないといかんらしいぞ
あとこれ仮想関数にする必要あるのか疑問(無駄にサイズ増えるし。あと継承もいらん気がする

970:デフォルトの名無しさん
21/05/18 07:37:05.89 M8tLf7N/.net
<=>から==を導出させるには=default;しなきゃいけないんだけど
=default;した関数の内容を独自なものにするには
virtualで上書きするくらいしか思いつかない

971:デフォルトの名無しさん
21/05/18 07:40:16.15 iJzvlnxx.net
わからんけど、そのpointの大きさ(内積してsqrt)で比較するようなコードをコンパイラが勝手に作ってくれるのけ

972:デフォルトの名無しさん
21/05/18 07:43:09.23 RvkfiLpS.net
メンバの辞書式順序で比較するコードを勝手に作ってくれる

973:デフォルトの名無しさん
21/05/18 07:44:12.47 M8tLf7N/.net
そんなわけないと思うからこそ=default;した関数の内容を独自の内容に変更したい

974:デフォルトの名無しさん
21/05/18 07:45:11.32 M8tLf7N/.net
メンバの辞書式順序と違う定義にはできんの?

975:デフォルトの名無しさん
21/05/18 07:47:15.02 iJzvlnxx.net
だから==も書かないといけないんじゃね
多分だけど、そのpointの==は中身point_baseの比較しかしてないんでしょ

976:デフォルトの名無しさん
21/05/18 07:48:24.73 M8tLf7N/.net
独自の定義にするには == 必須で
<=> から導出させようという考えがそもそも間違い?

977:デフォルトの名無しさん
21/05/18 07:51:58.56 iJzvlnxx.net
pointの方で=defaultはうまくいくかもしれんね(今試せないのですまん

978:デフォルトの名無しさん
21/05/18 07:59:32.16 M8tLf7N/.net
>>961
そのようで
URLリンク(wandbox.org)
しかし、これをやりたくないから<=>を=default;しようと試してたんだ

979:デフォルトの名無しさん
21/05/18 08:24:07.75 M8tLf7N/.net
>>931
言うの遅くなったけど
dX

980:デフォルトの名無しさん
21/05/18 11:01:21.48 K5WN/Dsi.net
こんなしょうもない例でもこれだけもめるんだから
抽象的な定義をするときは思った以上に概念を共有できないということだな。

981:デフォルトの名無しさん
21/05/18 11:06:20.67 Tj0Ma2DE.net
ンなこと言うんなら最初っからお前が揉めないような定義をバンと出せばいいんじゃないの?
出来ないなら黙ってて

982:デフォルトの名無しさん
21/05/18 11:57:19.66 K5WN/Dsi.net
だから揉めないような定義なんかないって主張なんだが。

983:デフォルトの名無しさん
21/05/18 12:05:54.73 3kx5cfZQ.net
>>966
なら黙ってろカス
無能ほど自己主張は強い

984:デフォルトの名無しさん
21/05/18 12:43:04.27 eJEusld6.net
UQを含めてC++流のクラスや継承に価値を見出せない人が結構いるようだが
当時、アメリカではCだけでは複数のプログラマによる共同開発に問題が
来たしていて大問題になっていたのがC++の登場で解決したとされているぞ。
どうしてかというと、protected属性などでメンバ変数を「隠蔽」できることで
他の人の作ったパーツを破壊することなく使えることになったことが大きいと
聞いた。もちろん継承もその一つ。

985:デフォルトの名無しさん
21/05/18 13:02:06.01 eJEusld6.net
>>968
継承は、他の人が作ったプログラムに機能を「追加」するときに何が追加された
のかが明確になるので便利。
継承の機能が無ければどの部分が追加されたのか分からないし、
追加した際に元々動作していた基本部分までバグが入る可能性があるが、
継承した場合にはそれが無い。
UQみたいに「委譲」でなんとかするのは、言語機能のサポートが得られないので
記述量が増えてメンドクサイ。

986:デフォルトの名無しさん
21/05/18 13:33:09.76 iJzvlnxx.net
UQってなんやと思ったけどQZのことか
てかまともにソフト書いたことない奴には言ってもわからんと思う

987:デフォルトの名無しさん
21/05/18 16:26:14.79 EATlfCml.net
自衛隊の大規模接種センター(東京センター)は生年月日の入力欄初期値が1970年1月1日なんだが、Unixタイムを意識したのかな?
URLリンク(www.vaccine.mrso.jp)

988:デフォルトの名無しさん
21/05/18 16:53:11.90 LV/0HQIM.net
>>968
一番良かったのは namespace

989:デフォルトの名無しさん
21/05/18 16:55:22.83 LV/0HQIM.net
>>971
適当な番号でも受付完了するらしいな
受付出来るけど接種に来ても打ってもらえないから
そういう適当なことなしないでくれってアナウンスしてるけど
テロリストにDoSに準じる攻撃方法教えてるようなもんだろ

990:デフォルトの名無しさん
21/05/18 16:58:39.86 nXH1x7Lj.net
何関係ないこと語り出してんの

991:デフォルトの名無しさん
21/05/18 16:59:15.64 EATlfCml.net
中国のハッカーはHoneypotなのではと警戒してるらしいよ

992:デフォルトの名無しさん
21/05/18 18:41:32.26 eJEusld6.net
>>972
それは全く違う。
1990年くらいにCからC++に移行が進もうとしていたとき、C++にはまだ
namespaceキーワードで指定するnamespaceの概念は無かったから。

993:デフォルトの名無しさん
21/05/18 19:04:39.53 HX5VOoCQ.net
>>969
それって差分プログラミングじゃないの

994:デフォルトの名無しさん
21/05/18 19:12:29.12 lxDAggBF.net
>>977
URLリンク(www.ced.is.utsunomiya-u.ac.jp)
「継承の機能を使うことにより、すでに定義済みのオブジェクトに 
・機能を追加 
・変数を追加 
・機能の一部を変更 
などをエレガントに記述することができるようになり、オブジェクト(コード)の再利用性が向上します。すでに実装済みの機能に、自分が実装したい機能として足りない部分だけを追加してプログラムを作成できるようになりますので、これを差分プログラミングと呼んだりします。」

995:
21/05/18 21:00:55.59 TyliVLtj.net
>>978
それは委譲でも十分で、差分プログラミングだけしたいのなら継承は不要だと私は考えています
>>860
>クラスAをクラスBに所有させたとき、Bの公開したいいいメソッドを逐一クラスAにも書かねばならないのがメドイ
鋭い意見です、唯一共感できるレスポンスだと思いました
確かにおっしゃるとおりですが、しかし、このメンドクサイ手順を踏めば vtable が不要になる、という意味ではメリットの方が大きいと私は思います
あとは基底クラスへのポインタを一括して握っておいて、派生クラスへのポインタごとに仮想メソッドで処理を分け分けする、というのが出来なくなりますが、私はそういう場面で出会ったことがありません……
URLリンク(ideone.com)

996:デフォルトの名無しさん
21/05/18 22:28:54.13 rG13Y8DO.net
差分プログラミングかー 昔はそんなこと言われてたね
ユーティリティクラスに持つべき共通関数をベースクラスに実装しておけばサブクラスでも簡単に呼べる!とか間違ったクラス設計が横行してた時代

997:デフォルトの名無しさん
21/05/18 22:41:44.49 Tj0Ma2DE.net
その時はまだ失敗してなかったんだから「間違ったクラス設計」じゃないんじゃないの
間違ってるのが後からわかったんでしょ
なら間違いの原因は別にある

998:デフォルトの名無しさん
21/05/19 01:12:06.76 fToUWXI/.net
>>979
>私はそういう場面で出会ったことがありません……
それはあんたが仕事をしてないからですよ

999:デフォルトの名無しさん
21/05/19 01:58:09.30 yT7tFlzp.net
>>979
一行目、普通は、C++においては委譲より継承の方が楽に書けるのだから、
C++での差分プログラミングは継承を用いるのが基本で楽なので「継承で十分」と
考えるべきで、C++はそういう設計。
あなたは逆さまで、C++の初期のころからの基本設計に逆らおうとしている。

1000:デフォルトの名無しさん
21/05/19 02:30:36.72 kKkrLvTk.net
継承使わずに委譲って言ってる人はvirtualはどうしてんの?

1001:デフォルトの名無しさん
21/05/19 02:32:46.24 /jpsBven.net
つーka仕事で使ってないやつによくある感違いだけど
C++にしろ他の言語にしろ、道具であって目


1002:Iは「トータルとして楽する」ためにすべてはあるので 別にアート作品や哲学やってんじゃねーんだから、「本質的に美しい」とか「こうあるのが正しい」 とかはどうでもいいからな トータルとして楽にするためには時に面倒な実装や仕組みをつかうこともあるが、結局最終的に 楽できなきゃそんなものに意味はない



1003:はちみつ餃子
21/05/19 02:35:39.61 ONEwpJm5.net
>>983
それは間違った考え方。
継承は機能を追加するためのものではない。
機能を追加したいなら機能を追加すればよい。

1004:デフォルトの名無しさん
21/05/19 02:45:01.92 zjDnGFHC.net
継承したくないとか言ってる奴らってインターフェースの概念ないバカだけでしょ

1005:デフォルトの名無しさん
21/05/19 02:56:09.48 iywlut5a.net
virtual は必ず描く
private は使わず protected を使う

1006:デフォルトの名無しさん
21/05/19 05:27:07.08 mqAmVEur.net
必ずってのもどうかと思うけどな
上にあったpointクラスもそうだけど、メモリ上のサイズがメンバ変数のサイズと一致して欲しい&組み込み型のように配列をmemcpyできるべきクラスなら
無意味にvtblなんか付けるべきじゃない
>>985の言うように楽かどうかもそうだけど、何をユーザーに提供するか、どういう要件が必要なのかと突き詰めていったら最終的に取れる選択肢なんかほとんどない
QZもやはちみつもそうだが、お遊びの長くても数百行のコードしか書いたことないやつは多分それらの部品を何か作るためにまともに年単位で使い倒したことが無いんだろ
それら思いつきで書いた程度のコードは全くブラッシュアップされてないから全く使い物にならんのだが、使ってないからそれに気づかない
実際気付き始めたらあちこち直しまくって膨大な時間使って最後にはゼロから書き直して全く違った設計になると思うが、そうして初めてOOPや継承の利点もわかるんだけどね

1007:デフォルトの名無しさん
21/05/19 05:56:25.62 Gyc2jKZQ.net
可変個の参照の組 (vectorでいい) を関数 hoge
に渡したいときって、hoge が vector< reference_wrapper<T> > を取るようにして
hoge({ref(A), ref(B), ref(C)})
みたいに呼ぶか、可変引数テンプレートを使って hoge の中でパースするかっていうのが普通のやり方かな?
ちょっと冗長な感じがしてしまう
参照の組じゃなくてポインタの組にするとかも手かもしれんが

1008:デフォルトの名無しさん
21/05/19 05:58:41.64 LZZifCH2.net
いきなり継承いらんキリッとかすげえ極論を言い切るやつ
自分の発言に将来にわたってずっと責任を持つ気なさそう
その時のその場だけ俺カッケーできりゃいいってやつ

1009:デフォルトの名無しさん
21/05/19 06:12:15.82 mqAmVEur.net
>>990
どれがいいかはさておき可変長テンプレート引数はめんどいよ、やってみたらわかる
同じ型のものを可変個受け取るためのものじゃない(トリック的に回避はできるが)し、hoge内だけでパースは無理

1010:デフォルトの名無しさん
21/05/19 06:57:23.69 LZZifCH2.net
conceptでできそうだな
まだ試してないけど

1011:デフォルトの名無しさん
21/05/19 07:09:43.82 CHs6khMr.net
>>991
継承イランといってる奴なんていなくね? QZは怪しいが...
継承が適切な箇所なら継承を使う、機能追加で差分のコードが少なくてすむからという理由だけでは必ずしも使わない(その場合に継承が適切な関係ならば使う、そうでないなら委譲なりなんなり他の設計にする)ということを言ってるだけでないの?

1012:デフォルトの名無しさん
21/05/19 07:14:47.97 LZZifCH2.net
>>994
>>802

1013:デフォルトの名無しさん
21/05/19 08:07:05.32 iIq+id16.net
継承いらないっていうのはこういうことだろ?
インターフェースは継承するが、クラスは継承しない
クラスを継承するようなことをしたい場合には、メンバー変数としてクラスのオブジェクト持って、それへ処理を移譲する
今時のオブジェクト指向プログラミングでは、わりと常識的な概念だと思うが

1014:デフォルトの名無しさん
21/05/19 08:42:40.77 mqAmVEur.net
>インターフェースは継承する
いるやん
>クラスを継承するようなことをしたい場合
その場合C++的には素直に継承した方が上手くいくと思うけどな(D&Eで禿が言ってたが、継承を全部委譲に置き換えるというのをやってみたらしいが「結果はひどいものだった」と
普通に継承してうまく行かんか破綻するなら、そもそも継承的なことを考えてはならない関係だと思うけどね

1015:デフォルトの名無しさん
21/05/19 08:55:25.03 IMMR+vsB.net
継承いる!に飛びついた連中も
その後の流れで
継承要らない!に飛びついた連中も
本質的には同じなんよ
周回遅れで誰かの後追いするマシーンなんよ

1016:デフォルトの名無しさん
21/05/19 09:06:07.34 RuJgA5Em.net
インターフェースは実装するって言うでしょ
C++的にはどっちも継承だけど

1017:デフォルトの名無しさん
21/05/19 09:53:52.51 LZZifCH2.net
>>996
メソッドがそこそこ少なきゃいいけど
世の中そんなに甘くない

1018:デフォルトの名無しさん
21/05/19 10:07:56.64 iIq+id16.net
Kotlinちゃんは甘いです
インターフェースを継承し、コンストラクタで渡されたオブジェクトへそのインターフェースの実装を委譲するのを、1行で書ける
URLリンク(dogwood008.github.io)

1019:1001
Over 1000 Thread.net
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 55日 22時間 0分 41秒

1020:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています


最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
暇つぶし2ch

286日前に更新/299 KB
担当:undef