- 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/
テンプレここまで
- 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]
- 何関係ないこと語り出してんの
|
 |
