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/04/02(日) 08:00:42.30

型変換に於ける定数のルールはC++11で見直されたので
「v=0.0;」は例が良くなかったな。まあいいか

2017/04/02(日) 08:01:44.33

>>18
最後の二つはｲﾗﾝ
やっても良いが第1項目の対策としては過剰すぐる、

2017/04/02(日) 11:47:36.98

計算がメインの、建築用CADとか、航空流体力学のちょっとしたソフトとかだと、過剰ではないかもしれない

doubleとfloatとでの四つの組み合わせがちょくちょく登場する計算、
funcのfloatとdoubleの組み合わせで厳密に誤差計算しているような気がする
もしもそうだとすると単精度の誤差すらも気にするようなヤバいシステムがコードの背後に見える
……トカマク式核融合炉の制御ソフトの一部かもな

2017/04/03(月) 21:44:49.44

AD変換器なんてノイズ多い環境じゃ16bit以上のものなんて使えないぞ
電力関係なら12bit位だろ

いかにその分解能でしっかり制御するかが重要で
算数的な精度なんてどーでもいいのさ

2017/04/03(月) 21:49:37.61

最後の1行を除き同意

2017/04/03(月) 22:07:16.82

偉い人向けに表示上だけは電卓に合わせないとうるさいって話かな

2017/04/03(月) 22:36:46.92

電池とかのラインで使われてる計測器だと有効なのは小数点以下は3桁くらいまでかな

2017/04/03(月) 22:41:35.95

最小目盛りの10分の1

2017/04/03(月) 22:48:03.77

数学的なベクトルのクラスで
template<int N> vec{ double v[N];};
などとした場合、コンストラクタで各成分を指定したいようなときって
どうするのが筋ですかね？
それとも引数の数が変わるのがわかってるようなケースはテンプレートすべきではない？

2017/04/03(月) 22:59:42.22

こういういかにもな質問を見ると、
何処に落とし穴が有るのだろうと勘ぐってしまう

2017/04/03(月) 23:08:28.79

>>27
俺は配列で初期化して渡してる。
一瞬本末転倒な気もするが、これが一番スッキリする。

2017/04/03(月) 23:15:39.73

double d[]={0.,1.,2.};
vec v(d);
みたいなことですかね？
あと今思いついたのは共通に処理できるところだけ
template<int N> struct vec_base{double v[N];}
template<int N> struct vec {};
template<>strct vec<3> : public vec_base<3>{ vec(double, double, double);};
みたいな

2017/04/03(月) 23:18:11.93

可変長テンプレートじゃだめなの

2017/04/03(月) 23:38:46.07

そんなのありましたね・・・
調べてみます

2017/04/04(火) 02:27:46.41

template<int... args>

2017/04/04(火) 12:47:55.32

Nは要素数だからそれじゃダメやろ

2017/04/04(火) 13:09:36.94

template <typename... T> は機能するけどこの場合ちょっとやだな

2017/04/04(火) 15:20:53.13

sizeof... の使いどころじゃね？

2017/04/04(火) 17:42:54.88

質問者がコンストラクターを使用したいと言っている以上
残念なコードになることは不可避
static_assertでも入れとくしかない

2017/04/04(火) 20:17:58.88

ネタも投下されないようなので取り敢えず貼っとくか
http://ideone.com/MjE67k

2017/04/04(火) 20:55:09.83

>>30
まさにそれ。
イロイロ思考した末にそこに辿り着いた。
C++11以降なら初期化リストやstd::arrayが使えるんだけどね…

2017/04/06(木) 07:41:45.88

質問ですが、bool型の変数x値（true/false）をint型の1/0に変換する場合、
(int)xで正しいの？それとも演算子を使ってx!=falseとか!!xとすべき？
あるいは
　int y; if(x) { y = 1; } else { y = 0; }
式にやらなきゃダメ？

そもそもC++においても「!」、「!=」、「==」（オーバーロードされていないやつ）はintを返すんやろうか…

2017/04/06(木) 07:49:27.05

x?1:0

2017/04/06(木) 08:13:07.80

N4660の
7.6p6
8.3.1p9
8.10p1
あたりを読んでから質問するという発送は無いものか

2017/04/06(木) 08:18:19.01

>>40
std::cout << typeid(!0).name();
こんくらいやってみた？

2017/04/06(木) 08:36:31.85

一般人はtypeidを知らない可能性があるが
auto x = (0 == 0);
と書いてxの上にマウスカーソルを持って行く知能は欲しいところ

2017/04/06(木) 08:49:41.77

一般人てコンパイラって何？な人？

2017/04/06(木) 10:25:11.03

