C++相談室 part130 [無断転載禁止]©2ch.net

2017/03/31(金) 08:47:49.65

次スレを立てる時は本文の1行目に以下を追加して下さい
!extend:on:vvvvv:1000:512

C++に関する質問やら話題やらはこちらへどうぞ。
ただし質問の前にはFAQに一通り目を通してください。
IDE (VC++など)などの使い方の質問はその開発環境のスレにお願いします。

前スレ
C++相談室 part129
http://echo.2ch.net/test/read.cgi/tech/1483940967/

このスレもよろしくね。
【初心者歓迎】C/C++室 Ver.100【環境依存OK】
http://echo.2ch.net/test/read.cgi/tech/1478440682/

■長いソースを貼るときはここへ。■
　http://codepad.org/
　https://ideone.com/

[C++ FAQ]
https://isocpp.org/wiki/faq/
http://www.bohyoh.com/CandCPP/FAQ/ (日本語)

VIPQ2_EXTDAT: default:vvvvv:1000:512:----: EXT was configured

2017/06/25(日) 17:09:07.72

>>545
なぜ一致すると思うのかをまず説明すべきではないかね？

2017/06/25(日) 17:14:35.54

99: 1100011
35: _100011
何度かやってみると、合う時もあるな

2017/06/25(日) 19:00:42.60

uint32_tをuint64_tに変えたら一致するようになりました
ヒントになります？

2017/06/25(日) 19:15:35.89

VC++2015で調べたらaaa,bbbは8byteでbit_tのメンバーは

b0: 0ビット目
b1: 5ビット目
b2: 10ビット目
b3: 15ビット目
b4: 20ビット目
b5: 25ビット目
b6: 32ビット目
b7: 37ビット目

に配置されてた
b6から配置がずれてて30bit目と31bit目がbit_tでは使われてない
なのでbでbit_tを使って初期値をセットしてもこの2bitの値は不定になる
この2bitが両方とも0の時4byte目は35、
30bit目が0で31bit目が1の時99になる

2017/06/25(日) 23:08:48.14

英語を読むのがだるいので JIS の仕様を見てみた。
まずは C99 (に相当する JISX3010:2003) の 6.7.2.1 にはこうある。

> 処理系は、ビットフィールドを保持するに十分な大きさの任意のアドレス付け可能な記憶域単位を割り付けてよい。
> 十分な領域が残っている場合、構造体内のビットフィールドの直後に続く別のビットフィールドは、同じ単位の隣接したビットに詰め込まなければならない。
> 十分な領域が残っていない場合、入り切らなかったビットフィールドを次の単位に入れるか、又は隣接した単位の境界をまたがせるかは、処理系定義とする。
> 単位内のビットフィールド割付けの順序 (上位から下位か又は下位から上位か) は、処理系定義とする。

この理屈にてらして >>555 を解釈すると、 VC++2015 での記憶域単位は 4 バイトで、ビットフィールドが単位に収まらなかった場合には次の単位に入れる
という選択を取っていることになる。

で、 C++03 (JISX3014:2003) ではどうかというと 9.6 にこうある。

> クラスオブジェクト内のビットフィールドの割り当て方は処理系定義とする。ビットフィールドの境界調整は、処理系定義とする。ビットフィールドは、何らかのアドレス取得可能な単位内に詰め込まれる。
> 参考処理系によっては、ビットフィールドの割当て単位をまたがることもあるし、またがないこともある。右から左に割り当てる処理系もあるし、左から右に割り当てる処理系もある。

この文章の「単位内に詰め込まれる」というのは C での規則にあるように記憶域単位をまたがない限り (次の単位に移らずに) 詰め込むという規則にも読
めるが、ちょっとよくわからない。常識的に考えれば C より緩い規則ということはないだろうと思うんだけど……。

>>554
指定する型が割当て方に影響するような文面は見付けられなかった。

2017/06/25(日) 23:47:54.19

>常識的に考えれば (中略) ないだろうと思う

訳：ボクは非常識です

2017/06/26(月) 00:18:40.72

トンチンカンな回答がほとんどで笑える

2017/06/26(月) 00:21:57.68

正しい回答をお願いします

2017/06/26(月) 00:29:03.33

byteの40bitとbの40bitが違う位置だから (ほとんどの環境で)

2017/06/26(月) 00:32:01.19

8個のbがbyteをカバーしていない

2017/06/26(月) 00:37:21.07

>>546 ～ >>551
回答するレベルじゃない
何も書かない方がマシ

2017/06/26(月) 01:00:43.63

