C++相談室 part166 (607ﾚｽ)
上下前次1-新
13: (ｱｳｱｳｳｰ Sa1b-Dl8r) 04/30(水)09:52 ID:uCqRd3Swa(1) AAS
>>5
wxWidgets
14: (ﾜｯﾁｮｲ b720-xasm) 04/30(水)12:58 ID:8LRHZRl/0(1) AAS
Windows … というか Visual Studio だと今でもデフォルトは C++14 なんだよな
機能的には C++23 まで使えるのに
15(1): (ﾜｯﾁｮｲ afaa-hOut) 05/04(日)16:06 ID:/Tm3kYwr0(1) AAS
初心者スレないんですまん。
C++でvectorとsetで同じことやらすのってどうやるの？
cout << vec << endl;
cout << st << endl;
を共通で書きたいんだけど、
template?の書き方がわかんないの
16(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 6332-x8bn) 05/04(日)18:28 ID:w7r9Yiaa0(1) AAS
>>15
きちんと諸々に配慮しようとすると面倒なんだけど本当にそれが出来ればよいだけならこんな感じで出来なくはない。
外部ﾘﾝｸ:wandbox.org
17(1): 15 (ﾜｯﾁｮｲ afaa-hOut) 05/05(月)16:19 ID:WDPor1X60(1) AAS
>>16
ありがとうございます。
std::endlの代わりに' '(空白)を使うことはできませんかね
図々しくごめんなさい
18(3): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 6332-x8bn) 05/05(月)17:57 ID:7tS1Ts+e0(1) AAS
>>17
まさに「諸々に配慮」と述べた部分がそれでね……。
ここで定義した operator<< と元からある operator<< の両方が char を受け取ることが可能なので
どちらを呼び出すべきか曖昧なオーバーロード (ambiguous overload) になってしまっている。
ちゃんとやる場合はここで定義する operator<< が受け取れるのはコンテナに限定しなければならない。
型に制約を付ける真っ当な方法が入ったのは C++20 からなのでそれ以前の C++ でやろうとすると回りくどいんだよ。
C++11 でなるべく簡素に書くとしたらこんな感じかな。
外部ﾘﾝｸ:wandbox.org
19: (ﾜｯﾁｮｲ a701-uYIY) 05/06(火)12:29 ID:tCHDdC6b0(1/3) AAS
>template <class T>
>auto operator<<(std::ostream& os, const T& container_object)
> -> typename std::enable_if<!!sizeof(begin(std::declval<T>()) != end(std::declval<T>())), std::ostream&>::type {
横から何じゃこりゃw
20(2): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 6332-6RYV) 05/06(火)12:35 ID:SvTeM3j90(1/6) AAS
declval は要らんな。
もっとキッチリしたほうがいいのか簡素にしようか迷ってちょっと変な感じになってる……。
21(1): (ﾜｯﾁｮｲ a701-uYIY) 05/06(火)13:03 ID:tCHDdC6b0(2/3) AAS
>>20
いやいや非難ではなく
俺が知っているC++じゃないw
- operatorの前のautoは何ぞ?
- !!演算子?
22(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 6332-x8bn) 05/06(火)13:42 ID:SvTeM3j90(2/6) AAS
>>21
関数名の前に auto を書くと仮引数の後ろに返却値の型を書けるようになる。
つまり -> から { までのところに書いてるのが返却値の型。
従来の書き方では関数の仮引数を返却値の型を決定する文脈では使えないというルールがある。
たとえば
template<class T> decltype(e) foo(const T& e) {return e;}
というようなことは出来ない。 ここで e を参照することは出来ない。
後置では返却値の型を書くところで仮引数を使ってかまわない。
template<class T> auto bar(const T& e) -> decltype(e) {return e;}
ってのはアリ。
省4
23(1): (ﾜｯﾁｮｲ a701-uYIY) 05/06(火)14:29 ID:tCHDdC6b0(3/3) AAS
>>22
解説を有難うございます
返り値を後置する記法のアドバンテージが分かりました
>>18は返り値を後置にしてるけどもこれは必須ではないということね
!!も分かりました（g++-12はなしで通ります）
24(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 6332-x8bn) 05/06(火)16:07 ID:SvTeM3j90(3/6) AAS
>>23
> !!も分かりました（g++-12はなしで通ります）
非型テンプレートパラメータで size_t (sizeof の結果) から bool への変換 (縮小変換) は認められていないはず……
……と思ったらこれには例外があってコンパイル時計算の文脈で実際には情報が欠落しないなら OK。
つまり整数の 0 か 1 のときに限り (型の大きさとしては小さくなる変換であっても) bool に変換が可能。
25(1): (ﾜｯﾁｮｲ 1279-k14q) 05/06(火)17:28 ID:GbYxwNEQ0(1) AAS
非0ならtrueやないんか
26: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 6332-x8bn) 05/06(火)18:05 ID:SvTeM3j90(4/6) AAS
>>25
せやで。 こういうときは変換されない。
template<bool num>
class foo {};
int main(void) {
foo<2> bar;
}
通常の暗黙の変換で許されていても非型テンプレートパラメタでは縮小変換はされないので↓みたいなのも駄目。
template<unsigned char num>
class foo {};
省3
27(1): 15 (ﾜｯﾁｮｲ afaa-hOut) 05/06(火)18:35 ID:jhNAw2EC0(1/2) AAS
>>18
重ね重ねありがとうございます。
なんとか理解してみます。
C++20だとどうなります？
一応、C++の新機能ってぺージ見たんですけど、よくんからなくて
28: (ｱｳｱｳｳｰ Sac3-7Zak) 05/06(火)18:36 ID:nZOyiL0Ra(1) AAS
enable_ifは便利だけど使ったら負け感が半端無い
29(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 6332-x8bn) 05/06(火)19:26 ID:SvTeM3j90(5/6) AAS
この場合は enable_if は本来の意味で使ってないしな。
30(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 6332-x8bn) 05/06(火)20:07 ID:SvTeM3j90(6/6) AAS
>>27
こんな感じかな。
外部ﾘﾝｸ:wandbox.org
C++20 からはイテレータの概念も再編されて range という概念で扱うのが好ましいということになり、コンテナは range の一種だったことになった。
コンテナの中のここからここまでという範囲を表すものを中心にした考え方で、コンテナ自身も range だし、コンテナの除き窓のような view も range 。
Rust とか Go で言うスライスみたいなもん。
で、テンプレート引数として受け取った T が std::ranges::range の制約を満たすものなんやでという制約を入れることによってそうじゃないものはマッチしないように出来るし、
他の operator<< の候補にマッチするものがあるのならそっちが選ばれるようになる。
31: 15 (ﾜｯﾁｮｲ afaa-hOut) 05/06(火)21:47 ID:jhNAw2EC0(2/2) AAS
>>30
ありがとうございます。
rangeはときどき見てたんですけど、ぱっと見あんまり必要性がわからなかったんですけど、こういう理由があったんですね。
これから時間があるときは、rangeを意識して書きたいと思います。
ありがとうございました
32(1): (ﾜｯﾁｮｲ df01-7ORQ) 05/07(水)09:06 ID:pa9hjTXM0(1) AAS
>>29
ostreamあんま詳しくないので本来の意味じゃないってのが良くわからんかった
コンテナでなければ弾くようにしてるんだと思うけどsizeofで括ってるのは式自体が評価されないようにするため？
33: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 6332-x8bn) 05/07(水)09:38 ID:jrPMMEx+0(1/4) AAS
>>32
そう。
実態としては sizeof の中の式が成立するかどうかだけが判定基準になってる。
sizeof が 0 を返すことはあり得ないわけだし sizeof の中の式が成立しないなら enable_if で判定する以前に弾かれるわけなので enable_if は判定の役に立ってない。
式を書く場所があるならなんでもよかったんだけど最終的には ostream& になってもらわないといけないので enable_if が楽だったというだけ。
34: (ｻｻｸｯﾃﾛﾗ Spc7-7ORQ) 05/07(水)09:53 ID:zHwjwbR2p(1) AAS
あーなるほど、意味がわかった
ありがとう
35(3): (ﾜｯﾁｮｲ 1202-mpUa) 05/07(水)22:31 ID:OFqp/W1O0(1/2) AAS
vectorって、
宣言時に、要素数と初期値を設定できないっけ？
気持ちとしては、、
↓
vector<int> my_data(3) = { 6, 8, 44 };
36(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 6332-x8bn) 05/07(水)22:42 ID:jrPMMEx+0(2/4) AAS
>>35
できない。
そうしたい理由としては指定した個数分の要素が間違いなく与えられているようにってこと？
37: (ﾜｯﾁｮｲ a701-uYIY) 05/07(水)22:57 ID:F57QgFhN0(1) AAS
>>35
arrayはそれに近いな
array<int, 3> my_data = {6, 8, 44};
38(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 6332-x8bn) 05/07(水)23:14 ID:jrPMMEx+0(3/4) AAS
>>35
与えている要素の個数に間違いがないことを確実にしたいというのが目的だとしたらこういう関数を定義するのはどうだろう。
外部ﾘﾝｸ:wandbox.org
39(1): (ﾜｯﾁｮｲ 1202-mpUa) 05/07(水)23:14 ID:OFqp/W1O0(2/2) AAS
>>36
まあ、普通の配列なら、
int my_data[3]= { 6, 8, 44 };
ってできるので。
できても問題は無さそうだけど…
40: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ 6332-x8bn) 05/07(水)23:25 ID:jrPMMEx+0(4/4) AAS
>>39
文法の一貫性としてということ？
配列をそう定義したときの [3] は型の一部であってコンストラクタに渡す値ではないから……。
配列をそう書けるのが例外的、変則的な措置だと考えるべきだと思う。
41(1): (JP 0Hee-L4A6) 05/08(木)00:57 ID:4oP42WaSH(1/3) AAS
>>20
decvalは要る。お前さんは数値計算知らん。
型拡張で重要になるぞ。
42: (JP 0Hee-L4A6) 05/08(木)01:50 ID:4oP42WaSH(2/3) AAS
はちみつさんはC++仕様策定委員なの？
委員会でそんな発言されたら困るよ。
今さらtraitsみたいなトリック
使いたくないよ。
上下前次1-新書関写板覧索設栞歴
あと 565 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s