C++相談室 part155

[表示 : 全て最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2ch.scのread.cgiへ]
Update time : 02/27 11:54 / Filesize : 299 KB / Number-of Response : 1021
[このスレッドの書き込みを削除する]
[＋板最近立ったスレ＆熱いスレ一覧 : ＋板最近立ったスレ／記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

C++相談室 part155

1 名前：デフォルトの名無しさん mailto:sage [2021/03/24(水) 12:07:15.39 ID:R+oM8cup.net]: ※前スレ
C++相談室 part154
https://mevius.5ch.net/test/read.cgi/tech/1610096040/

テンプレここまで
799 名前：デフォルトの名無しさん mailto:sage [2021/05/13(木) 20:59:43.10 ID:bYaECMnR.net]: 何のスレだよ
800 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 00:45:53.77 ID:2w1FBHD8.net]: 最低時給みたいなもんか
801 名前：はちみつ餃子 mailto:sage [2021/05/14(金) 02:31:20.51 ID:Ezk9shwq.net]: 直接的に関係ない話になってはいるが、
保証の内容の違いはプログラミング的にも割と重要な話。

十秒で十の仕事をするという保証と
一秒で一の仕事をするという保証は異なる。
802 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 02:47:39.90 ID:YIIiTt5H.net]: アホみたいな質問というか雑談なんですが、皆さんは同じ型のものを2つまとめるのにpairって使いますか？
2要素vectorの方が要素アクセスのしやすさ等の観点から自分にとっても他人にとっても親切な気がしてきました
803 名前：はちみつ餃子 mailto:sage [2021/05/14(金) 02:57:56.08 ID:Ezk9shwq.net]: >>787
同じ型かつ二要素という保証が重要な場面なら std::pair より std::array を使う。
804 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 03:23:37.52 ID:yHal4m5W.net]: std::pairは機能拡張に弱いので自発的には使わない方がいい
805 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 05:56:11.89 ID:RnSHWQNF.net]: IntelコンパイラはParallel Studioが終了してoneAPIになったけど、
これ無料なん?Intelからは無料ダウソできるけど、
エクセルソフトは有料販売続けてるのはどこが違うの?
806 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 06:01:58.07 ID:UqkRQTKM.net]: ダウソってなんスか?
807 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 06:20:13.81 ID:7h2AIEzB.net]: >>787
POINTやSIZEは普通に構造体宣言だね
complex<T>も明らかにTとTだね

こんなもんpairで作るやついたら全力で逃げる
808 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 06:21:57.15 ID:RnSHWQNF.net]: カワウソの一種です
809 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 06:23:51.18 ID:7h2AIEzB.net]: template <class T>
struct point : private std::pair<T, T>
{
T& x;
T& y;
point() : x(std::pair<T>::first), y(std::pair<T>::second) { }
};
・・・アホくせｗ
810 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 07:22:41.27 ID:+gtYWEA4.net]: pairてmap以外で使った記憶ないな
811 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 07:25:10.38 ID:yHal4m5W.net]: std::equal_range() の戻り値がstd::pairだよ
812 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 10:51:44.98 ID:R2Ezzb7N.net]: std::pair を使うかという問いに対して std::pair をなんと継承している例を持ち出してアホくさいとはね
アホくさいんじゃなくアホなんだよ
813 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 12:30:32.58 ID:7h2AIEzB.net]: >>797
あ？　自分は答えないくせに他人のコメントにいちゃもんつけるやつにだけは言われたかねえぜ
814 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 12:31:39.95 ID:7h2AIEzB.net]: どーせ継承いらん厨とかそういう手合いのゴミだろてめえ
815 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 12:47:38.30 ID:678S/iU6.net]: twitterでC++というキーワードがどうやっても検索できないのは独占禁止法に抵触するよね？
816 名前： mailto:sage [2021/05/14(金) 21:28:42.13 ID:JoUb9lLr.net]: >>772
0 の数が二つ足りない
817 名前： mailto:sage [2021/05/14(金) 21:29:55.39 ID:JoUb9lLr.net]: >>799
継承………
いらないと思います、最近の私は全部委譲で書いていて、その方がまともだとおもっていますね
818 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 21:31:11.99 ID:72ZodHJE.net]: こういうのは技術だけじゃダメだからなあ
相手の心理を読み解く嫌らしいまでの知略がないと
819 名前：デフォルトの名無しさん mailto:sage [2021/05/14(金) 23:11:38.64 ID:R2Ezzb7N.net]: 継承は多用こそしないが要る
std::pairの継承はもちろんしない
std::pairは使う
終わり

同じ型で2要素のものをpairにするかvectorにするかarray<T, 2>にするかは好みとしか言いようがない
どれにしたから怒られるということもなかろう
820 名前：デフォルトの名無しさん [2021/05/15(土) 00:42:32.70 ID:JNomAybm.net]: でもそれが可能だということはやってはダメと言われてるわけでは無く許可されてることだろ
本当にダメならそもそも出来ないハズだ
やれることをやってなんでダメと言われるのか全く理解出来ない

出来ないのであれば不可能にすべきだがそうなってない、
ならばやっていいことに決まってる
821 名前：はちみつ餃子 mailto:sage [2021/05/15(土) 00:48:41.02 ID:pVi51x8H.net]: やればいいよ。
その結果がどうなるか知らんけど。
822 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 01:23:50.42 ID:ACVNfbfy.net]: >>794は無理してpair使うとアホなことになると言いたいのかと思ってたんだが違うのか
823 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 01:23:56.78 ID:GOJIKllV.net]: 乗用車は余裕で時速150km出せる
824 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 06:16:06.77 ID:ASJTiJTT.net]: >>802
インターフェイスも否定する？
825 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 06:35:29.42 ID:ASJTiJTT.net]: 自分は使わない、以上だってpgr
コードを常に1人で書く人ってことだね

