C++相談室 part134

2018/01/20(土) 09:05:42.21

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

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

前スレ
C++相談室 part133
http://mevius.5ch.net/test/read.cgi/tech/1511509970/

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

■長いソースを貼るときはここへ。■
　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

2018/03/06(火) 00:41:37.37

標準ライブラリを前方宣言にすることに意味ってありますか？

2018/03/06(火) 00:45:13.63

メイヤーズは普通にインクルードしろって言ってた

2018/03/06(火) 01:45:01.96

>>434
それどこに書いてあるの？

2018/03/06(火) 06:16:57.53

newした配列がいつの間にか解放されてて、
プログラムの最後でdeleteすると必ずアクセスエラーで落ちるんですが、
newは勝手に解放されることあるんですか？

2018/03/06(火) 07:19:59.92

>>436 どっかで未定義動作に堕ちてるならそんな結果になることもあるだろね。

2018/03/06(火) 07:39:27.47

・どっかでメモリの取り扱い間違えてnewの管理情報を踏んづけて壊してる
・unique_ptrやshared_ptr、その他スマートポインタ的なものに理解せずに渡してる
多分このどっちか

2018/03/06(火) 07:56:08.66

ポインタがnewで帰ってきたアドレスと違う可能性

2018/03/06(火) 11:04:41.26

>>436
「解放されてて」というのは、どうやって確認した？
たとえば要素のデストラクタが実行されているとか、
別件で確保するメモリに再使用されているとか、
そういうことが起きているのか？

2018/03/06(火) 13:48:19.62

>>436
constructor
destructor
copy constructor
operator=()
のいずれかに誤りがあるのでは？
概念コードを書いてみなさい

2018/03/06(火) 13:50:16.42

>>436
operator new()
operator delete()
を捕捉するのもいいかもね、根本的に見直す時期だと思う

2018/03/06(火) 15:12:07.82

ファイル分割をしてみたく、プログラムをヘッダファイルとcppファイルに分割しようと挑戦したのですがよくわからないエラーが出まくります・・
プログラム超初心者なので凄い初歩的な部分を間違えているかもしれません・・・

エラーですが、ヘッダファイルの方で
'vector':'std'のメンバーではありません
'vector':定義されていない識別子です
'string':定義されていない識別子です
'cv': 識別子がクラス名でも名前空間名でもありません。
'Mat':定義されていない識別子です
'ofstream':'std'のメンバーではありません
'ofstream':定義されていない識別子です

みたいなエラーが出ます。
ヘッダファイルは、二重インクルードガードと関数のプロトタイプ宣言しかしていないのですが
上のようにそ、のプロトタイプ宣言の型とかに対してのエラーが出まくります

何かヘッダファイルに付けたほうがいいのでしょうか？
分かる方がいたら、教えていただけますでしょうか。

ちなみに、visual studio で作業していて、プロジェクトはコンソールアプリケーションで作っています。
もしかして、自分でmakefileとかを作る必要があるのでしょうか？

**片山博文MZ** ◆T6xkBnTXz7B0 (ｽﾌｯ Sdff-dixK) · 2018/03/06(火) 15:14:49.26

ヘッダーの方で
#include <vector>
などが足りないのでは。
ヘッダーは、自己完結にした方がいいらしい。

2018/03/06(火) 15:40:05.75

よく見たら、自分の参考にしていたページでヘッダファイルのincludeは最小限に抑えると書いていました…
てっきり、ヘッダファイルではincludeはしないものなのかと…

最小限というのは、エラーが回避できるstdio.hとかの最小限のファイルだけヘッダでincludeして、他のmath.hなどはcppファイルでincludeすればいい感じですか？

**片山博文MZ** ◆T6xkBnTXz7B0 (ｽﾌｯ Sdff-dixK) · 2018/03/06(火) 15:50:38.20

最小限というのは、コンパイル時間、ビルド時間を短縮するためだから、小さなプログラムでは気にする必要はない。
cppとhppで#includeを分けるというのはよくあることだ。

