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/13(火) 22:11:52.14

>>698
なるほどー!

2022/12/13(火) 22:27:14.40

納得しちゃダメだった
ラムダ式の型は実装ごとに異なるみたいですね
以下__cxa_demangleがg++依存だけども
#include <iostream>
#include <memory>
using namespace std;
namespace abi {
extern "C" {char *__cxa_demangle (const char* __mangled_name, char* __output_buffer, size_t* __length, int* __status);}
}
string name_of (const type_info &p)
{
int status (0);
char *tmp (abi::__cxa_demangle (p.name (), 0, 0, &status));
string result (tmp);
free (tmp);
return result;
}
int main ()
{
using Ptr = shared_ptr <int>;
auto c0 ([] (const Ptr &lhs, const Ptr &rhs) {return *lhs < *rhs;});
auto c1 ([] (const Ptr &lhs, const Ptr &rhs) {return *lhs > *rhs;});
cout << (typeid (c0) == typeid (c1)) << '\n';
cout << name_of (typeid (c0)) << '\n'
<< name_of (typeid (c1)) << '\n';
return 0;
}
$ g++ -std=c++20 test.cpp
$ ./a.out
0
main::{lambda(std::shared_ptr<int> const&, std::shared_ptr<int> const&)#1}
main::{lambda(std::shared_ptr<int> const&, std::shared_ptr<int> const&)#2}

2022/12/13(火) 23:32:00.27

>>697
> m1にはcomparatorの型しか情報を渡しておらず
> m1は実装に関しては何も知らないはずなのですが
ここが思い込みかと。
ラムダ式のクラス型に比較関数が含まれてて、その内容もインスタンスに依存しないし、
比較方法は十分伝わってるから問題ないということで何も不思議じゃないと思う。

2022/12/13(火) 23:43:34.19

>>701
はい
ラムダ式の型というものを理解していませんでした
型で実装を伝えることができるのは
関数ポインタと大きく異なっていて面白い性質ですね

2022/12/13(火) 23:48:00.37

関数ポインタと書きましたが
関数オブジェクトとの相似で考えると不思議じゃないですね
関数オブジェクトも型で実装の情報を渡しますから
失礼しました

2022/12/14(水) 08:35:41.62

>>687
c++のunorderd_/(ordered_)は要素をキーにしてコレクションがソート済みになるかどうかを意味してると考えれば

全然違うよ。標準くらい読みなよ。

Associative containersとUnordered associative containerの本質的な違いはキーの定義。
Associative containersのキーは順序で比較可能でなくてはならず、Unordered associative containerは同値で判定可能でなくてはならない。
ついでに言うと、配列は(記憶に間違いなければ)直接メモリ番地で指定できなきゃならなくて、キー(みたいなもの)も(正)整数でなくてはならなかったはず。

2022/12/14(水) 08:45:51.73

配列の添字がキーだと思ってる人と
配列の中身がキーだと思ってる人
とじゃ会話が成り立たない

実際はどちらもキーではない

2022/12/14(水) 09:11:41.03

ねえパパ、バカって何？
簡単なことを難しく言う人のことだよ
う～ん、よくわかんないや

2022/12/14(水) 09:19:31.03

標準の話をするならvectorは連想配列じゃないしorderとか考えるものでもない

2022/12/14(水) 09:39:28.51

vectorで添字アクセスするのはなんか違う

2022/12/14(水) 09:55:06.54

>>同値で判定可能
同値「かどうか」判定可能じゃないの？
>>配列は直接メモリ番地で～
意味不明

2022/12/14(水) 10:35:37.85

定義もせずに真偽を議論しようとするアホ

2022/12/14(水) 11:33:30.37

>>709
>同値「かどうか」判定可能じゃないの？

意味不明。

厳密に言うなら、Unordered associative containerが要求しているのはa == b a != b。
同値「かどうか」とか曖昧な突っ込みで何やりたいの？

2022/12/14(水) 12:05:38.08

>>704
なるほどだいたい理解した
つまり最初の話に戻るなら unordered_multivector というものを考えた場合、格納する要素を a == b と a != b が定義されているものに限定して、
最悪の実装を考えると要素の格納方法は vector そのもので良くて要素のサーチは先頭からリニアに a == b をチェックしていくことになり、
unordered_vector ならば要素格納時に a == b なものを除外すればよいというわけだね

2022/12/14(水) 12:13:00.02

(使い所が無い)新たなコンテナを考えるスレじゃないと思う
当然Perlのスレでもない

2022/12/14(水) 12:23:38.93

C++の配列がordered, unorderedどちらの分類に近いかなら
キーが配列の添字 ==> ordered
キーが配列の中身 ==> unordered

2022/12/14(水) 12:29:53.77

>>712
同じ値を除外する必要は無い
集合と違って配列は同じ値を許すのが普通

2022/12/14(水) 12:39:11.82

>>712
>>705

中身とキー(みたいなもの。インデックス・添字)は別物。

あと、標準だと
The elements of a
vector are stored contiguously, meaning that if v is a vector<T, Allocator> where T is some type other
than bool, then it obeys the identity &v[n] == &v[0] + n for all 0 <= n < v.size().
だから、vector にunorderとかmultiとか考えても意味がない。混乱の元だからやめたほうがいい。

2022/12/14(水) 13:40:10.14

setはキーも中身も同じ

2022/12/14(水) 13:44:24.99

ハッシュの配列はハッシュではない

2022/12/14(水) 13:52:25.03

>>716
vectorのキーはuniqueでordered
vectorの中身はmultiでunordered
考えるまでもなく自明

2022/12/14(水) 14:28:12.41

vectorにinsertがある
添字はkeyではなくindexでしかない
何にとってorderedであるかはプログラマーに委ねられている

2022/12/14(水) 16:26:53.57

訂正

vectorの添字はuniqueでordered
vectorの中身はmultiでunordered

2022/12/14(水) 17:18:36.72

>>711
いや「同値で判定可能」って日本語として意味通ってないじゃん
取れる揚げ足を作った奴が悪いよ
「厳密に言うなら～が要求しているのは a==b a!=b」も全然厳密じゃないじゃん
a, b が何なのかも書いてないし、operator== と operator!= が定義さえされてればいいのか (a==b) ^ (a|=b) が true である必要まであるのかもその書き方だと分からない

2022/12/14(水) 17:36:27.63

ordered ≠ 全順序
== : 同値関係ではない

2022/12/14(水) 17:42:08.99

== が同値関係であるとは

a == a
a == b ⇒ b == a
a == b, b == c ⇒ a == c

2022/12/14(水) 17:58:56.90

>>697
>m1は実装に関しては何も知らないはずなのですが
>正しくpointeeでソートしますなぜ?
結論から言うと、ラムダ式は関数呼び出し演算子 operator()() を
持った名前なし functor に対応していて、「デフォルト値」で構築
しても機能を果たすから。

[詳細]

ラムダ式は、名前なし functor で、関数呼び出し演算子 operator()() を持った
クラスに対応している。いまの場合、
auto comparator ([] (const Ptr &lhs, const Ptr &rhs) {return *lhs < *rhs;});
は、
class SomeFunctor {
public:
　bool operator()(const Ptr &lhs, const Ptr &rhs) {return *lhs < *rhs;}
};
に対応していて、
SomeFunctor cmp{};
で SomeFunctor のオブジェクトを作ってから、
bool b = cmp(lhs, rhs);
とすると比較できる。
故に map クラスは SomeFunctor のオブジェクトをデフォルト値で
初期化すればいいことになるから、ユーザーが SomeFunctor の初期値
を渡さなくて良い。
実際に、mapクラスは、デフォルト値で初期化した SomeFunctor のオブジェクトを
基本クラスのメンバ変数に(実質的に)持っている。

2022/12/14(水) 18:01:30.49

>>696
setクラスは常に大小順に順序を整列し続ける集合としては最高レベルに高速。
検索も挿入もO(N・log N)

2022/12/14(水) 18:13:49.08

>>704
いや、ordered_が付かないmapやsetは、順序で並び替えることも定義の一部になっていて、
範囲forで巡ると、挿入した順序ではなく、比較関数で比較した結果に基いてソートされた順序になる。

https://stackoverflow.com/questions/7648756/is-the-order-of-iterating-through-stdmap-known-and-guaranteed-by-the-standard

Yes, that's guaranteed. Moreover, *begin() gives you the smallest

C++
・std::map is a sorted associative container

https://stackoverflow.com/questions/11274978/are-c-stdmapstring-string-ordered

are STL maps ordered?

Yes, a std::map<K,V> is ordered based on the key, K, using std::less<K> to compare objects, by default.
So if I iterate over it, it will iterate with the first insert string first?
No. It will iterate based on the sorted order, not the order that you inserted elements. In the case of std::string, it sorts in lexicographic order (alphabetic order).
If you want to iterate based on the insertion order, you're better off using a sequence container, such as a std::vector or a std::list.

2022/12/14(水) 18:15:48.90

>>727
誤: いや、ordered_が付かないmapやsetは、順序で並び替えることも定義の一部になっていて、
正: いや、unordered_が付かないmapやsetは、順序で並び替えることも定義の一部になっていて、

2022/12/14(水) 18:16:04.80

>>726
つまり>>696

2022/12/14(水) 18:20:54.42

>>702, 703
そういうことやね。
ラムダ式は、関数呼び出し演算子 operator()()を持ったクラスに対応していて、
その演算子が、ラムダ式の中身になっているから、テンプレート引数に
クラスの型を渡すだけで関数を渡せる。
ローカル変数をキャプチャしている場合は、どうなっているか良く知らないけども、

2022/12/14(水) 18:31:09.04

>>726
なんかさらっとオーダー間違ってるし
見逃した

最高レベルでもない
検索も挿入もO(1)なのが存在する

2022/12/14(水) 18:32:24.38

>>728
じゃんけん型の場合はどうなるんだろうねえ

2022/12/14(水) 18:34:00.96

>>731
ほんまや。正しくは、一回当りの検索や挿入に掛かる時間のオーダーは、
O(logN)
だと思うわ。

>>731
>検索も挿入もO(1)なのが存在する
常にソートし続ける集合でそんなん有りましたっけ？

2022/12/14(水) 18:36:10.47

>>733
俺は、紙に書いてあるのを丸覚えてるわけじゃなくて、あたまのなかで
1秒でシミュレーションして自分で割り出してるが、簡単すぎるので、
テキトーに書いてしまう癖が有って、打ち間違える。

2022/12/14(水) 18:38:06.37

int x,y;
auto f = [&x,y](){};
のとき、

fの型は
struct{
int& _x;
int _y;
void operator()();
};

相当だとは思う。
コンストラクタ周りがどういう扱いされてるかはわからん

2022/12/14(水) 18:39:44.53

>>722
c++標準に言えよ。

2022/12/14(水) 18:42:43.51

>>734
なにその言い訳www

2022/12/14(水) 18:45:03.96

逆に
構造を知らないでオーダーだけ丸暗記してるようなのがいるとでも思ってる？

2022/12/14(水) 19:02:37.51

>>733
はい

2022/12/14(水) 19:04:38.48

>>727
key とelementが紛らわしいなぁ。
c++標準は「keyで並び替える」。setはkeyがelementになるので結果として「elementで並び替えたのと一緒」となるだけ。key とelement をしっかり区別しないと擬似問題になるよ。

2022/12/14(水) 19:09:19.21

>>740
>>721

2022/12/14(水) 19:25:11.39

>>741
「中身はmultiでunordered」の意味が全然分からないから無視したんだけど……
なにこれ？

2022/12/14(水) 19:27:27.41

そのままの意味

2022/12/14(水) 19:29:17.49

配列の中身は順序が定義されてる必要はなく
複数の値も取り得る

2022/12/14(水) 19:33:54.85

配列の中身をmultisetのkey,element
配列のインデックスをmultisetの要素のn番目のn
ととらえれば配列はmultiでunordered

配列の中身をelement
配列のインデックスをkey
ととらえれば配列はuniqueでordered

実際はどちらでもない

2022/12/14(水) 19:48:43.68

>>744
「複数の値も取り得る」は嘘だろ。
vector<vector<T>>の話？

2022/12/14(水) 19:57:11.36

a[0] = 0;
a[1] = 0;

2022/12/14(水) 20:03:19.82

multi : 別の場所に同じ値を入れられる、同じ値を複数個保持出来る

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
へー初めて知った