チームでやってるときに異端な主張で
クセ強すぎるコード書くやついたら叩き出す
826 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 06:43:05.27 ID:tihXB0Cj.net]: 大昔全部ヘッダファイルにコード書いてやった俺は正しかった
今になって大流行
自分の先見の明が恐ろしい
827 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 07:20:42.20 ID:yI+HbYJi.net]: XXという機能は要らないという奴はたいてい
自分の特定ジャンルのコーディングしかしたことない奴が多い
828 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 07:51:13.54 ID:tihXB0Cj.net]: ほんとうにいらないものもある
829 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 07:57:34.33 ID:MVemCiVF.net]: 本当にいらないものは大体ここ10年の規格改訂で削除かdeprecated行きになってる
まだそうなってないものは多分必要なんだよ
830 名前： mailto:sage [2021/05/15(土) 09:26:33.74 ID:JZCPEXPS.net]: >>809
否定しません
831 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 09:35:04.56 ID:WhAcSt6Q.net]: ヘッダファイル内で定数使いたいときって結局どうしたら良いんですか
ネームスペース作るほどじゃないが、スコープはそのファイル内だけで良いって状況です
832 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 10:12:39.02 ID:GOJIKllV.net]: 32bit整数なら列挙型
それ以外なら定数をあきらめて定数を返す関数にする
833 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 10:30:59.22 ID:WhAcSt6Q.net]: >>817
あざす！
834 名前：デフォルトの名無しさん [2021/05/15(土) 12:13:25.04 ID:eYtIld1h.net]: >>794
blade.nagaokaut.ac.jp/cgi-bin/scat.rb/ruby/ruby-list/44431
https://www.akiradeveloper.com/post/programmer-life-10-years/
835 名前：デフォルトの名無しさん [2021/05/15(土) 12:19:34.55 ID:eYtIld1h.net]: >>811
流行っていうか仕様上仕方なくってことなら判る
template とか obj にコンパイルしても
必要な時に見つからないって言われるの
回避する方法あったら教えて
836 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 12:36:48.16 ID:DTE+piln.net]: >>802
悪いが、やっぱQZは、頭の働きが余り良くないと思う。
継承はオブジェクト指向ではなくてはならないものだし。
837 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 12:46:36.24 ID:DTE+piln.net]: >>821
ただし、個人的には委譲についてはそんなに詳しくは無く、#include程度のものだという理解しかない。
しかし、C++のクラスには元々継承の機能が付いているのだから敢えて委譲方式を使う必要は無いと思う。
また、委譲にしたときのデメリットは分かるが、メリットは分からないし。
838 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 12:53:37.11 ID:ACVNfbfy.net]: C++において委譲てメンバ変数に持つだけやろ
vectorにデータ保持するクラスがvector継承とかおかしなことになる
昔から言われてるis-aとhas-aで考えるのが自然じゃないの
839 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 12:59:47.23 ID:l/htYdSr.net]: 継承は今となっては注意して使うべきものって評価が定着したものと思ってた
リスコフ置換原理とか、差分プログラミングとか、composition over inheritanceとか
840 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 13:08:50.36 ID:DTE+piln.net]: >>824
そんな高度なことをUQが知ってるのか？
841 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 13:18:14.47 ID:ZTZob1AZ.net]: >>821
確かにいちいち相手を口撃しないと議論もできないのは頭が悪いね
842 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 13:58:00.84 ID:tE3nOT6E.net]: > 個人的には委譲についてはそんなに詳しくは無く、#include程度のものだという理解しかない。

> vector継承

えっちょっとレベル低過ぎて驚愕してるんだが、休日プログラマたちが張り切って変なこと言ってるだけだよね？
「委譲は#include程度のもの」は意味不明としか言いようがないし、STLコンテナの継承って典型的なアンチパターンなんだがなんでそんなもの引き合いに出してくるのか分からんし
843 名前：デフォルトの名無しさん [2021/05/15(土) 15:34:06.78 ID:eYtIld1h.net]: >>823
ほぼその通りだが
メソッドとか共通のときって
全部のメソッド描くか？
template <R, P>
R *(P a){return ($1)(a);}
観たいに描けたら良いのに
844 名前：デフォルトの名無しさん [2021/05/15(土) 15:35:17.73 ID:eYtIld1h.net]: ああ違う
R *(P a){return (m->($1))(a);}
観たいな感じ
845 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 15:57:12.68 ID:mF3YDsn5.net]: >>827
安心せい
ド素人がシッタカかますスレへようこそ
釣り、知ったか、荒らしは単にスルーされます
846 名前： mailto:sage [2021/05/15(土) 16:47:33.61 ID:JZCPEXPS.net]: >>821
＞継承はオブジェクト指向ではなくてはならないもの

私も昔からそう習ってきてはいましたが、さて、いろいろ書いてみたものの「継承で書いた方がスマート」という経験が皆無なのです、「委譲で書いた方がスマート」ならば沢山あるのですが
あえて継承が有用な場面といえば、エラー等の例外関係の個々のクラスを大雑把にカテゴライズするための基底型、くらいのものでしょうか…

なにかお題を定めて「①：継承だけを使って書け、②：委譲だけを使って書け、③：①②を評価せよ」という例をいただけないでしょうか。
847 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 17:50:08.18 ID:DTE+piln.net]: >>831
「委譲」って具体的にどういう書き方のことなの。
848 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 17:55:09.56 ID:vSRH6pvU.net]: >>832
ええ、頭の働きが悪いと煽りつつそれ聞いちゃうの？
849 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 17:56:27.49 ID:DTE+piln.net]: >>827
Rubyでの委譲は #includeのようなものの様に見えたんだよ。
さっき検索してみたら、一般的にはそういうことではないらしいが。
850 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 17:57:27.50 ID:DTE+piln.net]: >>833
委譲という言葉はC++では余り耳慣れなかったので本人がどういう意味で使ってるか聞いて見たい。
851 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 17:59:33.89 ID:DTE+piln.net]: C#でのdelegate、Rubyの委譲(#includeみたいに見える)、Wikipediaに載っている委譲、それぞれかなり違うことを言っているように思える。
記憶だと、C#のdelegateって他の言語でClosureと呼ばれているもののように思えた。
FunctorとClosureの違いはちゃんと分かってないが。
852 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 18:02:34.95 ID:DTE+piln.net]: >>836
あ、Rubyは、Mix-inの方だったわ、スマン。
853 名前：はちみつ餃子 mailto:sage [2021/05/15(土) 18:05:50.33 ID:pVi51x8H.net]: 別のところに処理を丸投げするような仕組み (ただし丸投げする先をディスパッチする仕組みには色々とある) が委譲なので、
基底クラスのメンバ関数が呼ばれるのも広義には委譲の一種なんじゃないかなぁ……。
854 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 18:35:44.23 ID:eIL06kE0.net]: C#のdelegateって、クロージャとかオブジェクトのメソッドをレシーバごと格納できるコレクションだよね
同じ引数と返り値を持っている関数みたいななものならば、なんでも追加できる
そいでその引数と返り値の関数として呼び出すことができる
移譲先を格納しておくのに便利な機能
855 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 19:12:47.49 ID:ASJTiJTT.net]: >>835
そうかあ・・・耳慣れないのか
耳が悪いんだね

コンストラクタの委譲もピンプルも知らないのに
キリッちゃってる人って・・・(自粛)
856 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 19:25:28.14 ID:51m73G+d.net]: 委譲とコンポジションってのはオブジェクトの合成方法だ
具体的にはオブジェクトAにオブジェクトBを持たせる
そしてAのメソッドを定義してBのメソッドを呼び出す
857 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 20:45:42.10 ID:I9hvCSGp.net]: 継承先でoverrideした関数があって、継承元の関数使いたくなった場合、何か手段ある？
858 名前： mailto:sage [2021/05/15(土) 20:57:32.98 ID:JZCPEXPS.net]: >>832
しばしお待ちを
859 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 20:59:13.89 ID:l/htYdSr.net]: >>842
Base::method()
860 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 21:02:37.21 ID:I9hvCSGp.net]: >>844
ありがとう！
861 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 21:33:36.92 ID:ROEIM7pX.net]: 継承は、is-a

委譲は、has-a
内部に部品を持って、その部品にやらせる

最近の言語は、Go, Elixir みたいに継承がない

一方、Ruby on Rails では、継承がめちゃめちゃ便利。
継承して、カスタマイズするだけ
862 名前： mailto:sage [2021/05/15(土) 22:02:21.21 ID:JZCPEXPS.net]: >>846
そのリスコフ置換原則＝ is-a が必ずしもいつも使えるとは限らないのですよ

例えば、数の体系は例えば
複素数⊃実数⊃有理数⊃整数⊃自然数
ですが、じゃあ、「複素数」からインプリメントするか？というと、私はそうは思えません
863 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 22:02:48.30 ID:ROEIM7pX.net]: Ruby の委譲は、Forwardable を使う

