C++相談室 part157

**デフォルトの名無しさん** · 2021/08/09(月) 10:57:31.60

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

**はちみつ餃子** ◆8X2XSCHEME · 2021/11/05(金) 13:57:04.43

>>923
C (C99 以降) には有るからついでに C++ でも使えるようにするのは gcc 的にはたいした手間でもなかったんだろうと思う。

**はちみつ餃子** ◆8X2XSCHEME · 2021/11/05(金) 14:01:00.76

ところで C の designated initializer では配列要素を指示することも出来るんだけど、 C++20 にはこれは入らなかったんだね。
↓ こういうの。

const char *foo[5] = {
[2]="bar"
};

**デフォルトの名無しさん** · 2021/11/05(金) 14:04:47.27

c++17以前でも引数を構造体にまとめれば{}で区切って記述できるようになるから多少マシにはなるよね
IntelliSenseが効きにくくなるのが欠点だけど

**デフォルトの名無しさん** · 2021/11/05(金) 14:10:59.42

>>922
君は何を言っているんだい？

**デフォルトの名無しさん** · 2021/11/05(金) 14:27:51.72

そのCの記述素晴らしいよね
C++的でないのはわかるがどうせ初期化時でしか使わんのだしとっとと入れるべきだった

**デフォルトの名無しさん** · 2021/11/05(金) 16:10:31.37

>>925 ラムダ式のキャプチャと競合するためと書いてるね

**デフォルトの名無しさん** · 2021/11/07(日) 16:47:32.00

https://ideone.com/d05dJ9
#include <iostream>
#include <vector>
#include <memory>
using namespace std;
#define MAX_SIZE 100
template <class T>
// template <class T, size_t C=MAX_SIZE>
class SizeLimitedAllocator {
public:
typedef T value_type;
using traits = allocator_traits<allocator<T>>;
T *allocate(size_t n) {
if (n > MAX_SIZE) throw bad_alloc();
// if (n > C) throw bad_alloc();
return traits::allocate(_allocator, n);
}
void deallocate(T *p, size_t n) {
traits::deallocate(_allocator, p, n);
}
private:
allocator<T> _allocator;
};
int main()
{
vector<char,SizeLimitedAllocator<char>> vec(MAX_SIZE);
try { vec.resize(MAX_SIZE+1); }
catch (bad_alloc& e) { cerr << e.what() << endl; }
return 0;
}
このコードをコメント側に変更してコンパイルするとこけるんだけど、なんで？

**デフォルトの名無しさん** · 2021/11/07(日) 17:51:19.26

>>928
aggregate限定だね

**デフォルトの名無しさん** · 2021/11/07(日) 17:56:01.13

>>930
https://en.cppreference.com/w/cpp/named_req/Allocator#cite_note-2
> rebind is only optional (provided by std::allocator_traits) if this allocator is a template of the form SomeAllocator<T, Args>, where Args is zero or more additional template type parameters.

これですかね？
カスタムアロケータ自分で定義したことないのでじゃあどうすればいいかは分かりませんが……

**デフォルトの名無しさん** · 2021/11/07(日) 18:53:11.25

rebind_allocが悪さしてたりして

**デフォルトの名無しさん** · 2021/11/07(日) 19:23:12.01

>>930
SizeLimitedAllocatorの定義にこれ追加すればいいよ
template<typename U>
struct rebind {using other = SizeLimitedAllocator<U,C>;};

**デフォルトの名無しさん** · 2021/11/08(月) 00:05:22.17

https://github.com/gcc-mirror/gcc/blob/master/libstdc%2B%2B-v3/include/bits/ptr_traits.h#L62-L69
この辺の定義にある
定数値という型でないものがテンプレート引数に入ったため、__replace_first_argの下側の定義が使われず
上側の定義が使用されtypeも入らず
https://github.com/gcc-mirror/gcc/blob/master/libstdc%2B%2B-v3/include/bits/alloc_traits.h#L80
でrebindできなくなったことが原因でした。
これを回避するためには、>>934のように
https://github.com/gcc-mirror/gcc/blob/master/libstdc%2B%2B-v3/include/bits/alloc_traits.h#L51-L57
この下の定義に当てはまるrebind<U>::otherを定義しておく必要があるようです。

