※前スレ
C++相談室 part154
https://mevius.5ch.net/test/read.cgi/tech/1610096040/
テンプレここまで
探検
C++相談室 part155
レス数が950を超えています。1000を超えると書き込みができなくなります。
2021/03/24(水) 12:07:15.39ID:R+oM8cup
894デフォルトの名無しさん
2021/05/16(日) 19:30:05.59ID:eRJ7ea1d895デフォルトの名無しさん
2021/05/16(日) 19:38:32.84ID:eRJ7ea1d 自然数の集合と実数の集合の間には全単写が無く、前者がアレフ_0、
後者がアレフ_1でしたかな。
それと記憶違いしてたかも。
後者がアレフ_1でしたかな。
それと記憶違いしてたかも。
896デフォルトの名無しさん
2021/05/16(日) 19:51:17.83ID:Is982dSx899デフォルトの名無しさん
2021/05/17(月) 03:11:31.73ID:Q7Ttd8P9 余り難しい順序集合とかの事を知らなくても複素数に大小関係が入れられないと数学者が主張していること自体は信じていい。
数学者が「できない」と言った場合、(絶対に)出来無い事が証明された上で言っていることが多く、この場合もそうだから。
数学者が「できない」と言った場合、(絶対に)出来無い事が証明された上で言っていることが多く、この場合もそうだから。
900デフォルトの名無しさん
2021/05/17(月) 03:24:50.61ID:+0j9FXFm しかし実際に証明を確認したわけではない。
でも直感的にわかる。
そもそも上記の議論において、「大小関係が入れられない」として設計の話を続けても全く問題ない。
普通に考えればこうなると思うが。
でも直感的にわかる。
そもそも上記の議論において、「大小関係が入れられない」として設計の話を続けても全く問題ない。
普通に考えればこうなると思うが。
>>899
まあ妥当だとは思いますが、しかし、この場合であってももっとも数学的な態度とは「権威のいうことを疑って証明を調べること」でしょうね、権威のいうことを鵜呑みにすることは数学的ではないと私は思います
まあ妥当だとは思いますが、しかし、この場合であってももっとも数学的な態度とは「権威のいうことを疑って証明を調べること」でしょうね、権威のいうことを鵜呑みにすることは数学的ではないと私は思います
902デフォルトの名無しさん
2021/05/17(月) 08:13:28.70ID:p0CmvUql903デフォルトの名無しさん
2021/05/17(月) 08:17:32.13ID:/XJ4GxVV904デフォルトの名無しさん
2021/05/17(月) 08:27:27.80ID:xbubPeOw なんかごちゃごちゃしているけど……
・複素数の体における比較は未定義
・複素数体に距離の位相を入れて比較を定義することは可能(複素平面など)
と言うことだろ。
まあ、直接比較するのは使い勝手が悪いので、距離の位相には適当な写像を使うのが普通だけど(絶対値とか)。
・複素数の体における比較は未定義
・複素数体に距離の位相を入れて比較を定義することは可能(複素平面など)
と言うことだろ。
まあ、直接比較するのは使い勝手が悪いので、距離の位相には適当な写像を使うのが普通だけど(絶対値とか)。
905デフォルトの名無しさん
2021/05/17(月) 08:31:17.55ID:rt013aFx 複素数は自然な全順序にはならない
特定の条件を満たす順序は存在しない
ってだけで
順序を定義することは可能だし実際定義して使うこともある
特定の条件を満たす順序は存在しない
ってだけで
順序を定義することは可能だし実際定義して使うこともある
906デフォルトの名無しさん
2021/05/17(月) 08:31:35.85ID:pyZ7P5gV 証明にだって厳密さが欠けていることが後からわかった(適用条件が誤っていた)り超ごくまれにだが結論自体誤っていたりしたことが……
ケンペ鎖とか、
あとABC予想の証明ぐらい高度なやつになったら職業数学者であっても査読者の質で
是非を判断せざるおえないハズ
もちろん直接関連論文を書く人は自分が納得するところまできちんと追うだろうがPGがなんでそこまでせねばならんのやヽ(#`Д´)ノ
ケンペ鎖とか、
あとABC予想の証明ぐらい高度なやつになったら職業数学者であっても査読者の質で
是非を判断せざるおえないハズ
もちろん直接関連論文を書く人は自分が納得するところまできちんと追うだろうがPGがなんでそこまでせねばならんのやヽ(#`Д´)ノ
907デフォルトの名無しさん
2021/05/17(月) 08:32:19.32ID:pyZ7P5gV >>905
|z|とかarg(z)とかな
|z|とかarg(z)とかな
908デフォルトの名無しさん
2021/05/17(月) 08:34:34.87ID:pyZ7P5gV やっぱ自然演繹は良くない
あらゆる証明は最初から形式証明にかけるべきや
あらゆる証明は最初から形式証明にかけるべきや
909デフォルトの名無しさん
2021/05/17(月) 08:38:28.10ID:3ODjt5IZ910デフォルトの名無しさん
2021/05/17(月) 08:38:29.82ID:xbubPeOw >>908
そんなにプリンキピア・マテマティカを書きたいか。せめて読破してから言え。
そんなにプリンキピア・マテマティカを書きたいか。せめて読破してから言え。
911デフォルトの名無しさん
2021/05/17(月) 08:40:42.75ID:xbubPeOw912デフォルトの名無しさん
2021/05/17(月) 08:41:59.82ID:3ODjt5IZ913デフォルトの名無しさん
2021/05/17(月) 08:45:32.29ID:3ODjt5IZ 絶対値の大きさ云々の話ならピボット選択は正しく動くだろうな
まあこれは浮動小数点演算の特性からそうなるのであって数学的には関係ない
まあこれは浮動小数点演算の特性からそうなるのであって数学的には関係ない
914デフォルトの名無しさん
2021/05/17(月) 08:46:34.38ID:xbubPeOw915デフォルトの名無しさん
2021/05/17(月) 08:52:16.58ID:3ODjt5IZ916デフォルトの名無しさん
2021/05/17(月) 09:48:48.04ID:p0CmvUql >>915
実装したことないから詳しくないけど、検索したらこんなのあった。
ttps://ameblo.jp/zrfcsctd/entry-10726241960.html
なんか問題あるのかしらん?
実装したことないから詳しくないけど、検索したらこんなのあった。
ttps://ameblo.jp/zrfcsctd/entry-10726241960.html
なんか問題あるのかしらん?
917デフォルトの名無しさん
2021/05/17(月) 10:03:50.08ID:3ODjt5IZ918デフォルトの名無しさん
2021/05/17(月) 11:39:44.96ID:p0CmvUql919デフォルトの名無しさん
2021/05/17(月) 11:39:57.21ID:ZeUb3kXE 2つの複素数 z1, z2 に対して z1 < z2 を |z1| < |z2| と定義してしまうと、
z1, z2 がたまたま(複素数の一部であるところの)実数である場合は、
x1 < x2 が |x1| < |x2| と定義されることになってしまうが、
そうすると、負数の時に通常の実数の比較と結果が違ってきてしまう。
z1, z2 がたまたま(複素数の一部であるところの)実数である場合は、
x1 < x2 が |x1| < |x2| と定義されることになってしまうが、
そうすると、負数の時に通常の実数の比較と結果が違ってきてしまう。
920デフォルトの名無しさん
2021/05/17(月) 12:08:56.20ID:CucgVtNi だから複素数体を順序体にできないことなんて代数の教科書にいくらでも証明載ってるんだから読めよ
いつまでやってんだ
いつまでやってんだ
921デフォルトの名無しさん
2021/05/17(月) 12:09:08.59ID:giSQx4b2 std::locale::global(std::locale("japanese"));
必要ですか?
無くても動いてるときに敢えて描くと可笑しくなりますか?
必要ですか?
無くても動いてるときに敢えて描くと可笑しくなりますか?
922デフォルトの名無しさん
2021/05/17(月) 12:12:10.72ID:cCPUzk2p complexには<=>がないね
923デフォルトの名無しさん
2021/05/17(月) 12:14:40.03ID:+IMuyr7J924デフォルトの名無しさん
2021/05/17(月) 12:29:58.49ID:0hooCSOD >>920
QZがあまりの悔しさにID変えて荒らしてるんだよ
QZがあまりの悔しさにID変えて荒らしてるんだよ
925デフォルトの名無しさん
2021/05/17(月) 13:05:04.47ID:DzXjbqQO926デフォルトの名無しさん
2021/05/17(月) 13:40:20.69ID:AtV47BCw ハンダンセ猿はすばしっこいからな
927デフォルトの名無しさん
2021/05/17(月) 13:54:56.37ID:+0j9FXFm QA分解はそもそも数値誤差を減らすのがめちゃくちゃ難しいからあんま使われんのよ。
特別な事情がない限りは軽はずみに手を出すのはやめた方がいい。
特別な事情がない限りは軽はずみに手を出すのはやめた方がいい。
928デフォルトの名無しさん
2021/05/17(月) 16:56:52.33ID:Hl6gcnGv g++で Member 'x' was not initialized in this constructor
って警告が出るんだが、これをpragmaで抑止したい。
このwarningを抑止するためのキーワードを教えてもらえないだろうか
って警告が出るんだが、これをpragmaで抑止したい。
このwarningを抑止するためのキーワードを教えてもらえないだろうか
929デフォルトの名無しさん
2021/05/17(月) 17:16:13.81ID:cCPUzk2p C++20のコード晒せるところ、どっかある?
ideoneやcodepadはダメだった
ideoneやcodepadはダメだった
930デフォルトの名無しさん
2021/05/17(月) 17:58:51.81ID:v7SqzMPT wandbox
931デフォルトの名無しさん
2021/05/17(月) 18:24:20.71ID:rt013aFx932デフォルトの名無しさん
2021/05/17(月) 18:34:03.64ID:rt013aFx C++的に複素数に順序を取り入れるなら
辞書的順序が一番使われ方として多いかと
コンテナに入れるのに順序が必須な場合とか
std::pair < double, double >
これだって勝手に定義される
C/C++に数学的な汎用性が必須ではないのは
C/C++をやっていればわかると思う
1./-0. < 1./0. とか pow(0,0) = 1 とか数学的には明らかにおかしいでしょ
辞書的順序が一番使われ方として多いかと
コンテナに入れるのに順序が必須な場合とか
std::pair < double, double >
これだって勝手に定義される
C/C++に数学的な汎用性が必須ではないのは
C/C++をやっていればわかると思う
1./-0. < 1./0. とか pow(0,0) = 1 とか数学的には明らかにおかしいでしょ
933デフォルトの名無しさん
2021/05/17(月) 18:51:12.32ID:pyZ7P5gV まあ辞書順は可能だぬ
934デフォルトの名無しさん
2021/05/17(月) 19:28:02.39ID:xbubPeOw >>931
c++のpublic継承は継承先クラスを継承元クラスと同じものとして扱うので、特性の包含性が重要。
なので、失われる特性があるなら継承はしないほうが良い。
上でも挙がっているけど、複素数は実数の全順序性という特性が失われるので継承はしないほうが良い。やるなら無限体を継承元クラスにすべきだわな。
c++のpublic継承は継承先クラスを継承元クラスと同じものとして扱うので、特性の包含性が重要。
なので、失われる特性があるなら継承はしないほうが良い。
上でも挙がっているけど、複素数は実数の全順序性という特性が失われるので継承はしないほうが良い。やるなら無限体を継承元クラスにすべきだわな。
935デフォルトの名無しさん
2021/05/17(月) 19:49:53.27ID:pZGof8k7 >>910
ブルバギじゃなくて?
ブルバギじゃなくて?
936デフォルトの名無しさん
2021/05/17(月) 20:09:19.46ID:FZJkNpOI937デフォルトの名無しさん
2021/05/17(月) 20:11:40.34ID:PX9GndkV 何のスレやねん
938デフォルトの名無しさん
2021/05/17(月) 20:51:22.31ID:pyZ7P5gV >>934
継承したからといって継承元クラスで定義される演算を継承したクラスにも引き継がねばならない理由は無い
演算子のオーバーロードと型変換関連のコンストラクタまたはキャスト演算子を定義したら
同じ演算子に対してパラメータの型毎に許す演算と許さない演算を任意に設定できる
特にComplexクラスからRealクラスを派生させた場合は
(この場合は|z|やarg(z)といった複素数の演算子がReal以外の実数を返すComplexのメソッドとすることになりそうだがそれはおくとして
ある意味話は簡単で、Complex同士のoperator<()の一族を定義せずにおもむろにReal同士でだけ定義するだけにしたらええんじゃ
つか個人的にカナーリ疑問なのですだが、AがBの真部分集合であることと、
Aを表すのクラスとBを表すクラスの継承関係は一体追求すべき何の関係があるん??
継承したからといって継承元クラスで定義される演算を継承したクラスにも引き継がねばならない理由は無い
演算子のオーバーロードと型変換関連のコンストラクタまたはキャスト演算子を定義したら
同じ演算子に対してパラメータの型毎に許す演算と許さない演算を任意に設定できる
特にComplexクラスからRealクラスを派生させた場合は
(この場合は|z|やarg(z)といった複素数の演算子がReal以外の実数を返すComplexのメソッドとすることになりそうだがそれはおくとして
ある意味話は簡単で、Complex同士のoperator<()の一族を定義せずにおもむろにReal同士でだけ定義するだけにしたらええんじゃ
つか個人的にカナーリ疑問なのですだが、AがBの真部分集合であることと、
Aを表すのクラスとBを表すクラスの継承関係は一体追求すべき何の関係があるん??
939デフォルトの名無しさん
2021/05/17(月) 21:58:18.14ID:SfcIGFpx 継承元として振る舞えるのはポリモーフィズムの必須要件じゃない?
親クラスとして振る舞えなくなる子クラスとか存在価値ないでしょ
親クラスとして振る舞えなくなる子クラスとか存在価値ないでしょ
940デフォルトの名無しさん
2021/05/17(月) 22:27:35.19ID:rt013aFx941デフォルトの名無しさん
2021/05/17(月) 22:36:00.22ID:pyZ7P5gV >>939
実数を複素数としてふるまわせたいならRealをComplexに型変換したら済むので継承やポリモーフィズムは必須ではない
>>938の問いに戻るがなんで集合としての包含関係をそう執拗に継承関係に反映させようとするんじゃ……
だいたい実数から複素数を作る演算(|z|とarg(z)で複素数zを作る)もあるし
複素数から実数を作る演算(|z|やarg(z))があるから変換は双方向的なので、
この場合派生クラスから基底クラスへの一方的変換だけでは片手落ちなのは明白
無理矢理やったら>>938に書いたみたく|z|やarg(z)といった複素数の演算子がReal以外の実数を返すみたいなgdgdな話に……
実数を複素数としてふるまわせたいならRealをComplexに型変換したら済むので継承やポリモーフィズムは必須ではない
>>938の問いに戻るがなんで集合としての包含関係をそう執拗に継承関係に反映させようとするんじゃ……
だいたい実数から複素数を作る演算(|z|とarg(z)で複素数zを作る)もあるし
複素数から実数を作る演算(|z|やarg(z))があるから変換は双方向的なので、
この場合派生クラスから基底クラスへの一方的変換だけでは片手落ちなのは明白
無理矢理やったら>>938に書いたみたく|z|やarg(z)といった複素数の演算子がReal以外の実数を返すみたいなgdgdな話に……
942デフォルトの名無しさん
2021/05/17(月) 22:39:11.47ID:rt013aFx943デフォルトの名無しさん
2021/05/17(月) 23:00:01.22ID:hwY+PVbw >>938
>継承したからといって継承元クラスで定義される演算を継承したクラスにも引き継がねばならない理由は無い
さすがに演算が別物レベルで違うのはc++のpublic継承を使うべきじゃない。
public継承は継承元クラスのポインタ変数・参照として使えるという意思表示でもある。使えると言っているのに使えないのはクラスのユーザーを混乱させるし、コンパイラとかからの支援も期待できなくなる。
継承元か継承先かを意識してプログラムしなきゃいけないのは典型的な「継承の危険な使い方」だよ。
>継承したからといって継承元クラスで定義される演算を継承したクラスにも引き継がねばならない理由は無い
さすがに演算が別物レベルで違うのはc++のpublic継承を使うべきじゃない。
public継承は継承元クラスのポインタ変数・参照として使えるという意思表示でもある。使えると言っているのに使えないのはクラスのユーザーを混乱させるし、コンパイラとかからの支援も期待できなくなる。
継承元か継承先かを意識してプログラムしなきゃいけないのは典型的な「継承の危険な使い方」だよ。
944デフォルトの名無しさん
2021/05/17(月) 23:17:51.34ID:hwY+PVbw945デフォルトの名無しさん
2021/05/17(月) 23:39:13.83ID:GYmzER1r 浮動小数と整数は継承関係にない代わりに個別に暗黙変換のルールが作り込まれているわけだから
同列には語れんような。
同列には語れんような。
946デフォルトの名無しさん
2021/05/17(月) 23:53:21.28ID:rt013aFx947デフォルトの名無しさん
2021/05/18(火) 00:42:41.50ID:pJ71QEbf >>946
お前頭悪いって良く言われるっしょ
お前頭悪いって良く言われるっしょ
948デフォルトの名無しさん
2021/05/18(火) 01:40:04.12ID:FUhBCUlD ここまでのアホみたいな流れは全部>>793のクソコードのせいにして終わり終わり
949デフォルトの名無しさん
2021/05/18(火) 02:05:36.55ID:0A1+AcfP >>942
>939 は >938 に反論する形で
継承元(Complex)として振る舞えるのは(Realが満足すべき)ポリモーフィズムの必須要件、
と言っているのだから
>ポリモーフィズムは必須」なんて書いてない
なんて大嘘
>939 は >938 に反論する形で
継承元(Complex)として振る舞えるのは(Realが満足すべき)ポリモーフィズムの必須要件、
と言っているのだから
>ポリモーフィズムは必須」なんて書いてない
なんて大嘘
950デフォルトの名無しさん
2021/05/18(火) 02:07:04.04ID:0A1+AcfP 全く>>946はこの問題でいっぱいレスしている割にガチで頭悪いのではないか
951デフォルトの名無しさん
2021/05/18(火) 06:07:46.07ID:M8tLf7N/952デフォルトの名無しさん
2021/05/18(火) 07:35:31.53ID:iJzvlnxx <=>使ったことないけど==は自分で定義しとかないといかんらしいぞ
あとこれ仮想関数にする必要あるのか疑問(無駄にサイズ増えるし。あと継承もいらん気がする
あとこれ仮想関数にする必要あるのか疑問(無駄にサイズ増えるし。あと継承もいらん気がする
953デフォルトの名無しさん
2021/05/18(火) 07:37:05.89ID:M8tLf7N/ <=>から==を導出させるには=default;しなきゃいけないんだけど
=default;した関数の内容を独自なものにするには
virtualで上書きするくらいしか思いつかない
=default;した関数の内容を独自なものにするには
virtualで上書きするくらいしか思いつかない
954デフォルトの名無しさん
2021/05/18(火) 07:40:16.15ID:iJzvlnxx わからんけど、そのpointの大きさ(内積してsqrt)で比較するようなコードをコンパイラが勝手に作ってくれるのけ
955デフォルトの名無しさん
2021/05/18(火) 07:43:09.23ID:RvkfiLpS メンバの辞書式順序で比較するコードを勝手に作ってくれる
956デフォルトの名無しさん
2021/05/18(火) 07:44:12.47ID:M8tLf7N/ そんなわけないと思うからこそ=default;した関数の内容を独自の内容に変更したい
957デフォルトの名無しさん
2021/05/18(火) 07:45:11.32ID:M8tLf7N/ メンバの辞書式順序と違う定義にはできんの?
958デフォルトの名無しさん
2021/05/18(火) 07:47:15.02ID:iJzvlnxx だから==も書かないといけないんじゃね
多分だけど、そのpointの==は中身point_baseの比較しかしてないんでしょ
多分だけど、そのpointの==は中身point_baseの比較しかしてないんでしょ
959デフォルトの名無しさん
2021/05/18(火) 07:48:24.73ID:M8tLf7N/ 独自の定義にするには == 必須で
<=> から導出させようという考えがそもそも間違い?
<=> から導出させようという考えがそもそも間違い?
960デフォルトの名無しさん
2021/05/18(火) 07:51:58.56ID:iJzvlnxx pointの方で=defaultはうまくいくかもしれんね(今試せないのですまん
961デフォルトの名無しさん
2021/05/18(火) 07:59:32.16ID:M8tLf7N/962デフォルトの名無しさん
2021/05/18(火) 08:24:07.75ID:M8tLf7N/963デフォルトの名無しさん
2021/05/18(火) 11:01:21.48ID:K5WN/Dsi こんなしょうもない例でもこれだけもめるんだから
抽象的な定義をするときは思った以上に概念を共有できないということだな。
抽象的な定義をするときは思った以上に概念を共有できないということだな。
964デフォルトの名無しさん
2021/05/18(火) 11:06:20.67ID:Tj0Ma2DE ンなこと言うんなら最初っからお前が揉めないような定義をバンと出せばいいんじゃないの?
出来ないなら黙ってて
出来ないなら黙ってて
965デフォルトの名無しさん
2021/05/18(火) 11:57:19.66ID:K5WN/Dsi だから揉めないような定義なんかないって主張なんだが。
966デフォルトの名無しさん
2021/05/18(火) 12:05:54.73ID:3kx5cfZQ967デフォルトの名無しさん
2021/05/18(火) 12:43:04.27ID:eJEusld6 UQを含めてC++流のクラスや継承に価値を見出せない人が結構いるようだが
当時、アメリカではCだけでは複数のプログラマによる共同開発に問題が
来たしていて大問題になっていたのがC++の登場で解決したとされているぞ。
どうしてかというと、protected属性などでメンバ変数を「隠蔽」できることで
他の人の作ったパーツを破壊することなく使えることになったことが大きいと
聞いた。もちろん継承もその一つ。
当時、アメリカではCだけでは複数のプログラマによる共同開発に問題が
来たしていて大問題になっていたのがC++の登場で解決したとされているぞ。
どうしてかというと、protected属性などでメンバ変数を「隠蔽」できることで
他の人の作ったパーツを破壊することなく使えることになったことが大きいと
聞いた。もちろん継承もその一つ。
968デフォルトの名無しさん
2021/05/18(火) 13:02:06.01ID:eJEusld6 >>967
継承は、他の人が作ったプログラムに機能を「追加」するときに何が追加された
のかが明確になるので便利。
継承の機能が無ければどの部分が追加されたのか分からないし、
追加した際に元々動作していた基本部分までバグが入る可能性があるが、
継承した場合にはそれが無い。
UQみたいに「委譲」でなんとかするのは、言語機能のサポートが得られないので
記述量が増えてメンドクサイ。
継承は、他の人が作ったプログラムに機能を「追加」するときに何が追加された
のかが明確になるので便利。
継承の機能が無ければどの部分が追加されたのか分からないし、
追加した際に元々動作していた基本部分までバグが入る可能性があるが、
継承した場合にはそれが無い。
UQみたいに「委譲」でなんとかするのは、言語機能のサポートが得られないので
記述量が増えてメンドクサイ。
969デフォルトの名無しさん
2021/05/18(火) 13:33:09.76ID:iJzvlnxx UQってなんやと思ったけどQZのことか
てかまともにソフト書いたことない奴には言ってもわからんと思う
てかまともにソフト書いたことない奴には言ってもわからんと思う
970デフォルトの名無しさん
2021/05/18(火) 16:26:14.79ID:EATlfCml 自衛隊の大規模接種センター(東京センター)は生年月日の入力欄初期値が1970年1月1日なんだが、Unixタイムを意識したのかな?
https://www.vaccine.mrso.jp/
https://www.vaccine.mrso.jp/
971デフォルトの名無しさん
2021/05/18(火) 16:53:11.90ID:LV/0HQIM >>967
一番良かったのは namespace
一番良かったのは namespace
972デフォルトの名無しさん
2021/05/18(火) 16:55:22.83ID:LV/0HQIM >>970
適当な番号でも受付完了するらしいな
受付出来るけど接種に来ても打ってもらえないから
そういう適当なことなしないでくれってアナウンスしてるけど
テロリストにDoSに準じる攻撃方法教えてるようなもんだろ
適当な番号でも受付完了するらしいな
受付出来るけど接種に来ても打ってもらえないから
そういう適当なことなしないでくれってアナウンスしてるけど
テロリストにDoSに準じる攻撃方法教えてるようなもんだろ
973デフォルトの名無しさん
2021/05/18(火) 16:58:39.86ID:nXH1x7Lj 何関係ないこと語り出してんの
974デフォルトの名無しさん
2021/05/18(火) 16:59:15.64ID:EATlfCml 中国のハッカーはHoneypotなのではと警戒してるらしいよ
975デフォルトの名無しさん
2021/05/18(火) 18:41:32.26ID:eJEusld6976デフォルトの名無しさん
2021/05/18(火) 19:04:39.53ID:HX5VOoCQ >>968
それって差分プログラミングじゃないの
それって差分プログラミングじゃないの
977デフォルトの名無しさん
2021/05/18(火) 19:12:29.12ID:lxDAggBF >>976
http://www.ced.is.utsunomiya-u.ac.jp/lecture/2015/prog/p3/kadai3/inherit.php
「継承の機能を使うことにより、すでに定義済みのオブジェクトに
・機能を追加
・変数を追加
・機能の一部を変更
などをエレガントに記述することができるようになり、オブジェクト(コード)の再利用性が向上します。すでに実装済みの機能に、自分が実装したい機能として足りない部分だけを追加してプログラムを作成できるようになりますので、これを差分プログラミングと呼んだりします。」
http://www.ced.is.utsunomiya-u.ac.jp/lecture/2015/prog/p3/kadai3/inherit.php
「継承の機能を使うことにより、すでに定義済みのオブジェクトに
・機能を追加
・変数を追加
・機能の一部を変更
などをエレガントに記述することができるようになり、オブジェクト(コード)の再利用性が向上します。すでに実装済みの機能に、自分が実装したい機能として足りない部分だけを追加してプログラムを作成できるようになりますので、これを差分プログラミングと呼んだりします。」
>>977
それは委譲でも十分で、差分プログラミングだけしたいのなら継承は不要だと私は考えています
>>859
>クラスAをクラスBに所有させたとき、Bの公開したいいいメソッドを逐一クラスAにも書かねばならないのがメドイ
鋭い意見です、唯一共感できるレスポンスだと思いました
確かにおっしゃるとおりですが、しかし、このメンドクサイ手順を踏めば vtable が不要になる、という意味ではメリットの方が大きいと私は思います
あとは基底クラスへのポインタを一括して握っておいて、派生クラスへのポインタごとに仮想メソッドで処理を分け分けする、というのが出来なくなりますが、私はそういう場面で出会ったことがありません……
https://ideone.com/e5NOWO
それは委譲でも十分で、差分プログラミングだけしたいのなら継承は不要だと私は考えています
>>859
>クラスAをクラスBに所有させたとき、Bの公開したいいいメソッドを逐一クラスAにも書かねばならないのがメドイ
鋭い意見です、唯一共感できるレスポンスだと思いました
確かにおっしゃるとおりですが、しかし、このメンドクサイ手順を踏めば vtable が不要になる、という意味ではメリットの方が大きいと私は思います
あとは基底クラスへのポインタを一括して握っておいて、派生クラスへのポインタごとに仮想メソッドで処理を分け分けする、というのが出来なくなりますが、私はそういう場面で出会ったことがありません……
https://ideone.com/e5NOWO
979デフォルトの名無しさん
2021/05/18(火) 22:28:54.13ID:rG13Y8DO 差分プログラミングかー 昔はそんなこと言われてたね
ユーティリティクラスに持つべき共通関数をベースクラスに実装しておけばサブクラスでも簡単に呼べる!とか間違ったクラス設計が横行してた時代
ユーティリティクラスに持つべき共通関数をベースクラスに実装しておけばサブクラスでも簡単に呼べる!とか間違ったクラス設計が横行してた時代
980デフォルトの名無しさん
2021/05/18(火) 22:41:44.49ID:Tj0Ma2DE その時はまだ失敗してなかったんだから「間違ったクラス設計」じゃないんじゃないの
間違ってるのが後からわかったんでしょ
なら間違いの原因は別にある
間違ってるのが後からわかったんでしょ
なら間違いの原因は別にある
981デフォルトの名無しさん
2021/05/19(水) 01:12:06.76ID:fToUWXI/982デフォルトの名無しさん
2021/05/19(水) 01:58:09.30ID:yT7tFlzp >>978
一行目、普通は、C++においては委譲より継承の方が楽に書けるのだから、
C++での差分プログラミングは継承を用いるのが基本で楽なので「継承で十分」と
考えるべきで、C++はそういう設計。
あなたは逆さまで、C++の初期のころからの基本設計に逆らおうとしている。
一行目、普通は、C++においては委譲より継承の方が楽に書けるのだから、
C++での差分プログラミングは継承を用いるのが基本で楽なので「継承で十分」と
考えるべきで、C++はそういう設計。
あなたは逆さまで、C++の初期のころからの基本設計に逆らおうとしている。
983デフォルトの名無しさん
2021/05/19(水) 02:30:36.72ID:kKkrLvTk 継承使わずに委譲って言ってる人はvirtualはどうしてんの?
984デフォルトの名無しさん
2021/05/19(水) 02:32:46.24ID:/jpsBven つーka仕事で使ってないやつによくある感違いだけど
C++にしろ他の言語にしろ、道具であって目的は「トータルとして楽する」ためにすべてはあるので
別にアート作品や哲学やってんじゃねーんだから、「本質的に美しい」とか「こうあるのが正しい」
とかはどうでもいいからな
トータルとして楽にするためには時に面倒な実装や仕組みをつかうこともあるが、結局最終的に
楽できなきゃそんなものに意味はない
C++にしろ他の言語にしろ、道具であって目的は「トータルとして楽する」ためにすべてはあるので
別にアート作品や哲学やってんじゃねーんだから、「本質的に美しい」とか「こうあるのが正しい」
とかはどうでもいいからな
トータルとして楽にするためには時に面倒な実装や仕組みをつかうこともあるが、結局最終的に
楽できなきゃそんなものに意味はない
985はちみつ餃子 ◆8X2XSCHEME
2021/05/19(水) 02:35:39.61ID:ONEwpJm5986デフォルトの名無しさん
2021/05/19(水) 02:45:01.92ID:zjDnGFHC 継承したくないとか言ってる奴らってインターフェースの概念ないバカだけでしょ
987デフォルトの名無しさん
2021/05/19(水) 02:56:09.48ID:iywlut5a virtual は必ず描く
private は使わず protected を使う
private は使わず protected を使う
988デフォルトの名無しさん
2021/05/19(水) 05:27:07.08ID:mqAmVEur 必ずってのもどうかと思うけどな
上にあったpointクラスもそうだけど、メモリ上のサイズがメンバ変数のサイズと一致して欲しい&組み込み型のように配列をmemcpyできるべきクラスなら
無意味にvtblなんか付けるべきじゃない
>>984の言うように楽かどうかもそうだけど、何をユーザーに提供するか、どういう要件が必要なのかと突き詰めていったら最終的に取れる選択肢なんかほとんどない
QZもやはちみつもそうだが、お遊びの長くても数百行のコードしか書いたことないやつは多分それらの部品を何か作るためにまともに年単位で使い倒したことが無いんだろ
それら思いつきで書いた程度のコードは全くブラッシュアップされてないから全く使い物にならんのだが、使ってないからそれに気づかない
実際気付き始めたらあちこち直しまくって膨大な時間使って最後にはゼロから書き直して全く違った設計になると思うが、そうして初めてOOPや継承の利点もわかるんだけどね
上にあったpointクラスもそうだけど、メモリ上のサイズがメンバ変数のサイズと一致して欲しい&組み込み型のように配列をmemcpyできるべきクラスなら
無意味にvtblなんか付けるべきじゃない
>>984の言うように楽かどうかもそうだけど、何をユーザーに提供するか、どういう要件が必要なのかと突き詰めていったら最終的に取れる選択肢なんかほとんどない
QZもやはちみつもそうだが、お遊びの長くても数百行のコードしか書いたことないやつは多分それらの部品を何か作るためにまともに年単位で使い倒したことが無いんだろ
それら思いつきで書いた程度のコードは全くブラッシュアップされてないから全く使い物にならんのだが、使ってないからそれに気づかない
実際気付き始めたらあちこち直しまくって膨大な時間使って最後にはゼロから書き直して全く違った設計になると思うが、そうして初めてOOPや継承の利点もわかるんだけどね
989デフォルトの名無しさん
2021/05/19(水) 05:56:25.62ID:Gyc2jKZQ 可変個の参照の組 (vectorでいい) を関数 hoge
に渡したいときって、hoge が vector< reference_wrapper<T> > を取るようにして
hoge({ref(A), ref(B), ref(C)})
みたいに呼ぶか、可変引数テンプレートを使って hoge の中でパースするかっていうのが普通のやり方かな?
ちょっと冗長な感じがしてしまう
参照の組じゃなくてポインタの組にするとかも手かもしれんが
に渡したいときって、hoge が vector< reference_wrapper<T> > を取るようにして
hoge({ref(A), ref(B), ref(C)})
みたいに呼ぶか、可変引数テンプレートを使って hoge の中でパースするかっていうのが普通のやり方かな?
ちょっと冗長な感じがしてしまう
参照の組じゃなくてポインタの組にするとかも手かもしれんが
990デフォルトの名無しさん
2021/05/19(水) 05:58:41.64ID:LZZifCH2 いきなり継承いらんキリッとかすげえ極論を言い切るやつ
自分の発言に将来にわたってずっと責任を持つ気なさそう
その時のその場だけ俺カッケーできりゃいいってやつ
自分の発言に将来にわたってずっと責任を持つ気なさそう
その時のその場だけ俺カッケーできりゃいいってやつ
991デフォルトの名無しさん
2021/05/19(水) 06:12:15.82ID:mqAmVEur992デフォルトの名無しさん
2021/05/19(水) 06:57:23.69ID:LZZifCH2 conceptでできそうだな
まだ試してないけど
まだ試してないけど
993デフォルトの名無しさん
2021/05/19(水) 07:09:43.82ID:CHs6khMr >>990
継承イランといってる奴なんていなくね? QZは怪しいが...
継承が適切な箇所なら継承を使う、機能追加で差分のコードが少なくてすむからという理由だけでは必ずしも使わない(その場合に継承が適切な関係ならば使う、そうでないなら委譲なりなんなり他の設計にする)ということを言ってるだけでないの?
継承イランといってる奴なんていなくね? QZは怪しいが...
継承が適切な箇所なら継承を使う、機能追加で差分のコードが少なくてすむからという理由だけでは必ずしも使わない(その場合に継承が適切な関係ならば使う、そうでないなら委譲なりなんなり他の設計にする)ということを言ってるだけでないの?
レス数が950を超えています。1000を超えると書き込みができなくなります。
ニュース
- 【地震速報】青森県で震度6強 沿岸部に津波警報 ★6 [ぐれ★]
- 「日の丸にバツ印」掲げた大学生 あいまいな国旗損壊罪に「怖い」 The Mainichi [少考さん★]
- 【音楽】BARBEE BOYS・KONTAが事故で四肢麻痺を公表、新体制で活動は継続 [少考さん★]
- 【テレビ】25年ぶり復活「炎のチャレンジャー」南原清隆&菊池風磨がMC 懐かし「電流イライラ棒」も [湛然★]
- 中国「捜索レーダー起動は各国の通常の手法」 火器管制用か回答せず [蚤の市★]
- 【訃報】声優・西村知道さん死去 「SLAM DUNK」安西先生役 9月に体調不良のため一時休業 [少考さん★]
- 女って金とイケメンしか見てないよな
- 【閲覧注意】ちずちんな
- ぺこーら、地震で同僚が次々配信を止めるなか強行し続けるので悪目立ちするwww [268244553]
- 高市総理、睡眠時間30分😢
- フェリーの魅力を語ろう。
- 【仁藤悲報】Colaboさん、東京都の公金を月7万円の「整体治療費」に使っていたことが判明してしまう!!!! [535458756]
