[表示 : 全て 最新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/

テンプレここまで

538 名前:デフォルトの名無しさん mailto:sage [2021/04/28(水) 15:27:17.73 ID:+7CWSFOZ.net]
>>527
おっと、aのサイズが〜の間違い

539 名前:デフォルトの名無しさん mailto:sage [2021/04/28(水) 15:51:27.64 ID:P5vpmJVI.net]
>>515
そうか、禿Stroustrupは数学を知らないのか

540 名前:デフォルトの名無しさん mailto:sage [2021/04/28(水) 15:52:12.82 ID:Kf9DoDRw.net]
pのサイズ変わるのもまずいよね?
勝手に new/delete されて使用不能になりえるので

541 名前:デフォルトの名無しさん mailto:sage [2021/04/28(水) 16:03:18.23 ID:P6pu+tTf.net]
>>529
どこからそういう結論になった?

542 名前:デフォルトの名無しさん mailto:sage [2021/04/28(水) 16:04:05.01 ID:P6pu+tTf.net]
>>530
何がまずい?
勝手にnew/deleteとは?

543 名前:デフォルトの名無しさん [2021/04/28(水) 16:06:25.57 ID:7RK+jwPd.net]
>>530
晒しage

544 名前:デフォルトの名無しさん mailto:sage [2021/04/28(水) 16:18:30.85 ID:eLEqCP2l.net]
>>530
ダメな例をコードで示してくれ

545 名前:デフォルトの名無しさん mailto:sage [2021/04/28(水) 16:28:13.84 ID:c0w2coaF.net]
自作クラスや構造体に対して範囲forを使うための条件って、そのクラスや構造体が
・メンバ関数としてbegin()、end()を持つ
・begin()、end()が間接参照演算子、インクリメント演算子、不等価演算子を持つクラスか構造体を返す
で合ってますか?
cpprefjp見てたら一個目の条件しか書いてなかったんですが、二個目の条件要りますよね?

546 名前:はちみつ餃子 mailto:sage [2021/04/28(水) 16:35:30.69 ID:cpOEbmvB.net]
>>535
前者の条件はコンテナの要件として書かれているが、
後者はイテレータの要件として定義されているはずだぞ。



547 名前:デフォルトの名無しさん mailto:sage [2021/04/28(水) 18:23:34.44 ID:c0w2coaF.net]
もう一個質問させてください
範囲for文ってfor文スコープ外の変数を使えないんですか?
int i;
vector<int> v;
// v を初期化
for(i: v){
...
}
みたいなことをしたいです

548 名前:デフォルトの名無しさん mailto:sage [2021/04/28(水) 18:36:49.45 ID:7AKt1vSf.net]
>>535
なぜ不要だと思った?

int begin();
じゃダメだろ?

549 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 06:49:31.89 ID:1rAkIDNr.net]
>>531
ISBN4-7561-1895のP.500 16.1.1 設計上の制約

550 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 06:50:25.72 ID:+7uc9ATw.net]
>>538
最近こういうゴミ返しするバカめっちゃ増えたね、このスレ
「intじゃダメ」は「間接参照演算子、インクリメント演算子、不等価演算子を持つクラスか構造体である必要がある」を全く意味しないだろ……
一方で、ではイテレータを返せば良いのかというとそこまで条件が厳しいわけでもなくて、イテレータ「らしき」性質を持ったクラスを返せば良いということなので、この話はそこまで単純じゃない

そういうこと全く分かってないバカが場当たり的な回答をしてるのは甚だ不快ですね

551 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 07:36:35.34 ID:fshfa4aU.net]
えっっ
Tをイテレータ様のふるまいを示す型として
T begin()だけではダメで
T end()も最低限定義いないといけないんじゃ……

552 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 07:50:14.64 ID:1rAkIDNr.net]
>>537
できない

int i;
vector<decltype(i)> v;
// vを初期化
for (auto&& j : v)
{
i = j;
// iを使用
}
のようなことになる

553 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 08:34:23.25 ID:3mmNht9g.net]
>>540
反例を1個あげれば十分
あとは自分でかんがえろってこと

お前は何か役立つ回答をしたか?

554 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 08:51:08.82 ID:fshfa4aU.net]
質問者がbegin()とend()の定義の必要性を把握しているのに対して
begin()のみではNGだとレスするのがそんなにドヤるほどのことなのかどうか……

555 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 08:55:45.00 ID:3mmNht9g.net]
>>544
前者ってbeginのことだと思っちゃった?
お前日本人じゃないだろ

556 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 09:04:34.25 ID:6rdxVFZp.net]
>>542
ありがとうございます
v は必ずしも vector<int> ではなく vector<vector<int>> とかで、かついっぱい回るループを想定してるのでできるだけ定数倍を軽くしたいのですが、j を右辺値参照にすればコピーは起きないので相当マシと思って良いですかね



557 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 09:07:08.51 ID:1rAkIDNr.net]
右辺値参照つってもauto&&は左辺値参照も兼ねるぞ

558 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 09:16:30.33 ID:fshfa4aU.net]
>>545
ちょっじゃあ>>538のレスのどこが反例だったの??

559 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 09:22:13.70 ID:3mmNht9g.net]
二個目の条件に反してる

560 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 09:41:24.58 ID:fshfa4aU.net]
>>549
別に
https://ideone.com/VLjCjO

561 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 10:20:12.63 ID:gzXxIopT.net]
https://ideone.com/bERbqr

562 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 10:26:57.88 ID:6rdxVFZp.net]
>>547
for()のカッコの中でiをjの参照として定義できたらそれでも良いんですが、そういうことはできるんでしたっけ?

563 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 10:28:45.87 ID:6rdxVFZp.net]
すみません「定義」というよりは、forのスコープの外にiの宣言はあって、for(ここ)でiがjの参照であることにできたら良いってことです

564 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 10:29:35.81 ID:fshfa4aU.net]
>>551
ちょっそのforまで範囲forに含めるんなら>>535に加えてbegin()やend()が返す型がデリファレンス可能という条件が必要なんじゃ……

565 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 10:35:45.46 ID:gzXxIopT.net]
は?加えて?
>>535に入ってるだろ
最初からrange-basedの話なのに屁理屈言ってるから突っ込んだだけだよ

566 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 11:07:16.11 ID:1rAkIDNr.net]
&g



567 名前:t;>553
i が j の参照ということは
int& i = j;
という宣言が必要で、
int i;
としてしまったものを後で参照に変更ということはできない
[]
[ここ壊れてます]

568 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 11:10:24.28 ID:6rdxVFZp.net]
>>556
reference_wrapper って
i = ref(j);
みたいなことできませんっけ?

569 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 11:52:35.69 ID:1rAkIDNr.net]
>>557
無理
実体定義された変数を途中から参照に変更なんて

570 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 12:28:01.48 ID:vjsl7cGC.net]
ポインタと参照の決定的な違いはそこだね

571 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 12:46:42.20 ID:yUiVUiFp.net]
>>541
begin()とend()の型が一致してる必要はない(C++17〜)

572 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 13:03:31.68 ID:K/HFYMcp.net]
https://negation.hatenadiary.org/entry/20111203/1322876171
↑で、簡単に書けば、
class Book {・・・};
class Novel : public Book{・・・};
class Comic : public Book{・・・};
class Shelf { public: std::vector<Book> list; ・・・ };
Shelf g_shelf;
int main(void) {
Novel n = Novel("Hoshio wo tugumono");
Comic c = Comic("Kimetsu no Yaiba");
Shelf s = Shelf();
g_shelft.list.push_back(n);
g_shelft.list.push_back(c);
}
のようになっているところがあるけど、
vector<Book>って、Bookの実体の動的配列で、
Book a[100];
とにら様なものだと思うんだけど、NovelやComicのクラスのバイトサイズが
Bookを越えたら、入りきれないと思うんだけど、これで合ってる?
合ってるとしたら、どういう仕組み?
もしかして、vector<Book>って、
Book *p[100];
みたいな配列なの?

573 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 13:05:10.26 ID:K/HFYMcp.net]
>>561
すまん。間違った。正しくはこう :
int main(void) {
Novel n = Novel("Hoshio wo tugumono");
Comic c = Comic("Kimetsu no Yaiba");
Shelf s = Shelf();
s.list.push_back(n);
s.list.push_back(c);
}

574 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 13:10:29.61 ID:yUiVUiFp.net]
>>561
s.list.push_back(n);のところはn(Novel)のBook部分を首チョンパしてコピーしたオブジェクトがpush_backされる
スライシングというよく知ら

575 名前:黷スホラー現象 []
[ここ壊れてます]