企業に勤めていて日常的にC++言語を使うような人、かな

2017/04/06(木) 11:12:46.55

日常的にC++使っててtypeid知らないなんて死刑だろ

2017/04/06(木) 11:30:17.09

知っていても使わないなあ
試しに実験したことはあるかも

2017/04/06(木) 11:30:45.11

C++たまにしか使いません

2017/04/06(木) 18:35:51.13

少し前からＤＸライブラリの勉強を始めました

「ポンクソフト」というサイトさんの「C/C++言語とDXライブラリでゲーム作成入門」というページを真似ながら勉強しています
そこの「6.オセロの作成」に先程着手したんですが、何度見返しても以下のエラーが出て実行できません

一つ目：コードC3872「'0x200e':この文字を識別子で使用することはできません」行67
二つ目：コードC3872「'0x200e':この文字を識別子で使用することはできません」行80

解決方を求めて「C3872」「0x200e」などと検索したんですが、解決方を見つけることは叶いませんでした
どなたか私に原因と解決方を教えて下さい

**片山博文MZ** ◆T6xkBnTXz7B0 (ｽﾌｯ Sd92-+G+c) · 2017/04/06(木) 18:43:30.36

>>50
全角文字と半角文字の違いに気を付けて。コンピュータは全角と半角を区別する。

2017/04/06(木) 18:43:47.28

そこのURLを貼ってくれると話はさらに早くなる

2017/04/06(木) 18:53:48.85

>>51
エラーの出た行を3回ほど確認しましたが全角文字は見当たりませんでした

>>52
「ttp://ponk.jp/cpp/dxlib/othello」です

2017/04/06(木) 19:06:55.02

そりゃpriorityの後に変な文字が入ってるからな
U+200EはC++で使っていい文字に入っていない

2017/04/06(木) 19:17:42.97

確かに67行目と80行目の"priority"の右に見えない文字 (LRM) が入ってるね
なんでこんなもんが紛れてるのか謎だけどそれを消せばコンパイル通るんじゃない

2017/04/06(木) 19:19:47.39

>>54
今まで見るだけの確認作業してましたがpriorityの直後でdeleteキー押したら確かに謎の文字が消えました！

>>51-52>>54
質問に答えていただきありがとうございました

2017/04/06(木) 19:23:16.61

>>55
消したらコンパイル通りました

今までは「サイトのコピペ」→「解説読んで納得」→「各文に自分が分かるようにコメント付け」という方法で勉強してたので、
これを機にコピペはやめて全て自分で打ち込むことにします

ありがとうございました

2017/04/06(木) 20:18:57.75

>>42
普通その数字が何を意味するのかすらわからねえよ

2017/04/06(木) 21:09:55.73

>>42
なんで贈り物送らないといけないのか

2017/04/07(金) 00:12:27.63

>>57
コピペ後に理解というやり方から
理解した上で打ち込むって考え方がいいと思うよ

実務でも似たような処理をコピペした時に
別の変数参照するように変える必要があったのに
1ヶ所変え忘れて問題になった何て言う事例もありがち

2017/04/07(金) 00:44:12.95

勉強中は兎も角、実務でコピペコーディングしてバグ仕込むとか入念に拷問した後死刑でも仕方ないレベルだからな

2017/04/07(金) 01:17:29.90

そんなにコピペすることってあるか？

2017/04/07(金) 02:53:31.90

ないアルよ

2017/04/07(金) 03:15:46.83

まあ、スニペットなんて言い方してても実態はコピペだからな。

2017/04/07(金) 12:08:05.92

プログラミングなんて同じことの繰り返しなんだから、コピペで済ませたほうがいいよ

2017/04/07(金) 12:42:46.10

コード書いてていうほどコピペしなくね

2017/04/07(金) 14:14:16.56

コピペしなきゃいけない自分が情けなくなるね
同じことを二度は言わないスマートさが足りないんだって

**デフォルトの名無しさん** (JP 0H2e-TKAZ) · 2017/04/07(金) 15:08:17.29

static int a[]; // prototype
static int a[] = {1,2,3,4};
int getitem(int n) {
return a[n];
}

このコード、
gcc -Wall -c -o hoge.o hoge.c
だったら何のエラーも警告も出ないけど、
g++ -Wall -c -o hoge.o hoge.c
だとaのサイズがわからん、とエラーになるんですが、
c++だとどう書けばいいんですか？

2017/04/07(金) 17:44:51.15

namespace
{
extern int a[]; // prototype
int a[] = {1,2,3,4};
}

int getitem(int n) {
return a[n];
}

2017/04/08(土) 12:17:44.66