2018/03/06(火) 16:05:55.81

ありがとうございます！

2018/03/06(火) 16:16:08.19

>>443 の書きぶりからして
自作のヘッダファイルに std::vector を使った関数のプロトタイプがある、
しかしヘッダファイルの先頭では <vector> を#includeしてない、て感じね。
これは >>444 と同じ話。

あと >>445 で <stdio.h> と書いてるところを見ると
参考にしてるページは少々古い情報かも。
「あえて<cstdio>でなく<stdio.h>をインクルードする」ことについて
何か理由があるのかも知れないけど。

**デフォルトの名無しさん** · 2018/03/06(火) 17:54:41.92

Cソースのincludeの位置にヘッダファイルの中身を貼り付けたときにコンパイルできなきゃだめ
たぶんCソースの中で他のincludeよりも前に新しいヘッダファイルのincludeを書いてるんだろう

2018/03/06(火) 18:15:37.24

>>448
なるほど、cstdioの方が良いんですね
なんか二種類あるけど、どっちなんだろーと思ってたので、勉強なります
次からそちらを使います

2018/03/06(火) 22:17:21.07

>>438
前者っぽいでした

2018/03/06(火) 23:34:50.60

C++のリファレンスとかで[first,last)というふうに左右で括弧が違う表記があるんだけど、これはIteratorに関しての表記ですか？

2018/03/06(火) 23:42:46.07

>>452
数学方面の書き方を源流にしていると思います
[x, y) は x は含み、y は含めない半開区間を示しますが、それを類推したものでしょう

2018/03/06(火) 23:43:09.96

>>452
範囲の数学的な書き方、半開区間とかなんとか
それだとfirst以上last未満の範囲、ということ

2018/03/06(火) 23:47:04.41

https://ttsuki.github.io/styleguide/cppguide.ja.html#Forward_Declarations
前方宣言ってしたほうがいいのか、しないほうがいいのかどっちなんですかね

2018/03/06(火) 23:50:38.84

>>453,454　数学でしたか！勉強になります。

2018/03/07(水) 00:29:35.52

mutex g_Mtx;

int g_Val = 0;

int Func( int A, int B )
{
　　int Val = A * B;

　　lock_guard<mutex> Lock( g_Mtx );

　　return g_Val = Val;
}

void ThreadFunc0()
{
　　int Val = Func( 2, 3 );

　　// Valを参照する処理
}

void ThreadFunc1()
{
　　lock_guard<mutex> Lock( g_Mtx );

　　// g_Valを参照する処理
}

上記のようなスレッド関数が非同期に実行されるとき、
Func()はスレッドセーフ（g_Val書き換え中に参照されない）でしょうか？

(1)lock_guard<mutex>によるミューテックスロック
(2)g_Valの書き換え
(3)戻り値を呼び出し元スレッドにコピー（あるいはムーブ）
(4)lock_guard<mutex>がスコープから外れアンロック

というシーケンスを期待しています。

2018/03/07(水) 00:29:47.60

endならともかくlastは区間内の最後の要素なんじゃ…

2018/03/07(水) 10:09:55.97

基本的な質問なのですが、以下のプログラムがエラーになるのはなぜでしょうか？

char* pc = "abc";
pc[0] = 'z';
cout << pc << endl;

以下のプログラムでは意図通りに動きます。

char ac[] = { 'a', 'b', 'c', '\0' };
cout << ac << endl;
ac[0] = 'z';
cout << ac << endl;

2018/03/07(水) 10:14:51.80

>>459
上は変数 pc はリテラル文字列の先頭を指すポインタ。
下の変数 ac は配列で、それを文字列 "abc" で初期化するって意味。

リテラルの破壊は未定義。
破壊しないことをあてにして破壊不可能なセクション (メモリ領域) に配置されたりすることもあるので、アクセスエラーが生じる。
あくまで未定義だから出来ちゃうこともあるし、コンパイラオプションで制御できたりもするけど、基本的にはあかんやつ。