例えば、自分でスタッククラスを作る場合、
Array 型のインスタンス変数に丸投げして、push/pop を使う

ただし、他のメソッドを呼ばれても困るので、使えるメソッドを限定する

文字列・配列などは継承用のクラスじゃないから、
継承するのはアンチパターンなので、委譲を使う

ただし例外的に、Ruby on Rails など、有名なフレームワークでは、
標準クラスを継承して、カスタマイズする事も認められる

require 'forwardable'

class Stack
extend Forwardable

def initialize( ) @ary = [ ] end

def_delegators( :@ary, :push, :pop )
end

stack = Stack.new
stack.push 1
stack.push 2
stack.pop

p stack #=> @ary=[1]
864 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 22:42:05.60 ID:ACVNfbfy.net]: >>827
＞STLコンテナの継承って典型的なアンチパターンなんだが
だからおかしなことになると言ってるだろ何をドヤってんだアホかお前は
>レベル低すぎて驚愕
してんのはこっちだ
is-aなら継承、has-aなら委譲(この場合メンバで持つ)が自然だと言ったんだよ
865 名前： mailto:sage [2021/05/15(土) 23:03:15.95 ID:JZCPEXPS.net]: >>849
その is-a, has-a は、実際の設計作業にはあまり役にたたない気がします
私がやっている小規模／個人コーディングでは、差分プログラミングを取るしかない（まずプロトタイプを書いてから継承または委譲を使ってテストコードと併用して膨らませていく）わけですが、その記述としては最初に委譲を考えます

実際のところ継承と委譲の使い分けは何でしょうかね、少なくともリスコフ置換原則ではカバーできないという気がしますね
866 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 23:15:31.28 ID:ACVNfbfy.net]: >>850
＞私がやっている小規模／個人コーディングでは、
>継承または委譲を使ってテストコードと併用して膨らませていく
いつもその条件で部品テストしてるだけならそうだろうなー
すでに言われてるけど違うことやり始めたら考え変わるんじゃね
867 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 23:21:48.14 ID:ACVNfbfy.net]: 個人的には、やっぱり自然かどうか、とか書きやすいかを考えた方が正解だと思うよ(その方が後で破綻しない
そのリスコフ置換原則？も上にあったように数学関係のクラスだと微妙だろうし
868 名前：デフォルトの名無しさん mailto:sage [2021/05/15(土) 23:47:22.72 ID:cVKO4d9w.net]: >>850
QZは日常的に「実際の設計作業」をやってるの？
無職じゃないの？
869 名前： mailto:sage [2021/05/15(土) 23:49:02.10 ID:JZCPEXPS.net]: >>851
なるほど、それはそうかもしれませんね
java のクラスライブラリは、かなりなじみがあるので、ああいうものを白紙から書くのならば継承抜きでやれといわれても困ると思いますし
……
(10分程度思考後）
……うーん、実は継承抜きでもやれそうな気もしていたりして
>>831 で希望しているとおり、簡単な例で委譲よりも継承の方が（すべての点でなくてもいいから、何か一つか二つの観点から）優れているという好例はないものでしょうか？
870 名前：デフォルトの名無しさん [2021/05/16(日) 11:33:38.38 ID:VxksG9ZS.net]: C++ で ifstream で開くファイルが存在するかどうかチェックしたいのですが
ファイル名が utf-8 だと

string hoge = "utf-8のファイル名";
ifstream fuga(hoge);
if(fuga.is_open())

で存在しないと看做されます(全部ASCIIのときとか存在するときもある)

どう対処するのが良いですか？
出来れば Win32API は使いたくありません
871 名前：デフォルトの名無しさん [2021/05/16(日) 11:36:10.62 ID:pdS2eoPi.net]: 使いたくない理由の99%は霧散解消する
胸に手を当てて考えてみればわかる
872 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 11:42:34.85 ID:g64uh5fx.net]: >>855
#include <filesystem>
if(std::filesystem::exists("utf-8のファイル名")) goto hell;
でもダメ？
873 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 11:42:43.55 ID:SJMOKydl.net]: filesystem::path ならUTF16のファイル名で渡せる
UTF8をUTF16にする標準機能が非推奨になっているので注意
874 名前：デフォルトの名無しさん [2021/05/16(日) 12:03:52.09 ID:VxksG9ZS.net]: >>856
そうですね

>>857
ありがとうございますやってみます

>>858
codecvt ですね判ります
875 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 12:16:34.49 ID:P/WMWyL3.net]: 移譲は……
クラスAをクラスBに所有させたとき、Bの公開したいいいメソッドを逐一クラスAにも書かねばならないのがﾒﾄﾞｲ
public継承なら継承させるだけで済む
タイピング量の削減は継承で解決すべき問題か、というのはあるが現状はそう
876 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 12:17:19.51 ID:P/WMWyL3.net]: 訂正orz、
誤：クラスAをクラスBに所有させたとき
正：クラスBをクラスAに所有させたとき
877 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 12:21:21.06 ID:mPzmTHCd.net]: no_such_method() が C++ にあれば・・・
878 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 12:41:06.00 ID:P/WMWyL3.net]: あとクラスDがクラスBとほぼ共通でBが公開隅でB::foo()を金輪際他の実装を許したくないという3点揃ったケースでは
DをBから継承する他無い
BのインターフェースIBを設けようものならIBを継承してB::foo()の別バージョンを実装してしまうことを阻止できない
879 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 14:03:39.16 ID:SPtqbmz9.net]: そもそも複素数と実数の例がよくない。
確かに要素としては複素数は実数を含むが演算(特に比較演算)は実数のが広い。
そういう意味で例として間違ってる。
880 名前： mailto:sage [2021/05/16(日) 14:18:12.81 ID:Hgwjinll.net]: >>864
＞複素数は実数を含むが演算(特に比較演算)は実数のが広い。
詳しくお願いいたします

複素数よりも実数の方が「演算が広い」とはどういう意味ですか？
確かに現状は複素数の順序関係はデフォルトで定めていませんが、用途に応じて複素数の順序関係を別途定義すればいいのでは？
例えば複素数の順序関係を複素数の絶対値の大小で定義したっていいのですよ、複素数の範囲での収束を論ずるときにはこれはよくやる手だと私は考えています
881 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 14:35:50.91 ID:i0aHhWnL.net]: >>865
でも、ちゃんとした数学では、それは複素数の絶対値の大小比較に過ぎなくて
複素数自体の大小比較は出来ないということになってる。
882 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 15:48:44.79 ID:i0aHhWnL.net]: >>847
>例えば、数の体系は例えば
>複素数⊃実数⊃有理数⊃整数⊃自然数
>ですが、じゃあ、「複素数」からインプリメントするか？というと、私はそうは思えません
なるほどな。
これは初めて聞いた観点。
言われてみればそうかも。
883 名前：デフォルトの名無しさん [2021/05/16(日) 15:53:27.30 ID:i0aHhWnL.net]: >>867
動物⊃哺乳類⊃犬
動物⊃哺乳類⊃猫
動物⊃哺乳類⊃馬
・・・
だから、
class 動物 {・・・};
class 犬 : public 動物 {・・・};
class 猫 : public 動物 {・・・};
という例は割りと適切だとされているが、
「複素数⊃実数⊃有理数⊃整数⊃自然数」
であるからといって、
class 複素数 { double m_re; double m_im; ・・・};
class 実数 : public 複素数 {・・・};
class 有理数 : public 実数 {・・・};
とは確かに書きにくそうだな。