extern int a[];　はprototypeじゃないけどな

2017/04/08(土) 13:44:56.17

未だにexternの役割がよくわかんね；
付けなくても宣言できて勝手に外部リンケージになるし…
K&R本はどっか行った；

2017/04/08(土) 16:54:00.75

実体を定義するのかしないのか曖昧なところをはっきりさせたり
デフォで内部結合なものを強制的に外部結合させたり

無名namespaceは逆で強制的に外部結合なものに妨害工作する

2017/04/08(土) 17:25:09.91

>>69の方がC++としてモダンなのはわかるが、>>68がC++だけエラーになる理由がわからん。
gcc以外のコンパイラでもだめなんだろうか？

2017/04/08(土) 17:34:57.89

//static int a[]; // prototype
static int a[] = {1,2,3,4};

これでOK

2017/04/08(土) 17:54:16.17

↓みたいに、相互参照するstaticなデータを初期化するときはどうするのよ？
こういうのは、CとC++で互換性あるコードは書けんのかね？
#include <stdio.h>

struct A {
char *s;
struct A *p;
};

static struct A a[];
static struct A b[] = {{"1st in b[]", a}, {"2nd in b[]", a+1}};
static struct A a[] = {{"1st in a[]", b}, {"2nd in a[]", b+1}};

int main(){
printf("%s, %s\n", a[0].s, a[0].p->s);
printf("%s, %s\n", b[1].s, b[1].p->s);
return 0;
}

2017/04/08(土) 18:22:48.95

前方宣言の方のstaticを削りゃいいんじゃね？

**片山博文MZ** ◆T6xkBnTXz7B0 (ｽﾌｯ Sd92-+G+c) · 2017/04/08(土) 18:29:35.52

static変数を別の翻訳単位から参照するのはおかしいんじゃね？俺だったらexternにするぞ。

2017/04/08(土) 20:50:02.31

K&RならＣ勉強していた女子社員にやったわ
姉貴が蛍光ペンで目茶苦茶にしてくれたからもう要らなかったんけどねｗ

◆QZaw55cn4c (ﾜｯﾁｮｲ beff-rt0y) · 2017/04/08(土) 21:28:14.31

>>71
lib や *.o を単独で配布して，そのヘッダを書くとき（lib/o の中に静的変数がある）ときは，extern はないと困るだろうな，とは思う
extern 不要論を連呼するキチガイがいるらしいから，注意したほうがいい

2017/04/08(土) 21:34:09.29

でも実際extern からアクセスしろってライブラリは見たこと無い
普通関数じゃね？

2017/04/08(土) 21:38:17.52

クソライブラリを使うときにexternないと困るな

◆QZaw55cn4c (ﾜｯﾁｮｲ beff-rt0y) · 2017/04/08(土) 21:39:43.39

>>80
例えば <cstdio> の FILE *stdout とか

外部のライブラリの中の静的変数へのプロトタイプとして
FILE *stdout;
て書くと多分そのモジュールに stdout が確保されてしまうんじゃないかな？
関数は
int f();
だけで実体がないのだったらプロトタイプだとわかるけれども
変数は実体を伴うのか参照なのかを区別できない気がする

関数だけ提供するライブラリが存在するのは理解できる

2017/04/08(土) 21:56:34.32

>>75
つ__cplusplus

2017/04/08(土) 23:26:49.13

externの必要性をとうとう理解してしまったQ
それに対し相変わらずコミュ障のもう一人のクソコテ

2017/04/08(土) 23:36:29.56

>>83
#ifdef __cplusplus
#define _static
#define _extstatic extern
namespace {
#else
#define _static static
#define _extstatic static
#endif

_extstatic struct A a[];
_static struct A b[] = {{"1st in b[]", a}, {"2nd in b[]", a+1}};
_static struct A a[] = {{"1st in a[]", b}, {"2nd in a[]", b+1}};

#ifdef __cplusplus
}
#endif

まぁ、確かにこんだけ書けばCでもC++でも無警告でコンパイル通ったけど、
まぁ面倒ですこと(ﾟдﾟ)！

2017/04/08(土) 23:39:18.99

>>85
わざわざc使わなくてもc++だけでよかでしょ？

2017/04/09(日) 00:00:11.10

Cでも使いたい人には自分でラッパー作ってくれと言ってるわ

2017/04/09(日) 00:52:09.49

>>85
>こんだけ書けばCでもC++でも無警告でコンパイル通ったけど
そんな文法違反な糞コードを「ボクのパソコンでは動いたもん」みたいに自慢されても…

2017/04/09(日) 01:02:23.00

