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

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でも同じことやん

2017/11/24(金) 16:48:44.24

>>994
いや >>993 みたいなのは C++14 以前では NG になるよ。

2017/11/24(金) 16:54:03.03

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

2017/11/24(金) 16:58:12.64

乙。

2017/11/24(金) 17:04:12.57

彼。

2017/11/24(金) 17:07:25.34

>>999 なら長門有希は俺の嫁

2017/11/24(金) 17:07:54.81

>>1000 なら双葉杏も俺の嫁

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 45日 16時間 56分 20秒

**1002** · Over 1000

5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。

───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。

▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/

▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php