C++相談室 part155 - 暇つぶし2ch

C++相談室 part155 at TECH

[前50を表示]
750:デフォルトの名無しさん
21/05/08 07:59:26.09 St3wXYGV.net
>>727
promoteはintよりサイズの小さい整数がintになることだぞ
浮動小数点の場合はdoubleになること
powは<cmath>で次のように宣言されていて
float pow(float x, float y);
double pow(double x, double y);
long double pow(long double x, long double y);
pow(int, int)の返却値はdoubleとなる

751:デフォルトの名無しさん
21/05/08 14:22:53.92 iyfickIa.net
hoge() という関数の意味で hoge_() という書き方を使いたいとき、using hoge_ = hoge ってできますか

752:蟻人間
21/05/08 14:50:03.11 tI5Uqx1l.net
>>737
usingの代わりにauto

753:デフォルトの名無しさん
21/05/08 15:15:44.69 iyfickIa.net
>>738
？
auto hoge_ = hoge？

754:デフォルトの名無しさん
21/05/08 15:21:51.05 IOJOTrlX.net
C++にmemcpyの代替ってあるんですか？
メモリが連続でコピーする区間が重複してないときに型 T のものを x 個分コピーするときは、2021年現在も
memcpy(destのアドレス, srcのアドレス, sizeof(T)*x);
で良いんですかね？

755:デフォルトの名無しさん
21/05/08 15:24:23.88 Jy6pPGdO.net
>>726
tuple使え

756:デフォルトの名無しさん
21/05/08 15:27:28.70 Jy6pPGdO.net
>>729
stream << ifstream1.rdbuf() << std::flushやstream.flush()
ifstream1.rdbuf() を実行する前に fush しないと意味無いと思わないか？

757:はちみつ餃子
21/05/08 15:31:41.86 //zoyCL6.net
>>737-739
関数の別名を作るなら constexpr を付けておいたほうがいいかもね。

758:はちみつ餃子
21/05/08 15:42:46.92 //zoyCL6.net
>>740
C++ 的には std::copy を使うんでないかな。
memcpy はメモリが連続していることを利用した最適化をしている可能性が高くて効率的だけど、
T が trivially copyable でないときに memcpy で正しく複製できるかは未定義なので、
汎用的な部品として構築するには memcpy は向いてない。
低レイヤでビットパターンのコピーで良いことがわかっているなら memcpy でも良いだろうし、場面による。

759:デフォルトの名無しさん
21/05/08 15:43:03.39 09/9BleE.net
テンプレート引数の部分指定みたいのってないんですかね
template<class T, int x, int y> auto hoge(array<T, x> fuga){
、、、
}
って関数を
array<int, 5> aaa;
hoge<int, 5, 8>(aaa);
みたいに呼び出すときってintと5はaaaを渡した時点で分かりきってますよね？
だから
hoge<8>(aaa);
みたいに呼べたら良いなと思ったんですが

760:デフォルトの名無しさん
21/05/08 15:57:41.09 +il+Qk57.net
int yをテンプレート引数の最初に持ってきてみ

761:デフォルトの名無しさん
21/05/08 15:58:45.38 +il+Qk57.net
>>741
見当違い

762:はちみつ餃子
21/05/08 15:59:25.53 //zoyCL6.net
>>745
後ろのほうのパラメータは省略できるが、頭のほうのパラメータは省略できない。
順序を変えれば OK
#include <array>
template<int y, std::size_t x, class T> auto hoge(std::array<T, x> fuga){
}
int main(void) {
std::array<int, 5> aaa;
hoge<8>(aaa);
}

763:デフォルトの名無しさん
21/05/08 16:48:31.28 09/9BleE.net
>>746
あざ！

764:デフォルトの名無しさん
21/05/08 20:11:34.06 IOJOTrlX.net
ある条件でvectorを返してある条件でintを返す関数って作れないんですよね？

765:デフォルトの名無しさん
21/05/08 20:16:14.63 grHx02fv.net
>>750 「条件」がコンパイル時に決まるものなら作れるよ。
実行時に決まる条件でも variant<vector, int> を返す関数なら作れるよ。

766:デフォルトの名無しさん
21/05/08 20:47:53.13 coBHIhPM.net
>>750
そんなふうに実装する必要ある？

767:デフォルトの名無しさん
21/05/08 21:04:51.07 IOJOTrlX.net
>>751
ないんでやめます
あるいはオーバーロードで作ります

768:デフォルトの名無しさん
21/05/08 22:02:29.92 04d5KsyW.net
overlord

769:デフォルトの名無しさん
21/05/08 23:21:52.15 55qg1DzP.net
std::anyつかえば実行時でも出来るよ

770:デフォルトの名無しさん
21/05/09 12:35:35.77 Ys9Xflyj.net
あるオブジェクトの参照を受けたときはそのオブジェクトを変更する void 関数で、一時オブジェクトを受けたときはそれを変更したものを返す関数
を作りたいとき、後者ってどう表現したら良いんですかね？

771:デフォルトの名無しさん
21/05/09 13:27:45.76 WMytKT+1.net
move

772:デフォルトの名無しさん
21/05/09 13:56:14.42 Ys9Xflyj.net
>>757
右辺値を受け取った場合をオーバーロードするってことですか？