オブジェクトのサイズから言っても、実数の場合、複素数よりメンバ変数が減らせるわけだし。
884 名前： mailto:sage [2021/05/16(日) 15:56:55.37 ID:Hgwjinll.net]: >>866
＞複素数自体の大小比較は出来ないということになってる。
出来ないのではなく、決めていないだけでは？
885 名前： mailto:sage [2021/05/16(日) 15:59:49.48 ID:Hgwjinll.net]: >>868
その例を使って私が主張したいことは
「リスコフの置換原則は参考にする価値があることは認めるが、リスコフだけが基準ではない」
です、どのような時に型の継承を行うのが適切か、という問いの別の基準を探しています
886 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:04:14.28 ID:i0aHhWnL.net]: >>869
x1 < x2 ⇔ x1 - x2 < 0
は一般的に言えるけれど、複素数の場合にこれと同じ法則を成り立つような比較が定義しにくい。

たとえば、あなたが定義したがっているような複素数での比較は、絶対値を採った後の値での比較にするという発想では、
|z1| < |z2| と、|z1 - z2| < 0
が同値ではないから上手く行かない。
887 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:08:32.11 ID:z+wHX2Px.net]: >>847
リスコフの置換原則は基底と派生型の間に成り立つ規則を定めているだけで順序は関係ないのでは？
あらかじめ実数を基底として実装した型階層に後から新たな基底として複素数を導入する形でも
規則が成り立つならそれでいい気がする。
もちろんリビルドが必要になる場合もあるだろうけどそれは別の話。
888 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:08:45.37 ID:i0aHhWnL.net]: >>871
[追加]
あなたが考えたような複素数における大小比較の定義が、もし数学的に適切ならば、
複素数の1つである実数に対しては、通常の実数の大小比較に戻らなくてはならない。
ところが、2つの実数 x1, x2 に置いては、
|x1| < |x2|
と
x1 < x2
は同値ではない。だから戻らない。
なので残念ながら不適切と言える。
889 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:13:05.98 ID:P/WMWyL3.net]: 別に
aとbの大小比較は、
a+0iとb+0iの大小比較としてそのまま複素数でも通用する
890 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:14:49.17 ID:P/WMWyL3.net]: ちゅか実数クラスRealから複素数クラスComplexを派生させるという話なのに
Realが複素数の比較演算を備えて居なければならないとする前提がおかいし
891 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:15:39.79 ID:6wJymXVG.net]: おかいし
892 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:23:25.63 ID:ot3D5jQX.net]: 一般的に特殊化すると出来ることは増えるんだから別に何もおかしくないだろ
実数は複素数で出来ない大小比較ができる
有理数は実数で出来ない既約分数を求めることができる
自然数は有理数が出来ない素数判定が出来る
それぞれ子クラスにメンバ関数を付け加える事に相当する
893 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:26:30.31 ID:ot3D5jQX.net]: 書き方まずったけど874の言う通りで
子クラスでしかできない比較のインターフェースを複素数に持たせることがおかしい
抽象ストリームクラスにファイル名を取得するインターフェースを持たせるのと同じようにおかしい
894 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:40:43.08 ID:i0aHhWnL.net]: >>875
しかし、メモリー効率まで考えれば
sizeof(複素数)=sizeof(double) * 2
sizeof(実数)=sizeof(double)
なので、
sizeof(実数) < sizeof(複素数)
なのに、
class 実数 : public 複素数 {・・・}
とすると sizeof(実数) >= sizeof(複素数) に必ずなってしまうという問題が出てくる。
895 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:47:30.51 ID:P/WMWyL3.net]: Realクラスは実数としての単項演算および実数同士の算術演算と比較演�
896 名前：Zを備えるものとして、 ComplexクラスはRealからComplexへの暗黙の変換（つか単純にコンストラComplex(const Real& src)）を備えた上で 複素数の単項演算および複素数同士の算術演算（と必要なら比較演算）を備えたらよろし まあ特段継承関係にするまでもないかなあという気がしてきたorz 厳密に言ったら虚数単位iを使った実数から複素数への構成的定義はis-a関係ではなくhas-a関係なのでむしろ所有の出番、という見方もできるし、 一方数のクラス、としてみたらReal⊂Complex、なのでRealの方が特殊化という見方もできうる ぶちゃけ継承するかどうかとは独立に、RealクラスとComplexクラスの自然な共存は上記のように事が済んでしまうということや []: [ここ壊れてます]
897 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:48:49.37 ID:P/WMWyL3.net]: これが有理数クラスとかだったら普通の人は整数クラス2つを所有するクラスとして設計するであろう、
898 名前：デフォルトの名無しさん mailto:さげ [2021/05/16(日) 16:52:20.99 ID:i0aHhWnL.net]: >>875
読み違えていた。
>ちゅか実数クラスRealから複素数クラスComplexを派生させるという話なのに
is_a の関係から考えた OOP の哲学から言えば、逆さまになってしまうということ議論している。
899 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 16:53:00.26 ID:i0aHhWnL.net]: >>881
なるほどな。
900 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 17:04:19.10 ID:i0aHhWnL.net]: >>874
通常の数学ではそんな定義されてない。
複素数 z の次数部分を Re[z] で表した時、2つの複素数 z1, z2 に
対する比較 z1 > z2 を
Re[z1] > Re[z2]
と定義する方法は可能と言えば可能ではあるが。
しかし、複素数は複素平面上で原点の中心とした回転対象の性質を大体
持っているから、実数だけを特別扱いすることは、余りよくは無い。
(いくつかの一般的性質で破綻が起きる可能性が高い)。
901 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 17:04:53.66 ID:i0aHhWnL.net]: >>884
誤: 次数部分
正: 実数部分
902 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 17:05:51.62 ID:i0aHhWnL.net]: 回転対象 ---> 回転対称

すまん、リアルではややこしいプログラムを考え中だから。
903 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 17:24:06.95 ID:zQRyfSSF.net]: 連投やめーや
904 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 18:29:06.20 ID:Ot9k7H7E.net]: 学部数学の話をｇｄｇｄ続けてる奴らは順序体でググってくれ
複素数体に勝手な比較関係はいくらでも入れられるけど（辞書式順序も含めて）、どう入れても算術と両立しないから役に立たないんだよ
プログラム的にはソートのために便宜的な物を入れることはあるだろうが、数学的には無意味
905 名前： mailto:sage [2021/05/16(日) 18:41:17.24 ID:Hgwjinll.net]: >>884
まあ複素数体上でノルムを考えることはあっても広く「使える」全順序を定義するのはむずかしいでしょうね…
ノルムと順序関係を混同していてミスリードを引き起こしていたことは私のせいです、ごめんなさい
906 名前： mailto:sage [2021/05/16(日) 18:42:18.41 ID:Hgwjinll.net]: >>888
数学的に無意味、とか言い切られちゃうとかえって反発したくなりますね…
907 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 18:54:33.03 ID:eRJ7ea1d.net]: >>890
いや、数学では、対称性や破綻の無さ、一般性などを考慮するので
その意味での「大小関係」は「入れることが不可能」ということを
これまた数学的に証明できる、と彼は言っているのだと思われる。
だから、個人的に意味があると考えても、数学体系としてはダメ
ということ。
908 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 18:54:54.54 ID:Ot9k7H7E.net]: >>890
反発するのは勝手だけど、何をどう入れたってただのR^2の順序にしかならないんだよ、これは数学的に証明された事実
実数ペアと見なした順序でしかないものを無理矢理「Cの順序」と言い張ってどうすんのさ
Cの構造と両立しないのに
909 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 18:57:23.87 ID:eRJ7ea1d.net]: そういえば、二次元の実数を一次元の実数と対応させる事は不可能という証明
があって、順序集合であるためには一次元の実数と対応できないといけない
ことも証明できる、というようなことも関係あるのかな。
910 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 19:02:48.71 ID:Ot9k7H7E.net]: だから順序体でググれよ
全然関係ないし、そもそもRとR^2の全単射はあるし（無限集合論の有名な話）
911 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 19:30:05.59 ID:eRJ7ea1d.net]: >>894
濃度論で
|(0,1]|=|R|
|R|=|R x R|
や
|R|=|R^n|
というやつですか。
912 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 19:38:32.84 ID:eRJ7ea1d.net]: 自然数の集合と実数の集合の間には全単写が無く、前者がアレフ_0、
後者がアレフ_1でしたかな。
それと記憶違いしてたかも。
913 名前：デフォルトの名無しさん mailto:sage [2021/05/16(日) 19:51:17.83 ID:Is982dSx.net]: >>890
アホすｗｗ
やっぱりQZは頭悪いなあｗｗｗ