>>77
ひょっとして、もしかするとお前の頭では
「extern」＝「外部リンケージ」なのか？

2017/04/09(日) 07:01:35.78

わっしょい、わっしょい

2017/04/09(日) 07:08:55.81

自分の理解できないことを、何でもコミュ症で片付けるやつ、嫌い。

2017/04/09(日) 07:13:22.07

言語障害って日本語があるのに、何で意味不明な略したりするのかな。臆病者だから？

◆QZaw55cn4c (ﾜｯﾁｮｲ beff-rt0y) · 2017/04/09(日) 07:31:21.97

>>84
ところが C には仮定義というものがあって，仮定義しておけば静的変数を共有できるんだよ
だから extern は要らない子！と主張できるんだ
ここは C++ だから，仮定義が出来ない前提で話しているだけだよ

君はまだまだ浅いね

2017/04/09(日) 08:37:34.70

>>93
ん？extern要らない説の根拠は(翻訳単位に閉じた)仮定義じゃなくて
リンカが頑張ることだったと記憶していたのだが
ひょっとしてもしかすると、ｱﾌｫ?

2017/04/09(日) 09:10:41.09

仮定義はリンカが頑張って実現してるんだが
リンカのマップ情報とか見たことないの？

2017/04/09(日) 09:37:03.20

なるほど
仮定義というものが何なのか理解していないのでこういうとんちんかんな発言になるのだな

2017/04/09(日) 10:11:41.88

それはこっちの台詞だyo

2017/04/09(日) 10:30:05.69

仮定義ってなんだっけ
extern int a; が複数の翻訳単位にあったら勝手にaの実体が1個できるというやつだっけ；
C++には無いの？（驚愕

◆QZaw55cn4c (ﾜｯﾁｮｲ bf35-D1KF) · 2017/04/09(日) 10:53:03.36

>>98
仮定義はリンカにおんぶにだっこしてもらう仕様だよ
extern を書かなくてもいい、というものだ
実体を持たない普通の外部変数と同じように
int evil_global;
とか書くだけでいい、ヘッダに extern int evil_global; と書く必要がなくなる（宣言部分での初期化はできないことに注意）

いやまあ、ちょっと追いきれていないところがあって、まだ俺も浅いのはみとめるが、とりあえず C++ にはないので、みなかったことにしている
議論が続きそうだが俺は参加しないよ

◆QZaw55cn4c (ﾜｯﾁｮｲ bf35-D1KF) · 2017/04/09(日) 10:53:48.84

>>94
仮定義は翻訳単位に閉じたとはいいきれないよ

2017/04/09(日) 11:04:16.30

>>99
訂正するね
誤：実体を持たない普通の外部変数と同じように
正：実体を持たない外部変数であっても
なんか訂正しきれていないきもするが

2017/04/09(日) 17:20:17.02

>>98
>複数の翻訳単位にあったら勝手にaの実体が1個
それはQの妄想というやつで仮定義とは別
なおISO/ IEC 9899:2011では未定義動作になっているので仮に実体が一個になっても違反ではない

2017/04/09(日) 19:24:59.42

「仮定義」でググッたらあったわ；
ttp://docs.embarcadero.com/products/rad_studio/radstudio2007/RS2007_helpupdates/HUpdate4/JA/html/devwin32/tentativedefinitions_xml.html

extern、static、初期化のいずれも無しの変数宣言っぽいものが（関数外のスコープで）複数個現れたとき、
C言語規格の方が高度なことをしてくれるのか
（C++では>>102によると未定義動作とのことなので同じ結果になるかどうかは規格外の仕様に拠る。

しかし上の説明だけでは関数宣言にexternを付ける意味がまだわかんね；

2017/04/09(日) 19:56:25.40

>>102
もはや何を言っているのかしどろもどろだな
未定義の動作は何が起きても構わないが、
その内容に依存するコードが違反かどうかもわからないクルクルパーはお気の毒

2017/04/09(日) 20:10:15.00

いやすまん「規格外の仕様に拠る」はやや誤解して書いてたわ；
下記の通り、未定義動作を含むコードは合法には成り得ず、実行できるかもしれないが、結果は保証されない。（つまり違反
ttp://www.c-lang.org/detail/undefined_behavior.html
>未定義の動作に対して，その状況を無視して予測不可能な結果を返してもよい。
>翻訳時又はプログラム実行時に，文書化された，環境に特有な方法で処理してもよい（診断メッセージの発行を伴っても伴わなくてもよい。）。
>さらに（診断メッセージを出力し）翻訳又は実行を中断してもよい。