773:デフォルトの名無しさん
21/05/09 15:01:51.23 RwrAFKze.net
つ右辺値参照
void func(Hoge& h) {
...
}
Hoge func(Hoge&& h) {
...
return h;
}

774:はちみつ餃子
21/05/10 14:33:11.74 iq5b2KkV.net
そういう形でオーバーロードするのはお勧めできないな。
ムーブできるところでは知らんうちにムーブになって効率的に動作してたってのが理想的で、
右辺値か左辺値かによって使い方も異なるってのはやめたほうがいい。
別の名前を付けたほうが良さそうに思う。

775:デフォルトの名無しさん
21/05/10 15:14:27.70 lCZGOQhN.net
stringstream hoge を seekp するとき
hoge.seekp(a, ios::cur);
と
hoge.seekp(a, ios_base::cur);
のどちらが正しいですか？

776:はちみつ餃子
21/05/10 16:48:01.25 iq5b2KkV.net
>>761
どちらでも問題ない。 ios::cur は ios_base から継承したもので、同一の存在。
しかし習慣的には ios_base を直接使うべきではない (ios::cur を使うべき) と思う。

777:デフォルトの名無しさん
21/05/10 18:22:42.09 bdG5L98z.net
右辺値参照って、扱ってるクラスがムーブコンストラクタを持ってない限りは、「これは右辺値参照です」

778:という意思を表示することにしかならんのですよね？

779:デフォルトの名無しさん
21/05/10 20:56:06.60 CKsNew1t.net
非const&はともかく
const&と&&の多重定義は普通だろ

780:デフォルトの名無しさん
21/05/11 03:49:55.52 NBkGK4p/.net
template<class T> void hoge(pair< vector<T>, vector<T> >);
を、vector<int> A, B として
hoge({A, B})
って呼ぶのは T の deduction/substitution に失敗するからダメで
hoge(make_pair(A, B))
って呼ぶのはオッケーだったんだがホワイ？
そんくらいできろやって思うんだが

781:はちみつ餃子
21/05/11 04:17:34.41 sf6ddr3r.net
>>765
推論できないわけではなくて std::initializer_list に推論されるというルール。
そのルールが結果的に妥当かどうかはともかく今更変えるわけにもいかんし、
仕方がないんだわ。

782:デフォルトの名無しさん
21/05/11 11:21:06.99 FWZS8iTB.net
tuple

783:デフォルトの名無しさん
21/05/12 00:29:14.70 nKEkaipq.net
>>591
シープラプラも混ぜて

784:デフォルトの名無しさん
21/05/12 22:39:19.73 LXLc2NzC.net
可変個の参照をとる関数の一番簡潔な書き方って何ですかね？
呼び出すときは
hoge(a, b, c, d)
あるいは
hoge({a, b, c, d})
みたいにしたいです

785:蟻人間
21/05/13 00:03:41.49 /FXyk3Zs.net
いくつか方法がある:
va_list
std::initializer_list
variadic template

786:はちみつ餃子
21/05/13 00:25:58.06 WYE+obYa.net
要素の型が全て同じなら std::initializer_list が比較的扱いやすいとは思うが、
それだけでまかなえないからこそ選択肢があるのでもう少し条件を提示して欲しいね。

787:デフォルトの名無しさん
21/05/13 14:22:44.17 rT5yynw0.net
防衛省が中国のハッカーとやり合える人材を募集中年収最高２０００万円
ｽﾚﾘﾝｸ(poverty板)

788:デフォルトの名無しさん
21/05/13 14:25:28.62 gQUYeg5t.net
vector
array
tuple

789:デフォルトの名無しさん
21/05/13 15:33:03.69 VhoQaRqh.net
上限2000万じゃ安すぎ

790:デフォルトの名無しさん
21/05/13 15:38:49.41 tJiNVUVY.net
武器禁輸措置に抵触する認定プログラマのお値段がたったの2000万円？
安すぎだろ

791:はちみつ餃子
21/05/13 15:57:38.17 WYE+obYa.net
そういう額って「保証する額」なので上限が保証されてても意味ないんだよな。

792:デフォルトの名無しさん
21/05/13 16:06:58.80 ItPDnKAp.net
ベストエフォートが 1Gbpsでも現実は 10Mbpsみたいな話だな。

793:デフォルトの名無しさん
21/05/13 16:08:53.03 ItPDnKAp.net
最近知ったことだけど回線品質が悪いからではなく沢山の人に共有利用させすぎているせいで速度が出ないだけらしい。
実際、ダウンロードは遅いのにアップロードは速いのはそれで説明できるそうだ。

794:はちみつ餃子
21/05/13 16:33:36.23 WYE+obYa.net
>>778
割り当てを失敗してるんだからそれは「回線の品質が悪い」んだよ。
運用も回線の一部。

795:デフォルトの名無しさん
21/05/13 16:35:51.69 VhoQaRqh.net
ダウンロードが遅い原因は経路の他にサーバーという場合もあるね

796:デフォルトの名無しさん
21/05/13 16:55:36.92 0opMfQ+n.net
人混みではWiFiも奪い合いでブツブツ切れまくる
保証するのは普通「下限」だよな