複素数のハウスホルダー法によるQR分解のプログラム書いてみろよ
できねーからｗ
914 名前： mailto:sage [2021/05/16(日) 19:57:33.82 ID:Hgwjinll.net]: >>893
＞順序集合であるためには一次元の実数と対応
それは順序関係のなかでも一番強い全順序（反射律・推移律・反対称律・全律）についてならば理解できますが、よくある普通の順序＝半順序（反射律・推移律・反対称律）の場合はどうでしょうか

>>894
連続体の濃度ですね
915 名前： mailto:sage [2021/05/16(日) 20:00:22.86 ID:Hgwjinll.net]: >>897
そんな急に難しいこと言われても高卒には無理ですよぅ
今はカラツバ法に御執心なんです、でもキーワードありがとう
916 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 03:11:31.73 ID:Q7Ttd8P9.net]: 余り難しい順序集合とかの事を知らなくても複素数に大小関係が入れられないと数学者が主張していること自体は信じていい。
数学者が「できない」と言った場合、(絶対に)出来無い事が証明された上で言っていることが多く、この場合もそうだから。
917 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 03:24:50.61 ID:+0j9FXFm.net]: しかし実際に証明を確認したわけではない。
でも直感的にわかる。
そもそも上記の議論において、「大小関係が入れられない」として設計の話を続けても全く問題ない。
普通に考えればこうなると思うが。
918 名前： mailto:sage [2021/05/17(月) 08:01:59.17 ID:pZGof8k7.net]: >>900
まあ妥当だとは思いますが、しかし、この場合であってももっとも数学的な態度とは「権威のいうことを疑って証明を調べること」でしょうね、権威のいうことを鵜呑みにすることは数学的ではないと私は思います
919 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:13:28.70 ID:p0CmvUql.net]: >>891
数学体系と言うから混乱する。
ちゃんと数学の体とか代数系と言わないと。
920 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:17:32.13 ID:/XJ4GxVV.net]: >>902
まだ権威とか言ってる・・・
数学的に無理というのは権威関係なしに「無理」なんですよ
921 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:27:27.80 ID:xbubPeOw.net]: なんかごちゃごちゃしているけど……
・複素数の体における比較は未定義
・複素数体に距離の位相を入れて比較を定義することは可能（複素平面など）
と言うことだろ。

まあ、直接比較するのは使い勝手が悪いので、距離の位相には適当な写像を使うのが普通だけど（絶対値とか）。
922 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:31:17.55 ID:rt013aFx.net]: 複素数は自然な全順序にはならない
特定の条件を満たす順序は存在しない

ってだけで
順序を定義することは可能だし実際定義して使うこともある
923 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:31:35.85 ID:pyZ7P5gV.net]: 証明にだって厳密さが欠けていることが後からわかった（適用条件が誤っていた）り超ごくまれにだが結論自体誤っていたりしたことが……
ケンペ鎖とか、

あとABC予想の証明ぐらい高度なやつになったら職業数学者であっても査読者の質で
是非を判断せざるおえないﾊｽﾞ
もちろん直接関連論文を書く人は自分が納得するところまできちんと追うだろうがPGがなんでそこまでせねばならんのやヽ(#`Д´)ﾉ
924 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:32:19.32 ID:pyZ7P5gV.net]: >>906
|z|とかarg(z)とかな
925 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:34:34.87 ID:pyZ7P5gV.net]: やっぱ自然演繹は良くない
あらゆる証明は最初から形式証明にかけるべきや
926 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:38:28.10 ID:3ODjt5IZ.net]: >>905
それやっても大小関係を使ったアルゴリズムは実数では正しく動くけど
複素数ではことごとく破綻するけどな
数値計算でなければ独自の大小関係を定義したら動くかも知れないが
それはオナニーと同じだ

>>901
そういうことだよな
927 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:38:29.82 ID:xbubPeOw.net]: >>909
そんなにプリンキピア・マテマティカを書きたいか。せめて読破してから言え。
928 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:40:42.75 ID:xbubPeOw.net]: >>910
破綻とは矛盾のことかな？
複素平面が矛盾するとは世紀の発見だ。ぜひとも論文を。
929 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:41:59.82 ID:3ODjt5IZ.net]: >>912
何言ってんの
実数では正しく動く大小関係を使ったアルゴリズムを
どうやって複素数で正しく動かすんだよ
頭大丈夫か？
930 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:45:32.29 ID:3ODjt5IZ.net]: 絶対値の大きさ云々の話ならピボット選択は正しく動くだろうな
まあこれは浮動小数点演算の特性からそうなるのであって数学的には関係ない
931 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:46:34.38 ID:xbubPeOw.net]: >>913
距離に写像すればいい。
数値計算でも普通に複素数の絶対値取って比較しているだろ。
932 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 08:52:16.58 ID:3ODjt5IZ.net]: >>915
おいおい・・・
上にも出てきてるけどQR分解を複素数で書いてみろよ
933 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 09:48:48.04 ID:p0CmvUql.net]: >>916
実装したことないから詳しくないけど、検索したらこんなのあった。
ttps://ameblo.jp/zrfcsctd/entry-10726241960.html
なんか問題あるのかしらん？
934 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 10:03:50.08 ID:3ODjt5IZ.net]: >>917
それはもちろん俺もやってみた
https://ameblo.jp/zrfcsctd/entry-11429974948.html
これがコードだよな
でも結果がおかしいんだよ
935 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 11:39:44.96 ID:p0CmvUql.net]: >>918
「結果が間違っている」て言われたってなぁ。>>918の指導教官でも上司でも無いから助言する気無いし。