576 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 13:10:34.24 ID:K/HFYMcp.net]
https://stackoverflow.com/questions/16126578/vectors-and-polymorphism-in-c
↑によれば、やっぱり、>>561>>562 のようなやり方は間違いで、
std::vector<T> の T は、Bookではなく、shared_ptr<Book> のようなものを入れるべきで、
以下の様になっている。だから、>>561>>562 は間違いだよね?
class Instruction {・・・};
class Add: public Instruction{・・・};

typedef shared_ptr<Instruction> PInstruction;
vector<PInstruction> v;
v.emplace_back(make_shared<Add>());



577 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 13:16:01.96 ID:yUiVUiFp.net]
>>564
その認識で合ってる
561のShelfにはNovelやComicじゃなくて、そいつらから刈り取った生首が並んでる
絶対やったらいかんやつ

578 名前:デフォルトの名無しさん mailto:sage [2021/04/29(木) 13:19:09.72 ID:K/HFYMcp.net]
>>563
なるほど、では、正しい書き方としては、たとえば、こうかな:

class Book {・・・};
class Novel : public Book{・・・};
class Comic : public Book{・・・};

typedef shared_ptr<Book> PBOOK;

class Shelf : public std::vector<PBOOK> {・・・};
Shelf g_shelf;

int main(void) {
std::shared_ptr<Novel> n = make_shared<Novel>("Hoshio wo tugumono");
std::shared_ptr<Comic> c = make_shared<Comic>("Kimetsu no Yaiba");
g_shelf.push_back(n);
g_shelf.push_back(c);
}

579 名前:はちみつ餃子 mailto:sage [2021/04/29(木) 18:07:20.75 ID:x0Vd7BP9.net]
パブリック継承している型のオブジェクトが基底クラスへ暗黙に型変換されるのは抑止する方法がないんだよな。

580 名前:デフォルトの名無しさん mailto:sage [2021/04/30(金) 01:30:09.20 ID:7VhEvZ/Q.net]
>>567
Dog d;
の時に func( Animal &a )に対して、
func(d);
がエラーにならないということ?

581 名前:デフォルトの名無しさん mailto:sage [2021/04/30(金) 08:17:30.86 ID:tsrXe0Ut.net]
それは別に問題ない
func(Animal a)だとやばい

582 名前:デフォルトの名無しさん mailto:sage [2021/04/30(金) 09:32:28.19 ID:W8up1rh0.net]
funcがAnimalの情報しか使わないんなら別にいいんだけどね
単にポリモーフィズムにはポインタか参照が必要ってだけ

583 名前:デフォルトの名無しさん mailto:sage [2021/04/30(金) 09:52:57.56 ID:dyTEtgxA.net]
shared_ptr<T>もいけるでしょ
スタックを使った60バイト近いメモリーコピーが発生するから最適ではないけど

584 名前:デフォルトの名無しさん mailto:sage [2021/04/30(金) 10:40:50.56 ID:7VhEvZ/Q.net]
>>569
class Animal {・・・};
class Dog : publoic Animal {・・・};
std::vector<Animal> g_list;
void func( Animal &a )
{
 g_list.push_back(a);
}
int main()
{
 Dog d;
 func(d); // コンパイルエラーにはならないのに、スライシングが発生。駄目な例。
 return 0;
}

585 名前:デフォルトの名無しさん mailto:sage [2021/04/30(金) 11:02:34.65 ID:Qm/DlA0m.net]
>>572
スライシングが発生してるのは g_list.push_back(a) であって、 func( Animal &a ) は関係ないでしょ。

586 名前:デフォルトの名無しさん mailto:sage [2021/04/30(金) 11:21:35.01 ID:qs5VuYRE.net]
なんで範囲for文ってBOOST_FOREACHを完全に置き換えれるようにしなかったの?
>>537,542はそれで解決するし、逆順のループとかもできるのに



587 名前:デフォルトの名無しさん mailto:sage [2021/04/30(金) 11:34:29.27 ID:vL4rFdIy.net]
ポリモーフィズム前提の時は、コピーコンストラクタはdeleteするのが良いのかね

588 名前:デフォルトの名無しさん mailto:sage [2021/04/30(金) 11:43:26.05 ID:qs5VuYRE.net]
あー範囲forが使える条件とBOOST_FOREACH使える条件って違うのか
後者は自作クラスじゃ使えない?
あるいは使える条件が>>535と違う?

589 名前:デフォルトの名無しさん mailto:sage [2021/04/30(金) 11:48:46.39 ID:7VhEvZ/Q.net]
>>573
この場合、スライシングが発生しても問題ない、という観点もあるかも。

590 名前:デフォルトの名無しさん mailto:sage [2021/04/30(金) 12:01:43.38 ID:W8up1rh0.net]
>>575
そしたら派生クラス同士でコピー出来んやろ、コピー禁止にしたいのでなければ書くべき(で派生のコピーコンストラクタで基底のコピーコンストラクタを初期化リストから呼ぶ

必ず派生させて使うのが前提ならコンストラクタをprotectedにするとかその辺のテクニックは大昔から色々出てる

591 名前:デフォルトの名無しさん mailto:sage [2021/04/30(金) 12:18:33.85 ID:7VhEvZ/Q.net]
スライシングが起きるとき、基本クラス部分だけをコピーすることになるが、
その際、仮想テーブルへのポインタが継承クラス用のままだと、コピー後の
操作が危険になる可能性があるが、もし、仮想テーブルへのポインタを
基本クラス用に変えてしてしまえば、コピー後の動作は完全に基本クラス的に
なってしまうけれど、その反面、メンバー関数を呼び出しても特にメモリーの
破壊などは起きないはず。
そのようにしてしまえばスライシングが起きても問題ないような気が。

592 名前:デフォルトの名無しさん mailto:sage [2021/04/30(金) 12:31:22.41 ID:W8up1rh0.net]
>>578て書いたけど実際ポリモーフィズム目的の継承ツリーだとコピー禁止にしてること多いな・・
どうせポインタ(orスマポ)で管理するから確かにコピー禁止のが無難かもね

593 名前:デフォルトの名無しさん mailto:sage [2021/04/30(金) 12:38:12.34 ID:5yvxXz0O.net]
>>570
それぞれのコピコンをプログラマが自由に記述できる以上、例えAnimalの情報しか参照しないとしても問題が起こることはあるんじゃね?
例えば、DogのコピコンはAnimal::cuterThanCat変数を強制的にtrueに書き換えてるかもしれない

594 名前:デフォルトの名無しさん mailto:sage [2021/04/30(金) 12:51:39.69 ID:W8up1rh0.net]
>>581
戦争勃発するぞ

まぁスライシングが常に危険とは限らないと言いたかっただけ

595 名前:デフォルトの名無しさん mailto:sage [2021/04/30(金) 14:49:19.98 ID:qs5VuYRE.net]
誰かBOOST_FOREACHを自作クラスに使う条件教えてください

596 名前:はちみつ餃子 mailto:sage [2021/04/30(金) 16:01:39.38 ID:Efpw+/b3.net]
>>583
https://www.boost.org/doc/libs/1_76_0/doc/html/foreach/extensibility.html



597 名前:デフォルトの名無しさん mailto:sage [2021/04/30(金) 20:24:33.87 ID:QZYh0z4M.net]
>>579
>スライシングが起きるとき、基本クラス部分だけをコピーすることになるが、
>その際、仮想テーブルへのポインタが継承クラス用のままだと、コピー後の
>操作が危険
そんな恐ろしいことが!
と思って試したが、少なくともデフォルトのコピコンは仮想関数テーブルへのポインタを
コピー先の型に合わせて付け替えてくれるらしい

↓そうでなけれはfunc_with_ref(Animal a)の中でa2.get()がDogの値でなくAnimalの値を返す説明がつかない
https://ideone.com/eJMsYG

規格でどうなっているかは知らん

598 名前:デフォルトの名無しさん mailto:sage [2021/04/30(金) 20:25:50.19 ID:QZYh0z4M.net]
訂正orz、
誤: そうでなけれはfunc_with_ref(Animal a)の中で
正: そうでなけれはfunc_with_copy(Animal a)の中で

599 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 07:00:40.64 ID:2eVlBBCY.net]
ていうかよく考えたらAnimalのコピコンは
Animalのコンストラクタでもあるのだから>>585の挙動は当然かorz

600 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 09:21:42.94 ID:C4kuj/yW.net]
コピコン

601 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 09:28:33.15 ID:18idEqJd.net]
コピコン
たまに見る
頭悪そう

602 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 10:19:04.33 ID:tHuso9oJ.net]
でもコピーコンストラクターって長いよね

603 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 10:26:47.50 ID:2eVlBBCY.net]
コンストラクタはコンストラ
コピーコンストラクタはコピコン
デストラクタはデストラ
アルゴリズムはアルゴ
と略すのが効率的