797:デフォルトの名無しさん
21/05/13 17:54:36.06 ItPDnKAp.net
>>779
ADSLとかで遅いのも回線がズタボロに品質が悪いからではなく
多くの人で分けすぎていることが原因の場合があるらしい。

798:デフォルトの名無しさん
21/05/13 20:55:57.03 NATYYilK.net
給料でも、100万円みたいに上限を書いているものは、無意味。
嘘広告と同じで、絶対にもらえない
給料で大切なのは、15万円みたいな下限。
最低保証額

799:デフォルトの名無しさん
21/05/13 20:59:43.10 bYaECMnR.net
何のスレだよ

800:デフォルトの名無しさん
21/05/14 00:45:53.77 2w1FBHD8.net
最低時給みたいなもんか

801:はちみつ餃子
21/05/14 02:31:20.51 Ezk9shwq.net
直接的に関係ない話になってはいるが、
保証の内容の違いはプログラミング的にも割と重要な話。
十秒で十の仕事をするという保証と
一秒で一の仕事をするという保証は異なる。

802:デフォルトの名無しさん
21/05/14 02:47:39.90 YIIiTt5H.net
アホみたいな質問というか雑談なんですが、皆さんは同じ型のものを2つまとめるのにpairって使いますか？
2要素vectorの方が要素アクセスのしやすさ等の観点から自分にとっても他人にとっても親切な気がしてきました

803:はちみつ餃子
21/05/14 02:57:56.08 Ezk9shwq.net
>>787
同じ型かつ二要素という保証が重要な場面なら std::pair より std::array を使う。

804:デフォルトの名無しさん
21/05/14 03:23:37.52 yHal4m5W.net
std::pairは機能拡張に弱いので自発的には使わない方がいい

805:デフォルトの名無しさん
21/05/14 05:56:11.89 RnSHWQNF.net
IntelコンパイラはParallel Studioが終了してoneAPIになったけど、
これ無料なん?Intelからは無料ダウソできるけど、
エクセルソフトは有料販売続けてるのはどこが違うの?

806:デフォルトの名無しさん
21/05/14 06:01:58.07 UqkRQTKM.net
ダウソってなんスか?

807:デフォルトの名無しさん
21/05/14 06:20:13.81 7h2AIEzB.net
>>787
POINTやSIZEは普通に構造体宣言だね
complex<T>も明らかにTとTだね
こんなもんpairで作るやついたら全力で逃げる

808:デフォルトの名無しさん
21/05/14 06:21:57.15 RnSHWQNF.net
カワウソの一種です

809:デフォルトの名無しさん
21/05/14 06:23:51.18 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:デフォルトの名無しさん
21/05/14 07:22:41.27 +gtYWEA4.net
pairてmap以外で使った記憶ないな

811:デフォルトの名無しさん
21/05/14 07:25:10.38 yHal4m5W.net
std::equal_range() の戻り値がstd::pairだよ

812:デフォルトの名無しさん
21/05/14 10:51:44.98 R2Ezzb7N.net
std::pair を使うかという問いに対して std::pair をなんと継承している例を持ち出してアホくさいとはね
アホくさいんじゃなくアホなんだよ

813:デフォルトの名無しさん
21/05/14 12:30:32.58 7h2AIEzB.net
>>797
あ？　自分は答えないくせに他人のコメントにいちゃもんつけるやつにだけは言われたかねえぜ

814:デフォルトの名無しさん
21/05/14 12:31:39.95 7h2AIEzB.net
どーせ継承いらん厨とかそういう手合いのゴミだろてめえ

815:デフォルトの名無しさん
21/05/14 12:47:38.30 678S/iU6.net
twitterでC++というキーワードがどうやっても検索できないのは独占禁止法に抵触するよね？

816:
21/05/14 21:28:42.13 JoUb9lLr.net
>>772
0 の数が二つ足りない

817:
21/05/14 21:29:55.39 JoUb9lLr.net
>>799
継承………
いらないと思います、最近の私は全部委譲で書いていて、その方がまともだとおもっていますね

818:デフォルトの名無しさん
21/05/14 21:31:11.99 72ZodHJE.net
こういうのは技術だけじゃダメだからなあ
相手の心理を読み解く嫌らしいまでの知略がないと

819:デフォルトの名無しさん
21/05/14 23:11:38.64 R2Ezzb7N.net
継承は多用こそしないが要る
std::pairの継承はもちろんしない
std::pairは使う
終わり

同じ型で2要素のものをpairにするかvectorにするかarray<T, 2>にするかは好みとしか言いようがない
どれにしたから怒られるということもなかろう

820:デフォルトの名無しさん
21/05/15 00:42:32.70 JNomAybm.net
でもそれが可能だということはやってはダメと言われてるわけでは無く許可されてることだろ
本当にダメならそもそも出来ないハズだ
やれることをやってなんでダメと言われるのか全く理解出来ない
出来ないのであれば不可能にすべきだがそうなってない、
ならばやっていいことに決まってる

821:はちみつ餃子
21/05/15 00:48:41.02 pVi51x8H.net
やればいいよ。
その結果がどうなるか知らんけど。