そもそも専門的な質問は2chで聞くべきじゃないし
信頼できる専門書を買うべき

2017/06/26(月) 01:09:10.53

共用体などは、C++を、10年以上勉強してから使え。
そもそも、初心者が使い道を知らないだろ

そもそも、5バイトは、40ビットだけど、
ビットフィールドが何バイトの領域に確保されるかも知らないのに、使うな。
処理系依存の機能を使うな

MISRA-C でも使用禁止だし、素人が使う共用体なんて、
バグだらけで製品で使えない

どの本にも、共用体を使った例など、載っていないだろ

2017/06/26(月) 01:26:24.49

>>564
質問者はただの学習目的かもしれんのに、
素人だとか製品では～とか批判するのは的外れだろう

2017/06/26(月) 01:34:20.47

>>559
すでに言われてるがまとめると>>545の状況では先頭から
byteは連続する40bit
bit_tは使わない2bitをはさんだ42bit
を使用するのでbyte-bit_t間では
余分なbitの取得・必要なbitの欠落が起きて完全な情報のやりとりにならない

2017/06/26(月) 01:50:32.70

5bitづつだとどうしてもアドレス跨ぎが発生するからな
4bitづつなら収まるけど

2017/06/26(月) 08:14:37.12

>信頼できる専門書を買うべき

ここは信頼できる回答が示されていても日本語が読めない低能が不毛なレスを続ける所なのだが
その典型例が>>559ということに本人が気付くことは無いのであった

2017/06/26(月) 20:30:39.48

そう言えば規格的には>>545の使い方はNGなので
>>551が言っていることはあながち間違いでもない

2017/06/26(月) 20:36:59.50

規格的には処理系定義なので処理系のマニュアル等で確認して使うならNGではないな

2017/06/26(月) 20:43:43.05

>>551は質問の回答じゃないから

2017/06/26(月) 23:25:57.41

共用体で、バイト配列とビットフィールドは、互換性がない型だから使えない。
最低でも、10年以上勉強していない者は、共用体でバグだらけになるから使うな

ビットフィールドのメモリ割付位置は、処理系依存だから、
他のOS・OSのビット数(32/64ビット)・他のコンパイラなどで使えない

また、コンパイラのバージョンアップで、再コンパイルするだけでも、
メモリ割付位置は変わるから、バグ有りで使えない

コンパイルエラーにならず、実行時エラーになるようなものは使えない

2017/06/26(月) 23:35:53.83

なんかムキになってる
相変わらずズレてるね

2017/06/26(月) 23:55:54.69

失敗を通じてしか成長できないのにね

2017/06/27(火) 01:00:05.96

10年以上勉強さん流石ですw

2017/06/27(火) 08:01:35.53

10年勉強して >>572 か
残念な人

2017/06/27(火) 10:18:29.05

for_eachを並列で高速化する場合
-D_GLIBCXX_PARALLEL
でopenmp使う場合と
#include <experimental/numeric>
の使う場合と
どっちが高速なの？

2017/06/27(火) 10:35:07.84

自分でも無意識のうちにやってたし、ネットのサンプルとかでもよくあるけど
厳密にはunsigned intのほうが相応しい場合でもintつかってるコードをよく見かけるが
いちいちintをunsigned intで宣言し直すのもあほらしいしマクロつかって
unsigned intを_u_intとかに置き換えて宣言するのもそこまでしなくてもいいんじゃないかとも思うし
そこらへんはテキトーでいいんっすかね・・・

2017/06/27(火) 10:51:53.32

std::size_t じゃなくて？

2017/06/27(火) 11:30:31.53

負の値を取らないからって「厳密にはunsigned intのほうが相応しい」とは俺は考えないな
intで済むならintにする

2017/06/27(火) 12:25:58.18

正の数しかとらない変数がまだ初期化されていないことを明示するために負の値(特に-1)を使うとか割とよくある。

2017/06/27(火) 14:22:30.38

>>580
・仕様として正の整数
・intの範囲で表せる
が成り立つならintにする？

自分ならstd::size_tを選ぶなあ

>>581
そんな需要があるとはちょっと不思議だ。クラスメンバ？

2017/06/27(火) 14:33:30.02

int? i;
が許されるのはC#だっけ？

2017/06/27(火) 14:41:42.08

そもそもアドレス宣言と初期化は同時にしろって話だしね

2017/06/27(火) 14:41:58.86

アドレス宣言ってなんだ
宣言ね

2017/06/27(火) 15:11:12.82

>>582
std::size_tの本来の用途じゃない数値でも使つのか？それはちょっと