まあ、複素平面の距離は半順序だから（狭義の弱順序よりさらに弱い）、全順序を必須とするアルゴリズムには使えんわな。>>915は一部撤回するよ。
936 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 11:39:57.21 ID:ZeUb3kXE.net]: 2つの複素数 z1, z2 に対して z1 < z2 を |z1| < |z2| と定義してしまうと、
z1, z2 がたまたま(複素数の一部であるところの)実数である場合は、
x1 < x2 が |x1| < |x2| と定義されることになってしまうが、
そうすると、負数の時に通常の実数の比較と結果が違ってきてしまう。
937 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 12:08:56.20 ID:CucgVtNi.net]: だから複素数体を順序体にできないことなんて代数の教科書にいくらでも証明載ってるんだから読めよ
いつまでやってんだ
938 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 12:09:08.59 ID:giSQx4b2.net]: std::locale::global(std::locale("japanese"));
必要ですか？
無くても動いてるときに敢えて描くと可笑しくなりますか？
939 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 12:12:10.72 ID:cCPUzk2p.net]: complexには<=>がないね
940 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 12:14:40.03 ID:+IMuyr7J.net]: >>922
何のために？
挙動が変わることはあるけどそれがおかしいかどうかは目的次第
941 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 12:29:58.49 ID:0hooCSOD.net]: >>921
QZがあまりの悔しさにID変えて荒らしてるんだよ
942 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 13:05:04.47 ID:DzXjbqQO.net]: >>907
>判断せざるおえない

単刀直入に言ってバカっぽい
943 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 13:40:20.69 ID:AtV47BCw.net]: ハンダンセ猿はすばしっこいからな
944 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 13:54:56.37 ID:+0j9FXFm.net]: QA分解はそもそも数値誤差を減らすのがめちゃくちゃ難しいからあんま使われんのよ。
特別な事情がない限りは軽はずみに手を出すのはやめた方がいい。
945 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 16:56:52.33 ID:Hl6gcnGv.net]: g++で Member 'x' was not initialized in this constructor
って警告が出るんだが、これをpragmaで抑止したい。
このwarningを抑止するためのキーワードを教えてもらえないだろうか
946 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 17:16:13.81 ID:cCPUzk2p.net]: C++20のコード晒せるところ、どっかある？
ideoneやcodepadはダメだった
947 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 17:58:51.81 ID:v7SqzMPT.net]: wandbox
948 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 18:24:20.71 ID:rt013aFx.net]: >>864
複素数より実数の方が演算が広いから複素数を継承して実数を作る
継承してメンバ関数を増やす

作り方として適切かどうかはともかくとして、
例としては何も間違ってないと思うのだが
949 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 18:34:03.64 ID:rt013aFx.net]: C++的に複素数に順序を取り入れるなら
辞書的順序が一番使われ方として多いかと
コンテナに入れるのに順序が必須な場合とか

std::pair < double, double >
これだって勝手に定義される

C/C++に数学的な汎用性が必須ではないのは
C/C++をやっていればわかると思う

1./-0. < 1./0. とか pow(0,0) = 1 とか数学的には明らかにおかしいでしょ
950 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 18:51:12.32 ID:pyZ7P5gV.net]: まあ辞書順は可能だぬ
951 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 19:28:02.39 ID:xbubPeOw.net]: >>932
c++のpublic継承は継承先クラスを継承元クラスと同じものとして扱うので、特性の包含性が重要。
なので、失われる特性があるなら継承はしないほうが良い。

上でも挙がっているけど、複素数は実数の全順序性という特性が失われるので継承はしないほうが良い。やるなら無限体を継承元クラスにすべきだわな。
952 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 19:49:53.27 ID:pZGof8k7.net]: >>911
ブルバギじゃなくて？
953 名前：デフォルトの名無しさん [2021/05/17(月) 20:09:19.46 ID:FZJkNpOI.net]: 正多面体と素数
https://www.youtube.com/watch?v=E-48ent631o
954 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 20:11:40.34 ID:PX9GndkV.net]: 何のスレやねん
955 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 20:51:22.31 ID:pyZ7P5gV.net]: >>935
継承したからといって継承元クラスで定義される演算を継承したクラスにも引き継がねばならない理由は無い
演算子のオーバーロードと型変換関連のコンストラクタまたはキャスト演算子を定義したら
同じ演算子に対してパラメータの型毎に許す演算と許さない演算を任意に設定できる

特にComplexクラスからRealクラスを派生させた場合は
（この場合は|z|やarg(z)といった複素数の演算子がReal以外の実数を返すComplexのメソッドとすることになりそうだがそれはおくとして
ある意味話は簡単で、Complex同士のoperator<()の一族を定義せずにおもむろにReal同士でだけ定義するだけにしたらええんじゃ

つか個人的にｶﾅーﾘ疑問なのですだが、AがBの真部分集合であることと、
Aを表すのクラスとBを表すクラスの継承関係は一体追求すべき何の関係があるん？？
956 名前：デフォルトの名無しさん [2021/05/17(月) 21:58:18.14 ID:SfcIGFpx.net]: 継承元として振る舞えるのはポリモーフィズムの必須要件じゃない？
親クラスとして振る舞えなくなる子クラスとか存在価値ないでしょ
957 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 22:27:35.19 ID:rt013aFx.net]: >>935
は？
複素数を継承して実数を作る
という話だけど
958 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 22:36:00.22 ID:pyZ7P5gV.net]: >>940
実数を複素数としてふるまわせたいならRealをComplexに型変換したら済むので継承やポリモーフィズムは必須ではない
>>939の問いに戻るがなんで集合としての包含関係をそう執拗に継承関係に反映させようとするんじゃ……

だいたい実数から複素数を作る演算（|z|とarg(z)で複素数zを作る）もあるし
複素数から実数を作る演算（|z|やarg(z)）があるから変換は双方向的なので、
この場合派生クラスから基底クラスへの一方的変換だけでは片手落ちなのは明白
無理矢理やったら>>939に書いたみたく|z|やarg(z)といった複素数の演算子がReal以外の実数を返すみたいなgdgdな話に……
959 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 22:39:11.47 ID:rt013aFx.net]: >>942
おまえ文系だろ
>>940に「ポリモーフィズムは必須」なんて書いてない
960 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 23:00:01.22 ID:hwY+PVbw.net]: >>939
＞継承したからといって継承元クラスで定義される演算を継承したクラスにも引き継がねばならない理由は無い