822:デフォルトの名無しさん
21/05/15 01:23:50.42 ACVNfbfy.net
>>794は無理してpair使うとアホなことになると言いたいのかと思ってたんだが違うのか

823:デフォルトの名無しさん
21/05/15 01:23:56.78 GOJIKllV.net
乗用車は余裕で時速150km出せる

824:デフォルトの名無しさん
21/05/15 06:16:06.77 ASJTiJTT.net
>>802
インターフェイスも否定する？

825:デフォルトの名無しさん
21/05/15 06:35:29.42 ASJTiJTT.net
自分は使わない、以上だってpgr
コードを常に1人で書く人ってことだね
チームでやってるときに異端な主張で
クセ強すぎるコード書くやついたら叩き出す

826:デフォルトの名無しさん
21/05/15 06:43:05.27 tihXB0Cj.net
大昔全部ヘッダファイルにコード書いてやった俺は正しかった
今になって大流行
自分の先見の明が恐ろしい

827:デフォルトの名無しさん
21/05/15 07:20:42.20 yI+HbYJi.net
XXという機能は要らないという奴はたいてい
自分の特定ジャンルのコーディングしかしたことない奴が多い

828:デフォルトの名無しさん
21/05/15 07:51:13.54 tihXB0Cj.net
ほんとうにいらないものもある

829:デフォルトの名無しさん
21/05/15 07:57:34.33 MVemCiVF.net
本当にいらないものは大体ここ10年の規格改訂で削除かdeprecated行きになってる
まだそうなってないものは多分必要なんだよ

830:
21/05/15 09:26:33.74 JZCPEXPS.net
>>809
否定しません

831:デフォルトの名無しさん
21/05/15 09:35:04.56 WhAcSt6Q.net
ヘッダファイル内で定数使いたいときって結局どうしたら良いんですか
ネームスペース作るほどじゃないが、スコープはそのファイル内だけで良いって状況です

832:デフォルトの名無しさん
21/05/15 10:12:39.02 GOJIKllV.net
32bit整数なら列挙型
それ以外なら定数をあきらめて定数を返す関数にする

833:デフォルトの名無しさん
21/05/15 10:30:59.22 WhAcSt6Q.net
>>817
あざす！

834:デフォルトの名無しさん
21/05/15 12:13:25.04 eYtIld1h.net
>>794
URLﾘﾝｸ(blade.nagaokaut.ac.jp)
URLﾘﾝｸ(www.akiradeveloper.com)

835:デフォルトの名無しさん
21/05/15 12:19:34.55 eYtIld1h.net
>>811
流行っていうか仕様上仕方なくってことなら判る
template とか obj にコンパイルしても
必要な時に見つからないって言われるの
回避する方法あったら教えて

836:デフォルトの名無しさん
21/05/15 12:36:48.16 DTE+piln.net
>>802
悪いが、やっぱQZは、頭の働きが余り良くないと思う。
継承はオブジェクト指向ではなくてはならないものだし。

837:デフォルトの名無しさん
21/05/15 12:46:36.24 DTE+piln.net
>>821
ただし、個人的には委譲についてはそんなに詳しくは無く、#include程度のものだという理解しかない。
しかし、C++のクラスには元々継承の機能が付いているのだから敢えて委譲方式を使う必要は無いと思う。
また、委譲にしたときのデメリットは分かるが、メリットは分からないし。

838:デフォルトの名無しさん
21/05/15 12:53:37.11 ACVNfbfy.net
C++において委譲てメンバ変数に持つだけやろ
vectorにデータ保持するクラスがvector継承とかおかしなことになる
昔から言われてるis-aとhas-aで考えるのが自然じゃないの

839:デフォルトの名無しさん
21/05/15 12:59:47.23 l/htYdSr.net
継承は今となっては注意して使うべきものって評価が定着したものと思ってた
リスコフ置換原理とか、差分プログラミングとか、composition over inheritanceとか

840:デフォルトの名無しさん
21/05/15 13:08:50.36 DTE+piln.net
>>824
そんな高度なことをUQが知ってるのか？

841:デフォルトの名無しさん
21/05/15 13:18:14.47 ZTZob1AZ.net
>>821
確かにいちいち相手を口撃しないと議論もできないのは頭が悪いね

842:デフォルトの名無しさん
21/05/15 13:58:00.84 tE3nOT6E.net
> 個人的には委譲についてはそんなに詳しくは無く、#include程度のものだという理解しかない。
> vector継承

えっちょっとレベル低過ぎて驚愕してるんだが、休日プログラマたちが張り切って変なこと言ってるだけだよね？
「委譲は#include程度のもの」は意味不明としか言いようがないし、STLコンテナの継承って典型的なアンチパターンなんだがなんでそんなもの引き合いに出してくるのか分からんし

843:デフォルトの名無しさん
21/05/15 15:34:06.78 eYtIld1h.net
>>823
ほぼその通りだが
メソッドとか共通のときって
全部のメソッド描くか？
template <R, P>
R *(P a){return ($1)(a);}
観たいに描けたら良いのに

844:デフォルトの名無しさん
21/05/15 15:35:17.73 eYtIld1h.net
ああ違う
R *(P a){return (m->($1))(a);}
観たいな感じ