2017/06/27(火) 16:00:23.87

>>586
ああごめん、もともとは>>578の
「厳密にはunsigned intのほうが相応しい場合でも」
に反応しての発言だった。

2017/06/27(火) 19:00:49.27

>>582
size_tだと64bit環境で64bitになるぞ

◆QZaw55cn4c (ﾜｯﾁｮｲ 576d-frAY) · 2017/06/27(火) 19:02:17.31

int が 64ビットになるべきだよね

2017/06/27(火) 19:07:21.81

当然そういうコンパイラはある
Windows上だと過去の色々なしがらみなどからintが32bitなのが普通

**片山博文MZ** ◆T6xkBnTXz7B0 (ｽﾌｯ Sdbf-pKS6) · 2017/06/27(火) 19:08:30.52

ビット数が気になるなら、<cstdint>のint??_tやuint??_tを使えばいいやんけ。

2017/06/27(火) 19:09:53.97

厳密にはunsignedの方が相応しいってどういう場合を想定してる？

データサイズとかならunsignedの方が相応しいとも限らないよ

2017/06/27(火) 19:11:35.74

>>591
そういう問題じゃない
言語のデフォルトサイズ、一番効率が良いとされているサイズが32bitなのか64bitなのか
の問題

**片山博文MZ** ◆T6xkBnTXz7B0 (ｽﾌｯ Sdbf-pKS6) · 2017/06/27(火) 19:15:41.98

その場合はintfast_t, uintfast_tを使う

2017/06/27(火) 19:19:52.85

データが持つ意味と型の振る舞いは極力一致させるべきで
型の振る舞いはできる限り制限するべき
負の値を取り得ないならunsignedにする
ローカル変数ならsignedでもいい

◆QZaw55cn4c (ﾜｯﾁｮｲ 576d-frAY) · 2017/06/27(火) 19:30:07.19

>>590
え？そんなコンパイラが実在するの？

**片山博文MZ** ◆T6xkBnTXz7B0 (ｽﾌｯ Sdbf-pKS6) · 2017/06/27(火) 19:33:33.64

>>596
64-bit Linuxとか使ったことねーのか？

**片山博文MZ** ◆T6xkBnTXz7B0 (ｽﾌｯ Sdbf-pKS6) · 2017/06/27(火) 19:37:05.21

>>597
ごめんなさい。

2017/06/27(火) 19:51:35.91

特殊な例だとcharからlong longまで全部64bitとかあるぞ
もちろんPCではないけど

2017/06/27(火) 19:52:40.24

こいつが噂のMZか
一人芝居の

2017/06/27(火) 20:06:34.19

>>593
言語つーかCPUに依存しないか。
Core2は64ビット対応でも32ビットのが速い。
64ビットが速いのはCore iからとか。

2017/06/27(火) 20:10:45.68

x86の64bitモードは32bitの方が速い命令がある
キャッシュ容量とかメモリ帯域とかを考えても、絶対に32bitで足りるなら、32bitを選んだ方がいい

2017/06/27(火) 21:37:34.10

>こいつが噂のMZか
>一人芝居の

Qの一人芝居はまだ余興として見られるがもう一人のクソコテの一人芝居は痛々しくて見ていられない

2017/06/28(水) 02:28:02.75

>>595
型の振る舞いをできる限り制限するのは誤りを起こさない、起こしても明確なエラーにするのが目的だと思うんだけど、
符号なし整数型にそういった機能は無くて実際の助けにはならないから、こういう議論が起こる。

2017/06/28(水) 04:29:23.47

むしろsignedにしておけば不正に負の値が入れられた場合チェックしやすい

2017/06/28(水) 07:46:44.59

符合つき整数との比較や算術演算した際に、warning出たり符合なしに変換されたりと面倒なことが多いから、定義域が非負という理由だけではわざわざ符合なしにはあまりしたくない。

2017/06/28(水) 08:16:59.41

googleのスタイルだと整数は符号ありを使えってなってる

2017/06/28(水) 13:11:58.44

APIも64bitは符号ありが多い

2017/06/28(水) 14:24:20.43

Vvector<vector<float>> tensor;
のようなテンソルを、1列にまとめて
void Vector_Func(vector<float> &v){}
ベクトルの関数の引数にしたいんだけどさ
これって、新たにVector<float>型のベクトルを定義してそこにベクトルの中身をコピーし、それを利用して関数を呼び出して、さらにもとのテンソルにコピーして戻すしかないのかな？
2度のコピーにかかる時間を短縮できる方法があったら誰か教えて！！！

