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/13(火) 18:34:11.65

配列の中身で重複している要素をカウントしてカウントが一番多かった要素を取り出す
っていうプログラム作りたいので知恵貸してください

{1,2,2,5,2,5}だったら2が取り出せるみたいな

2017/06/13(火) 18:42:01.39

「宿題は自分でやりなさい」
先生たちもこのスレ監視してるからなｗ

2017/06/13(火) 18:56:37.43

宿題じゃねーよw
調べても重複削除くらいしかみつけられない

2017/06/13(火) 19:08:11.56

mapを使うとかソートしてしまうとか？

2017/06/13(火) 19:09:11.39

日本語で書いてあるとおりのことをすればいいだけなのだが

2017/06/13(火) 20:25:19.98

>>460
さすがにMISRAを古文書とか言う奴はおばかと言われてももしょうがないと思うぞ w
変換規則とかはよく考えられてるし

2017/06/13(火) 20:39:09.12

で，MISRA-C をどこで見ればいいの？売っているの？

2017/06/13(火) 20:56:19.09

>>461
データやリソースによって適した実装方法が異なるな

2017/06/13(火) 20:56:21.35

だからそんなに考古学に興味あるんならググれよ
公式でPDF版￡15で売ってるよ
繰り返し言うがここはC++スレだ

2017/06/13(火) 23:06:22.18

クソなコードしか思いつかなかった
http://ideone.com/3IBm07

2017/06/13(火) 23:56:53.24

それだと最大要素見つけるのに無駄に２ループするからこの方がよくね
http://ideone.com/AMCSuy

2017/06/14(水) 06:51:42.68

どうもしっくり逝かんな
http://ideone.com/mH3sLq

2017/06/14(水) 06:58:07.10

>>469
ひょっとして MISRA-C++ の存在も知らない老害さん？

2017/06/14(水) 07:13:45.93

「: public binary_function」
はて、規格のDで見たような

2017/06/14(水) 07:42:18.88

>>461
配列の要素数 : n
要素の値の範囲 : m

計算オーダー
ソート＆カウント : n log n
固定配列のカウンタ : max(n, m)
map のカウンタ : n log m
単純な2重ループ : n^2

かな

2017/06/14(水) 07:44:57.00

>>473
話のコンテキストも無視して突然MISRA-C++を出してくるとか頭大丈夫ですか？

2017/06/14(水) 07:51:46.28

てことで、

配列の取りうる値が狭い場合、狭い範囲に変換できる場合はvectorによるカウンタ

取りうる値の種類が少ないことはわかっているが、値からインデックスに簡単に変換できない場合はmapによるカウンタ

一般的にはソート＆カウント

による実装が良いのでは？

2017/06/14(水) 08:01:12.72

ソート＆カウントの場合
配列の値の大小比較の定義が必要
非破壊の場合は配列と同じサイズのメモリが必要

vectorカウンタの場合
配列の値からインデックス値に簡単に変換可能である必要がある
インデックス値分 x カウンタサイズのメモリが必要

setカウンタの場合
配列の値の大小比較の定義が必要
配列の値の種類分 x setのノードのメモリが必要

単純2重ループの場合
一番要求することが少ない
配列の値が同じかどうか判別出来れば良い

2017/06/14(水) 08:07:23.67

配列の値のコピーのコストが大きい場合
などを考えるとさらに別の方法が考えられる

2017/06/14(水) 08:16:37.97

>>476
話のコンテキストも理解できてない老害乙

2017/06/14(水) 08:32:13.08

みんなありがとう
やってみる

2017/06/14(水) 08:51:35.81

いえいえ

2017/06/15(木) 02:16:45.12

vectorのテンプレートに当てるクラスにはデフォルトコンストラクが必須なんでしたっけ？

2017/06/15(木) 02:57:56.05

いいえ
03まではコピーできること
11からは破棄できること
が最低限の要件

2017/06/15(木) 05:30:50.78

>>483
必要だよ

2017/06/15(木) 09:11:26.58

使うメンバ関数に依るけどデフォルトコンストラクタが必要なものはなくね
必要な場面が思い付かんし

2017/06/15(木) 10:49:56.10

std::vector<MyObject> v;
これMyObjectにデフォルトコンストラクタないとコンパイルできなくない？

2017/06/15(木) 11:01:39.88

>>484
根拠は？

2017/06/15(木) 11:19:41.25

>>487
コンパイルできるよ
https://ideone.com/J9k1y6

2017/06/15(木) 11:23:27.43

>>487
その例のその時点ではvの要素数は0でMyObjectは一つも構築されない
そしてテンプレートの性質として要求されない部分の実体化はされないので
実際には呼ばれない部分のコードがコンパイルエラーにはなる問題にもあたらない