604 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 10:31:05.38 ID:Jen9oEOj.net]
取引先がそんな言葉を使ってきたら
今後の契約を考え直すかも
少なくとも評価はマイナス

取引先とそんな細かい内容を話す打合せも無いだろうけど

605 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 11:21:44.35 ID:fSkONWKY.net]
>>591
気持ち悪い略語だな

606 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 12:04:39.12 ID:zZz/KCNF.net]
デストラw



607 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 12:14:30.82 ID:yzll/vyD.net]
ctor,dtorは一般的な略語?

608 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 12:14:41.90 ID:toT74GP1.net]
機能を引き継ぐために継承して、インスタンス化して使うために移譲もしたい

継承も移譲もするのってありですか?

609 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 12:45:03.96 ID:toT74GP1.net]
わかんねえ
継承が相応しくない場合が山程あるのはわかった
継承が相応しくないが一部機能を引き継ぎたいときは、コードのコピペをするべきなのか?

610 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 12:53:12.87 ID:C4kuj/yW.net]
独立させる

611 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 13:13:50.17 ID:toT74GP1.net]
>>598
より小さいクラスか構造体として切り出すということ?

612 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 13:18:13.99 ID:T/ErWrJ0.net]
private継承じゃダメなの?

613 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 13:52:11.96 ID:toT74GP1.net]
>>600
ダメってことはもちろんなくて、そう実装することにすればそう実装するだけだが、継承である以上は依存関係が生じるし、相応しくない場合もあるなあと思うだけ

614 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 13:54:03.05 ID:TBkH44Fh.net]
intをとるかcharを取るかで振る舞いを変えるオーバーロード関数って作れるんですか?
その場合、受け取ったのがintかcharかプログラムはどうやって見分けるのですか?

615 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 14:19:20.97 ID:I2agxka5.net]
オーバーロードという単語を知っておきながら、何故できないと思ったんだ

616 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 16:00:09.42 ID:qPtffzbe.net]
>>602
関数シグネチャってもんがあるわけよ。
リンカは関数名ではなくこのシグネチャでリンクする。
引数の型が変わるとこのシグネチャが変わるので、
プログラムというかコンパイラはそれを間違えることはない。



617 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 16:28:04.60 ID:18idEqJd.net]
intとcharは使う側が間違いやすいから
間違えたら問題がある場合は名前を変えよう

618 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 16:37:35.74 ID:JkRHvcmQ.net]
>>604
厳密に言えばリンカは関数名しか見ない。
C++はオーバーロードのためにシグネチャの違いを関数名に埋め込むマングリングを行う。

619 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 17:09:26.40 ID:1WejqaZh.net]
>>602
C++で関数呼び出しを書いた場合、どの関数が呼び出されるかは
Best Matching Algorithm で選ばれているので実引数が charの場合は、
同じ場所の仮引数がcharである関数を優先的に選ぼうとする。
もし、同じ場所の仮引数がcharであるものが見つからなければ、
同じ場所の仮引数が int であるものを探して、見つかればそれを選択する。
このとき、実引数と仮引数の型の「距離」のような概念があり、
距離が近いものが選ばれる。複数の引数が有る場合で、二つの引数で
距離が近い関数がどっちもどっちになる場合には、「曖昧」であると、
され、エラーになる。

>その場合、受け取ったのがintかcharかプログラムはどうやって見分けるのですか?
ここであなたの言っている「見分ける」という意味が分かりにくいが、
オーバーロードされた関数は、C++レベルでは同じ名前に見えていてもが
アセンブラレベルでは別の関数名になっていて、別の関数として扱われていて、
別の関数が呼び出されているから「見分ける」以前問題になっている。

620 名前: mailto:sage [2021/05/01(土) 17:16:10.99 ID:m+tkSw04.net]
>>591
コピコン以外は使わないです‥‥

621 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 17:24:45.49 ID:CnJDnM0a.net]
>>606
「リンカは関数名しか見ない」はおかしい。
リンカが見るのは、関数名を含むシグネチャをマングリングした結果のシンボル名。

622 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 17:29:02.27 ID:1WejqaZh.net]
>>605
それは、実際そうだと思う。
char idx = xxx;
func( 'a' + idx );
と書いた場合、func(int)とfunc(char)のどちらが呼び出されるのかを
事前に予想するのは非常に難しい。
なぜなら、伝統的にCでは、char + char は、それぞれが int に昇格
されてから、int + int になって、結果も int になるとされていたから。

623 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 18:00:18.46 ID:1WejqaZh.net]
ファイル出力で、1バイト出力と4バイト出力の違いは、単に人間が見るための
stdout出力とは訳が違って、後からファイルを入力する時にその部分のバイト数の違い
が大きな意味を持つので、オーバーロードの仕組みだけでコンパイラに自動振り分け
させるのは、分かりにくいバグを入れてしまう可能性がある。
なので、やはり、出力するのは1バイトなのか4バイトなのかを、明確に関数名で
区別できるようにした方が望ましいと思われる。

624 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 18:45:41.91 ID:JkRHvcmQ.net]
>>609
そのマングリングした名前で関数を呼び出すことができるわけだし、関数名以外の何物でもないと思うが。
そもそもリンカはマングリングされているのかされていないのかも関知しないし。

625 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 18:55:40.94 ID:u3yKRN8V.net]
> 589 名前:デフォルトの名無しさん[sage] 投稿日:2021/05/01(土) 09:28:33.15 ID:18idEqJd [1/2]
> コピコン
> たまに見る
> 頭悪そう

>>595に何も言えねえ
頭悪そうw

626 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 19:59:37.32 ID:tHuso9oJ.net]
マングリング、ってなんかイヤらしいよね



627 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 20:50:21.52 ID:TTMGRbh+.net]
>>612
?h@@YAXH@Z みたいなのを関数名って言うのは違和感しかないわ

> そもそもリンカはマングリングされているのかされていないのかも関知しないし。
それを言うならリンカは関数かどうかすら関知してない

628 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 21:00:22.23 ID:CnJDnM0a.net]
>>612
むちゃくちゃだなぁ。わざわざ用語をごっちゃにして何がうれしいの?
シンボルが関数を指すのか変数その他を指すのかもリンカは関知しないんじゃないの?
たとえば ld のマニュアルに function name なんて一度も出てこないし。
https://linux.die.net/man/1/ld
> ld combines a number of object and archive files, relocates their data and ties up symbol references. ...

629 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 21:25:44.91 ID:18idEqJd.net]
私は「関数名」派
C++のコンパイラは元々はC++からCに翻訳してたわけだし

630 名前:デフォルトの名無しさん mailto:sage [2021/05/01(土) 21:27:05.03 ID:18idEqJd.net]
まあどっちでもいいけど

631 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 00:16:29.81 ID:r2Ed4Ypi.net]
>>616
だなあ。
C++のコードにおいて、関数名と呼ぶ場合、それはマングリング込みとかのシグネチャではなく
あくまでもソースコード上にある関数の名前だからなあ。

>>618
これはあんまりどっちでも良くない。
つか、>>612の言い分を認めるとオーバーロード/オーバーライドってもんがなんだか分からなくなるw
同じ関数名で関数の実装を選べるってのがオーバーロード/オーバーライドだから。

632 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 01:13:49.22 ID:hoeVnODB.net]
オーバーライドの意味も知らない子は無理して回答しなくていいよ

633 名前:デフォルトの名無しさん [2021/05/02(日) 01:21:37.53 ID:AyQRjFej.net]
C++初心者はクラス継承の学習にこだわりテンプレートの学習が後回しになるので、テンプレートが最適解になることが多いと悟るのが遅くなる

634 名前:デフォルトの名無しさん [2021/05/02(日) 01:23:19.71 ID:liMkj8Q9.net]
オーバルライトは新しいからね。

635 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 01:39:37.43 ID:uIjrwEP9.net]
>>619
Cに翻訳された段階だと変数名まで含んだ名前が関数名
当然リンカの段階ではC++の関数名は残って無い
C++以外のドメインでどれが関数名かを議論すること自体意味がない

636 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 01:40:39.79 ID:uIjrwEP9.net]
>>610
されていたって...
今もそうだよ



637 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 06:37:18.08 ID:pZrwNqHn.net]
>>619
overrideキーワードは派生クラスで仮想関数を上書きするときに使う
overloadキーワードはcfront 1.0世代のC++で関数を多重定義する予告として使われていた

638 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 08:57:49.73 ID:rpBXKN7W.net]
基底クラスBで定義された int foo(double x) が派生クラスD1、D2でオーバーライドされた場合、
同じ「foo」という関数名に対して
 Bのクラス名が入ったマングルされたシンボル _$F_B__foo_INT_1_DBL
 D1のクラス名が入ったマングルされたシンボル _$F_D1_foo_INT_1_DBL
 D2のクラス名が入ったマングルされたシンボル _$F_D2__foo_INT_1_DBL
