C++相談室 part162

**sage** (ﾜｯﾁｮｲ fbf0-ofdD) · 2022/10/31(月) 14:29:35.57

!extend:checked:vvvvv:1000:512
!extend:checked:vvvvv:1000:512
↑同じ内容を3行貼り付けること

次スレは>>980が立てること
無理なら細かく安価指定

※前スレ
C++相談室 part161
https://mevius.5ch.net/test/read.cgi/tech/1653135809/

VIPQ2_EXTDAT: checked:vvvvv:1000:512:: EXT was configured

2022/12/14(水) 20:44:33.97

声のでかさが正義だと思っている、どっかの山猿軍団みたいなやつがいるな

2022/12/14(水) 21:17:02.90

>>725,730
有難うございます
その理解に至りました
それと>>698の合わせ技で
mapのkeyにポインタを入れるのが随分とスマートになった印象です

using Ptr = shared_ptr <int>;
auto comparator ([] (const Ptr &lhs, const Ptr &rhs) {return *lhs < *rhs;});
using Map = map <Ptr, int, decltype (comparator)>;
Map m1;

2022/12/14(水) 21:22:32.15

>>691-692
知ってた

2022/12/14(水) 21:59:55.78

>>738
ここは、教科書そのままを丸覚えしてるだけの人が多すぎるように感じるので。
教科書に出てなくても、ちゃんと実際に起きるようなことを書くと全く理解できない
人が多すぎるから。

2022/12/14(水) 22:46:07.31

>>752
例えばだれ？

2022/12/14(水) 22:58:57.25

>>747 >>748
multimapの"multi"の意味と違うなぁ。それはmapでもできる話じゃない？
cpprefjpに解説あるから調べたら？

C++ Standards だと22.2.6.4ですな。
(N4849)
An associative container supports unique keys if it may contain at most one element for each key.
Otherwise, it supports equivalent keys.
The set and map classes support unique keys; the multiset and multimap classes support equivalent keys.

2022/12/14(水) 23:00:05.46

>>753
失礼だけど、ここの人、ほぼ全員。

2022/12/14(水) 23:31:04.79

>>755
「ほぼ全員」というのは「自分は除く」ということかね。
傲慢だなぁ。

2022/12/14(水) 23:35:44.65

>>756
なぜそう思うかって言うと、俺が言ったことがちゃんと通じる相手も存在しているからだよ。
客観的にハイレベルだと思える人には俺の言ったことが通じる。
しかも、この話だと確実に通じると思ったことはちゃんと確実に通じる。
ところが、この板だと結果は惨敗。全く通じなくて、逆にけなされ、馬鹿にされる。

2022/12/14(水) 23:37:23.23

よせやい。照れるわ

2022/12/14(水) 23:47:40.49

>>754
同じキーを複数入れられる
という意味

2022/12/14(水) 23:48:26.06

>>757
お前の日本語が悪いだけじゃね？

2022/12/14(水) 23:50:51.18

お前も俺が書いたこと理解してないし
俺からみたらお前はアホ

2022/12/14(水) 23:54:44.29

>>754
>>745を見た上で書いたんだよな？
だとしたらアホだ

2022/12/14(水) 23:58:15.35

>>761
普通に東大生とかなら通じる内容だぞ。
自分で「まともなこと」言ってるかどうか、俺は分かるもの。

2022/12/15(木) 00:02:56.94

お前東大生？

2022/12/15(木) 00:16:01.78

>>764
身元がばれるから言わん。

2022/12/15(木) 00:22:28.27

あんまり東大の品位を下げるような発言はやめてね

2022/12/15(木) 00:26:32.79

>>766
なお、東大生でも理解力が無い人は理解力無いと思う。
本当に頭のいいのは、一部の学科に集中している。
東大以外でもレベルの高い大学なら理解できる人多いぞ。
ここにも東大生は来てるかも知れんが、残念ながら頭がいいタイプの人は来てない。