2017/06/28(水) 14:26:13.68

typedef vector<vector<float> > tensorf;
それとも右辺値参照的な話だろうか

2017/06/28(水) 14:29:19.59

参照になっているなら直接vを弄るだけでコピーする必要もないと思われ

2017/06/28(水) 15:12:35.77

>>609
1列にまとめる必要があるという前提ならどうしようもない気がする
vector<vector<float>>を止めてデータの並びが最初から1列にまとまってるようなテンソルクラスを作るか、
どっかの行列ライブラリを転用するんだな

2017/06/28(水) 16:00:31.95

参照渡しでｖが正常に得られるということは、vectorが値の参照を許容しているとも言える。

2017/06/28(水) 16:46:10.90

>>609
iteratorパターンかrange viewのようなものを作る

2017/06/28(水) 18:00:52.06

612は健常者

◆QZaw55cn4c (ﾜｯﾁｮｲ 179a-jSYe) · 2017/06/28(水) 22:05:12.76

>>597
その64bit Linux に乗っているコンパイラは何？

2017/06/29(木) 22:16:27.01

C++の数値計算のコード読んでくとreadmeにSiam journal って雑誌の引用見かける事がやたら多いんだけどc++やる人は必読の雑誌だったりします？

2017/06/30(金) 01:47:04.93

C++ってより言語を問わず数値計算やる人だな
高速性が要求される数値計算はC++が使われることが多いってだけ

2017/06/30(金) 01:56:16.60

まず数学力を鍛えたほうがいい

2017/06/30(金) 08:34:53.69

これがアスペというやつだな

2017/07/01(土) 07:18:19.26

式テンプレートを勉強中です。
X(i) op Y(i)だけで結果が決まる場合はともかく
行列の逆行列のような一要素の計算に行列全部が影響するような計算を
こいつで実装する意味ってありまつか？
実装例とかあったら教えてください

2017/07/01(土) 07:25:20.19

意味というか行列の逆行列のij成分はij余因子を行列式で割った値だと言うことを知っていれば
NxN行列の逆行列の各成分はij余因子行列である(N-1)x(N-1)行列の行列式の計算になるから
数学的帰納法的にテンプレート化可能

2017/07/01(土) 07:49:52.59

>>622
君は説明がうまいね

2017/07/01(土) 08:05:35.58

いやそれほどでも・・・///

2017/07/01(土) 08:28:19.10

式テンプレートで正項と負項をバサッと消し合うようなことができないかと考えて挫折したなあ

2017/07/01(土) 08:44:48.56

>>622
いや、その余因子を求めることも、そこから行列式を求めるにも、全行列値が必要になるわけだし、
そもそも、余因子行列式の計算はNxN->3x3までの変換が再帰的な計算でスタックを使いたおすことになるので、
ヒープに一時オブジェクトを使わずにすむといという式テンプレートのメリットが全くないんじゃないんですか？

だいたい余因子行列式の除算なんて効率悪すぎて数値計算じゃ使いませんよ。
話をはっきりさせるために、ここは逆行列計算をGauss-Jordanの掃き出し法に限定しましょうや。

>数学的帰納法的にテンプレート化可能
どういう意味です？

数学的帰納法とは、
i=1のときf(1)が成立する
i=nのときf(n)が成立すると仮定すれば
i=n+1のときも成立することを証明して、一般的にf(n)が成立とする

2017/07/01(土) 09:09:28.46

＞＞６２６
ちょっと、誤解を招きかねないんで、
余因子行列式が再帰的云々と書きましたが、
余因子に限らず、行列式の計算そのものが再帰的という意味です。
だから、行列式計算そのものがやたら時間がかかる。
大学の試験の答案とかで、途中点をかせぐために(連立方程式を解いて計算間違いするより加点が期待できる)、
余因子行列式/行列式
を明記したりしますが、このやり方はせいぜい手計算でできる4x4程度の話で、
それ以上だと掃き出し法に比較して極端に非効率ということです。

2017/07/01(土) 09:32:16.00

>>626
>効率悪すぎて数値計算じゃ使いませんよ
「式テンプレートの勉強」を「汎用数値計算ライブラリを式テンプレート化するための勉強」にすりかえられても…

>どういう意味です？
ヒント：回答者は日本語を正しく使えない

2017/07/01(土) 10:10:34.74

再帰的に→帰納的に→帰納法的に
jk

2017/07/01(土) 12:42:17.52

数学用語はよくわからんけど
＞行列の逆行列のような一要素の計算に行列全部が影響するような計算を
＞こいつで実装する意味ってありまつか？
ない