さすがに演算が別物レベルで違うのはc++のpublic継承を使うべきじゃない。
public継承は継承元クラスのポインタ変数・参照として使えるという意思表示でもある。使えると言っているのに使えないのはクラスのユーザーを混乱させるし、コンパイラとかからの支援も期待できなくなる。
継承元か継承先かを意識してプログラムしなきゃいけないのは典型的な「継承の危険な使い方」だよ。
961 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 23:17:51.34 ID:hwY+PVbw.net]: >>941
えっ、そうなの？
それなら継承の問題は無いと思うけど、継承を使うメリットある？ c++だと性能的に不利な気が。
浮動小数から整数を継承するのと似たような臭いがする。
962 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 23:39:13.83 ID:GYmzER1r.net]: 浮動小数と整数は継承関係にない代わりに個別に暗黙変換のルールが作り込まれているわけだから
同列には語れんような。
963 名前：デフォルトの名無しさん mailto:sage [2021/05/17(月) 23:53:21.28 ID:rt013aFx.net]: >>945
元は>>847
>>864が逆だと勘違いしたんだろうねえ
そこから中身のないプライドを保つ為だけの書き込み多数
964 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 00:42:41.50 ID:pJ71QEbf.net]: >>947
お前頭悪いって良く言われるっしょ
965 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 01:40:04.12 ID:FUhBCUlD.net]: ここまでのアホみたいな流れは全部>>794のクソコードのせいにして終わり終わり
966 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 02:05:36.55 ID:0A1+AcfP.net]: >>943
>940 は >939 に反論する形で
　継承元（Complex）として振る舞えるのは（Realが満足すべき）ポリモーフィズムの必須要件、
と言っているのだから
>ポリモーフィズムは必須」なんて書いてない
なんて大嘘
967 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 02:07:04.04 ID:0A1+AcfP.net]: 全く>>947はこの問題でいっぱいレスしている割にｶﾞﾁで頭悪いのではないか
968 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 06:07:46.07 ID:M8tLf7N/.net]: https://wandbox.org/permlink/s41huF7EOozhWME2
これの実行結果なんだけど
何で == になるのか誰かわかる？
969 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 07:35:31.53 ID:iJzvlnxx.net]: <=>使ったことないけど==は自分で定義しとかないといかんらしいぞ
あとこれ仮想関数にする必要あるのか疑問(無駄にサイズ増えるし。あと継承もいらん気がする
970 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 07:37:05.89 ID:M8tLf7N/.net]: <=>から==を導出させるには=default;しなきゃいけないんだけど
=default;した関数の内容を独自なものにするには
virtualで上書きするくらいしか思いつかない
971 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 07:40:16.15 ID:iJzvlnxx.net]: わからんけど、そのpointの大きさ(内積してsqrt)で比較するようなコードをコンパイラが勝手に作ってくれるのけ
972 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 07:43:09.23 ID:RvkfiLpS.net]: メンバの辞書式順序で比較するコードを勝手に作ってくれる
973 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 07:44:12.47 ID:M8tLf7N/.net]: そんなわけないと思うからこそ=default;した関数の内容を独自の内容に変更したい
974 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 07:45:11.32 ID:M8tLf7N/.net]: メンバの辞書式順序と違う定義にはできんの？
975 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 07:47:15.02 ID:iJzvlnxx.net]: だから==も書かないといけないんじゃね
多分だけど、そのpointの==は中身point_baseの比較しかしてないんでしょ
976 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 07:48:24.73 ID:M8tLf7N/.net]: 独自の定義にするには == 必須で
<=> から導出させようという考えがそもそも間違い？
977 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 07:51:58.56 ID:iJzvlnxx.net]: pointの方で=defaultはうまくいくかもしれんね(今試せないのですまん
978 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 07:59:32.16 ID:M8tLf7N/.net]: >>961
そのようで
https://wandbox.org/permlink/niEwEUZmz0IFyjEa

しかし、これをやりたくないから<=>を=default;しようと試してたんだ
979 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 08:24:07.75 ID:M8tLf7N/.net]: >>931
言うの遅くなったけど
㌧X
980 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 11:01:21.48 ID:K5WN/Dsi.net]: こんなしょうもない例でもこれだけもめるんだから
抽象的な定義をするときは思った以上に概念を共有できないということだな。
981 名前：デフォルトの名無しさん [2021/05/18(火) 11:06:20.67 ID:Tj0Ma2DE.net]: ンなこと言うんなら最初っからお前が揉めないような定義をバンと出せばいいんじゃないの？
出来ないなら黙ってて
982 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 11:57:19.66 ID:K5WN/Dsi.net]: だから揉めないような定義なんかないって主張なんだが。
983 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 12:05:54.73 ID:3kx5cfZQ.net]: >>966
なら黙ってろカス
無能ほど自己主張は強い
984 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 12:43:04.27 ID:eJEusld6.net]: UQを含めてC++流のクラスや継承に価値を見出せない人が結構いるようだが
当時、アメリカではCだけでは複数のプログラマによる共同開発に問題が
来たしていて大問題になっていたのがC++の登場で解決したとされているぞ。
どうしてかというと、protected属性などでメンバ変数を「隠蔽」できることで
他の人の作ったパーツを破壊することなく使えることになったことが大きいと
聞いた。もちろん継承もその一つ。
985 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 13:02:06.01 ID:eJEusld6.net]: >>968
継承は、他の人が作ったプログラムに機能を「追加」するときに何が追加された
のかが明確になるので便利。
継承の機能が無ければどの部分が追加されたのか分からないし、
追加した際に元々動作していた基本部分までバグが入る可能性があるが、
継承した場合にはそれが無い。
UQみたいに「委譲」でなんとかするのは、言語機能のサポートが得られないので
記述量が増えてメンドクサイ。
986 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 13:33:09.76 ID:iJzvlnxx.net]: UQってなんやと思ったけどQZのことか
てかまともにソフト書いたことない奴には言ってもわからんと思う
987 名前：デフォルトの名無しさん [2021/05/18(火) 16:26:14.79 ID:EATlfCml.net]: 自衛隊の大規模接種センター(東京センター)は生年月日の入力欄初期値が1970年1月1日なんだが、Unixタイムを意識したのかな？
https://www.vaccine.mrso.jp/
988 名前：デフォルトの名無しさん [2021/05/18(火) 16:53:11.90 ID:LV/0HQIM.net]: >>968
一番良かったのは namespace
989 名前：デフォルトの名無しさん [2021/05/18(火) 16:55:22.83 ID:LV/0HQIM.net]: >>971
適当な番号でも受付完了するらしいな
受付出来るけど接種に来ても打ってもらえないから
そういう適当なことなしないでくれってアナウンスしてるけど
テロリストにDoSに準じる攻撃方法教えてるようなもんだろ
990 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 16:58:39.86 ID:nXH1x7Lj.net]: 何関係ないこと語り出してんの
991 名前：デフォルトの名無しさん [2021/05/18(火) 16:59:15.64 ID:EATlfCml.net]: 中国のハッカーはHoneypotなのではと警戒してるらしいよ
992 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 18:41:32.26 ID:eJEusld6.net]: >>972
それは全く違う。
1990年くらいにCからC++に移行が進もうとしていたとき、C++にはまだ
namespaceキーワードで指定するnamespaceの概念は無かったから。
993 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 19:04:39.53 ID:HX5VOoCQ.net]: >>969
それって差分プログラミングじゃないの
994 名前：デフォルトの名無しさん mailto:sage [2021/05/18(火) 19:12:29.12 ID:lxDAggBF.net]: >>977
www.ced.is.utsunomiya-u.ac.jp/lecture/2015/prog/p3/kadai3/inherit.php
「継承の機能を使うことにより、すでに定義済みのオブジェクトに　
・機能を追加　
・変数を追加　
・機能の一部を変更　
などをエレガントに記述することができるようになり、オブジェクト（コード）の再利用性が向上します。すでに実装済みの機能に、自分が実装したい機能として足りない部分だけを追加してプログラムを作成できるようになりますので、これを差分プログラミングと呼んだりします。」
995 名前： mailto:sage [2021/05/18(火) 21:00:55.59 ID:TyliVLtj.net]: >>978
それは委譲でも十分で、差分プログラミングだけしたいのなら継承は不要だと私は考えています

>>860
＞クラスAをクラスBに所有させたとき、Bの公開したいいいメソッドを逐一クラスAにも書かねばならないのがﾒﾄﾞｲ

鋭い意見です、唯一共感できるレスポンスだと思いました
確かにおっしゃるとおりですが、しかし、このメンドクサイ手順を踏めば vtable が不要になる、という意味ではメリットの方が大きいと私は思います