定数値でなく型がテンプレート引数に追加された場合は、otherの定義は必要ありませんでした。

**デフォルトの名無しさん** · 2021/11/10(水) 17:04:45.91

グーグルテストのASSERTの片辺に期待値をマジックナンバーじゃなくマクロ定数で指定すると赤線引いて来やがるんだけどVSだけ？
ビルドは通るしテストもできるから全く問題ないんだけどうぜー

**デフォルトの名無しさん** · 2021/11/10(水) 20:17:21.11

warningの種類ごとにon/offしたくなる

**デフォルトの名無しさん** · 2021/11/11(木) 00:05:50.61

大体のコンパイラはそういう#pragma持ってるだろ
MSVCなら#pragma warning
GCCなら#pragma GCC diagnostic

**デフォルトの名無しさん** · 2021/11/12(金) 12:50:12.26

改行コードとかタブコードとかが含まれた文字列を
\nとか\tとかにエスケープしてくれる関数ってある？

**デフォルトの名無しさん** · 2021/11/12(金) 12:53:25.82

速度気にしないなら正規表現で

**デフォルトの名無しさん** · 2021/11/12(金) 13:28:00.04

quote?

**デフォルトの名無しさん** · 2021/11/12(金) 14:16:51.83

std::replaceは?
sjisだとまずいかも

**デフォルトの名無しさん** · 2021/11/12(金) 20:51:39.15

文字コード周りはカオスすぎて標準も手に負えず匙投げたからライブラリ使った方がいいよ

**デフォルトの名無しさん** · 2021/11/12(金) 23:22:09.10

>>939
C/C++の場合、1文字単位での文字列処理が得意なので、自作するのも簡単。
0x09 や 0x0a は、SJISやUtf8などの多バイト文字の中には含まれて無いから、
なおさら。
例えば、std::stringでも、新しい文字列変数dstを作って、srcの文字列
から1バイト単位で読み取って、dstに1文字ずつ末尾追加していけばいい。

**デフォルトの名無しさん** · 2021/11/12(金) 23:28:15.13

>>944
[具体例]
MFCのCStringなら、以下のようにするだけでよい:

CString src　= "元の文字列";
CString dst;　// 変換後の文字列を入れる変数。
const char *ptr = (const char *)src;　// CString の 0 終端文字列の先頭アドレスを取得するための変換関数を呼び出している。
while ( *ptr != 0 ) {
　if ( *ptr == 0x0a ) {
　　dst += "\\n";
　}
　else if ( *ptr == 0x09 ) {
　　dst += "\\t";
　}
　else {
　　dst += *ptr;
　}
　ptr++;
}

**デフォルトの名無しさん** · 2021/11/12(金) 23:33:56.40

>>945
[補足]
このプログラムは、1バイトずつ読み取っているが、文字符合は、このままでも、
無修正で ASCIIだけでなく、SJISやUTF8やEUCにも対応している。
後者のような符合では、例えば、SJISの"あ"の文字だと、1文字単位ではなく、
1バイトずつ処理され、2回ループが回るが、問題ない。
UTF8だと3回ループされる。
つまり、このプログラムでは、SJISの1文字は、2文字のように
UTF8の"あ"の文字は、3文字のように処理される。
しかし、それでも結果的には問題ない。
なぜなら、0x0aや0x09は、多バイト文字の中には含まれてないから。

ただし、SJISの場合、\ の文字コードが含まれているので注意が必要ではあるが、
今回は問題ない。

**デフォルトの名無しさん** · 2021/11/12(金) 23:39:04.51

>>946
[補足2]
char は、C言語が登場した時には、「文字」の意味であったが、
今は少なくとも C言語では文字の意味はほぼなく、1バイト(8BIT)の意味である。
そして、C言語でcharが1バイト(8BIT)で無い処理系は、主流ではないので無視
してよい。
Javaなどでは、charが必ず16BITであるのとは対照的である。
ただし、Javaもサロゲートペアの文字に対しては、charは文字の一部であって
本当の1文字には対応していない。
※結局、どの言語も、1文字を固定長で扱い続けることは避けている。

**デフォルトの名無しさん** · 2021/11/13(土) 02:30:33.64

メモリ確保が多発しそうなプログラムやね