2018/03/07(水) 10:30:06.22

>>458
仮引数名をendにすると関数名のendと紛らわしいからだよ
説明の文中にendが出てくる度毎にいちいち仮引数か関数か断るハメになる

2018/03/07(水) 10:35:31.71

>>460

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

Pythonでimmutableとかいうのがありますが、それでしょうか？

2018/03/07(水) 11:10:02.03

すみません、また、ベーシックな質問です。

char* pc1 = 1; → エラー
char* pc2 = NULL; → OK
char* pc3 = 0; → OK

なぜ、2番目と3番目はOKなのでしょうか？

char* pc1 = 1;

がエラーになるのは、 int 型の値で char* 型の変数を初期化できないからだとすれば、

char* pc3 = 0;

もエラーになると考えることもできると思います。

2018/03/07(水) 11:10:26.68

>>462
Python なんか知らんがな。
Python の immutable は Python の immutable であって、それが C++ の何物かであったりはしないよ。
C++ のリテラルを破壊した結果は未定義というのは C++ のリテラルを破壊した結果は未定義という規則であるだけ。
似て感じられたとしても一対一に対応付くような単純なものではないので、
背景にあるメカニズムを理解せずに翻訳して理解しようとするような方法はお勧めできない。

2018/03/07(水) 11:14:31.86

>>464

なるほど、そういう規則だからリテラルを破壊しようとするとコンパイルエラーにするわけですね。

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

2018/03/07(水) 11:22:08.82

>>465
書き忘れてたけど、 C++ の文字列リテラルの型は const char[] なので、
const 付きでないポインタに渡すと単純に型が合わなくてエラーになるはず。
C だと型に const が付いてないのに破壊するのは未定義ってことになっててあまりにもクソだったから改められた。

2018/03/07(水) 11:32:07.41

>>463
0 はポインタに型変換可能で、型変換した結果が空ポインタと等しいことが保証されてる特別な存在。
(ビットパターンが等しいとは限らないことには注意が必要。)

互換であることが保証されているので、処理系によっては
#define NULL 0
として定義していることもある。

余談だが、これはオーバーロードされた関数でうっかりしやすいので気を付けた方がいい。
たとえば関数 foo が以下のような型でオーバーロードされている場合、

void foo(int);
void foo(int*);

これを

foo(NULL)

と呼び出すと void foo(int) が呼び出されたりする。
今ではヌルポインタを表すキーワード nullptr が用意されたので、
NULL はあまり使わない方が良い。

2018/03/07(水) 12:03:25.28

>>466-467

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

>>466

Visual Stuidoを使っていますが、以下でエラーは発生しませんでした。

char* pc = "abc";
cout << pc << endl;

2018/03/07(水) 12:29:38.25

>>468
それはISO/IEC14882:1998の4.2で許されていたことに由来する
その後ISO/IEC14882:2011のC.1.1で廃止されたが
古いソースを通すために故意に違反状態のままにしている

2018/03/07(水) 16:15:14.65

c++の規約に違反にしないためには一度変数に代入する必要があるという事？

2018/03/07(水) 16:24:01.54

オプションで指定できるんじゃね？
俺は GCC を使ってるから知らんけど。

2018/03/07(水) 16:29:51.37

違う

char const* cc;
cc = "abc"; //完全に合法

char* pc;
pc = cc; //不適格
pc = "abc"; //CとC++98では非推奨、C++11以後では不適格

pc = &"abc"[0]; //左辺値変形でこう解釈されていて
非constへのポインタに、constへのポインタを代入することになり、
暗黙のconst外しにあたるので、C++11が正論

pc = const_cast<char*>("abc"); //C++11以後ではこう書く

**デフォルトの名無しさん** · 2018/03/07(水) 17:54:06.02