みたいな3種類のシンボルがリンカに渡されることになり(マングリング規則は適当
、{ オーバーライドされた関数名 }と{ オーバーライドされたシンボル }の
1対1対応は崩れるのだから
 関数名≠関数のシンボル
を示す例としてオーバーライドはオーバーロードと同じく妥当であることは変わりが無い

、と思うが知らん

639 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 09:20:39.13 ID:aspEWHUD.net]
>>621
継承とテンプレートが対立するかのように考えてる時点で
テンプレートどころかクラスや継承もまともに理解できてないやつの発言にしか見えない

640 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 10:53:26.72 ID:r2Ed4Ypi.net]
>>626
丁寧な御説明ありがとう。
それで正しいですよ。

641 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 12:10:24.45 ID:tUw9C2ed.net]
このクソ議論見ても関数オーバーロードの仕様は失敗してるってのがよくわかる。

642 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 12:12:19.26 ID:KNEFHTDE.net]
…などと意味不明の供述をしており、

643 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 12:47:09.45 ID:72ULtZJb.net]
悪い子: この仕様はクソだ!
普通の子: この仕様は〇〇だから良くないね
良い子: この仕様は〇〇だから良くないね、△△とすれば良いのに

644 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 13:06:19.55 ID:hoeVnODB.net]
>>626
それは単に別のクラスで同じ名前のメンバ関数はシンボルが違うってだけの話だろ
オーバーライドは全く関係ない
そもそもオーバーライドの関数選択はvtblの仕事だからリンカは何も関知してない
オーバーロードと並べて語る意味が全くわからない

645 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 13:16:03.71 ID:B3yuABqk.net]
ダンバインよりビルバインのほうが好き

646 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 13:18:20.36 ID:rpBXKN7W.net]
(話に付いてこれてない香具師が居るな



647 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 13:20:32.85 ID:rpBXKN7W.net]
>そもそもオーバーライドの関数選択はvtblの仕事だからリンカは何も関知してない
では聞くがvtblに乗っける関数へのポインタのアドレスは誰が最終的に決めるんじゃ

ちな1つのクラスのメソッドの定義が必ずしも同一の翻訳単位内とは限らないから、
相対インデックス指定の出番は無い=コンパイル時解決は不可能

648 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 13:26:01.49 ID:hoeVnODB.net]
>では聞くがvtblに乗っける関数へのポインタのアドレスは誰が最終的に決めるんじゃ
実行時に実行バイナリが決めるに決まってるだろ
リンカがリンク時に静的に決めるとでも思ってるの?すげえなそのリンカ

649 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 13:27:21.13 ID:anCj3LhS.net]
>>633
それはオーラロード

650 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 13:46:56.51 ID:KNEFHTDE.net]
よく知らんけど、多くの場合vtblを作るのはコンパイル時であって、リンク時でも実行時でもないのでは?

651 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 13:50:36.00 ID:h6as2k/z.net]
>>635
vtbl内のアドレスを最終的に決めるのはリンカなんだろうけど、それは
「オーバーライドの関数選択はvtblの仕事だからリンカは何も関知してない」と両立するので
反論ぽく挙げてる意味がわからない。

652 名前:デフォルトの名無しさん [2021/05/02(日) 13:51:49.77 ID:AyQRjFej.net]
ビルバインはもっと禍々しいデザインになる予定だったが、競合アニメだったマクロス・シリーズの影響で変形ギミックが追加され色も派手になった

653 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 13:53:08.50 ID:B3yuABqk.net]
>>637
分かってくれてありがとうw

654 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 13:53:56.96 ID:01FRJ74M.net]
おまいら中身のある会話しろよ
ひまなの?

655 名前:はちみつ餃子 mailto:sage [2021/05/02(日) 15:30:38.46 ID:VAfyzxcR.net]
せやで。

656 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 18:29:19.65 ID:r2Ed4Ypi.net]
>>627
実際にプログラムを改修したりする場面では継承とテンプレートどちらでやるか
悩むってのはよくある話。
テンプレートだと元のクラスをいじらなくちゃならないからためらいがち。
その点継承だと元のコードいじらなくて(あるいは最小限の修正で)済むからな。
継承してテンプレートってのもなしじゃないがw継承するくらいなら、テンプレートまで
やんないw



657 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 18:44:15.42 ID:01FRJ74M.net]
継承とテンプレートって全然違うけど
悩む場面が想定出来ない

658 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 19:07:17.74 ID:ZwmHpnzp.net]
もう継承はしなければしないだけ偉いっていう気持ちになって久しい
つーかOOPに飽きてるというか見限ってる
C++を使ってるのは単に自由度が高くてパフォーマンスが良いから

659 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 19:55:42.70 ID:BSsO48AF.net]
OOPに飽きてる俺すげー

ってかw

660 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 20:02:15.30 ID:aspEWHUD.net]
普段どの程度の規模のどういうコード書いててその結論に至ったかで評価が変わるな

661 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 20:06:12.37 ID:aspEWHUD.net]
>>644
改修にテンプレートがどう役立つのか想像つきにくいけど
そのコードが前提としてる特定の型以外でも受け入れられるようにするとか?
(それで継承とテンプレートどっちが優れてるという話にはならない気がするが

662 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 22:27:50.57 ID:r2Ed4Ypi.net]
>>649
> そのコードが前提としてる特定の型以外でも受け入れられるようにするとか?
まあ、一番単純なパターンだとそれだね。

