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/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);

2022/12/26(月) 14:33:45.39

>>846
つbzero,ZeroMemory

2022/12/26(月) 14:39:30.42

標準に <iosfwd> あるくらいだし動機はわかるけども

あんま詳しくないけどモジュールはよってことなんかね？

2022/12/26(月) 14:44:20.75

禁止と言われて、そうですかと聞き分ける人と、ゴネる人がいるってことだ。

2022/12/26(月) 14:49:02.84

>>847
>>821からの流れは
実際に「酷い」鼻から悪魔が出る処理系はないんじゃないかな?って問い掛けです
少なくともここのスレではコンパイルエラーやリンカーエラーになる事例は
指摘がありましたが「酷い」ことになる事例は出ていません（誰かもしあれば?）

なぜそう考えるかは名前空間oresamaでは合法で
名前空間stdのみに規格において例外的な規定がなされているからって程度です
>>845のようにエラーが明示的に出ないのも
酷いことにならんのじゃないかなぁと
私が考えてしまうことに貢献しているかも

2022/12/26(月) 14:50:30.84

>>846
std::fill を使うのが妥当じゃないかな？

memset でも普通は問題は起きないと思うけど
メモリブロック (バイト列) に対する操作だから board の型によっては
問題が起こることはなくもない。

2022/12/26(月) 14:51:24.85

>>851
そういうことではない

文法的にダブルスタンダードになってるのが気持ち悪い
名前空間stdもoresamaも同じ取り扱いである方が
文法的に美しいって感じているから
実際には最適化のためにstdは特別扱いが規定されている

2022/12/26(月) 15:04:20.66

(自分の環境だと)酷いことにはなってないから
未定義踏んでてもOK派？
勘弁してください

2022/12/26(月) 15:10:52.71

>>855
煽ってものらないよw 誰もそんなことは書いていない

酷いことになる事例を教えてねってことを書いています
どういうこと（最適化?）を想定してダブルスタンダードにしたのか
動機を知りたくないですか?

2022/12/26(月) 15:12:35.95

fill_n(num,__countof(num),0)
上のboardは自分で考えるんだ

2022/12/26(月) 15:26:40.53

>>854
自分が作ったライブラリの名前空間に何を追加されても正しく動く (または必ずエラーになる) ように保証してんのか？
各ライブラリごとの挙動に保証していることと保証してないことがあるのは当たり前のことだろ。
お前のライブラリについての保証はお前がするから「言語では」関知しないってだけで、
oresama に何を追加してもよいことが保証されてるわけではない。

2022/12/26(月) 16:14:39.95

>>858
たぶん伝わってないな
以下をユーザが自分のソースに書くのは>>820の言うように規格で禁じられている
namespace std {
template <class T, std::size_t N>
struct array;
}
同じくoresama::ARRAYなるカスタムのクラステンプレートが定義されていたとして
以下をユーザがソースに書くのは合法
namespace oresama {
template <class T, std::size_t N>
struct ARRAY;
}
これをダブルスタンダードで気持ちが悪いと思っている
最適化との説だけども
具体的なことを知っている人がいたら聞きたいな

2022/12/26(月) 16:17:49.67