>>472
それもだめじゃね？
const領域に非constでアクセスするなんて罪深いことなんだから、ちゃんと別領域にコピーしてから扱わないと。

2018/03/07(水) 18:18:25.20

>>459
>char* pc = "abc";
文字列リテラルは不変だから、const を付けないといけない

古いライブラリで、const を付けていないものを動作させるために(互換性)、
例外的に使う場合だけに許される

>>463
>char* pc3 = 0; → OK
この0 は、数値型の0じゃない。
予約語を増やすのが嫌だから、= 0 と書いたら、特別な意味に解釈する。
分かりにくい、クソ仕様

virtual func( ) = 0;
これも、そう。
純粋仮想関数という特別な意味を表す

2018/03/07(水) 18:49:53.33

>>473
書き込まなければ問題は無い。
が、 const 外しが必要な状態ってのが良くないことは確か。

2018/03/07(水) 20:52:49.95

>>474
いいや数値型の0だ
翻訳時に0と確定できる汎整数型の定数に限り
ポインタに暗黙変換できるという特例になっている
純粋仮想関数と関連付ける条項はない

2018/03/07(水) 22:07:54.67

純粋仮想関数と関連付けてはいないだろう
それはともかくとして

char * p = 7-7; // no error

class T {
virtual void f() = 7-7; // error
};

となる気がするので言ってることは合ってるか

2018/03/07(水) 22:10:57.06

C言語でNULLが0をdefineしたものだったというだけだろ

2018/03/07(水) 22:12:59.22

C言語では ((void*)0) だった気がする

2018/03/07(水) 22:34:03.79

>>477
7-7は定数式なので0と完全に等価
純粋仮想関数の = 0 はA.8のpure-specifierで=0という特定のスペルと規定されているので7-7がエラーになるのは当然

2018/03/07(水) 22:41:42.97

いや疑問も呈していないし否定しているわけでもないのに当然と言われてもな…

2018/03/07(水) 22:52:11.20

じゃあ何のために、7-7とか言い出したんだ？

2018/03/07(水) 23:02:40.75

>>479
それはあかん。
ひょっとしたら古い処理系でやってるのはあるかもしれんが、
規格違反のはず。

2018/03/07(水) 23:12:03.15

>>483
と、思って調べてたんだけど、 C++ だと確実にあかんようだけど C だとアリなのかもしれない。

2018/03/07(水) 23:58:27.20

offsetof()がどう実装されているかやね

2018/03/08(木) 02:18:11.16

>>476-477
C++14 からリテラルだけに限定されてるよ。
http://d.hatena.ne.jp/yohhoy/20140305/p1

2018/03/08(木) 03:31:21.90

おっ、こんな基本的なことで変更が入ってたのか。
でも当然といえば当然の処置よな。

2018/03/08(木) 06:41:46.04

Cの無意味な汚いゴミが掃除されるのは良いことだ

2018/03/08(木) 07:33:41.79

>>484
しっかりして
流石にこの件では C と C++ 混同されたら対話が成り立たないよ

2018/03/08(木) 18:35:02.35

C++の勉強＋機械学習も勉強しようとVisual Studio 2017でtiny-dnnを用いたいのですが、tiny-dnn内でコンパイルエラーが発生します。
具体的にはxcontainer.hpp内でC3203というエラーが頻発したり、feedfoward_layer.hppではC2760というエラーが発生したりしています。

環境はWindows 7でVisual Studio 2017 communityです。
プロジェクトはwindowsデスクトップアプリケーションを用いています。
tiny-dnnのインクルードはプロパティのインクルードディレクトリに追加しています。

どなたか心当たりのある方がいらっしゃれば教えていただけると嬉しいです。

2018/03/08(木) 19:27:19.96

linux windows両対応のコードを考えている最中の質問です
unsigned int型の変数xの32bitに、char型の配列y[4]の8bit×4を当て込みたいです
y[0]から順にxの先頭ビットに入れたいのだけど
そういう時はどのようなコードになるのでしょうか
符号の問題で単純に24bitシフト+16bitシフト...みたいなことをすると期待の値にならないときが存在してます