**デフォルトの名無しさん** · 2021/11/13(土) 06:30:48.47

老害が一生懸命考えたんだろw
メモリリークしまくられるよりマシ

**デフォルトの名無しさん** · 2021/11/13(土) 07:45:14.90

CStringにせよbasic_stringにせよメモリ確保の多発なんて心配しなくていいよ
JavaのStringじゃないんだから

**デフォルトの名無しさん** · 2021/11/13(土) 08:44:09.90

こういう時reserveしてなくても問題ないの？
最大容量わかってるやん。

**デフォルトの名無しさん** · 2021/11/13(土) 09:34:35.76

メモリ2倍取るのと再配置とどっちが無駄かはそれこそ環境と目的次第だろ

**デフォルトの名無しさん** · 2021/11/13(土) 11:06:02.43

>>945
CStringA
もしくは _T("\\t")他

**デフォルトの名無しさん** · 2021/11/13(土) 11:44:37.82

vectorもそうだけど、倍々にメモリを再配置していくアルゴリズムがそこそこ効率的なので、
たいていの場合はreserveしようがしまいが有意な差は出ないよね

**デフォルトの名無しさん** · 2021/11/13(土) 12:34:40.00

>>943
ほんそれ
std::codecvt_utf8_utf16とか黒歴史でしかない

**デフォルトの名無しさん** · 2021/11/13(土) 12:36:34.59

>>944-945
良い子は真似をしないように

**デフォルトの名無しさん** · 2021/11/13(土) 12:49:12.18

プログラミングとしてはiso2020使ってた頃と大して変わらんよね
低レベルで吸収してくれんとやってられん

**デフォルトの名無しさん** · 2021/11/13(土) 13:24:23.81

ファイル読み取りもシステムコール側が独自にバッファリングしていることが多いから
プログラマ側ががんばってバッファリングしても二度手間だったりする

**ハノン** ◆QZaw55cn4c · 2021/11/13(土) 15:53:45.28

>>955
utf32<->utf8
utf32<->utf16
で十分だと思っていますが

というか、 utf16 自体が黒歴史…

**ハノン** ◆QZaw55cn4c · 2021/11/13(土) 15:54:13.83

>>958
stdio.h をディするのはそこまでだ

**デフォルトの名無しさん** · 2021/11/13(土) 17:16:26.07

文字コードなんて事実上iconvが標準だろ
せいぜいicuくらい
他は一部のプラットフォーム固有の関数くらい
制御コードはISO2022でもなければ使わんし、いうてwhite spaceの類は使われてないから気にすんな
真面目にやると文字の境界見つけんのがだるいし、合成文字の扱いも微妙、異常系の仕様も要件次第になるし、Unicodeのバージョンも無限に上がりそうだけどなｗ
ってわけでC++とか関係ない話だからどうでもいいよ

**デフォルトの名無しさん** · 2021/11/13(土) 18:02:09.89

C++ なら strstream やろ

**デフォルトの名無しさん** · 2021/11/13(土) 18:03:36.59

>>959
utf32<->utf8
utf32<->utf16

どちらも std:: のは黒歴史

**ハノン** ◆QZaw55cn4c · 2021/11/13(土) 18:39:04.73

>>963
そうなんですか…
なぜなんですか？

**デフォルトの名無しさん** · 2021/11/13(土) 19:29:59.64

>>964
知ってるくせに
https://cpprefjp.github.io/reference/codecvt.html
https://cpprefjp.github.io/reference/codecvt/codecvt_utf8.html
https://cpprefjp.github.io/reference/codecvt/codecvt_mode.html
https://cpprefjp.github.io/reference/locale/wstring_convert.html

**デフォルトの名無しさん** · 2021/11/13(土) 21:14:20.03

自分はHTML5の仕様に従って変換してます！

**デフォルトの名無しさん** · 2021/11/14(日) 08:24:14.02

>>959
結合文字列があるから、結局コードポイントに必ず1文字が対応しているとは限らないし、
何使ってもUnicodeは闇じゃないか。
まあ、UTF32使えばコードポイントがぶっ壊れることは避けられるけれども。

**デフォルトの名無しさん** · 2021/11/14(日) 09:14:46.42

この場合同じコードポイントでの変換なわけだし一文字がどうとか関係ないが。