2017/06/15(木) 11:50:20.24

その理屈だとデストラクタも不要になるが、実際はデストラクタは必要

2017/06/15(木) 12:01:45.59

>>491
そりゃvectorのデストラクタで要素のデストラクタが呼ばれる(テンプレートのインスタンス化が行われる)んだから

2017/06/15(木) 12:32:05.19

>>486
resizeは？

2017/06/15(木) 12:35:16.93

そのあたりのことはどっかに書いてあった

2017/06/15(木) 12:42:14.22

>>493
こぴ

2017/06/15(木) 12:43:54.29

>>493
コピーコンストラクタがあれば引数２つの方が使える

2017/06/15(木) 12:53:22.51

>>492
中身は知ってるよ
>>490の理屈と合わないって言ってるだけで

2017/06/15(木) 14:19:10.82

「使うメンバ関数に依るけどデフォルトコンストラクタが必要なものはなくね」
　↓
「resizeは？」
　↓
「コピーコンストラクタがあれば引数２つの方が使える」

これがイケヌマと言うやつか

2017/06/15(木) 15:13:39.32

333/+C/333
}[amo]*7*
%/$/@0000/*/"2BTOLA"~~

2017/06/16(金) 08:33:30.61

<<<C++>>>
}
000-0
001-EK,L,A%&*17&>>=<HUFMO#$BUZ,DOL%$,"LTAR"===7,2&$%\72<&\\7>3%,
002-"GYU","LA"

***"AGILA"***
GOJU-$+$%7.2!$^±%WOLR%,,,

2017/06/16(金) 09:54:15.30

>>498
え？resizeするのにデフォルトコンストラクタ必要じゃないよね？

2017/06/16(金) 10:48:52.10

なんで必要じゃないと思うんだか

2017/06/16(金) 10:51:59.72

resizeとサイズ指定のコンストラクタ
この2個は必要

他に必要なのが有るかは知らない

2017/06/16(金) 13:52:01.14

ぜんぜんわからない
僕たちは雰囲気でvectorを使っている

2017/06/16(金) 18:08:28.52

>>496のような文脈を理解できず関係ないことを言い出す残念なオツムだと
>>501のようにさらにとんちんかんなことを言い出すのだろうきっと

2017/06/16(金) 19:00:27.85

2chでみんなが文脈を読んで書いてると思うのもどうかと思う

>>496 は質問とか流れとか関係なく単に思った事を書いたんだろうなと思う
>>501 は思考力も行動力も無い可愛そうな人なんだろうなと思う

2017/06/16(金) 19:06:58.58

おれも流れを無視して書いてみよう

自分でvectorを作ってみると躓くのが、メモリのアロケートや解放を伴わない、指定位置に対してのコンストラクタやデストラクタの呼び出し
ここは他の実装をカンニングしてしまった
他は特に難しいところはなく、ひたすらメンバー関数を作る作業

vectorはlistやmapに比べると作るのが簡単

2017/06/16(金) 20:32:33.08

むしろ >>486 がresizeの要素数だけ指定したときにデフォルトコンストラクタが使われるということぐらい解ってて言ってるように見えるんだけどな。C++98まではオーバーロードですらない全く同じメンバーだったわけで。

文脈読んでないのはどっちなんだろうね。

2017/06/16(金) 20:58:35.54

イミフ
解説よろしく

2017/06/16(金) 23:20:55.70

単に思ったことを書いてみたすごい例は>>494だな
読み返すと深いものがある

2017/06/18(日) 14:45:58.32

エピス何とかさんって
エピステーメー迷惑でググると出てくる人？

2017/06/18(日) 15:04:30.19

そう

2017/06/18(日) 17:37:06.92

ぐぐって最初に出てきた記事を読んできたけど、どっちもどっちな感じだなあ。

ただ一つ言えるのは、エピスの記事はいつもcounterが題材でとてもつまらない。

2017/06/19(月) 02:44:16.89

ぐぐって最初に出てきた記事を読んできたけど、どちらかというと記事の主の方が苦しい言い訳してる感じがするなぁ。
ただ一つ言えるのは、てらているでえぴすてーめーの解答見てると質問者の理解を手助けするような解答にはみえないから好きではない。

2017/06/19(月) 04:56:20.14

namespace A{
static int hoge;
}

class B
{
public:
static int fuga;
};

これらを複数のcppファイルでincludeした場合、
A::hogeはファイルスコープごとにできて
B::fugaはファイルスコープ間で共通
で合ってる？

2017/06/19(月) 08:39:44.53

現規格ではfile scopeという言葉の定義が無いことに気付いた

2017/06/19(月) 08:46:39.99

hogeの方はextern付けないと大量生成されるぞ

2017/06/19(月) 08:47:46.44

あ、staticか…わざとやっているのか

2017/06/19(月) 10:43:51.86

>>515
合ってない
以上

2017/06/19(月) 10:53:54.51

注意事項は有るとして、合っているかと言えば合っていると思ったのだがはて

2017/06/19(月) 11:20:57.70

>>519
namespace Aが付けばstaticはファイルに依存しないクラスのstaticメンバーみたいになるということですかね？

**片山博文MZ** ◆T6xkBnTXz7B0 (ｽﾌｯ Sdda-adb9) · 2017/06/19(月) 11:40:33.07

変数のアドレスを確認すればわかるじゃん。

2017/06/19(月) 12:39:33.09

>>521
そんなことない
あなたが>>515で言ってたのであってる

正確にはファイルスコープじゃなくて翻訳単位だが

2017/06/19(月) 12:43:52.17

ですよね
ありがとうございます

2017/06/19(月) 16:50:18.24

>>522
ほれ
http://ideone.com/RH0dUb
質問者がこういう確認をしてしまう可能性は考えなかったのかね？

2017/06/19(月) 17:22:49.29

さすがににそれはテスト方法が悪い

2017/06/19(月) 19:46:59.76

>>526
undefined behaviorとno diagnostics requiredだらけの言語で「アドレス確認すればわかる」とだけ言うのはあまりに安易な助言ではないか、と言っているのであって
確認方法の良し悪しには興味が無い

2017/06/19(月) 19:56:58.85

お前が何に興味があるかなんてまったく興味がない

2017/06/19(月) 21:31:25.95

>>519
>>514に出てきたえぴすなんたらと同じで、仮に知識があったとしても建設的な議論ができずに場をかき混ぜるだけの迷惑な存在に思える。

2017/06/20(火) 23:15:54.41

>>514
そもそも苦しい言い訳すらできない事案はwebページに掲載してないだろうしなぁ

2017/06/21(水) 12:51:52.91

>>529
こんなとこで他人を中傷してるお前は
迷惑記事の書き手と同レベルだな

2017/06/21(水) 16:13:27.27

>>529
質問に必要なのは回答であって議論じゃない。
議論が建設的であろうがなかろうが質問に対する反応としては不適当だ。
回答が不十分だっていうことならそれは質問者が対話を重ねていくべきことで、
やみくもに話題を広げていく行為はそれこそ場をかき乱すだけだよ。

質問を元にした話題で雑談したっていいと思うが、
質問に対しては質問の回答を返すのが合理的な姿勢で、
先回りしてまで手取り足取り教えてやるような板じゃなかろう。
ム板が殺伐してるのは普通のこと。

2017/06/21(水) 23:22:10.09

>回答が不十分だっていうことならそれは質問者が対話を重ねていくべき

「建設的な議論」の認識に齟齬が見られたが
>>529と>>532の意見は概ね一致したようだ
めでたしめでたし

2017/06/22(木) 18:59:54.46

templateのstaticメンバの初期化（実体化）についてわかる人、
教えてもらえないでしょうか。

次のようなクラス構成があります
template<typename T> class A {
public:
A() : foo(NULL) {}
...

void * foo;
};

template<typename T> class B {
public:
...
static A<T> bar;
};

class C : public B<C> {
public:
...
};

ここで、B<C>::barを実体化しないといけないので
1) 以下のように書くとVC++では問題ない
template<> A<C> B<C>::bar;
2) 以下のように書くとclang(xcode)では問題ない
template<> A<C> B<C>::bar = {};
3) GCC 4.9では1)でコンパイルは通るが実体化されない。

ということで、GCCでどう書いたらビルドが通るか教えてください。
よろしくお願いします。m(_ _)m

2017/06/22(木) 19:26:04.75

>template<> A<C> B<C>::bar;

本当に実体化をしようとしているのか、明示的な実体化が必要なのか疑問だ
template<…> X →テンプレート定義
template<…> X<Y> →テンプレート定義(部分特殊化)
template<> X<…> →フルの特殊化
template X<…> →明示的実体化
X<…> →使うことで暗黙の実体化

2017/06/22(木) 19:46:14.05

>>535
レスありがとうございます。

実際のコードでは、AとBはそれぞれのヘッダファイルにすべて記述され、
Cのみcppでコード生成しています。1)及び2)はCのソース内に記述しています。
このため、スペシャライズは不要な筈ですが、B内で定義しているstatic変数は
Bのクラス内で使用しているため、実体化が必要です。
bar自体はコンストラクタがあるので、普通のstatic変数のように書けば
良いのではないかと思うのですが…。
何か勘違いしてるんですかね？

2017/06/22(木) 20:07:59.54

>>534です、連投すいません。
どうやら解決したようです、デバッグしてみないと本当に解決しているか
どうかはわかりませんが(^^;

stackoverflowにヒントがありました。

https://stackoverflow.com/questions/2342550/static-member-initialization-for-specialized-template-class
// needs a copy constructor!
template<> Type Class<Arguments>::member = Type();

コピーコンストラクタで無理やり実体を作るという…。
vc、llvm、gccでそれぞれ書き方が違うとは、やな世の中になったもんだｗ

2017/06/22(木) 20:44:12.75

特殊化の説明を読んでいるのがよくわからんが
G++で通るコードとやらを貼っとくか

http://ideone.com/u4h6so

2017/06/22(木) 20:51:33.36

>>534
> 3) GCC 4.9では1)でコンパイルは通るが実体化されない。
実体化されないの意味がよくわからんが
B::barの定義がないからだろ
ttps://wandbox.org/permlink/dK2e1pFJRGqDvw6G

2017/06/22(木) 21:50:59.77

>>534
>1) 以下のように書くとVC++では問題ない
>template<> A<C> B<C>::bar;

これはVisual C++が規格の14.7.3段落13を正しく実装していないためで
2)の書き方が正しい

2017/06/22(木) 21:52:32.77

>>538さん, >>539さん
ありがとうございます。

なるほど、template<typename T>のままで初期化すればよかったんですね。
あ、でも、vc++2012でエラーが出ますね。
non-aggregates cannot be initialized with initializer list

vc++2015はプロジェクトを作ってないのでわかりません。
xcodeは、明日確かめてみます。
あ～、templateは嫌いだorz

2017/06/24(土) 13:41:09.22

配列に格納された行列同士の乗算がしたいんだけどさ
EigenのMapってこれ、コンパイル時に行列の行数・列数が決まってない時はどうやって利用するもんなの？
http://eigen.tuxfamily.org/dox/group__TutorialMapClass.html
Vector型に変更したりしてたら遅くなっちゃうだろうし・・・・どうやるんだろ・・・・

2017/06/24(土) 16:50:39.64

>>542
ろくに見ずに答えるけど、テンプレートパラメータを明示的に与えられないの？

2017/06/24(土) 17:52:02.95

サンプルみた感じ、Dynamicっていうキーワードがあるみたいだけど

2017/06/25(日) 14:15:18.57

union aaa{
uint8_t byte[ 5 ];
struct bit_t {
uint32_t b0 : 5;
uint32_t b1 : 5;
uint32_t b2 : 5;
uint32_t b3 : 5;
uint32_t b4 : 5;
uint32_t b5 : 5;
uint32_t b6 : 5;
uint32_t b7 : 5;
}bit;
};
union bbb{
struct bit_t {
uint32_t b0 : 5;
uint32_t b1 : 5;
uint32_t b2 : 5;
uint32_t b3 : 5;
uint32_t b4 : 5;
uint32_t b5 : 5;
uint32_t b6 : 5;
uint32_t b7 : 5;
}bit;
uint8_t byte[ 5 ];
};
const aaa a = { 66, 77, 88, 99, 11 };
const bbb b = { a.bit.b0, a.bit.b1, a.bit.b2, a.bit.b3, a.bit.b4, a.bit.b5, a.bit.b6, a.bit.b7 };
bが{66,77,88,35,11}となってaと一致しません。何故ですか

2017/06/25(日) 15:01:36.01

byte境界でないと配置できない環境なんじゃないの？

2017/06/25(日) 15:16:55.26

uint32_tに5ビットずつ詰めてるからだろ

2017/06/25(日) 15:37:16.30

普通は単に unsigned b0:5: と書くべき
ビットフィールドに32tとか余計なモノ乗っけると解釈がおかしくなる

2017/06/25(日) 15:41:35.21

あとは副作用でpackアラインが1になってないから無理矢理境界作ってコンパイラが揃えようとしているとか

2017/06/25(日) 15:51:48.24

共用体の統一初期化記法のことはよくわからないけどちゃんとコンストラクタを書けば解決するのでは
https://wandbox.org/permlink/Fzd26GrwxkCJ5NmL

2017/06/25(日) 16:07:57.97

C++を、10年以上勉強してから、共用体を使え

そもそも、初心者が使い道を知らないだろ

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が違う位置だから (ほとんどの環境で)