2018/03/08(木) 19:50:56.79

unionでどう？

2018/03/08(木) 20:26:39.82

>>491
シフトする前にunsigned charにキャストする

2018/03/08(木) 20:29:17.36

参考
https://stackoverflow.com/questions/2437283/c-c-packing-signed-char-into-int

2018/03/08(木) 22:47:08.29

>>489
スマソ

2018/03/09(金) 11:50:12.37

ヘッダーファイルの関数定義から関数ポインタをtypedefする事は可能ですか？
C++98辺りのコンパイラです。

2018/03/09(金) 12:25:38.00

>>496
昔の C++ には decltype が無いもんな。
出来ないと思うよ。

2018/03/09(金) 12:57:58.47

テンプレート使えないかな？

2018/03/09(金) 13:06:17.52

出来ませんか。ありがとう。
再定義が面倒だったので楽したいだけだったんですけどね。

2018/03/09(金) 13:35:32.12

>>498
その手があったか。
でも C++98 で自動で推論させようとするとヘルパー関数を使う必要があるじゃろ。
意味のないオブジェクト生成 (最適化で消えるかもしれんけど) がださい感じはするよね。

2018/03/09(金) 19:06:34.98

>>496
たくさんあるなら

> ヘッダーファイルの関数定義から関数ポインタをtypedefする

コードを生成するツールを作るとか

**デフォルトの名無しさん** · 2018/03/09(金) 22:17:46.30

>>496
マクロ駆使すれば

TYPEDEF_FUNC_DECL(なんちゃら);
FUNC_DEF(かんちゃら)
{
return;
}

みたいな書き方できないのかな？

なんちゃらは識別名と戻り値と引数
かんちゃらは識別名を指定するイメージ

2018/03/09(金) 23:46:50.00

>>491
unsigned int x;
char y[4];

.
.
.

memcpy(&x, y, 4);

2018/03/09(金) 23:57:54.33

>>491
xの先頭ビットとはMSBなのかLSBなのか

2018/03/10(土) 00:45:01.61

メモリ上でのレイアウトとかもあるのでuint8_t経由でのシフトがいい
クロックが(メモリアクセスが問題にならない程)低くてシフトが遅いマイクロプロセッサは別

**デフォルトの名無しさん** · 2018/03/10(土) 04:49:25.72

>>503
x = ntohl(x);
も忘れずに

2018/03/10(土) 06:32:30.15

>>491
先頭ビットって32ビット目のことか？

2018/03/10(土) 17:21:32.19

>>506
それが必要になるかどうかは場合による。

◆QZaw55cn4c (ﾜｯﾁｮｲ 8a60-hn8E) · 2018/03/10(土) 17:42:35.32

ネットワークバイトオーダーがここで関係あるのだろうか？

**デフォルトの名無しさん** · 2018/03/10(土) 19:22:25.29

＞unsigned int型の変数xの32bitに、char型の配列y[4]の8bit×4を当て込みたいです
＞y[0]から順に

っていう要件だから、ホストバイトオーダーがビッグエンディアンかリトルエンディアンか分からない以上は常にntohlを付けるべき

**デフォルトの名無しさん** · 2018/03/10(土) 19:24:15.74

char y[4] = { 0x12, 0x34, 0x56, 0x78 };
unsignd in x = 0x12345678;
これを等価にしたいという意味だろうから。

2018/03/10(土) 21:52:35.38

独習c++終わりそうなんだが次によむべき本とかある？

◆QZaw55cn4c (ﾜｯﾁｮｲ 8a60-hn8E) · 2018/03/10(土) 22:03:20.54

>>512
https://mevius.5ch.net/test/read.cgi/tech/1493844476/312
あと STL の教科書、これもC++11以前のもの
https://www.amazon.co.jp/dp/4881357786/

2018/03/10(土) 22:09:22.02