845:デフォルトの名無しさん
21/05/15 15:57:12.68 mF3YDsn5.net
>>827
安心せい
ド素人がシッタカかますスレへようこそ
釣り、知ったか、荒らしは単にスルーされます

846:
21/05/15 16:47:33.61 JZCPEXPS.net
>>821
＞継承はオブジェクト指向ではなくてはならないもの
私も昔からそう習ってきてはいましたが、さて、いろいろ書いてみたものの「継承で書いた方がスマート」という経験が皆無なのです、「委譲で書いた方がスマート」ならば沢山あるのですが
あえて継承が有用な場面といえば、エラー等の例外関係の個々のクラスを大雑把にカテゴライズするための基底型、くらいのものでしょうか…
なにかお題を定めて「①：継承だけを使って書け、②：委譲だけを使って書け、③：①②を評価せよ」という例をいただけないでしょうか。

847:デフォルトの名無しさん
21/05/15 17:50:08.18 DTE+piln.net
>>831
「委譲」って具体的にどういう書き方のことなの。

848:デフォルトの名無しさん
21/05/15 17:55:09.56 vSRH6pvU.net
>>832
ええ、頭の働きが悪いと煽りつつそれ聞いちゃうの？

849:デフォルトの名無しさん
21/05/15 17:56:27.49 DTE+piln.net
>>827
Rubyでの委譲は #includeのようなものの様に見えたんだよ。
さっき検索してみたら、一般的にはそういうことではないらしいが。

850:デフォルトの名無しさん
21/05/15 17:57:27.50 DTE+piln.net
>>833
委譲という言葉はC++では余り耳慣れなかったので本人がどういう意味で使ってるか聞いて見たい。

851:デフォルトの名無しさん
21/05/15 17:59:33.89 DTE+piln.net
C#でのdelegate、Rubyの委譲(#includeみたいに見える)、Wikipediaに載っている委譲、それぞれかなり違うことを言っているように思える。
記憶だと、C#のdelegateって他の言語でClosureと呼ばれているもののように思えた。
FunctorとClosureの違いはちゃんと分かってないが。

852:デフォルトの名無しさん
21/05/15 18:02:34.95 DTE+piln.net
>>836
あ、Rubyは、Mix-inの方だったわ、スマン。

853:はちみつ餃子
21/05/15 18:05:50.33 pVi51x8H.net
別のところに処理を丸投げするような仕組み (ただし丸投げする先をディスパッチする仕組みには色々とある) が委譲なので、
基底クラスのメンバ関数が呼ばれるのも広義には委譲の一種なんじゃないかなぁ……。

854:デフォルトの名無しさん
21/05/15 18:35:44.23 eIL06kE0.net
C#のdelegateって、クロージャとかオブジェクトのメソッドをレシーバごと格納できるコレクションだよね
同じ引数と返り値を持っている関数みたいななものならば、なんでも追加できる
そいでその引数と返り値の関数として呼び出すことができる
移譲先を格納しておくのに便利な機能

855:デフォルトの名無しさん
21/05/15 19:12:47.49 ASJTiJTT.net
>>835
そうかあ・・・耳慣れないのか
耳が悪いんだね
コンストラクタの委譲もピンプルも知らないのに
キリッちゃってる人って・・・(自粛)

856:デフォルトの名無しさん
21/05/15 19:25:28.14 51m73G+d.net
委譲とコンポジションってのはオブジェクトの合成方法だ
具体的にはオブジェクトAにオブジェクトBを持たせる
そしてAのメソッドを定義してBのメソッドを呼び出す

857:デフォルトの名無しさん
21/05/15 20:45:42.10 I9hvCSGp.net
継承先でoverrideした関数があって、継承元の関数使いたくなった場合、何か手段ある？

858:
21/05/15 20:57:32.98 JZCPEXPS.net
>>832
しばしお待ちを

859:デフォルトの名無しさん
21/05/15 20:59:13.89 l/htYdSr.net
>>842
Base::method()

860:デフォルトの名無しさん
21/05/15 21:02:37.21 I9hvCSGp.net
>>844
ありがとう！

861:デフォルトの名無しさん
21/05/15 21:33:36.92 ROEIM7pX.net
継承は、is-a
委譲は、has-a
内部に部品を持って、その部品にやらせる
最近の言語は、Go, Elixir みたいに継承がない
一方、Ruby on Rails では、継承がめちゃめちゃ便利。
継承して、カスタマイズするだけ

862:
21/05/15 22:02:21.21 JZCPEXPS.net
>>846
そのリスコフ置換原則＝ is-a が必ずしもいつも使えるとは限らないのですよ
例えば、数の体系は例えば
複素数⊃実数⊃有理数⊃整数⊃自然数
ですが、じゃあ、「複素数」からインプリメントするか？というと、私はそうは思えません

863:デフォルトの名無しさん
21/05/15 22:02:48.30 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:デフォルトの名無しさん
21/05/15 22:42:05.60 ACVNfbfy.net
>>827
＞STLコンテナの継承って典型的なアンチパターンなんだが
だからおかしなことになると言ってるだろ何をドヤってんだアホかお前は
>レベル低すぎて驚愕
してんのはこっちだ
is-aなら継承、has-aなら委譲(この場合メンバで持つ)が自然だと言ったんだよ