**デフォルトの名無しさん** · 2021/11/14(日) 10:38:12.94

>>948
Perl/Ruby/JSなんかで正規表現を使って置換する場合でも、
同じようなアルゴリズムを使ってるはずだから、これが
特に非効率なわけではないし、代わりになるアルゴリズムで
これよりトータルで効率の良いものも恐らく存在しない。

1.例えば、0x0aと0x09の出現回数を最初に数えれば、必要な
　dstのバイト数を見積もることは可能だが、その場合は、
　二回もパースが必要になるし、プログラムも分かりにくくなる。
　二回パースすることによる速度低下も有る。

2.dstのサイズはsrcのサイズの2倍を越えないので、単純に
　dstの内部バッファをsrcのバイト数の2倍として予約しておけば
　メモリ確保は一回で済むが、srcが巨大な時、メモリを圧迫し、
　余り良いアルゴリズムとは言えない。

**デフォルトの名無しさん** · 2021/11/14(日) 10:52:13.79

>>951
文字列のバッファは、不足すると2倍、2倍、・・・で確保されていくので
確保される回数は、最終的な文字列のバイト数を N としたとき、大体、
log2(N) 回程度となり、バッファがコピーされるトータルのバイト数は、
b = a + a*2 + a*2^2 + a* 2^3 + ... + a* 2^k
k = log2(N) 程度
a = 文字列クラスの内部バッファの初期バイト数。
となり、大体で言えば、2N を越えない。
1 + 2 + 2^2 + 2^3 + ... + 2^k
は 2進数で考えれば、全てのビットが 1 に成っている整数で、
2^{k+1} = 2*2^k = 2*2^{log2(N)} = 2 * N
であることに注意する。

ただし、bの値は大体で書いたので、厳密には少し違うだろう。

**デフォルトの名無しさん** · 2021/11/14(日) 10:59:39.62

>>970
1 + 2 + 2^2 + 2^3 + ... + 2^k
= Σ_{i=0}^k 2^i
= (1 - 2^{k+1}) / (1 - 2)
= 2^{k+1} - 1
である。途中、等比数列の和の公式：
等比数列の和 = 初項 * ( 1 - 公比^項数) - ( 1 - 公比 )
を用いた。

**デフォルトの名無しさん** · 2021/11/14(日) 11:04:20.53

>>971
誤: 等比数列の和 = 初項 * ( 1 - 公比^項数) - ( 1 - 公比 )
正: 等比数列の和 = 初項 * ( 1 - 公比^項数) / ( 1 - 公比 )

**デフォルトの名無しさん** · 2021/11/14(日) 12:08:34.21

俺は数年前業を煮やして自前のstringクラスを作ってしまった(´･ω･｀)
・sjis/utf8/utf16/utf32対応で比較・代入などどの組み合わせでも問題なく動く
・どの文字コードでも同じハッシュ値を生成する
・char型がsjisなのかutf8なのかはdefineで決める
・テンプレートベースのformatを用意してprintfを置き換え
みたいな

**デフォルトの名無しさん** · 2021/11/14(日) 12:57:01.80

>>973
保持するときのエンコードは？

**デフォルトの名無しさん** · 2021/11/14(日) 12:58:38.01

>>974
文字コードの種類に１バイト用意して、後はそれぞれの文字コードで直接保存している

**デフォルトの名無しさん** · 2021/11/14(日) 13:30:12.63

えー
コンストラクタで各種文字コードのバイト列を受け取れるようにして内部保持形式はUTF32でよくない？

**デフォルトの名無しさん** · 2021/11/14(日) 13:42:53.43

それだと大きめのテキストファイルを開いたときなどいちいち変換が入って遅くなりそうだから…といっても実際にはどっちが効率良いのかまでは比べてないけど
異なる文字コード同士比較する時なんかはコードポイント単位で読み出して結局utf32ベースで処理するしな…

**デフォルトの名無しさん** · 2021/11/14(日) 13:44:30.36

>dstのサイズはsrcのサイズの2倍を越えない

しね

**デフォルトの名無しさん** · 2021/11/14(日) 13:59:19.66