本ばかり読まず実践しよう

2018/03/10(土) 22:09:43.95

>>512
cpprefjp

2018/03/10(土) 22:28:49.18

プログラミング言語C++とかどうやろ

2018/03/10(土) 22:50:35.99

ありがとうございます
ひとまず>>513の本にしてみます

2018/03/11(日) 00:41:56.08

そういえば最新版のEffective STLみたいな本って無いのか？

2018/03/11(日) 00:53:03.16

あると思うが訳者がへたくそで右辺値左辺値あたり意味ワカランかったぞ

2018/03/11(日) 00:57:27.74

その辺りの参考にするなら下手な日本語文献探るよりか英文そのまま読んだ方がいい希ガス
なんでもかんでも日本語訳してあるとほんと意味ワカランから

2018/03/11(日) 01:11:03.65

cpprefjpのstd::min_elementとstd::max_elementの例文が間違ってるので誰か直してください。
自分はGitHubのアカウント持ってないので編集できません。

https://cpprefjp.github.io/reference/algorithm/min_element.html
https://cpprefjp.github.io/reference/algorithm/max_element.html

誤：return a > b;
正：return a < b;

2018/03/11(日) 01:22:57.30

unsigned int x;
char y[4];

.
.
.

x = ((y[0] & 0xff) << 24) | ((y[1] & 0xff) << 16) | ((y[2] & 0xff) << 8) | (y[3] & 0xff);

2018/03/11(日) 01:34:50.04

Scott Meyers

Effective C++ 第3版 (ADDISON-WESLEY PROFESSIONAL COMPUTI)、2014
Effective Modern C++ ―C++11/14プログラムを進化させる42項目、2015

Effective C++ は、昔の本のリバイバルかな？
内容が新しいかどうかまでは、分からないけど

2018/03/11(日) 08:34:37.66

テンプレートを使ったメタプログラムの有用性が分からん。コンパイル時処理で定数の階乗を計算してるけど実行時に値を変えれないなら、答えをベタ書きすればいいだけでは？

2018/03/11(日) 08:43:14.65

その値をベタ書きする手間をコンパイラにまかせることが出来るのが利点だと思うよ。

2018/03/11(日) 08:48:18.87

3の階乗を、tmpするより6とタイプした方が早いだろ

2018/03/11(日) 09:03:15.99

>>526
3ならいいけど10の階乗は？15の階乗は？21の階乗は？
それは整数型で表現できるか？
それは何桁になるのか？
適切な型をどうやって選ぶのか？
その値を静的な配列のサイズにしたいが数値を変えるたびに電卓で計算はしたくない
ならばfactorial<N>::valueと表現できれば便利ではないか
ということ

2018/03/11(日) 09:03:17.33

その３という数値が別のファイルの特定の値に依存してる場合もあるし

2018/03/11(日) 09:08:13.99

意地悪するのはこの辺にしておいて
それはメタプログラミングでこいういうこともできるよ程度のものにすぎない
テンプレートメタプログラミングとはテンプレートを使ってソースコードを生成することだ
ソースコードを作るためのプログラミングだと思ってくれてかまわない
一般的な目的としてはジェネリックプログラミングを実現するために使われる
標準ライブラリではvectorからchoronoやtupleまでテンプレートメタプログラミングありきの設計になっている

2018/03/11(日) 09:08:56.54

値が小さいうちはそうかもしれんが16の階乗とか値が大きくなってもベタ書きが良い？

ちなみにconstexprが使えるc++11以降の話と考えてOK?

2018/03/11(日) 10:19:34.71

階乗の例はいい例とは言えんな
TMPで操作したいのはメインは型の方だからな
値も出来るよって例が階乗なだけで

2018/03/11(日) 10:40:47.13

>>529
> ソースコードを作るためのプログラミングだと思ってくれてかまわない
そこまでやるならPL/Iみたいに%FOR %SELECTみたいな普通の制御構文で書ける方がいいわ