865:
21/05/15 23:03:15.95 JZCPEXPS.net
>>849
その is-a, has-a は、実際の設計作業にはあまり役にたたない気がします
私がやっている小規模／個人コーディングでは、差分プログラミングを取るしかない（まずプロトタイプを書いてから継承または委譲を使ってテストコードと併用して膨らませていく）わけですが、その記述としては最初に委譲を考えます
実際のところ継承と委譲の使い分けは何でしょうかね、少なくともリスコフ置換原則ではカバーできないという気がしますね

866:デフォルトの名無しさん
21/05/15 23:15:31.28 ACVNfbfy.net
>>850
＞私がやっている小規模／個人コーディングでは、
>継承または委譲を使ってテストコードと併用して膨らませていく
いつもその条件で部品テストしてるだけならそうだろうなー
すでに言われてるけど違うことやり始めたら考え変わるんじゃね

867:デフォルトの名無しさん
21/05/15 23:21:48.14 ACVNfbfy.net
個人的には、やっぱり自然かどうか、とか書きやすいかを考えた方が正解だと思うよ(その方が後で破綻しない
そのリスコフ置換原則？も上にあったように数学関係のクラスだと微妙だろうし

868:デフォルトの名無しさん
21/05/15 23:47:22.72 cVKO4d9w.net
>>850
QZは日常的に「実際の設計作業」をやってるの？
無職じゃないの？

869:
21/05/15 23:49:02.10 JZCPEXPS.net
>>851
なるほど、それはそうかもしれませんね
java のクラスライブラリは、かなりなじみがあるので、ああいうものを白紙から書くのならば継承抜きでやれといわれても困ると思いますし
……
(10分程度思考後）
……うーん、実は継承抜きでもやれそうな気もしていたりして
 >>831 で希望しているとおり、簡単な例で委譲よりも継承の方が（すべての点でなくてもいいから、何か一つか二つの観点から）優れているという好例はないものでしょうか？

870:デフォルトの名無しさん
21/05/16 11:33:38.38 VxksG9ZS.net
C++ で ifstream で開くファイルが存在するかどうかチェックしたいのですが
ファイル名が utf-8 だと
string hoge = "utf-8のファイル名";
ifstream fuga(hoge);
if(fuga.is_open())
で存在しないと看做されます(全部ASCIIのときとか存在するときもある)
どう対処するのが良いですか？
出来れば Win32API は使いたくありません

871:デフォルトの名無しさん
21/05/16 11:36:10.62 pdS2eoPi.net
使いたくない理由の99%は霧散解消する
胸に手を当てて考えてみればわかる

872:デフォルトの名無しさん
21/05/16 11:42:34.85 g64uh5fx.net
>>855
#include <filesystem>
if(std::filesystem::exists("utf-8のファイル名")) goto hell;
でもダメ？

873:デフォルトの名無しさん
21/05/16 11:42:43.55 SJMOKydl.net
filesystem::path ならUTF16のファイル名で渡せる
UTF8をUTF16にする標準機能が非推奨になっているので注意

874:デフォルトの名無しさん
21/05/16 12:03:52.09 VxksG9ZS.net
>>856
そうですね
 >>857
ありがとうございますやってみます
 >>858
codecvt ですね判ります

875:デフォルトの名無しさん
21/05/16 12:16:34.49 P/WMWyL3.net
移譲は……
クラスAをクラスBに所有させたとき、Bの公開したいいいメソッドを逐一クラスAにも書かねばならないのがﾒﾄﾞｲ
public継承なら継承させるだけで済む
タイピング量の削減は継承で解決すべき問題か、というのはあるが現状はそう

876:デフォルトの名無しさん
21/05/16 12:17:19.51 P/WMWyL3.net
訂正orz、
誤：クラスAをクラスBに所有させたとき
正：クラスBをクラスAに所有させたとき

877:デフォルトの名無しさん
21/05/16 12:21:21.06 mPzmTHCd.net
no_such_method() が C++ にあれば・・・

878:デフォルトの名無しさん
21/05/16 12:41:06.00 P/WMWyL3.net
あとクラスDがクラスBとほぼ共通でBが公開隅でB::foo()を金輪際他の実装を許したくないという3点揃ったケースでは
DをBから継承する他無い
BのインターフェースIBを設けようものならIBを継承してB::foo()の別バージョンを実装してしまうことを阻止できない

879:デフォルトの名無しさん
21/05/16 14:03:39.16 SPtqbmz9.net
そもそも複素数と実数の例がよくない。
確かに要素としては複素数は実数を含むが演算(特に比較演算)は実数のが広い。
そういう意味で例として間違ってる。

880:
21/05/16 14:18:12.81 Hgwjinll.net
>>864
＞複素数は実数を含むが演算(特に比較演算)は実数のが広い。
詳しくお願いいたします
複素数よりも実数の方が「演算が広い」とはどういう意味ですか？
確かに現状は複素数の順序関係はデフォルトで定めていませんが、用途に応じて複素数の順序関係を別途定義すればいいのでは？
例えば複素数の順序関係を複素数の絶対値の大小で定義したっていいのですよ、複素数の範囲での収束を論ずるときにはこれはよくやる手だと私は考えています

881:デフォルトの名無しさん
21/05/16 14:35:50.91 i0aHhWnL.net
>>865
でも、ちゃんとした数学では、それは複素数の絶対値の大小比較に過ぎなくて
複素数自体の大小比較は出来ないということになってる。

882:デフォルトの名無しさん
21/05/16 15:48:44.79 i0aHhWnL.net
>>847
>例えば、数の体系は例えば
>複素数⊃実数⊃有理数⊃整数⊃自然数
>ですが、じゃあ、「複素数」からインプリメントするか？というと、私はそうは思えません
なるほどな。
これは初めて聞いた観点。
言われてみればそうかも。

883:デフォルトの名無しさん
21/05/16 15:53:27.30 i0aHhWnL.net
>>867
動物⊃哺乳類⊃犬
動物⊃哺乳類⊃猫
動物⊃哺乳類⊃馬
・・・
だから、
class 動物 {・・・};
class 犬 : public 動物 {・・・};
class 猫 : public 動物 {・・・};
という例は割りと適切だとされているが、
「複素数⊃実数⊃有理数⊃整数⊃自然数」
であるからといって、
class 複素数 { double m_re; double m_im; ・・・};
class 実数 : public 複素数 {・・・};
class 有理数 : public 実数 {・・・};
とは確かに書きにくそうだな。
オブジェクトのサイズから言っても、実数の場合、複素数よりメンバ変数が減らせるわけだし。

884:
21/05/16 15:56:55.37 Hgwjinll.net
>>866
＞複素数自体の大小比較は出来ないということになってる。
出来ないのではなく、決めていないだけでは？

885:
21/05/16 15:59:49.48 Hgwjinll.net
>>868
その例を使って私が主張したいことは
「リスコフの置換原則は参考にする価値があることは認めるが、リスコフだけが基準ではない」
です、どのような時に型の継承を行うのが適切か、という問いの別の基準を探しています

886:デフォルトの名無しさん
21/05/16 16:04:14.28 i0aHhWnL.net
>>869
x1 < x2 ⇔ x1 - x2 < 0
は一般的に言えるけれど、複素数の場合にこれと同じ法則を成り立つような比較が定義しにくい。
たとえば、あなたが定義したがっているような複素数での比較は、絶対値を採った後の値での比較にするという発想では、
|z1| < |z2| と、|z1 - z2| < 0
が同値ではないから上手く行かない。

887:デフォルトの名無しさん
21/05/16 16:08:32.11 z+wHX2Px.net
>>847
リスコフの置換原則は基底と派生型の間に成り立つ規則を定めているだけで順序は関係ないのでは？
あらかじめ実数を基底として実装した型階層に後から新たな基底として複素数を導入する形でも
規則が成り立つならそれでいい気がする。
もちろんリビルドが必要になる場合もあるだろうけどそれは別の話。

888:デフォルトの名無しさん
21/05/16 16:08:45.37 i0aHhWnL.net
>>871
[追加]
あなたが考えたような複素数における大小比較の定義が、もし数学的に適切ならば、
複素数の1つである実数に対しては、通常の実数の大小比較に戻らなくてはならない。
ところが、2つの実数 x1, x2 に置いては、
|x1| < |x2|
と
x1 < x2
は同値ではない。だから戻らない。
なので残念ながら不適切と言える。

889:デフォルトの名無しさん
21/05/16 16:13:05.98 P/WMWyL3.net
別に
aとbの大小比較は、
a+0iとb+0iの大小比較としてそのまま複素数でも通用する

890:デフォルトの名無しさん
21/05/16 16:14:49.17 P/WMWyL3.net
ちゅか実数クラスRealから複素数クラスComplexを派生させるという話なのに
Realが複素数の比較演算を備えて居なければならないとする前提がおかいし

891:デフォルトの名無しさん
21/05/16 16:15:39.79 6wJymXVG.net
おかいし

892:デフォルトの名無しさん
21/05/16 16:23:25.63 ot3D5jQX.net
一般的に特殊化すると出来ることは増えるんだから別に何もおかしくないだろ
実数は複素数で出来ない大小比較ができる
有理数は実数で出来ない既約分数を求めることができる
自然数は有理数が出来ない素数判定が出来る
それぞれ子クラスにメンバ関数を付け加える事に相当する

893:デフォルトの名無しさん
21/05/16 16:26:30.31 ot3D5jQX.net
書き方まずったけど874の言う通りで
子クラスでしかできない比較のインターフェースを複素数に持たせることがおかしい
抽象ストリームクラスにファイル名を取得するインターフェースを持たせるのと同じようにおかしい

894:デフォルトの名無しさん
21/05/16 16:40:43.08 i0aHhWnL.net
>>875
しかし、メモリー効率まで考えれば
sizeof(複素数)=sizeof(double) * 2
sizeof(実数)=sizeof(double)
なので、
sizeof(実数) < sizeof(複素数)
なのに、
class 実数 : public 複素数 {・・・}
とすると sizeof(実数) >= sizeof(複素数) に必ずなってしまうという問題が出てくる。

895:デフォルトの名無しさん
21/05/16 16:47:30.51 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:デフォルトの名無しさん
21/05/16 16:48:49.37 P/WMWyL3.net
これが有理数クラスとかだったら普通の人は整数クラス2つを所有するクラスとして設計するであろう、

898:デフォルトの名無しさん
21/05/16 16:52:20.99 i0aHhWnL.net
>>875
読み違えていた。
>ちゅか実数クラスRealから複素数クラスComplexを派生させるという話なのに
is_a の関係から考えた OOP の哲学から言えば、逆さまになってしまうということ議論している。

899:デフォルトの名無しさん
21/05/16 16:53:00.26 i0aHhWnL.net
>>881
なるほどな。

900:デフォルトの名無しさん
21/05/16 17:04:19.10 i0aHhWnL.net
>>874
通常の数学ではそんな定義されてない。
複素数 z の次数部分を Re[z] で表した時、2つの複素数 z1, z2 に
対する比較 z1 > z2 を
Re[z1] > Re[z2]
と定義する方法は可能と言えば可能ではあるが。
しかし、複素数は複素平面上で原点の中心とした回転対象の性質を大体
持っているから、実数だけを特別扱いすることは、余りよくは無い。
(いくつかの一般的性質で破綻が起きる可能性が高い)。

901:デフォルトの名無しさん
21/05/16 17:04:53.66 i0aHhWnL.net
>>884
誤: 次数部分
正: 実数部分

902:デフォルトの名無しさん
21/05/16 17:05:51.62 i0aHhWnL.net
回転対象 ---> 回転対称
すまん、リアルではややこしいプログラムを考え中だから。

903:デフォルトの名無しさん
21/05/16 17:24:06.95 zQRyfSSF.net
連投やめーや

904:デフォルトの名無しさん
21/05/16 18:29:06.20 Ot9k7H7E.net
学部数学の話をｇｄｇｄ続けてる奴らは順序体でググってくれ
複素数体に勝手な比較関係はいくらでも入れられるけど（辞書式順序も含めて）、どう入れても算術と両立しないから役に立たないんだよ
プログラム的にはソートのために便宜的な物を入れることはあるだろうが、数学的には無意味

905:
21/05/16 18:41:17.24 Hgwjinll.net
>>884
まあ複素数体上でノルムを考えることはあっても広く「使える」全順序を定義するのはむずかしいでしょうね…
ノルムと順序関係を混同していてミスリードを引き起こしていたことは私のせいです、ごめんなさい

906:
21/05/16 18:42:18.41 Hgwjinll.net
>>888
数学的に無意味、とか言い切られちゃうとかえって反発したくなりますね…

907:デフォルトの名無しさん
21/05/16 18:54:33.03 eRJ7ea1d.net
>>890
いや、数学では、対称性や破綻の無さ、一般性などを考慮するので
その意味での「大小関係」は「入れることが不可能」ということを
これまた数学的に証明できる、と彼は言っているのだと思われる。
だから、個人的に意味があると考えても、数学体系としてはダメ
ということ。

908:デフォルトの名無しさん
21/05/16 18:54:54.54 Ot9k7H7E.net
>>890
反発するのは勝手だけど、何をどう入れたってただのR^2の順序にしかならないんだよ、これは数学的に証明された事実
実数ペアと見なした順序でしかないものを無理矢理「Cの順序」と言い張ってどうすんのさ
Cの構造と両立しないのに

909:デフォルトの名無しさん
21/05/16 18:57:23.87 eRJ7ea1d.net
そういえば、二次元の実数を一次元の実数と対応させる事は不可能という証明
があって、順序集合であるためには一次元の実数と対応できないといけない
ことも証明できる、というようなことも関係あるのかな。

910:デフォルトの名無しさん
21/05/16 19:02:48.71 Ot9k7H7E.net
だから順序体でググれよ
全然関係ないし、そもそもRとR^2の全単射はあるし（無限集合論の有名な話）

911:デフォルトの名無しさん
21/05/16 19:30:05.59 eRJ7ea1d.net
>>894
濃度論で
|(0,1]|=|R|
|R|=|R x R|
や
|R|=|R^n|
というやつですか。

912:デフォルトの名無しさん
21/05/16 19:38:32.84 eRJ7ea1d.net
自然数の集合と実数の集合の間には全単写が無く、前者がアレフ_0、
後者がアレフ_1でしたかな。
それと記憶違いしてたかも。

913:デフォルトの名無しさん
21/05/16 19:51:17.83 Is982dSx.net
>>890
アホすｗｗ
やっぱりQZは頭悪いなあｗｗｗ
複素数のハウスホルダー法によるQR分解のプログラム書いてみろよ
できねーからｗ

914:
21/05/16 19:57:33.82 Hgwjinll.net
>>893
＞順序集合であるためには一次元の実数と対応
それは順序関係のなかでも一番強い全順序（反射律・推移律・反対称律・全律）についてならば理解できますが、よくある普通の順序＝半順序（反射律・推移律・反対称律）の場合はどうでしょうか
 >>894
連続体の濃度ですね

915:
21/05/16 20:00:22.86 Hgwjinll.net
>>897
そんな急に難しいこと言われても高卒には無理ですよぅ
今はカラツバ法に御執心なんです、でもキーワードありがとう

次ページ