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/10/31(月) 17:11:42.28

保守です

2022/11/01(火) 07:31:00.75

寿限無寿限無五劫の擦り切れ海砂利水魚の水行末雲来末風来末食う寝る処に住む処藪ら柑子の藪柑子パイポパイポパイポのシューリンガンシューリンガンのグーリンダイグーリンダイのポンポコピーのポンポコナーの長久命の長助

2022/11/01(火) 12:22:19.23

今更話すことある？

2022/11/03(木) 09:15:40.37

template <template<class...> class T>
struct is_map : std::false_type { };

template<> struct is_map<std::map> : std::true_type { };
template<> struct is_map<std::multimap> : std::true_type { };
template<> struct is_map<std::unordered_map> : std::true_type { };
template<> struct is_map<std::unordered_multimap> : std::true_type { };

template <template<class...> class T>
concept map_t = is_map<T>::value;

template <template<class...> map_t MAP, class... ARGS> //C3339
void test(MAP<ARGS...>&&) {}

うーん、困った
どうしよう。。。

2022/11/03(木) 10:13:40.98

requires map_t<MAP>でええやん

2022/11/03(木) 10:30:49.88

あ、そっか
㌧x

一応、報告
template <template<class...> class MAP, class... ARGS> requires map_t<MAP> //OK
void test(MAP<ARGS...>&&) {}

2022/11/03(木) 18:33:03.71

テンプレートにテンプレート重ねて滅茶苦茶する典型

2022/11/03(木) 20:41:25.83

AssociativeContainer要件のコンセプトは標準ライブラリには無いんだな
規格上定義してるrequirementは一通り作っとけばいいのに

2022/11/03(木) 22:05:17.66

>>8
でも文法的コンパイラ的には許されている
100段くらい重ねて大丈夫なんじゃなかろうか

2022/11/03(木) 22:28:39.04

>>10
コンパイラが無限のリソースを使えるわけじゃないから制限があってもいいし、
わかっている制限は文書化するべきということになっている。
https://timsong-cpp.github.io/cppwp/n3337/implimits

言語仕様の側でもどの程度まで処理すべきかという最低限の数値は与えていて
この場合だと
Recursively nested template instantiations [1024].
ってのが当てはまる。
あくまでもガイドラインなのでこれ以下に制限された処理系がないとは言えないんだけど、
1024 が提示されているところで 100 やそこらに制限するような処理系はたぶんあんまりないとは期待できると思う。

2022/11/04(金) 14:22:03.44

そんなん言い出したら自動変数は合計何バイトまでとか
しょーもないことを規格票に書くハメにならないか？

2022/11/04(金) 14:28:53.41

GCCとClangの -ftemplate-depth-?? の話?

2022/11/04(金) 15:45:10.91

昔は17だったなその制限

2022/11/04(金) 16:29:55.40

つーかよ
俺5だけど、あの程度のことで
8みたいなこと言われたのずっこけてる

別に無駄に複雑化はしてないし裏技も使ってない
当たり前の書き方で目的を素直に書いてるだけなのに

一次テンプレートと特殊化でis_系のクエリーを作って
それでコンセプト作って使おうとしただけだぜ？
何があかんの？

テンプレートテンプレート仮引数がわからんだけじゃないのかって邪推しちまいそう

2022/11/04(金) 16:49:46.97

全然あかんくないと思うよ
8がアホなだけ

2022/11/04(金) 18:04:41.45

話は綺麗に終わってるのに
発展的に関連した話題を振るのならともかく
何で>>8みたいなコメントをいちいち付けるのか俺も理解不能

2022/11/04(金) 18:07:42.31

>>14
そうそう昔はこれを付けないで17超えるとエラーが出てた
-ftemplate-depth-100 くらいで使ってたけど
いまはデフォルトで1024になってるのね

2022/11/04(金) 19:44:51.78

制限はあくまでも「深さ」であって「回数」ではないので上手いこと変形するのも技の内だったんだよな……。
遊びでやるならきつめの制限も楽しいんだけどね。

2022/11/05(土) 15:23:46.47

自動的に解釈されるテンプレート引数で
値渡しじゃなく参照渡しと解釈させる方法ってありますかね？

**デフォルトの名無しさん** (ｽﾌｯ Sdb2-hVB7) · 2022/11/05(土) 15:33:58.60

std::ref
std::cref

2022/11/05(土) 15:40:28.55

あるんですねぇ
ありがとうございます

2022/11/07(月) 14:57:30.80

明示的な型変換が可能か調べる方法ってありますか？
暗黙的ならis_convertibleが使えるのですが…

std::is_convertible<std::shared_ptr<void>, bool>::value; // trueになってほしい

2022/11/07(月) 16:58:07.91

is_constructibleを使う

2022/11/07(月) 17:32:26.98

>>23
std::is_constructible<bool, std::shared_ptr<void>>::value

ありがとうございました。

2022/11/07(月) 17:32:50.90

>>24
ありがとうございました。