2022/12/15(木) 00:27:32.73

これだけ内容の無い連投も珍しいな

2022/12/15(木) 00:33:45.79

理解力が無い人は理解力が無い
当たり前ですねwww

2022/12/15(木) 00:42:28.23

0点の人か
言い訳が見苦しいねえ

2022/12/15(木) 00:48:44.56

ホリエモンや高橋洋一も言っていたが、レベルが合わないと話してることが
全く理解されなくて、むしろ馬鹿にされ、阻害されるものなんだぞ。
高橋洋一にいたっては東大に行っても理解されなかったそうだ。
根本的に頭がいい人はそうなる。
日本では特にそういう人を社会から除外するし。

2022/12/15(木) 00:50:57.77

いや、雑談スレじゃねーし

2022/12/15(木) 00:56:26.15

>>772
このスレでは、目に余るものがあって、
そもそも、学級崩壊しているような状態で、まともに議論できない。
正しいことを言ってる人を馬鹿にして、間違ってる子と言ってる人が大きな
顔をして、自分が正しいことを言っているかのような態度をとる。
そもそも議論の土台が出来て無い。
まずは、ホームルームや道徳の様なことから始めなくては。

2022/12/15(木) 01:09:34.07

コミュニケーションってのはコンパイラと違って
言語モデルやその背後にある思考モデルはダイナミックに変化する
それについていけなければ会話は成立しない
更に特定の一つコンパイラを相手にしていれば良いという訳でもない

2022/12/15(木) 01:16:26.87

>>774
現実に通じる相手も存在する。
居るところには沢山居るが、日本全体としては少数。
だから、コミュニケーションの問題ではなく、生まれつきの頭のよさの問題だと
俺は理解している。

2022/12/15(木) 01:24:05.73

会話ってのは一人でやるもんじゃないんだよ
双方が相手の頭の中を推定できたときに初めて噛み合う
相手に自分の頭の中を推定しやすいような
手掛かりを上手に出すのも技術のうち

2022/12/15(木) 01:27:53.05

>>776
もしかしたら、ネットだと文字が読めてないのかもしれない。
声では理解できるのに長い文書が読めない人が多いらしい。

2022/12/15(木) 01:58:19.99

>>762
>745を見直したけど意味不明だわ。
これは>719
>vectorのキーはuniqueでordered
>vectorの中身はmultiでunordered
>考えるまでもなく自明
の説明ということだよな？

> 配列の中身をmultisetのkey,element
> 配列のインデックスをmultisetの要素のn番目のn
> ととらえれば配列はmultiでunordered
で配列をpair<K,T>[]に限定するような話が突然出てくる。
>712のunordered_vectorに頭の中身が引きずられてない？
そんなにunordered_vectorの話がしたいの？俺は嫌だよ。

>配列の中身をelement
>配列のインデックスをkey
>ととらえれば配列はuniqueでordered
はかすかに議論の流れに沿っているけど、
>実際はどちらでもない
で放り投げられているから、結論として何を主張したいのかも分からん。
これじゃ「>719はどちらも間違い」という主張にしか見えん。
>745にマトモな結論も主張も無いから、この話がどう>747 >748 につながるかも分からん。

エスパーじゃないんだから、バラバラで繋がりの無い情報を読んでも>762の頭の中なんて分からんよ。
「だとしたらアホだ」と言う前に、引用レスぐらいちゃんと読み直して補足情報ぐらい書いたら？

2022/12/15(木) 02:20:47.08

>>775
そりゃ、有り難くも相手が理解しようと努力してくれているからだろ。

会話で「情報の非対称性」は意識している？
相手がどのような情報を持っているのかを無視して、自分の立場を
ゴリ押しして相手にマウントしようとすれば、そりゃ相手に嫌われるわ。
まあ、相手に嫌われるのが目的ならそれでOKだけど。

2022/12/15(木) 07:04:36.25

ハッシュでないものをハッシュということにしたくてヤダジタ大暴れ
みっともねえな