プログラマーは3種類しかいない
文字コードが分からない一般プログラマー
文字コードを理解したと勘違いしている地雷プログラマー
そして人類が文字コードを理解するのは不可能だと悟った上でなんとか事故が起こらないように心を砕く真の専門家だ

**デフォルトの名無しさん** · 2021/11/14(日) 14:17:19.40

>>976
あーあとは、これのstring_viewバージョンがあって、関数のパラメータをconst mystring_view& strみたいに受けると、どんな対応してる文字なら（リテラルや対応してるクラス含めて）なんでも参照として受け付けるから便利なんだよね

**デフォルトの名無しさん** · 2021/11/14(日) 14:59:21.42

それconst&いるんか？

**デフォルトの名無しさん** · 2021/11/14(日) 15:13:11.67

実質的にはほとんどなにも変わらないと思うけど、無駄なコピーが減る場合もあるので付けておくに越したことはないと思う

**デフォルトの名無しさん** · 2021/11/14(日) 15:45:24.64

まぁ、でも参照もコストゼロってわけじゃないから、場合によっては遅くなることもあるか…

**デフォルトの名無しさん** · 2021/11/14(日) 16:54:05.80

const って伝播するから嫌い
付けるのは反対ではないが

**デフォルトの名無しさん** · 2021/11/14(日) 17:26:15.73

伝播ってどういうこと？

**はちみつ餃子** ◆8X2XSCHEME · 2021/11/14(日) 17:38:21.62

参照で受け取るときには const を付けないと右辺値を受け取れないんだよ。

&& にしたら逆に右辺値しか受け取れないし、
テンプレートにするのも面倒くさいし、
const 参照で不都合がないならまずそれを選ぶのが常道になってる。

積極的にそうする必要はなくても手癖でやるよね。

**はちみつ餃子** ◆8X2XSCHEME · 2021/11/14(日) 17:44:17.95

>>985
const 無しから const 付きの参照へは暗黙の型変換が許されるがその逆はない。
const 付きにしたらそれがずっと伝わっていくってことだ。

元のオブジェクトが const でないなら const_cast で const を剥がして書き換えるのは一応は有りなはずだが、
かなり行儀が悪いしな。

**デフォルトの名無しさん** · 2021/11/14(日) 17:59:13.06

スコープ限定のconstを欲するひとがいるとは思わんかった

**デフォルトの名無しさん** · 2021/11/14(日) 18:02:00.71

責任ベースのconstは有り得るのでは？
privateが在るんだから。

**デフォルトの名無しさん** · 2021/11/14(日) 18:05:38.66

というか伝播しなかったら困るのでは？
お行儀悪くconst_castしない前提なら
ある関数の引数がconstだったら、その関数が呼び出す関数もまたconstであるという保証は大切だろうし

**デフォルトの名無しさん** · 2021/11/14(日) 18:45:07.42

もちろんそれは大切ですよ。
伝搬しなかったら意味ないし。

**ハノン** ◆QZaw55cn4c · 2021/11/14(日) 19:45:46.13

K&R2 にも const はありますが全然使わなかったなあ…volatile 同様キワモノだとおもっていました（爆）

**デフォルトの名無しさん** · 2021/11/14(日) 22:33:34.47

C++20からコルーチン入るけどコルーチンの返り値に関数内の変数の参照返すの問題になるかな？

hoge& test(){
hoge tmp;
for(int i=0;i<10;++i){
co_yield tmp;
}
}

//返り値は実際はgeneratorとかになるかもしれない

**デフォルトの名無しさん** · 2021/11/14(日) 22:35:39.21

yeild使えるようになるのか

**デフォルトの名無しさん** · 2021/11/15(月) 01:03:02.10

viewは値渡しが基本だよ

**デフォルトの名無しさん** · 2021/11/15(月) 06:05:50.61

何かのリミッタが外れた感じだね
無差別にぶち込むようになった

**デフォルトの名無しさん** · 2021/11/15(月) 06:11:48.42

江添が逃げた理由も察しがつく

**デフォルトの名無しさん** · 2021/11/15(月) 15:55:33.66

更新してないよね

**デフォルトの名無しさん** · 2021/11/15(月) 16:41:30.12

hage

**デフォルトの名無しさん** · 2021/11/15(月) 16:42:03.92

10^3

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 98日 5時間 44分 33秒