まあ、自分は>>621ではないので、
> (それで継承とテンプレートどっちが優れてるという話にはならない気がするが
その真意はわからんけど、自分の経験でも対処療法的に継承でやっつけちゃうより
やっぱりテンプレート化しときゃ良かった、と思ったときは多々あったw
(「神は細部に宿る」んだわ、ほんとw)

663 名前:デフォルトの名無しさん mailto:sage [2021/05/02(日) 22:42:08.00 ID:Uu9e0iPh.net]
低レイヤーコードの置き換えを前提にモデル化できるってのがオブジェクト指向の一つの売りだが
まああんまりそこの置き換えってしないわけだわな。
言うほど有効な場面は多くないってのはそれはそう。
素直に関数かけやって場面のが圧倒的に多い。

664 名前:デフォルトの名無しさん mailto:sage [2021/05/03(月) 03:06:36.21 ID:cgOLnSCp.net]
>>651
オブジェクト指向や継承の概念を使いまくっても、メンバ関数の形で
関数は書きまくるよ。

665 名前:デフォルトの名無しさん mailto:sage [2021/05/03(月) 03:09:53.91 ID:cgOLnSCp.net]
>>651
>低レイヤーコードの置き換えを前提にモデル化できるってのがオブジェクト指向の一つの売りだが
>まああんまりそこの置き換えってしないわけだわな。
>言うほど有効な場面は多くないってのはそれはそう。
めちゃくちゃ低レイヤーな部分の書き換えは余り起こらないけれど、
クラスは階層的に継承して行くから、中間的な部分は結構修正が入る。
また、やはり仮想関数(ポリモーフィズム)の作法は便利。

666 名前:デフォルトの名無しさん mailto:sage [2021/05/03(月) 03:15:32.93 ID:cgOLnSCp.net]
>>653
というか、基本クラスの Animal 的なクラスの修正はそんなに頻繁には入らなくて、
Dog, Cat, Lion, Bird, Fish みたいな部分の修正がプログラミングの主戦場になる。
例えばゲーム作りの場合、Animalクラスの中にwalk(), eat(), battle(), sleep(),
jump(), set_velocity(), set_position() などを仮想関数で用意しておいて、
Animalを継承したDog, Cat, Lion, Bird, fishみたいなクラスがそれぞれ
どのように歩いて、どのように食べて、どのように戦って、どのように寝て、
どのようにジャンプするかをプログラムするというのはとても便利。
クラスや継承、仮想関数の概念が無ければその様に便利にプログラムする
ことは簡単にはいかない。



667 名前:デフォルトの名無しさん mailto:sage [2021/05/03(月) 03:37:22.90 ID:ndSqMpB2.net]
シンプルにポリモをやるための継承はいいんだけど
それ以外をやるための道具として流用し始めると途端におかしくなるって経験上思ってる

668 名前:デフォルトの名無しさん mailto:sage [2021/05/03(月) 06:47:59.32 ID:J4qyGfu1.net]
>>654
そういうゲームみたいなシチュエーションがそんなにあるわけじゃないって話だよ。
よっぽどプログラマ間で共有できる抽象概念がない限り逆にわかりにくくなることのが多い。

669 名前:デフォルトの名無しさん [2021/05/03(月) 06:56:42.03 ID:O7+GYvY4.net]
派生関係がなくても関数名を一致(つまりオーバーロード)させるだけで動いてくれるテンプレートのほうが楽なことが多い。
実際、最近C++に追加されている機能は大部分が派生関係のないテンプレートクラス。
一方、派生して使うiostream系クラスは機能追加される気配がまるでない。

670 名前:デフォルトの名無しさん mailto:sage [2021/05/03(月) 09:29:12.51 ID:1Xubdwf1.net]
というか、単に間違ったクラス化や間違った継承してた奴が多かったんじゃないの

>>657
クラステンプレートでも結構継承使ってるぞ

671 名前:デフォルトの名無しさん mailto:sage [2021/05/03(月) 10:18:11.42 ID:/gB1psu8.net]
皆様おはようございます
ちょっと質問させてください

テンプレートクラスを宣言定義する時に、ヘッダーに定義を書かないとエラーを吐いてしまいます
テンプレートクラスのヘッダーファイルを、他のヘッダーファイルにインクルードして使う場合、なるべくテンプレートクラスのヘッダーに必要なファイルをインクルードをしたくないので、テンプレートクラスをヘッダーソースに分けて記述できれば嬉しいのですが……

//テンプレートのヘッダー
template<class T>
class Hoge{
public:
Hoge();
};
//テンプレートのソース
template<class T>
Hoge<class T>::Hoge(){
cout<<“hego !”<<endl;
}

//テンプレートを使うクラス(別なヘッダーファイル)
class UseHoge{
public:
UseHoge(){
Hoge hoge;
}
};

これをメインで記述すると未解決の外部エラーになってしまいます
テンプレートをUseHogeのヘッダーソースに分けて記述すればエラーは出ないのですが出来るなら独立させたいです……
何かいい方法がありますでしょうか?

672 名前:デフォルトの名無しさん mailto:sage [2021/05/03(月) 10:27:08.26 ID:jyja/vBX.net]
Hogeを使う型で具体化する話?

673 名前:デフォルトの名無しさん mailto:sage [2021/05/03(月) 10:32:39.67 ID:1Xubdwf1.net]
基本的にテンプレートの実装をソースに書くことは出来ないよ
与える型を決め打ち(明示的実体化)すれば出来るけど、当然汎用性は大幅に下がる

674 名前:デフォルトの名無しさん mailto:sage [2021/05/03(月) 11:41:17.40 ID:/gB1psu8.net]
Hogeをvectorやunique_ptrの様に、インクルードすればどこでも使えるようなテンプレートクラスにしたいのですが、そういう場合はHogeの定義もヘッダーに記述して、そのヘッダーを適宜インクルードするような形になるんでしょうか?

675 名前:デフォルトの名無しさん mailto:sage [2021/05/03(月) 11:46:53.45 ID:ndSqMpB2.net]
それを出来るようにするためのexportという機能が昔の標準規格に定義されてたんだが
難しすぎてほとんどのコンパイラが実装できなかったので消えた

676 名前:デフォルトの名無しさん mailto:sage [2021/05/03(月) 11:56:42.04 ID:1Xubdwf1.net]
>>662
vectorやunique_ptrも全部ヘッダに実装書いてるんだよ
見た目の問題だけなら、宣言と実装を分けることはできるけど(実装もヘッダのどこかに書けば



677 名前:デフォルトの名無しさん mailto:sage [2021/05/03(月) 11:59:02.11 ID:/gB1psu8.net]
>>663
ありがとうございます
難しい感じなんですね

インクルードでコンパイル時間が余分にかかるかも……と思っていたのですがそれが一番近い方法なのでしょうね
コンパイル時点でTの大きさがわからないから明

678 名前:治化しない限りはリンカ?でのエラーになるのでしょうか? []
[ここ壊れてます]

679 名前:デフォルトの名無しさん mailto:sage [2021/05/03(月) 12:02:09.68 ID:/gB1psu8.net]
>>664
すれ違いになりました
ありがとうございます
ベクター等もそうなっているんですね
一度覗いてみたときにマクロの大文字が並んでて頭痛がして以来じっくりみたことが無かったので……(大汗)

680 名前:デフォルトの名無しさん mailto:sage [2021/05/03(月) 13:46:09.28 ID:aV7aDLTY.net]
>>656
ただ、MFCを見ても分かるように、例えば、左ボタンをクリックした時には、
が OnLButtonDown()というメンバー関数が呼び出される様になっていて、
それは、CWndで基礎が定義されていて、CWndを継承したクラスも同じ関数名で
同じイベントを処理する様になっている。
これを純粋なCだけで書くのは分かりにくいだろう。

681 名前:デフォルトの名無しさん mailto:sage [2021/05/03(月) 14:09:33.89 ID:aV7aDLTY.net]
>>667
ちなみに、MFCはちょっと複雑になっていて、C++本来のポリモーフィズムは、
設計上は virtual 属性をつけた仮想関数で実装するようになっているのだが、
CWnd::OnLButtonDown()CWnd::OnChar()やCWnd::OnKeyDown()などに
関しては、非仮想関数で実装されていて、メッセージマップなる独自の仕組みで
MFCのフレームワークが独自に継承クラスのものを呼び出すような仕組みに
なっていて、「Message Routing」などと呼ばれている。
MFCでC++本来の仮想関数で実装されているものとしては、CWnd::PreTranslateMessage()
がある。

なお、C++を使っていて便利なところは、
void CMyWnd::OnLButtonDown()
{
 if (条件) {  
  (処理); // CMyWnd の独自の処理
 }
 else {
  CWnd::OnLButtonDown(); // 継承する前のデフォルトの処理
 }
}
のように、条件によって継承する前のデフォルトの処理も分かり易く呼び出せるところ。
これをplain な Cで統一した書き方で分かり易く書くのは不可能。

682 名前:デフォルトの名無しさん [2021/05/03(月) 14:22:00.89 ID:O7+GYvY4.net]
WTLって知ってる?
MFCとほぼ同じ機能を派生クラスではなくテンプレートクラスで実現しているんだが、ソースが綺麗

683 名前:デフォルトの名無しさん mailto:sage [2021/05/03(月) 14:28:53.28 ID:1Xubdwf1.net]
何言ってんだWTLも継承使ってるしユーザーもWTLから継承するだろうがアホか
典型的なポリモーフィズムではないけど、それがそのままデメリットにもなってる(ウインドウのインスタンス管理をまとめられない

684 名前:デフォルトの名無しさん [2021/05/03(月) 14:39:14.18 ID:O7+GYvY4.net]
継承といっても1世代だけじゃん
多重継承も使ってるから感じにくいけど

685 名前:デフォルトの名無しさん mailto:sage [2021/05/03(月) 15:08:41.96 ID:1Xubdwf1.net]
本気で言ってんのか?

686 名前:デフォルトの名無しさん [2021/05/03(月) 15:17:14.89 ID:O7+GYvY4.net]
テンプレートは実体化された時に存在の有無を判定されるので、最低限のオーバーロードで済ませる



687 名前:はちみつ餃子 mailto:sage [2021/05/03(月) 16:27:31.54 ID:9b5rlct5.net]
そういえばどこかの超人プログラマ集団がいる組織では必要になったら設計を気にせずどんどん
機能を増やしていって、どうにもならなくなったらさっさと捨てて作り直す文化があるというのを聞いたことが有る。
剛腕があれば綺麗な設計なんて必要がないし、無能ならば綺麗な設計は出来ない。

つまり大体の場合にあんまり綺麗な設計にならないってことになる。
それでもなんとかするしか仕方ない。

688 名前:デフォルトの名無しさん mailto:sage [2021/05/03(月) 17:27:36.73 ID:aV7aDLTY.net]
>>674
完全に捨てるというのは、多分、大きなプロジェクトでは無理で
リファクタリングするんだと思われるが、その際に基本クラスの
設計や継承の仕方が変わる、ということなんだと思われる。
例えば Windowsエミュレータの Wineや、clangのソースなどを
いくらソースが汚くなったからといって完全に書き換えるというのは
どんなに超人豪腕プログラマ集団でも効率が良い方法とは
思えない。なぜなら、例えばWineのソースは150MB位あるから。

689 名前:デフォルトの名無しさん [2021/05/03(月) 17:32:03.66 ID:aV7aDLTY.net]
>>674
アジャイル開発の説明によれば、ソースがきれいかどうかについては、
そのコードに機能追加や改良を続けられているのであれば、それで良し、
と考えるとあった。本当に問題が有るのは改良を続けられなくなってきた
時で、その時はその時で、リファクタリングしてソースを整理すると良いと。
常に綺麗にし続けるというのは努力はしても良いが、基本的には不可能に
近くて、むしろ、ソースを綺麗にすることが目的になってしまっては、
無駄に時間が掛かりすぎてかえって時間のロスになってしまうことがあるから。

690 名前:デフォルトの名無しさん mailto:sage [2021/05/03(月) 18:09:40.04 ID:5dhwfeG+.net]
ソースコードからひたすらcall treeを書きまくって独立した関数やクラスに切り分けていって
依存関係を整理していく仕事が今日もまたはじまるお、

691 名前:デフォルトの名無しさん mailto:sage [2021/05/03(月) 19:25:57.69 ID:prCdHQql.net]
>>674
将来の破棄を前提とするなら、そのための準備が必要でしょうな。エージェントとかを使ってモジュール間の結合度を落とすとか、モジュール間で公開するIFを限定的にしてモジュール単体を捨てやすくするとか。
そのへんの話題はなかったのかしらん?

692 名前:デフォルトの名無しさん mailto:sage [2021/05/04(火) 12:15:45.91 ID:PD6eTj67.net]
>>675
でも、そのポリシーは「完全に捨てる」ことを
しないと機能しないよ。
結局、前に書いてある「あの関数」とか「例のクラス」とかが
縛ってしまうからね。
リファクタリングするだけじゃ、結局程度の問題でしかない

693 名前:デフォルトの名無しさん mailto:sage [2021/05/04(火) 13:02:15.57 ID:KyGD7Tmh.net]
>>679
どれは違う。
数学で代入したり、共通部分を括りだして M という変数に代入して
分かり易くしたり、展開したり、足し算して一つにまとめたり、
同類項をまとめたり、因数分解したりするなどして、式を簡単化
するのと同じようなことをプログラミングに置いて行えば、
前のソースを残しつつ、コードをわかり易くできる。

694 名前:デフォルトの名無しさん mailto:sage [2021/05/04(火) 23:38:27.82 ID:x3ry5l87N]
日本・ドイツ・中国・韓国・香港・台湾はナチだ。
今すぐ中国死ね。今すぐ中国は崩壊しろ。これで最大14億人の難民が発生し、日本も韓国も台湾も香港も滅びる。
今すぐ日本死ね。今すぐ、日本、中国、韓国、台湾、香港は死ね。
これで地球は平和になる。

今すぐ中国国内の原発が全て事故で爆発すれば、地球が平和になる。今すぐ台湾にある原発が全て事故で爆発すれば、地球が平和になる。

695 名前:デフォルトの名無しさん mailto:sage [2021/05/05(水) 00:03:02.26 ID:E1emjEBd.net]
export機能は確かに立ち消えになったが、現状のC++において
テンプレートの定義をcppに書くことは、明示的実体化をしたら一応はできる
どうするのかと制限事項とかはここを見たらワカル↓
■ テンプレート関数の宣言と実装を分離する方法 ( 補足 )
https://qiita.com/MasayaMizuhara/items/b1e3a53f62df88205eb7

一方、>>664で言っている
>見た目の問題だけなら、宣言と実装を分けることはできる
というのは(多分)こっち↓
■ テンプレート関数の宣言と実装を分離する方法
https://qiita.com/MasayaMizuhara/items/37f8c2a5462a4f7f8ea0

696 名前:デフォルトの名無しさん mailto:sage [2021/05/05(水) 00:14:15.46 ID:E1emjEBd.net]
>>680
言うは易しの典型例ktkr、
実際には依存しなくていいものが依存しまくりで
同値類が何かとか読むだけでばさっぱりわからなくなっている状況が多く、
>>677のような汗みどろ血みどろの作業になるんである

すんなり逝くのはGUIの場合みたいな切り分けのゴールが意味的に明白なケースぐらい
これはフォームの絵面を見てUI要素の塊別にinner classにでもしてやっていけば
ソースコードの行数Nに対してO(N*log(N))ぐらいで何とか整理がつく、



697 名前:デフォルトの名無しさん mailto:sage [2021/05/05(水) 12:46:37.29 ID:9b321bHU.net]
ネットつうのはド素人が平気でシッタカかますとこだから
いちいち釣られててもしゃーない
ここ最近の流れだと>>677さんだけガチ勢だと思う
doxygenはワイらのお友達

698 名前:デフォルトの名無しさん mailto:sage [2021/05/06(木) 11:30:21.66 ID:y+mCHZ2t.net]
C++で3値ブールってどうやって表現してますか
char?

699 名前:デフォルトの名無しさん mailto:sage [2021/05/06(木) 11:36:37.33 ID:ttDpb9zS.net]
3値ブールをenum型で定義すればintサイズ

700 名前:デフォルトの名無しさん mailto:sage [2021/05/06(木) 12:00:53.01 ID:li0qewo8.net]
>>685
// #include <compare>
class strong_ordering;
class partial_ordering;
class weak_ordering;
および、これらのクラスの随伴関数operator<=>

701 名前:デフォルトの名無しさん [2021/05/06(木) 13:22:29.39 ID:QuOqilO4.net]
>>685
unsined char

702 名前:デフォルトの名無しさん mailto:sage [2021/05/06(木) 13:52:22.50 ID:li0qewo8.net]
スペルマ違い

703 名前:デフォルトの名無しさん mailto:sage [2021/05/06(木) 17:31:19.46 ID:XU+FtvdI.net]
BOOST_FOREACHで自作クラスをイテレートするのダル
なぜC++11の範囲for文で完全にカバーする努力をしなかったのかますます謎だ

704 名前:デフォルトの名無しさん mailto:sage [2021/05/06(木) 18:32:04.97 ID:q/dBsf9f.net]
vector<int> v;
vを初期化
for(int& x: v){
 int y = move(x);
}
これって文法的には問題ないっていうかコンパイルエラーなりませんよね?
参照をmoveするってどういう意味なんですか?

705 名前:デフォルトの名無しさん mailto:sage [2021/05/06(木) 19:58:59.64 ID:V23aVuxi.net]
引数の型から返り値の型が明らかに決まるとき、返り値の型をわざわざテンプレート引数として書くのがめんどいんですが、省略するテクありますか

706 名前:デフォルトの名無しさん mailto:sage [2021/05/06(木) 20:33:45.29 ID:2fdHoq/h.net]
>>692
引数の型で明らかに決まるんなら、戻り値の型を引数の型引数から導出される型として表現できるはずでしょ



707 名前:デフォルトの名無しさん mailto:sage [2021/05/06(木) 21:37:43.27 ID:sft9s3lg.net]
>>690
boost foreachができたのは15年以上前だから仕方ない。今更使う必要もないと思うぞ

708 名前:デフォルトの名無しさん mailto:sage [2021/05/06(木) 21:50:31.70 ID:li0qewo8.net]
>>691
xを、このあと殺すだけだから
ぶっちょんぶっちょんに犯しまくっていいよってこと
それがconstのない右辺値参照にキャストするってこと

709 名前:デフォルトの名無しさん mailto:sage [2021/05/06(木) 22:05:14.28 ID:R9i/0zUR.net]
>>692
autoとか?

710 名前:デフォルトの名無しさん mailto:sage [2021/05/06(木) 23:11:22.73 ID:yKiPUGCL.net]
>>693
どうやって書くの?
template<class T1, class T2, class T3> T3 func(T1 a, T2 b){
T3 c;
return c;
}
みたいなやつのT3をテンプレート引数じゃなくしたいってことなんですが

711 名前:デフォルトの名無しさん mailto:sage [2021/05/06(木) 23:21:31.82 ID:ttDpb9zS.net]
>>697
int64_t ret = func<int, size_t, int64_t>(100, 200);

712 名前:デフォルトの名無しさん mailto:sage [2021/05/06(木) 23:22:49.21 ID:KJjM6itp.net]
>>695
v とか x は y = move(x) の後で使い回しても良いんですよね?
つまり、vector v の要素の参照 x を move しても、v の要素も x も影響を受けなくて、y の構築のされ方が違うだけということで良いんですかね?

超初歩的なこと聞いてすみません

713 名前:デフォルトの名無しさん mailto:sage [2021/05/06(木) 23:28:09.10 ID:yKiPUGCL.net]
>>698
???
> func<int, size_t, int64_t>
の int64_t をテンプレート引数じゃなくしたいってことです
実行時に返り値の型が分かるような関数を作るテクはあるかと言い換えても良いです
無理なら無理で良いです

714 名前:デフォルトの名無しさん mailto:sage [2021/05/06(木) 23:29:49.59 ID:RPQ+IjqH.net]
>>694
>>537,542みたいなときはある

715 名前:デフォルトの名無しさん mailto:sage [2021/05/06(木) 23:31:52.81 ID:qYpUBK3o.net]
>>699
右辺値参照はあくまで、一時オブジェクトですよと示すだけなのでそのコードでは問題ない
けどyがint yじゃなくてvectorなどの、
「一時オブジェクトを受け取った場合、メモリ確保やコピーのコストを減らすために中身のポインタだけすげ替える」
クラスだった場合、その後のvの中身は使えなくなる
moveはただのT &&へのキャストだよ

716 名前:デフォルトの名無しさん mailto:sage [2021/05/06(木) 23:33:25.48 ID:sft9s3lg.net]
>>701
うーん、そのためだけに使うってのはちょっとなあ



717 名前:デフォルトの名無しさん mailto:sage [2021/05/06(木) 23:33:54.75 ID:qYpUBK3o.net]
>>700
>>696に出てるじゃん
T3無しで自分で書いてみた?

718 名前:デフォルトの名無しさん mailto:sage [2021/05/06(木) 23:44:41.27 ID:XU+FtvdI.net]
>>693,696,698,704
返り値の型がautoな関数って普通に作れるんですね
すみませんでした
ありがとうございました

719 名前:デフォルトの名無しさん [2021/05/07(金) 04:09:07.13 ID:CpHYc6qO.net]
初歩的な質問かつスレチ気味ですみません
vscodeを用いて簡単なコードを書きました
ビルドとデバッグを試みました
ビルドは出来ましたかデバッグにエラーが出て、No such file or directryとあります
パスを指定する際に日本語が含まれていることでエラーが出たのかと思うのですが正しいですか?

720 名前:デフォルトの名無しさん [2021/05/07(金) 04:11:25.73 ID:CpHYc6qO.net]
>>706すみません VScodeスレがあるのに間違えてこちらで質問してしまいました スルーしてください 大変失礼しました

721 名前:デフォルトの名無しさん mailto:sage [2021/05/07(金) 05:39:45.41 ID:zt0L6rVc.net]
std::stringとstd::string_viewって何が違うんすか?

722 名前:デフォルトの名無しさん mailto:sage [2021/05/07(金) 06:15:48.18 ID:5qs1Tt49.net]
>>708
動的メモリを使うのがstring
使わないのがstring_view

大昔からあるのがstring
C++17で新設されたのがstring_view

723 名前:デフォルトの名無しさん mailto:sage [2021/05/07(金) 06:37:17.09 ID:zt0L6rVc.net]
>>709
なるほど
最近の開発ではstring_view使うほうが主流ですかね

724 名前:デフォルトの名無しさん mailto:sage [2021/05/07(金) 06:38:54.78 ID:p617inns.net]
>>710
string_viewを使う機会はほとんどない

725 名前:デフォルトの名無しさん mailto:sage [2021/05/07(金) 06:58:15.44 ID:zt0L6rVc.net]
>>711
string_viewのほうが軽いのではないのですか?

726 名前:デフォルトの名無しさん mailto:sage [2021/05/07(金) 07:49:58.08 ID:HoYTY9P4.net]
その違いがわかるほどのシステムなんてあるのか?



727 名前:デフォルトの名無しさん mailto:sage [2021/05/07(金) 08:46:52.79 ID:p617inns.net]
バッファを操作するライブラリはC以来の蓄積があり、string_viewに移行する利点があまりない
これから新しく作るならstring_view特化でもいいかもしれないけど

728 名前:デフォルトの名無しさん mailto:sage [2021/05/07(金) 10:52:52.13 ID:tUbn1npH.net]
テンプレート引数にstring::size()みたいな非定数を渡す方法教えてくんろ

729 名前:デフォルトの名無しさん mailto:sage [2021/05/07(金) 11:14:48.37 ID:MIeBw/jN.net]
部分文字列の抜き出し繰り返す構文解析的なプログラムをstringをつかって自前でゴリゴリ1から書くなら、string_viewでかなり速度上がりそうではあるね

730 名前:デフォルトの名無しさん mailto:sage [2021/05/07(金) 11:25:05.02 ID:xRxKqUtn.net]
>>715
渡せるわけないだろ
constexpr付いててコンパイル時評価になるならともかく

731 名前:デフォルトの名無しさん mailto:sage [2021/05/07(金) 11:31:31.31 ID:tUbn1npH.net]
>>717
なんかテクねーの
例えばarrayの長さをどうしても実行時に決める技みたいの

732 名前:デフォルトの名無しさん mailto:sage [2021/05/07(金) 11:37:35.53 ID:xRxKqUtn.net]
原理的に不可能だよ
定数値が必要ですとか言われるやろ
実行時分岐でテンプレート引数を決めるとかは出来るだろうけど

733 名前:デフォルトの名無しさん mailto:sage [2021/05/07(金) 11:39:55.84 ID:MIeBw/jN.net]
>>718
使う全ての長さの分のstd::arrayのパターンをマクロか何かで生成して、入り口で分岐させればいけるんじゃない?w

734 名前:デフォルトの名無しさん [2021/05/07(金) 11:45:23.03 ID:fHTm+yKw.net]
>>718
裏テクはある
当然糞コードになる
後で観る気が起きなくなる
やめとけ

735 名前:デフォルトの名無しさん mailto:sage [2021/05/07(金) 11:47:37.42 ID:xRxKqUtn.net]
size_t n = str.size();
switch (n) {
  case:1
    return array<int, 1>;
  case 2:
    ...
こんなん?(でも戻り値の型の違いもテンプレートに出来ないのでanyとかで吸収しないといけない

736 名前:デフォルトの名無しさん mailto:sage [2021/05/07(金) 11:51:06.04 ID:tUbn1npH.net]
ありがとうございます
上の方で関数の返り値用のテンプレート引数をautoで省略したいとか言ってた者なんですが、大人しくテンプレート引数一個追加します



737 名前:デフォルトの名無しさん mailto:sage [2021/05/07(金) 12:26:02.94 ID:5qs1Tt49.net]
>>718
system()でコンパイラを呼び出してDLLをビルドしてLoadLibrary()

738 名前:デフォルトの名無しさん mailto:sage [2021/05/07(金) 12:43:40.65 ID:xRxKqUtn.net]
あーarrayの必要サイズがわからん状態で型決めようとしてたのか
それはユーザーが指定しないとしょうがないね

739 名前:デフォルトの名無しさん mailto:sage [2021/05/07(金) 12:55:13.65 ID:tUbn1npH.net]
>>725
arrayは例えですが、それに近いことです
実行時に計算した値を変数テンプレートに入れたかったです

740 名前:デフォルトの名無しさん mailto:sage [2021/05/07(金) 14:05:11.82 ID:2HL1lUWO.net]
pow(int, int) の型って int なん?
Promoted pow(Arithmetic1, Arithmetic2) とあるが、int と int が promote されたら何になるの?

741 名前:はちみつ餃子 mailto:sage [2021/05/07(金) 14:39:02.01 ID:xLSEaA6V.net]
>>708
std::string はそれ自体が文字列のデータを所有している。
std::string_view は他の文字列の一部 (または全部) の範囲を表現しているだけで、文字列の本体は所有していない。
(なので参照先の寿命が先に尽きたらダングリングになることに注意。)

文字列全体の参照は単に

742 名前: std::string& で良いのだが、
一部の範囲だけを表す型が従来は無かったので std::string_view が新設された。
std::string_view は Go や Rust で言うところのスライスのような概念に近い。
[]
[ここ壊れてます]

743 名前:デフォルトの名無しさん [2021/05/07(金) 21:40:55.35 ID:e3vaIAON.net]
std::ifstream ifstream;
ifstream.open(filePath);
std::stringstream stream;
stream << ifstream.rdbuf();

とやったとします…この場合…flushって必要なんでしょうか?…
stream << ifstream1.rdbuf() << std::flushやstream.flush()…そもそもifstream.rdbuf()を使っているのが…
なんか…怪しくて…全て書き込まれていない事って…起きるんでしょうか?
ofstreamだと…flushがいるのは解るんですが…この場合って…どうなん?
stream << ifstream.rdbuf()の振る舞いが解らなくて…本当にいつも…全部…読めているんでしょうか?
ifstream.rdbuf()って…怪しいじゃないですか…悩みます…。誰か…詳しい人…います?

744 名前:デフォルトの名無しさん [2021/05/07(金) 22:47:52.85 ID:e3vaIAON.net]
ostreamを継承してるので…一応…儀式として… << std::flush を付けておきます…

745 名前:デフォルトの名無しさん mailto:sage [2021/05/07(金) 22:47:55.63 ID:2z/2Kbob.net]
ヒエッ…、、、く、車輪のx発明の人……!

746 名前:はちみつ餃子 mailto:sage [2021/05/07(金) 23:09:25.10 ID:xLSEaA6V.net]
>>729
operator<< を呼んだ直後の時点では完全に書き込まれていない可能性は有る。
ただ、色んな場面で pubsync が呼ばれて辻褄合わせをすることになってるんで、
その時点で完全でなくても大抵の場合に問題にならない。

ストリームがキャラクタデバイスに接続されている場合のような
書き出しのタイミングが意味を持つような状況でなければ明示的に flush が
必要な場面はあまりない。



747 名前:デフォルトの名無しさん [2021/05/07(金) 23:41:24.93 ID:e3vaIAON.net]
stream << ifstream.rdbuf() の振る舞いが解らなくて…怪しいと思っていたけど…大丈夫らしい…
https://stackoverflow.com/questions/49546569/how-does-this-one-stream-command-read-in-an-entire-file-in-c

748 名前:デフォルトの名無しさん mailto:sage [2021/05/08(土) 00:06:58.58 ID:e+sagIsH.net]
coutとcerrでコンソールに出すときcoutを適宜flushしないとcoutとcerrで表示が同期しないという印象、

749 名前:デフォルトの名無しさん mailto:sage [2021/05/08(土) 01:11:26.04 ID:04d5KsyW.net]
coutのようにバッファリングしながらもstderrに出力するclog

750 名前:デフォルトの名無しさん mailto:sage [2021/05/08(土) 07:59:26.09 ID: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 名前:デフォルトの名無しさん mailto:sage [2021/05/08(土) 14:22:53.92 ID:iyfickIa.net]
hoge() という関数の意味で hoge_() という書き方を使いたいとき、using hoge_ = hoge ってできますか

752 名前:蟻人間 mailto:sage [2021/05/08(土) 14:50:03.11 ID:tI5Uqx1l.net]
>>737
usingの代わりにauto

753 名前:デフォルトの名無しさん mailto:sage [2021/05/08(土) 15:15:44.69 ID:iyfickIa.net]
>>738

auto hoge_ = hoge?

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

755 名前:デフォルトの名無しさん [2021/05/08(土) 15:24:23.88 ID:Jy6pPGdO.net]
>>726
tuple使え

756 名前:デフォルトの名無しさん [2021/05/08(土) 15:27:28.70 ID:Jy6pPGdO.net]
>>729
stream << ifstream1.rdbuf() << std::flushやstream.flush()

ifstream1.rdbuf() を実行する前に fush しないと意味無いと思わないか?



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

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

759 名前:デフォルトの名無しさん mailto:sage [2021/05/08(土) 15:43:03.39 ID: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 名前:デフォルトの名無しさん mailto:sage [2021/05/08(土) 15:57:41.09 ID:+il+Qk57.net]
int yをテンプレート引数の最初に持ってきてみ

761 名前:デフォルトの名無しさん mailto:sage [2021/05/08(土) 15:58:45.38 ID:+il+Qk57.net]
>>741
見当違い

762 名前:はちみつ餃子 mailto:sage [2021/05/08(土) 15:59:25.53 ID://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 名前:デフォルトの名無しさん mailto:sage [2021/05/08(土) 16:48:31.28 ID:09/9BleE.net]
>>746
あざ!

764 名前:デフォルトの名無しさん mailto:sage [2021/05/08(土) 20:11:34.06 ID:IOJOTrlX.net]
ある条件でvectorを返してある条件でintを返す関数って作れないんですよね?

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

766 名前:デフォルトの名無しさん mailto:sage [2021/05/08(土) 20:47:53.13 ID:coBHIhPM.net]
>>750
そんなふうに実装する必要ある?



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

768 名前:デフォルトの名無しさん mailto:sage [2021/05/08(土) 22:02:29.92 ID:04d5KsyW.net]
overlord

769 名前:デフォルトの名無しさん mailto:sage [2021/05/08(土) 23:21:52.15 ID:55qg1DzP.net]
std::anyつかえば実行時でも出来るよ

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

771 名前:デフォルトの名無しさん [2021/05/09(日) 13:27:45.76 ID:WMytKT+1.net]
move

772 名前:デフォルトの名無しさん mailto:sage [2021/05/09(日) 13:56:14.42 ID:Ys9Xflyj.net]
>>757
右辺値を受け取った場合をオーバーロードするってことですか?

773 名前:デフォルトの名無しさん mailto:sage [2021/05/09(日) 15:01:51.23 ID:RwrAFKze.net]
つ右辺値参照

void func(Hoge& h) {
...
}
Hoge func(Hoge&& h) {
...
return h;
}

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

775 名前:デフォルトの名無しさん [2021/05/10(月) 15:14:27.70 ID:lCZGOQhN.net]
stringstream hoge を seekp するとき
hoge.seekp(a, ios::cur);

hoge.seekp(a, ios_base::cur);
のどちらが正しいですか?

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



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

778 名前:という意思を表示することにしかならんのですよね? []
[ここ壊れてます]

779 名前:デフォルトの名無しさん mailto:sage [2021/05/10(月) 20:56:06.60 ID:CKsNew1t.net]
非const&はともかく
const&と&&の多重定義は普通だろ

780 名前:デフォルトの名無しさん mailto:sage [2021/05/11(火) 03:49:55.52 ID: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 名前:はちみつ餃子 mailto:sage [2021/05/11(火) 04:17:34.41 ID:sf6ddr3r.net]
>>765
推論できないわけではなくて std::initializer_list に推論されるというルール。
そのルールが結果的に妥当かどうかはともかく今更変えるわけにもいかんし、
仕方がないんだわ。

782 名前:デフォルトの名無しさん [2021/05/11(火) 11:21:06.99 ID:FWZS8iTB.net]
tuple

783 名前:デフォルトの名無しさん mailto:sage [2021/05/12(水) 00:29:14.70 ID:nKEkaipq.net]
>>591
シープラプラも混ぜて

784 名前:デフォルトの名無しさん mailto:sage [2021/05/12(水) 22:39:19.73 ID:LXLc2NzC.net]
可変個の参照をとる関数の一番簡潔な書き方って何ですかね?

呼び出すときは
hoge(a, b, c, d)
あるいは
hoge({a, b, c, d})
みたいにしたいです

785 名前:蟻人間 mailto:sage [2021/05/13(木) 00:03:41.49 ID:/FXyk3Zs.net]
いくつか方法がある:
va_list
std::initializer_list
variadic template

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



787 名前:デフォルトの名無しさん mailto:sage [2021/05/13(木) 14:22:44.17 ID:rT5yynw0.net]
防衛省が中国のハッカーとやり合える人材を募集中 年収最高2000万円
https://leia.5ch.net/test/read.cgi/poverty/1620874048/

788 名前:デフォルトの名無しさん [2021/05/13(木) 14:25:28.62 ID:gQUYeg5t.net]
vector
array
tuple

789 名前:デフォルトの名無しさん mailto:sage [2021/05/13(木) 15:33:03.69 ID:VhoQaRqh.net]
上限2000万じゃ安すぎ

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

791 名前:はちみつ餃子 mailto:sage [2021/05/13(木) 15:57:38.17 ID:WYE+obYa.net]
そういう額って「保証する額」なので上限が保証されてても意味ないんだよな。

792 名前:デフォルトの名無しさん mailto:sage [2021/05/13(木) 16:06:58.80 ID:ItPDnKAp.net]
ベストエフォートが 1Gbpsでも現実は 10Mbpsみたいな話だな。

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

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

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

796 名前:デフォルトの名無しさん [2021/05/13(木) 16:55:36.92 ID:0opMfQ+n.net]
人混みではWiFiも奪い合いでブツブツ切れまくる

保証するのは普通「下限」だよな



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

798 名前:デフォルトの名無しさん mailto:sage [2021/05/13(木) 20:55:57.03 ID:NATYYilK.net]
給料でも、100万円みたいに上限を書いているものは、無意味。
嘘広告と同じで、絶対にもらえない

給料で大切なのは、15万円みたいな下限。
最低保証額

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) { }
};
・・・アホくせw

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
>継承はオブジェクト指向ではなくてはならないもの

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

なにかお題を定めて「@:継承だけを使って書け、A:委譲だけを使って書け、B:@Aを評価せよ」という例をいただけないでしょうか。



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]
学部数学の話をgdgd続けてる奴らは順序体でググってくれ
複素数体に勝手な比較関係はいくらでも入れられるけど(辞書式順序も含めて)、どう入れても算術と両立しないから役に立たないんだよ
プログラム的にはソートのために便宜的な物を入れることはあるだろうが、数学的には無意味

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
アホすww
やっぱりQZは頭悪いなあwww

複素数のハウスホルダー法によるQR分解のプログラム書いてみろよ
できねーからw

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
言うの遅くなったけど
dX

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]
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 55日 22時間 0分 41秒

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






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

前100 次100 最新50 [ このスレをブックマーク! 携帯に送る ] 2chのread.cgiへ
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧]( ´∀`)<299KB

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