ここで、診断メッセージ云々とか「文書化された，環境に特有な方法で処理」とは安全に実行を止めることを意味する
Windowsでアプリのクラッシュ時に出てくるダイアログとか、コアダンプとかがそれにあたる

2017/04/09(日) 20:15:29.79

ていうか最初の疑問に戻るんですが、総合すると、CでもC++でも「extern」 = 「外部リンケージ」、でおkなのでは…
ただ外部リンケージの意味で省略可能だったり、
ANSI Cにおいては「仮定義」に関する仕様が追加されてるから話が複雑化したように見えているだけで、

2017/04/09(日) 20:16:15.29

>下記の通り、未定義動作を含むコードは合法には成り得ず

何というか、「下記」のどこを縦読みするとそうなるんだか

2017/04/09(日) 20:18:42.95

>>106
追加じゃなく追認な

2017/04/09(日) 20:19:44.66

>>107
>翻訳時又はプログラム実行時に，文書化された，環境に特有な方法で処理してもよい
つまり翻訳時にビルドエラーで止めても良い

2017/04/09(日) 20:34:41.52

>>108
互いに正しく適合する「宣言」と「定義」からなるプログラムにとって「仮定義」の概念は不要なのだから、
この場合何を追認したかというと既存のソースコードにおける「extern」の誤用を追認したとしか考えられないのでは…

つまり言語規格の既存の条項が「追認」されたわけではなく、あくまで条項が「追加」されたんである
（多分「追認」なんて定義もされていないだろうし、

2017/04/09(日) 20:52:23.27

>>106
> 総合すると、CでもC++でも「extern」 = 「外部リンケージ」、でおkなのでは…
ちょっと端折り過ぎかな
n3797(C++14) 7.1.1 Storage class specifiers Example:

static int b; // b has internal linkage
extern int b; // b still has internal linkage

2017/04/09(日) 21:03:07.96

>>110
少なくとも「externの誤用」ではない
externと書かなかった場合のことについてだ

2017/04/09(日) 21:04:18.72

今となっては忸怩たる思いだが
俺は「追認された」張本人の1人であって

2017/04/09(日) 21:32:38.73

>>109
なるほど理解した
まさか>>102から>>105にかけて『違反』という言葉の意味ををすり替えられていたとは気付かなかった失礼

2017/04/09(日) 21:52:43.91

>>110
>「仮定義」の概念は不要なのだから

仮定義が無いと通らない例が>>75で出ているのに
不要である理由の説明も無しにいきなり結論付けられても…

2017/04/09(日) 22:01:05.39

>103
そのサイトのANSI Cの説明は多分ウソだぞ
同じ内容なはずのISO Cはそんな定義じゃないから

2017/04/10(月) 14:43:46.26

おまえら規格票くらい買うか、せめてドラフトくらい用意しろや
External object definitions
Semantics
If the declaration of an identifier for an object has file scope and an initializer,
the declaration is an external definition for the identifier.
A declaration of an identifier for an object that has file scope without an initializer,
and without a storage-class specifier or with the storage-class specifier static,
constitutes a tentative definition. If a translation unit contains one or
more tentative definitions for an identifier, and the translation unit contains
no external definition for that identifier, then the behavior is exactly as
if the translation unit contains a file scope declaration of that identifier,
with the composite type as of the end of the translation unit, with an initializer equal to 0.
If the declaration of an identifier for an object is a tentative definition and
has internal linkage, the declared type shall not be an incomplete type.

今どき「ANSI C」とか言っちゃってるサイトは眉に唾してかかれ

2017/04/10(月) 14:44:01.60

　EXAMPLE 1
　　int i1 = 1; // definition, external linkage
　　static int i2 = 2; // definition, internal linkage extern
　　int i3 = 3; // definition, external linkage
　　int i4; // tentative definition, external linkage
　　static int i5; // tentative definition, internal linkage
　　int i1; // valid tentative definition, refers to previous
　　int i2; // 6.2.2 renders undefined, linkage disagreement
　　int i3; // valid tentative definition, refers to previous
　　int i4; // valid tentative definition, refers to previous
　　int i5; // 6.2.2 renders undefined, linkage disagreement
　　extern int i1; // refers to pre vious, whose linkage is external
　　extern int i2; // refers to pre vious, whose linkage is internal
　　extern int i3; // refers to pre vious, whose linkage is external
　　extern int i4; // refers to pre vious, whose linkage is external
　　extern int i5; // refers to pre vious, whose linkage is internal

　EXAMPLE 2
　If at the end of the translation unit containing
　　int i[];
　the array i still has incomplete type, the implicit initializer causes it to have one element,
which is set to zero on program startup.