2022/12/15(木) 07:12:05.83

>>713 と >>714 が同じ人間と思えないくらい

>>714 のあほっぷり

2022/12/15(木) 07:27:41.09

でかい声出しても人を小馬鹿にしても
それでハッシュでないものがハッシュになるわけでなし
無駄で関係ない努力をし、そのために他人に迷惑が及んでも
構わないという自己中心的なやつ

2022/12/15(木) 07:31:15.67

>>768
一人二(+a)役でピンポンしてるだけでは

2022/12/15(木) 07:50:47.01

>>745でわからないアホと会話するのは不可能

2022/12/15(木) 07:52:47.62

>>778
あまりにも、あまりにもレベルが低い
まるでチンパンジーのようだ

2022/12/15(木) 12:23:36.75

>>784
>>778

>745で説明したことにするアホと会話するのは不可能

2022/12/15(木) 12:47:10.10

hashのレスはあんまり読んでいないんだけど、c++標準のhashの話だよね？

c++標準と関係の無いhashをc++スレで持ち出してhash hash 言っているわけじゃないよね？

まさかそんなアホいないよね？

2022/12/15(木) 13:55:56.86

いまだにハッシュガーとか言ってるのは何が悔しいのか粘着キチだからスルーでOk

2022/12/15(木) 16:19:30.66

>>787
いやC++に限らない一般論としてハッシュとは何が明らかに分かってないやつが暴れてんの

2022/12/15(木) 16:24:26.31

見たところPerlスレ民のほうが
キチガイを追い出すのはうまかったようだな

2022/12/15(木) 19:54:56.58

Perl民は70代中心だからな。

2022/12/16(金) 00:24:44.89

心の欲するところに従えども矩を踰えず、

2022/12/16(金) 08:43:50.12

名前、それ自体がハッシュだよ
ありとあらゆるものが名前を与えられることによって唯一性・独自性を確保する
つまり、人間の脳は万物をハッシュで管理している

2022/12/16(金) 08:57:47.68

ほらな
何にもわかっちゃいねえ
乱数や暗号との違いが言えねえぞコイツ

2022/12/16(金) 09:10:39.36

C++の話しようぜ

2022/12/16(金) 10:09:11.46

c++20のコンセプトとかモジュールとか<=>とか誰か使ってる？

**デフォルトの名無しさん** (ｽﾌｯ Sdff-exKU) · 2022/12/16(金) 10:24:14.76

<=> 使ってる

2022/12/16(金) 11:19:29.52

>>796,797
へー初めて知った

2022/12/16(金) 12:00:08.46

ウホッ演算子

2022/12/16(金) 12:09:30.80

<=>は便利だね
使い出すとやめられん

2022/12/16(金) 12:26:19.15

<=>初めて知ったけどめちゃ便利だな
うちの環境じゃ使えないのが残念だけど

2022/12/16(金) 15:18:01.45

operator==のdefaultは便利だわ

2022/12/17(土) 02:36:30.45

a > b, a < b, a == b を一度に判定するだけの演算子の何がそんな便利やねん！
とおもったらこれ一つ定義するだけで各種比較演算子全部児童生成してくれるのね
なるほどこりゃ便利かも

2022/12/17(土) 05:21:21.32

unorderedの比較の実装は相変わらず迷う

2022/12/17(土) 08:51:24.48

ロリコンショタ歓喜じゃん

2022/12/17(土) 09:11:20.17

using rel_ops だとスコープ全体に影響でるから使用控えてたけど、operator<=>で全部解決出来るようになったのはいいな

2022/12/17(土) 09:32:05.93

3方があると4方も欲しくなる

a < b
a = b
a > b
unordered

結局戻り値4値の関数を作ることになる

2022/12/17(土) 11:46:18.72

宇宙船演算子……！
ってオーバーロード……！
可能なの……？！

2022/12/17(土) 12:25:08.76