>>846
そのboard[x[][y]はゼロフィルしても良い配列？
盤外に飛び出す桂馬飛びの高速判定テクニックとして実はboard[-1][-2]が壁のコードになっている
とかありそう
※ 全くの想像です
※ 未定義動作と言われても知らそんこの場合アセンブリコードが正しくて速ければええんじゃ
※ この場合2次元配列はやめてカラム数が2のべきの1次元配列であるべき
※ ここまで全くの妄想です

2022/12/26(月) 16:19:44.55

説明が抜けた；；；
board[-1][-2]が壁のコードになるような思想の場合は
board[0..][0..]にも当然盤を取り囲むように壁のコードが配置される

2022/12/26(月) 16:26:57.23

>>859
お前のライブラリの仕様はお前が決める、
標準ライブラリの仕様は言語仕様で決める。
そこになんの違いもありゃしねぇだろうが

2022/12/26(月) 16:30:53.99

>>862
一行目は違う
oresama::ARRAYの前方宣言が合法なのは
文法で規定されている

2022/12/26(月) 16:34:00.09

>>863
No.
許されているのはそのライブラリの設計がそうなっているからで許さない仕様のライブラリはあり得る。

2022/12/26(月) 16:44:01.34

>>864
前方宣言を許さない設計なんて本当にあるの?

2022/12/26(月) 16:54:23.72

>>865 あるよ。標準ライブラリがそう。

2022/12/26(月) 16:55:15.06

かまってちゃん

2022/12/26(月) 16:55:21.28

>>865
すでに >>837 で示されてる。見かけ上の名前は別名であるかもしれない。
別名ではない実装で書かれていることがはっきりしていて将来も変更されないと oresama::ARRAY について
保証されているならそれをあてにしてもいいんじゃないの。
で、それを保証するかどうかはライブラリを作ったやつの裁量次第。

2022/12/26(月) 17:07:33.78

>>866
誰か突っ込んでくれると思ってた
有難う！

2022/12/26(月) 17:11:08.06

namespaceはシンボルの衝突を防ぐためのしくみなのに
後から要素を追加できる仕様の方がおかしいfinalizeできるべき

だいたいnamespace oresama にX=ｻﾝが "bar.h" にて void oresama:foo()を定義して、
C++の標準ライブラリ仕様しか見ていないY=ｻﾝが "baz.h" にて同じシグネチャで異なる実装の
void oresama:foo() が実装されてしまう危険性が避けられない
のだから第三者によるnamespace内への後付けは本来言われるまでも無く禁止されるべき事項、

同一シグネチャで異なる実装があったらリンク時にエラーになる、と気体することは場合に掘っては全くできない
http://0xcc.net/blog/archives/000060.html

ちなVS2010だともっと簡単に（スタティックリンクでも）起こせるorz

2022/12/26(月) 17:13:25.25

訂正orz
誤1： C++の標準ライブラリ仕様しか見ていないY=ｻﾝ
正1： oresamaのオリジナルの仕様書しか見ていないY=ｻﾝ

誤2：場合に掘っては全く
正2：場合によっては全く

2022/12/26(月) 17:15:26.88

>>868
話がズレている
前方宣言は規格で合法だよ
（ただし名前空間std内を除く）
鼻から悪魔は出ない...と思う

2022/12/26(月) 17:58:37.42

>>872
前方宣言自体はいいよ。
そのライブラリ内でどう定義されているかわかっていて**妥当な前方宣言を出来るなら**。
将来のライブラリの更新があっても妥当でありつづける (または妥当でなくなったときに追従する) なら。

いちいちライブラリが保証していない内部仕様を調査して妥当かどうか確かめなきゃならない、どんな干渉が起きるかわからない
ってのは (ライブラリの仕様としては) 未定義じゃろ。

2022/12/26(月) 18:28:18.27

>>854
タブスタって何が？
stdに勝手に追加やってみた？
コンパイル通るぞ
文法的にどうのということと
できることとやっていいことは違うということを
区別しているか？

2022/12/26(月) 18:40:09.55

>>846
C言語はboard[x][y]のy側が連続に配置されるから for(x = ...){ for(y = ...){ ... } } の順にネストした方が効率的になる可能性が高いので俺なら
for (x = 0; x < XMAX; x++){
for (y = 0; y < YMAX; y++){
board[x][y] = 0;
}
num[x] = 0;
}
って書くと思う

2022/12/26(月) 21:17:05.02

>>873
前方宣言ってヘッダを見てやるから
逆に妥当でない前方宣言ってどんな場合のことを書いているのですか?
内部仕様を調査する必要もないと思うのですが?

2022/12/26(月) 21:18:30.60

>>874
>>859の通り

2022/12/26(月) 21:37:30.08

前方宣言のつもりがこういうので意味変わっても知らんぞ
http://d.hatena.ne.jp/DigitalGhost/20090216/1234793122

2022/12/26(月) 21:37:34.67

oresama 名前空間に前方宣言が追加されると未定義動作になるような例って実際作れる？
std についてはコンパイラマジックでも何でもありだが

2022/12/26(月) 21:47:21.55

未定義動作は未定義だよ

意図通り動いても、
デバッグするのに便利な例外が投げられても、
まともに動いてるように見えてメモリ壊してても、
コンパイルエラーになっても問題ない

コンパイラと実行環境は求められる動作が決まってないから

2022/12/26(月) 22:12:49.76

変な宣言が追加されるとSFINAEが狂うパターンとかあるかも。