あとは基底クラスへのポインタを一括して握っておいて、派生クラスへのポインタごとに仮想メソッドで処理を分け分けする、というのが出来なくなりますが、私はそういう場面で出会ったことがありません……
https://ideone.com/e5NOWO
996 名前：デフォルトの名無しさん [2021/05/18(火) 22:28:54.13 ID:rG13Y8DO.net]: 差分プログラミングかー　昔はそんなこと言われてたね
ユーティリティクラスに持つべき共通関数をベースクラスに実装しておけばサブクラスでも簡単に呼べる！とか間違ったクラス設計が横行してた時代
997 名前：デフォルトの名無しさん [2021/05/18(火) 22:41:44.49 ID:Tj0Ma2DE.net]: その時はまだ失敗してなかったんだから「間違ったクラス設計」じゃないんじゃないの
間違ってるのが後からわかったんでしょ
なら間違いの原因は別にある
998 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 01:12:06.76 ID:fToUWXI/.net]: >>979
>私はそういう場面で出会ったことがありません……
それはあんたが仕事をしてないからですよ
999 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 01:58:09.30 ID:yT7tFlzp.net]: >>979
一行目、普通は、C++においては委譲より継承の方が楽に書けるのだから、
C++での差分プログラミングは継承を用いるのが基本で楽なので「継承で十分」と
考えるべきで、C++はそういう設計。
あなたは逆さまで、C++の初期のころからの基本設計に逆らおうとしている。
1000 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 02:30:36.72 ID:kKkrLvTk.net]: 継承使わずに委譲って言ってる人はvirtualはどうしてんの？
1001 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 02:32:46.24 ID:/jpsBven.net]: つーka仕事で使ってないやつによくある感違いだけど
C++にしろ他の言語にしろ、道具であって目�
1002 名前：Iは「トータルとして楽する」ためにすべてはあるので 別にアート作品や哲学やってんじゃねーんだから、「本質的に美しい」とか「こうあるのが正しい」 とかはどうでもいいからな トータルとして楽にするためには時に面倒な実装や仕組みをつかうこともあるが、結局最終的に 楽できなきゃそんなものに意味はない []: [ここ壊れてます]
1003 名前：はちみつ餃子 mailto:sage [2021/05/19(水) 02:35:39.61 ID:ONEwpJm5.net]: >>983
それは間違った考え方。
継承は機能を追加するためのものではない。
機能を追加したいなら機能を追加すればよい。
1004 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 02:45:01.92 ID:zjDnGFHC.net]: 継承したくないとか言ってる奴らってインターフェースの概念ないバカだけでしょ
1005 名前：デフォルトの名無しさん [2021/05/19(水) 02:56:09.48 ID:iywlut5a.net]: virtual は必ず描く
private は使わず protected を使う
1006 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 05:27:07.08 ID:mqAmVEur.net]: 必ずってのもどうかと思うけどな
上にあったpointクラスもそうだけど、メモリ上のサイズがメンバ変数のサイズと一致して欲しい&組み込み型のように配列をmemcpyできるべきクラスなら
無意味にvtblなんか付けるべきじゃない

>>985の言うように楽かどうかもそうだけど、何をユーザーに提供するか、どういう要件が必要なのかと突き詰めていったら最終的に取れる選択肢なんかほとんどない

QZもやはちみつもそうだが、お遊びの長くても数百行のコードしか書いたことないやつは多分それらの部品を何か作るためにまともに年単位で使い倒したことが無いんだろ

それら思いつきで書いた程度のコードは全くブラッシュアップされてないから全く使い物にならんのだが、使ってないからそれに気づかない
実際気付き始めたらあちこち直しまくって膨大な時間使って最後にはゼロから書き直して全く違った設計になると思うが、そうして初めてOOPや継承の利点もわかるんだけどね
1007 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 05:56:25.62 ID:Gyc2jKZQ.net]: 可変個の参照の組 (vectorでいい) を関数 hoge
に渡したいときって、hoge が vector< reference_wrapper<T> > を取るようにして
hoge({ref(A), ref(B), ref(C)})
みたいに呼ぶか、可変引数テンプレートを使って hoge の中でパースするかっていうのが普通のやり方かな？
ちょっと冗長な感じがしてしまう

参照の組じゃなくてポインタの組にするとかも手かもしれんが
1008 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 05:58:41.64 ID:LZZifCH2.net]: いきなり継承いらんｷﾘｯとかすげえ極論を言い切るやつ
自分の発言に将来にわたってずっと責任を持つ気なさそう
その時のその場だけ俺カッケーできりゃいいってやつ
1009 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 06:12:15.82 ID:mqAmVEur.net]: >>990
どれがいいかはさておき可変長テンプレート引数はめんどいよ、やってみたらわかる
同じ型のものを可変個受け取るためのものじゃない(トリック的に回避はできるが)し、hoge内だけでパースは無理
1010 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 06:57:23.69 ID:LZZifCH2.net]: conceptでできそうだな
まだ試してないけど
1011 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 07:09:43.82 ID:CHs6khMr.net]: >>991
継承イランといってる奴なんていなくね？ QZは怪しいが...
継承が適切な箇所なら継承を使う、機能追加で差分のコードが少なくてすむからという理由だけでは必ずしも使わない(その場合に継承が適切な関係ならば使う、そうでないなら委譲なりなんなり他の設計にする)ということを言ってるだけでないの？
1012 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 07:14:47.97 ID:LZZifCH2.net]: >>994
>>802
1013 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 08:07:05.32 ID:iIq+id16.net]: 継承いらないっていうのはこういうことだろ？

インターフェースは継承するが、クラスは継承しない
クラスを継承するようなことをしたい場合には、メンバー変数としてクラスのオブジェクト持って、それへ処理を移譲する

今時のオブジェクト指向プログラミングでは、わりと常識的な概念だと思うが
1014 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 08:42:40.77 ID:mqAmVEur.net]: ＞インターフェースは継承する
いるやん
＞クラスを継承するようなことをしたい場合
その場合C++的には素直に継承した方が上手くいくと思うけどな(D&Eで禿が言ってたが、継承を全部委譲に置き換えるというのをやってみたらしいが「結果はひどいものだった」と

普通に継承してうまく行かんか破綻するなら、そもそも継承的なことを考えてはならない関係だと思うけどね
1015 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 08:55:25.03 ID:IMMR+vsB.net]: 継承いる！に飛びついた連中も
その後の流れで
継承要らない！に飛びついた連中も
本質的には同じなんよ
周回遅れで誰かの後追いするマシーンなんよ
1016 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 09:06:07.34 ID:RuJgA5Em.net]: インターフェースは実装するって言うでしょ
C++的にはどっちも継承だけど
1017 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 09:53:52.51 ID:LZZifCH2.net]: >>996
メソッドがそこそこ少なきゃいいけど
世の中そんなに甘くない
1018 名前：デフォルトの名無しさん mailto:sage [2021/05/19(水) 10:07:56.64 ID:iIq+id16.net]: Kotlinちゃんは甘いです
インターフェースを継承し、コンストラクタで渡されたオブジェクトへそのインターフェースの実装を委譲するのを、1行で書ける
https://dogwood008.github.io/kotlin-web-site-ja/docs/reference/delegation.html
1019 名前：1001 [Over 1000 Thread.net]: このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 55日 22時間 0分 41秒
1020 名前：過去ログ ★ [[過去ログ]]: ■ このスレッドは過去ログ倉庫に格納されています

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef