C++相談室 part132

2017/10/10(火) 00:11:34.01

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

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

前スレ
C++相談室 part131
http://mevius.2ch.net/test/read.cgi/tech/1501295308/

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

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

◆QZaw55cn4c (ﾜｯﾁｮｲ e260-v9tW) · 2017/11/20(月) 04:42:32.81

>>894
＞その割にアレなのでひょっとして共通トリップだったりするの？
単に、あれよあれよと、また、次から次へと忘れていくので、ぜんぜん進歩しないだけなのでした。
こんな感じ…　https://www.youtube.com/watch?v=Hflpt1-kAl4

2017/11/20(月) 07:05:19.03

手元に古いGoF日本語訳(1999年初版)があったので覗いてみたら、
Iteratorのサンプル(C++)が>>880みたいに抽象クラスで実装されていてびっくりした。

抽象クラスを使わなくても、処理の共通化を考えないなら問題ないし、
共通化したい場合でも、そこだけテンプレート化すればよいような気がする。
https://ideone.com/sFzBq4

2017/11/20(月) 08:00:57.16

VC++とか今でこそまともだけど昔はテンプレート周りがうんこすぎて風呂釜洗剤教の人のやり方に頼らざるを得なかったらしいね

2017/11/20(月) 09:24:05.14

そういう「まとも」を求めてVCを選ぶのは情弱のすることだ
意味の違う「まとも」で定評のあるコンパイラであって

2017/11/20(月) 09:46:04.69

Vistaまではgccでコンパイルしてたらしいからな。

2017/11/20(月) 10:17:12.94

初心者なんですがusing使い方を教えて下せえ

2017/11/20(月) 10:36:08.17

usingは時代によって使える機能が異なる
昔はnamespaceから使える宣言を取り出す役割
最近は=を用いてtypedefの簡略化っぽい書き方が出来る

2017/11/20(月) 10:42:51.51

将来的にはusingがプロパティの役割まで担ってくれると余計な予約後増やさなくて済む希ガス

2017/11/20(月) 12:17:25.71

>>897
最初なんてタダのマクロだったし、
4.xだってテンプレート使うと名称長さ制限にかかったり
STLのBUGは何時までたってもそのままだし

2017/11/20(月) 14:57:25.95

ratioのバグとかinitializer_listとかね
しっかりしているようで時おり大ボケで笑いを取る謎な会社だ

2017/11/20(月) 16:59:42.71

>>883
重箱の隅だけどC++にもfinal導入されたよ、C++11からだっけ
stlに付いてるかどうかは覚えてないけどw

2017/11/20(月) 17:06:25.94

重箱の隅じゃあんめえ
仮想デストラクタがないことと継承禁止は近いが違う

2017/11/20(月) 17:20:13.60

std::vector とかを public 継承してもスライシングが起こらないように使う分には全然問題ないわけだしな。

でも人間はアホだからスライシングするし、スライシングしたときにコンパイルエラーにしてくれないから避けようっていう「習慣」なだけで、
言語機能としてはデストラクタが仮想になってないからといって継承が禁止されているってわけではないんだ。
そこらへんは確かに意味づけが違う。

2017/11/20(月) 17:54:47.05

デザパタは基本的にGC言語向きだしな
C++とは相性が良くない

2017/11/20(月) 19:05:49.28

C++の基本的なコーディングを学ぶのにオススメな書籍あるかな？
テクニック集とかもあると読んでみたいと思っている

2017/11/20(月) 19:11:23.76

EffectiveC++シリーズ
Exceptional C++
C++ Coding Standards
あたりの定番中の定番でいいだろ

2017/11/20(月) 20:12:37.95

ここって本職でやってる人らばっかりなんかね
日曜プログラマが気安く書き込んでもいいのだろうか

2017/11/20(月) 20:21:38.03

>>911
いいよ。俺も趣味プログラマだけど偉そうに書き込んでるし。

2017/11/20(月) 21:53:59.25

GoF本のうち
Stateパターンは抽象クラス必須
Abstractなんちゃら系も抽象クラス必須
な印象

2017/11/20(月) 22:05:37.00

>>911
プロがここでうんちく垂れてたら引くわな

2017/11/20(月) 22:07:59.95

>>873
最新版で該当ケースを探せず、
わざわざ5年前の版を持ち出してきてまで俺ツエーしたいヘタレを相手にしてしまい、すいませんでしたー
gcc4.4.7(2012/3/13)の時点で対応できて無いという情報はものすごく役に立ちますー（棒）

つかマジで、賢いつもりなら最新版で該当ケース探してgccに報告しろよ。
問題に遭遇したらとりあえず最新版、というのは基本だ。
ここを問題視する奴がgcc4.4.7なんて今使ってるわけないだろ。お前は馬鹿なのか？
お前のその努力は誰の為にも役に立ってないだろ。

これは多分に政治的問題で、コンパイラ屋がごねているだけだ。
既に言ったとおり、
reinterpret_cast相当のことがなされている場合、その関数単位で -fno-strict-aliasing すればいいだけで、
これに関して技術/仕様的問題は何もない。
ただ、「ソースさえ正しければこんな問題は発生しない」とか言って、コンパイラ屋がごねてるんだよ。
だから、力関係が逆転すればいきなり全部直ってもおかしくない。

gcc7.2.0がどっちのアプローチ、
つまり、上記の通りばっさり最適化を切ってしまい、最適化ケースを積み上げる方向にしたのか、
或いは従来どおり、過度の最適化を検出し、最適化を防ぐケースを積み上げることにしたのかは、俺は知らない。
ただ、どちらのケースであっても、最新版で上手く行かないケースがあれば、それはgccにとっては有用な情報なんだよ。
それをわざわざ旧版で、しかも隠してしれっととか、意味無いしせこいわw
最新版で出現しないから焦ったか？小物感ありあり。

> まぁそんなことは無いんだけどさ。
とか言うから、お？釣りか？ならここは全力で釣られてやるさ、該当事例持って来いよ！って流れなのに、
事前に該当事例用意しておかずに釣りとかアホかテメーは。
君が最新版で完全にアウトなケースを用意してれば、ああこれは完全に俺の負けですサーセン、とお後がよろしかったのに、
gcc4.4.7であることにも触れず俺ツエーするとか、小物過ぎて泣ける。
お前もうちょっとスレの流れを考えろよ。

2017/11/20(月) 22:13:38.04

>>908
GoF本はc++とsmalltalkだったろ

2017/11/20(月) 22:48:11.84

テンキー風のボタンの並びでモードによって意味が変わる（Num Lock ON/OFFのもっと複雑化したようなやつ
というユザーインターフェースの実装はStateパターンのどくだんば

そこまでレトロなのでなくてもGUIでお絵かきツールを集めたツールボックスなUIとか作ると
Abstructなんちゃらパターンのどれかを再発明しているケースが多いと思う

2017/11/20(月) 23:04:17.12

←なぜか変換できない

2017/11/20(月) 23:35:39.24

独擅場 ← どくせんじょう

2017/11/21(火) 00:48:45.97

>>913
昨日 >>885 でまわりくどいメタプログラミングと言ってたのがそれだ。
State パターンのように特定のメンバ関数を持っていることを強制したいときには
それを判定するトレイツを作って対応する。

たとえば >>886 にあるコードを対象に考えて、
「あるクラスがそのクラス自身のポインタを返す next という名前のメンバ関数を持っているか」
を判定するトレイツはこうなる。

template<class T>
class has_next {
template<class U, class V = T>
struct helper : std::false_type {};

template<class U>
struct helper<U, typename std::enable_if<std::is_same<decltype(std::declval<U>().next()), U*>::value, T>::type> : std::true_type {};

public:
static const bool value = helper<T>::value;
};

C++ 標準の type_traits を真似してるので使い方もだいたい同じ。

static_assert(!has_next<TShelfIterator<Book>>::value, "TShelfIterator must has next() method.");

みたいに書いておけば TShelfIterator<Book> がメンバ関数 next を持っていることが保証される。
持っていなければコンパイル時にエラーになるから。

ここではひとつのメンバ関数を判定するだけのものを作ったけど、 Boost にはもっと汎用的にいい感じにかけるやつが有った気がする。
知らんけど。

2017/11/21(火) 01:13:43.73

そんなくそレガシーなtraits
久々に見た…

2017/11/21(火) 17:31:41.16

あるファイルに下のような文字が書き込まれていて
xxxx=3
これの3を取得する完璧無欠なロジックなにかないかな

2017/11/21(火) 17:32:59.03

完璧無欠とは？

2017/11/21(火) 17:36:16.46

>>923
俺様のアルゴリズムは完璧だぜ！！！
ってだけ
まあそんなのないんだけど書き込みたかった

2017/11/21(火) 18:10:16.89

正規表現でよくない？

2017/11/21(火) 19:05:58.85

リバースイテレータをfindしてイコールでセパレート。
って、数行から見つけるのか。
構文解析とかか？

2017/11/21(火) 19:38:49.19

>>926
数行から見つける
設定値の中から見つける
実際は

#xxxはdddの設定値
xxx=1

#yyyはcccの設定値
yyy=3

こんなのが繰り返し書かれてる
正規表現確かに良さそう忘れてた

2017/11/21(火) 19:53:50.67

(?<=^xxx=)\d+$

2017/11/21(火) 20:30:32.65

float演算がdoubleよりも遅いってアジですか？

◆QZaw55cn4c (ﾜｯﾁｮｲ e260-v9tW) · 2017/11/21(火) 21:02:58.77

>>929
何が計算するかによる、としか

2017/11/21(火) 21:12:53.35

さいですか

2017/11/21(火) 21:19:38.81

>>922
ほれ
https://wandbox.org/permlink/YK6UEOGxMToYE1SK

2017/11/21(火) 21:44:16.41

>>932
すんごく綺麗なコードありがとう
見事に魔改造して糞コードにしてしまう自信がある

2017/11/21(火) 21:55:27.92

>>927
そういう設定ファイル的なものを読むならkeyとvalueのペアのリストつまりmapを返す実装を考えた方がいい

2017/11/21(火) 22:16:59.77

>>934
俺もそうは思ってるのだけどその読み込む処理をどうしたら綺麗にできるかなぁって悩みなんだ
マップ作ったあとに検索が綺麗なのかなとは思ってる

2017/11/21(火) 22:33:26.16

文法的には LL(1) かな？
素朴なパーサコンビネータでも充分に足りるのでその手のライブラリを導入すると楽にパーサを作れると思う。

それはともかく、「>>922 みたいな」というだけの仕様では

・数値以外が設定値にくることもあるのか？
・要素に改行を含められるのか？
・エスケープも出来るようにするのか？

等々が読み取れないし、多分 >>922 は考えてないんじゃないかなと思う。
オレオレ設定ファイルフォーマットを考えるくらいなら TOML とかいったよくあるフォーマットを採用すれば
ライブラリが充実してたりして便利なので考えてみるといいかも。

2017/11/21(火) 22:42:43.82

ってかboostのPropertyTreeにiniパーサーがあるからそれ使うといいよ

2017/11/21(火) 22:42:58.28

>>936
回答すると
数値以外もありうる
改行は値として入れない
エスケープってなんだろう？
xxxに関しては最大16文字の文字列(大文字小文字計52文字の組み合わせ)

たったこれだけでも深いね
ソフトウェアって神秘

2017/11/21(火) 23:00:05.88

ini-parserてのがなかなか良さそう
picojson,rapidxmlなどが好きな人にはいいかも

2017/11/22(水) 02:34:39.84

構文解析したいならbisonでも使ったらいいんじゃね？

2017/11/22(水) 03:34:34.44

ム板で公開されたのがあったじゃないか。

2017/11/22(水) 10:29:13.01

>>938
>>922の完璧無欠なロジックてのは
最初に完璧無欠な入力規則を作ってから議論できるものだろ

＞数値以外もありうる
数値だけでもいろんな型があるわけだしこの程度じゃ何も語れない
xxxx=3のような単純な形式はINIファイルとか>>936のようなのとか利用するのが便利
最近はXML形式が推奨されてる
ただしどれもが完璧無欠とは言えないけど

2017/11/22(水) 10:59:36.64

>>942
どこの最近？

2017/11/22(水) 11:55:13.96

XMLは配列が直接表現できないし手で書くのがクソめんどくさいし見づらい
その点JSONの方がずっとマシなんだけど標準JSONだとコメント書けない

2017/11/22(水) 12:48:47.95

適材適所、の一言で片付く問題
好きな方使え

2017/11/22(水) 13:52:54.31

人が書く設定ファイルならtomlがパースのしやすさと書きやすさでバランスが良いと思う

2017/11/22(水) 16:17:23.80

>>946
dein.vimで使われてるの見て知ったけどまったくと言っていいほど広まらないね

>>944
ド定番のYAMLでいいじゃん

2017/11/22(水) 20:12:53.57

Cargo の設定ファイルも TOML やぞ。モダーンな言語のモダーンなツールは TOML がトレンド。これ。
YAML みたいにインデントで構造を表現するのってパースめんどくさい。

個人的に YAML は不格好に見えて好きじゃないっていう主観もあるんだけど、
YAML ってそんなに定番ってほど目にしたことが無いな～と思って考えたら
たぶん俺の巣は Scheme スレやからやな。
Lisp 界隈では設定ファイルにはＳ式を使ってまうもんな。

2017/11/22(水) 21:00:11.47

luaなんかもよく使われるけど、schemeやluaが設定ファイルとして使われるのは
呼び出し側の言語が同じであるか、他の用途で使うためにすでに組み込んでる場合がほどんどで
設定ファイルだけの為にLL組み込むにはお手軽とは言えないかな
TOMLはいいとは思うんだけど
自分が使うなら仕様が固まってからの1.0～は必須で
↓で300程度は使われてからかな

$ apt-file search toml | grep "\.toml$" | wc -l
0
$ apt-file search json | grep "\.json$" | wc -l
3611
$ apt-file search yaml | grep "\.yaml$" | wc -l
1480

2017/11/22(水) 21:10:35.27

最近この手の話題に疎いからtomlとか知らんかったのでちょっとググったけどまあ好きなの使えや
って感想しかないわ
https://gist.github.com/miyakogi/e8631ce5f7c956db2313

2017/11/22(水) 21:16:10.07

パースの楽さだけで言えば JSON が優勝だけど人が手書きするには色々アレだからな。

2017/11/22(水) 21:20:22.39

好きなの使えっつっても全部導入して試すの面倒や

2017/11/22(水) 21:56:28.30

ES5以降ケツコンマOKになったんだからJSONも新規格にすりゃいいのに。

2017/11/22(水) 23:47:16.65

>>936
正規表現で済んでいるのになんでスタックが要るんじゃ！！！！！！１１！１！！！！

2017/11/23(木) 00:25:32.50

>>954
意味がわからないので説明して。

2017/11/23(木) 00:36:02.97

文脈自由文法は解析にスタック（理論上は無限の段数のやつ）が要るクラスだが
正規言語は有限状態マシンで済む言語のクラス
今話題の設定言語は無限の入れ子は持たなそうなので正規言語で逝ける、

2017/11/23(木) 00:37:37.76

と、
言いたいのでわ…

2017/11/23(木) 01:07:08.12

ん～、そのへんの学問的な分類はよう知らんけど、取りうる状態は有限でもバックトラックは起こるしそのためのスタックは要るんちゃう？
同じ文法の構文解析器を作ればどっちのアプローチでもスタックの消費量はかわらんと思うんだけど。

より制限の強い方で「十分」っつーならそれはわかる。 C++ 標準に入ってる機能で出来りゃ楽だしな。
ただ、正規表現ライブラリだとエラーの検出場所の伝達方法とかで融通が利かなかったりするので、
ユーザーが入力する設定ファイルを解析するパーサを作るとなると作りこみ難いという感触があるかな。

2017/11/23(木) 06:39:00.31

「チョムスキー階層」でググれ

2017/11/23(木) 07:23:17.08

>>958
>ん～、そのへんの学問的な分類はよう知らんけど、取りうる状態は有限でもバックトラックは起こるしそのためのスタックは要るんちゃう？
非決定性有限オートマトンは決定性有限オートマトンに変換できるので、
バックトラックが一切起こらない形に書き換えることは可能。
lexなんかだと、そのような変換を行ったコードを生成していたはず。
ただし、プログラム言語などで一般的に使われる正規表現は、
ここでいう正規言語を拡張したものなので、この限りではない。

2017/11/23(木) 14:40:51.51

C++のプロジェクトに戻りたい。

2017/11/23(木) 18:06:46.17

どうぞどうぞ

2017/11/23(木) 18:56:01.32

もう次スレ要らないのでは

◆QZaw55cn4c (ﾜｯﾁｮｲ 5f60-2JzH) · 2017/11/23(木) 19:03:52.53

またまた低レベルな質問で恐縮しております。よろしくお願いいたします。
https://ideone.com/MXvhkC

ここまで実装できている状態で、演算子 += を定義するには、どのように書けばいいでしょうか？
なお実際に作業している対象は自作の多桁長演算ライブラリで、operator+=() を operator=() や operator+() を再利用できればうれしいな、と考えております。
operator+() や operator=() に書いていることを、繰り返して書くのは避けたいと考えているのです。

2017/11/23(木) 19:07:30.71

普通はoperator+=()を実装してから、それを使ってoperator+を実装する

◆QZaw55cn4c (ﾜｯﾁｮｲ 5f60-2JzH) · 2017/11/23(木) 19:44:55.34

>>965
なるほど
https://ideone.com/t89oo1

しかし、+=, -= ならまだしも、 *=, /=, %= を考えると、なんだか似たようなコードを二箇所に書きそうな雰囲気がします…

2017/11/23(木) 19:54:00.12

だからboostにこんなのがあったりする
https://boostjp.github.io/tips/operators.html

2017/11/23(木) 19:56:33.11

CRTP使って自動実装

2017/11/23(木) 20:01:00.33

>>964
なんで friend がついてんの？

2017/11/23(木) 20:17:56.76

>>967
これってなんでprivate継承なのか分からない

2017/11/23(木) 20:23:32.48

>>970
スライシングを起こさないようにじゃないの。
デストラクタを virtual にすると要らん仮想関数テーブルが作られちゃうからな。
それでいて定義する関数は friend 関数にしてるから外側からでも見えるんだな。

◆QZaw55cn4c (ﾜｯﾁｮｲ 5f60-2JzH) · 2017/11/23(木) 20:46:50.20

>>969
こんな小題でもいろいろと試されるんですね…

たしかに operator+=() は、意味からいっても friend である必要はまったくないですね。
一方 operator==(), operator+() は式の表現としての対象性を保存したいので、friend をつけたいと考えています。
operator<<() に対しては friend を必ずつけないといけないようですが、その理由はよくわかっていません。
https://ideone.com/pR0EP1

2017/11/23(木) 22:59:38.32

IDE使っていて思うのがtemplate関数でデフォルト引数classAを設定すれば、

template<typename T=classA>
void Test(T tmp){
tmp.func(1, 2, 3);
}
上記のtmp.のところでclassAの関数とかが出て来るようになると嬉しいとか思ったり
コンセプトとかで対応できるようになるんでしょうか？

2017/11/23(木) 23:16:02.95

mix-inもまともに知らないやつがなぜ回答してるのか…