>>807
std::partial_ordering返すようにすれば<=>で4方出来るぞ

2022/12/17(土) 12:44:09.97

>>808
いや、なにをいってるんだ
そのためのものだろ

2022/12/17(土) 14:06:58.32

ストリーム入出力に使っていけ（※冗談です）

2022/12/17(土) 14:23:32.76

>>810
それはそうか……orz
a-bのオーバーフロー対策なだけかと一瞬思った……

2022/12/20(火) 07:42:37.51

NaN同士の比較とかあるからな

2022/12/20(火) 14:22:24.61

このスレ見てるとわかるがC++が好きって言ってるやつって知能低いな

2022/12/20(火) 15:05:44.24

このスレには周囲に天才と言われる人がいるからそれは違うな

2022/12/20(火) 15:17:57.65

自称だけどな

2022/12/20(火) 15:21:56.61

あんなやつに褒められても嬉しかねえよってやつに
どう思われようが関係ねーなあ

2022/12/25(日) 18:29:48.93

namespace std {
template <class T, std::size_t N>
struct array;
}

みたいに標準ライブラリの前方宣言を自作のヘッダに書くのってやっぱり未定義動作なんですかね？

2022/12/25(日) 18:51:26.23

stdに勝手に宣言加えていいのは既存テンプレートの特殊化だけ
他は未定義

2022/12/25(日) 20:29:17.71

>>818
原則としては std 名前空間になんらかの宣言や定義を追加したら未定義ということになってる。
https://timsong-cpp.github.io/cppwp/n4861/namespace.std
その事例も該当すると思う。

条件付きで許されている特殊化はあるが C++20 から制限が強化された。
(従来は条件付きで「テンプレートの特殊化を追加できる」だったのが「クラステンプレートの特殊化を追加できる」に改められている。)
ユーザー定義型ごとのカスタマイズを許したい場面では Customization Point Object (CPO) を
活用する方向性なので特殊化でどうにかする必要もないし制限が強くなることはあっても緩和されることはないんじゃないかな。

2022/12/25(日) 21:15:27.65

そんな堅苦しい事なんて言わんでもええやん？
どんな弊害があるん？

2022/12/25(日) 22:24:02.06

>>821 標準ライブラリの変更にあたって、 std に宣言追加しているソースへの影響を考えないといけなくなる。

2022/12/25(日) 22:39:45.88

>>822
リンクで失敗するので修正すれば良いだけでは?

2022/12/25(日) 22:40:44.04

「未定義」ってほどには深刻な問題はないと思うんだよね

2022/12/25(日) 23:02:22.44

コンパイラがstdに勝手宣言がないことを前提にしたあらゆる最適化の結果を受け入れるなら別にいいと思うよ
俺は絶対に嫌だから関わらないでくれよ

2022/12/25(日) 23:15:00.75

>>825
いやまぁ>>818は俺じゃないので俺も必要性を感じているわけではないけども
具体的に何を恐れているのか分からん

2022/12/26(月) 01:10:32.66

>>826
何が起きるか具体的にわからないから恐ろしいんだよ。

2022/12/26(月) 01:18:22.88

>>827
ワクワクしてこないか？

2022/12/26(月) 01:20:46.52

>>827
oresamaライブラリの中でoresama名前空間があって
arrayが定義されていたとして
oresamaライブラリとは別のプロジェクトで
oresama::array前方宣言したときに
起こりうることは予想がつくよね?
それがstd名前空間だと動作が未定義だとのことだけども
何が違うのか分かります?

2022/12/26(月) 01:30:35.37

>>829
コンパイラ様はstd以下を思うままに特別扱いしてカオスでアドホックな最適化処理をいくらでも入れることが許されてる

2022/12/26(月) 01:51:58.67

>>830
>>825も指摘してるけどoresamaとstdの違いはそれくらいだよね?
具体的にどういう最適化をして鼻から悪魔を出すのかな?
まぁそんなことを分かる人はおらんかな...