というか式テンプレート勉強するというなら自分で軽く実装してみるべきだよ
↑の場合は速度がどうこう以前の問題だとわかるから

2017/07/01(土) 13:26:13.77

>再帰的に→帰納的に
これはひどい
再帰的と帰納的は関係ないし、数学的帰納法は帰納的でも帰納法でもない

>＞こいつで実装する意味ってありまつか？
>ない
確かに質問に対する明確な回答なのだが、何かこう足りないような…

2017/07/05(水) 14:15:27.50

scanfより速い標準入力ってない？
スペース区切りの大量のintをベクトルにいれたいんだけどループ回してscanfがどうやっても最速なのかな

2017/07/05(水) 15:44:26.17

istream_iterator<int> first(cin), last;
vector<int> wish_of_632{first, last};

2017/07/05(水) 16:39:36.49

>>633
試してみるサンクス

2017/07/05(水) 16:59:04.15

Visual Studio 2017のリリースビルドで試したが>>633 の方法は倍ほど遅いような

**片山博文MZ** ◆T6xkBnTXz7B0 (ｽﾌｯ Sd62-3ntT) · 2017/07/05(水) 17:16:22.28

fread, fgets, getchar

**片山博文MZ** ◆T6xkBnTXz7B0 (ｽﾌｯ Sd62-3ntT) · 2017/07/05(水) 17:22:18.00

int n = 0;
if ('0' <= ch && ch <= '9') {
n *= 10;
n += ch - '0';
} else {
put_int(n);
n = 0;
}

**片山博文MZ** ◆T6xkBnTXz7B0 (ｽﾌｯ Sd62-3ntT) · 2017/07/05(水) 17:31:38.49

GetStdHandle(STD_INPUT_HANDLE)

2017/07/05(水) 18:03:51.31

大量＝一行10000個程度の数字が10000行ほど？

2017/07/05(水) 18:09:07.25

自前が最速なのだろうが汎用性を考えるとお勧めできない

ある環境での適当な100万個の整数読み込み時間：
　istream_iterator : 470ms
　scanf : 230ms
　fgetc＋自前スペース解析＋atoi :
175ms
　最初に全部char配列に読み込み＋片山式パース: 32ms

2017/07/05(水) 19:23:43.26

何のチェックもしないscanf,printfのやり方が最速なのは自明

2017/07/05(水) 20:06:49.25

>>640
＞最初に全部char配列に読み込み＋片山式パース:

これって随分早いけどパースより読み込みが効いてるんじゃないの
恐らくfgets使ってるんだよね

2017/07/05(水) 20:09:41.12

>>642
fgetsでなくfreadで読んだ
なおこの全読み込み方式で数値の切り出しをatoiにすると80msだったので
やはりI/Oの効率化が支配的と理解した

2017/07/05(水) 21:04:30.49

>>643
てことは
fgetc＋自前スペース解析＋atoi :175ms
fread+＋自前スペース解析＋atoi :80ms
読み込みのオーバーヘッドで175-80=95msロスしてるわけか

atoiは変換不能文字とか16進とかチェックしてるからその分遅くなるんだろう
自前で10進のみに特化させるのが一番なんだけどもな

2017/07/05(水) 21:05:36.71

複数スレッドに分けてアセンブラの自作関数で回す

2017/07/05(水) 21:07:40.11

各スレッドも、複数数値を並列で動かす

2017/07/05(水) 21:08:36.26

C++スレだった
すまんこ

2017/07/05(水) 21:23:34.13

どういう風に並列化できる？

**片山博文MZ** ◆T6xkBnTXz7B0 (ｽﾌｯ Sd62-3ntT) · 2017/07/05(水) 21:26:33.09

処理すべきブロックに対して、ちょうどいい区切りで、等分割に近い分割をやって、それぞれを別々のスレッドで処理する。
スレッドがすべて終わったら、処理結果を結合する。

2017/07/05(水) 21:28:54.47

スレッドもインラインアセンブラもC++の範疇だよ
ただIOはロックされるから解放待ちの時間が出来てしまう

ラインごとに随時読み込んでスレッド振り分けかな
パースに時間がかかるならそれも悪くないんだろうけど簡易atoi程度じゃ差は出にくい

2017/07/05(水) 21:34:38.31

原理的にはブロッキングIOのファイル読み出しの待ち時間を有効に活用すれば
それが最速だけど並列化のオーバーヘッドを最小にしようと思ったら
OS毎あるいはファイルIOのライブラリ毎に特化しなきゃならない気がするので面倒くさい