2017/11/24(金) 00:17:10.75

>>973
言語仕様っていうよりIDEの性能のような。
コンセプトまで構文解析してサジェストするようになれば確かにできるかもしれんけど。

2017/11/24(金) 01:03:21.71

>>973
技術的には可能だからlibclangでなんとかなるようになるなら誰かやってくれるかもね
コード補完にプラグインを使えないIDEなら開発元にリクエストするしかない

2017/11/24(金) 01:39:31.39

mix-inで理解が止まっている人がなんか吼えてますな

2017/11/24(金) 08:42:41.97

>>973
コンセプトはシンタックスの誤りを判定するのみで型情報を持っていないため
その補完は期待できない

2017/11/24(金) 09:00:16.20

>>977
boost operatorsのprivate継承がmix-in以外のなんだと思ってるんだ？

2017/11/24(金) 10:03:13.88

静的リフレクションが欲しい

2017/11/24(金) 10:21:33.74

後のプリプロセッサである

2017/11/24(金) 12:38:49.19

C++を勉強しようとしてるんだが
基本的にCの書き方が一般なのか
C++の書き方が一般なのか教えてもらいたい

2017/11/24(金) 12:51:25.91

コーディングスタイル？
そんなの好きにすればいいよ

2017/11/24(金) 13:21:28.52

>>982
Cの書き方とかC++の書き方とか一般的とかない
「一般的」なるものを求めたいならメジャーなIDEのデフォルトのオートフォーマットだろうな

◆QZaw55cn4c (ﾜｯﾁｮｲ 5f60-2JzH) · 2017/11/24(金) 13:44:06.80

>>964
結局こうなりました
https://ideone.com/SUSTBj

2017/11/24(金) 14:07:55.96

>>985
operator+= の返却値は参照にしといた方が辻褄が合うので良いよ

2017/11/24(金) 14:10:30.10

関数内で作ったベクターやマップは関数を抜けたらメモリ解放されると考えてよかです？

2017/11/24(金) 14:13:40.22

>>987
記憶クラスによる。

2017/11/24(金) 14:25:57.62

>>988
記憶クラスによるとは

スマホで打ってるから書式とかガタガタだけど下みたいなことしてる
createmapってのを抜けたときにvectorもmapも解放されると信じている
vector XX( *map)
{
要素数二個のstring型のvectorデータを作成
return vector<string> ←要素数2
}

createmap ()
{
map<string,string> y
{
vector<string> tmp = XX(&y)
y.insert( tmp[1] , tmp[2])
}
}

2017/11/24(金) 14:36:50.33

うん、信じていい
XXから抜けるときにムーブコンストラクタでtmpへ移動され
createmapから抜けるときに解放される
このときoperator deleteが呼び出されるが
operator deleteがどのようなタイミングで解放しているかには依存すべきでない
我々が関心を持つべきはoperator deleteが呼び出されるタイミングで実装の詳細ではない

2017/11/24(金) 15:15:03.03

>>989
static 付きで宣言してればプログラムの終わりに解体されるし、
new で作れば delete されたときが解体されるし、
そうでなければスコープの終わりに解体される。
「関数内で作った」というだけでは情報不足。

>>989 のような例であればスコープの終わりで解体されることは保証される。

それと >>990 はムーブコンストラクタの話を出してるけど C++17 以降ではこういう場合は RVO の発動が必須になってなかったっけ？

2017/11/24(金) 15:33:02.71

>>991
990だが、何を言っているのか、悪いがよくわからん
XXがcreatemapとは別の翻訳単位から外部結合されている場合でも
その何だ、ムーブコンストラクタの回避（？）が必須になったのか？

2017/11/24(金) 16:06:58.81

>>992
そう。 RVO 必須だからコピーコンストラクタもムーブコンストラクタも無いクラスでも OK っていう新しいルール。

https://wandbox.org/permlink/X6g7JSpkSl82VvtZ

2017/11/24(金) 16:44:55.52

>>993
OK？　それは03でも同じことやん