2022/12/26(月) 02:20:44.42

>>831
コンパイラの内部に興味を持って調べたいならどんどんやればいいよ。
詳しい人が増えるならそれはたいへん喜ばしい！

でも、リッチな C++ コンパイラのソースコードを読んで様々な最適化がどう組み合わさるかまで把握するのは
相当に高い技能を持った達人でないと無理なのでこのスレ程度ではなんもわからんと思う。
世の中にはこれを保守している人がいるんだからありがたい話だよな。

私がどこかで見たおぼろげな記憶では標準テンプレート関連の一部で
マングルのルールが異なる (名前が短くなるようにしてる？) というのがあるので
変なことをすると破綻することもあるのかもしれない。

2022/12/26(月) 02:29:01.84

なぜこうもわざわざ未定義動作を踏み抜きたいやつが多いのか

2022/12/26(月) 02:33:59.35

コンパイラをナメてるからだろ。
「未定義動作つってもどうせこうなるだろう」という予測が出来ると信じている。
無理なのに。

2022/12/26(月) 05:51:34.26

まあ単なるテンプレートライブラリなのにstdだけを特別扱いして最適化を図るのはちょっとやりすぎな気がしなくもない

2022/12/26(月) 07:41:41.79

clangのソースコードはC++プログラムの書き方の勉強になりますね

2022/12/26(月) 08:06:50.83

std::arrayってなんらかのusingであることが(コンパイラ側への制限として)許されてたりするんか？

もしarrayの実体がこんな実装だったら
namespase std::__internal {
template<class T, size_t>class array{...};
}
namespase std:: {
template<class T, size_t>using array=__internal<T,size>;
}

勝手にこれ書いたらまずくならんか？
namespase std{
template<class T, size_t>class array;
}

2022/12/26(月) 09:12:05.09

なるね

2022/12/26(月) 11:35:27.15

>>818
それやると特定のC++バージョン、特定のコンパイラでしか
コンパイルできないコードになりかねないし、
普通に #include <array> すればいいだろ。

それともそれが出来ない理由があるとか？

2022/12/26(月) 12:12:38.12

>>832
なるほどマングリング変えられるとリンカーエラーで
しばし悩むかもしれませんね

>>837
これはコンパイルで弾かれるので分かると思います

おふた方とも勉強になりました! 有り難うございます
しかし未定義動作ってほど酷いことにはならないのかなぁと思います
なめてますかね私?

2022/12/26(月) 13:31:39.98

>未定義動作ってほど酷いこと

は？

2022/12/26(月) 13:38:20.67

>>840
未定義動作と定義されているんだから未定義動作としか言えんだろ。

2022/12/26(月) 13:49:22.29

>>841
未定義動作とはコンパイルもリンクも通って実行できるけど
どんな動作をするか分からない（未定義）ので
事前に分かるコンパイルエラーやリンカーエラーに比べて
「酷い」と表現しました
いわゆる「鼻から悪魔」

2022/12/26(月) 13:51:12.76

>>842
まぁ規格に書かれちゃってるんだからそりゃそうですね

2022/12/26(月) 14:17:52.01

もしも「必ずエラーとして報告されるべき」みたいな仕様にしたら std の特別扱いが要るから
標準ヘッダのファイルに素朴に書くだけな実装はやりにくくなるし……。

2022/12/26(月) 14:22:21.57

void InitBoard(void) // 盤を初期化
{
int x, y;

for (y = 0; y < YMAX; y++)
{
for (x = 0; x < XMAX; x++)
{
board[x][y] = 0;
}
for (x = 0; x < XMAX; x++)
{
num[x] = 0;
}
}
}

この処理の無駄を省くコードおしえてください

2022/12/26(月) 14:26:27.90

>>843
酷いとわかっているのに
なんでこの未定義動作だけ酷くはならないと思えるの？

2022/12/26(月) 14:26:50.08

memset(board, 0, sizeof board);
memset(num, 0, sizeof num);