C++相談室 part141

**デフォルトの名無しさん** · 2019/02/22(金) 03:07:43.52

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

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

前スレ
C++相談室 part137 (正しくはpart138)
http://mevius.5ch.net/test/read.cgi/tech/1535353320/
C++相談室 part139
https://mevius.5ch.net/test/read.cgi/tech/1538755188/
C++相談室 part140
https://mevius.5ch.net/test/read.cgi/tech/1547326582/

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

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

**デフォルトの名無しさん** · 2019/03/05(火) 19:05:23.76

ストアドよりインデックスのほうが速いよってスレなかったっけ。

**デフォルトの名無しさん** · 2019/03/05(火) 20:02:38.14

>>204
なるほど
ありがとうございます

**デフォルトの名無しさん** · 2019/03/05(火) 21:56:22.01

>>199
使う理由としてはメンバ関数を内部リンケージにしたらリンク速くなるかもという期待だけだな
実際速くなるか調べたことないけど

明示的にstaticとある方が読みやすいし、無名はデバッガで見たときクソ見辛くなるし

c++はこういうダメ仕様多過ぎてうんざりだわ

**デフォルトの名無しさん** · 2019/03/05(火) 22:06:02.21

腐ったビルド戦略のせいで無駄なオブジェクトコードの重複を生じるのはゼロオーバーヘッド原則に反しないのか？は疑問だな
極一部のマニアしか使わない機能付けてオナニーしてる暇があったら、いいかげん時代錯誤なビルド処理の抜本的な見直しをやってほしい

**デフォルトの名無しさん** · 2019/03/05(火) 22:21:06.27

メンバ関数の数はクラスのオブジェクト生成コストにどれくらい影響しますか？

**デフォルトの名無しさん** · 2019/03/05(火) 22:30:58.04

>>209
まず自分で計測しろ

**デフォルトの名無しさん** · 2019/03/05(火) 23:07:56.79

>>209
数によるコスト差0だよ

>>210
計測したことあんの？

**デフォルトの名無しさん** · 2019/03/05(火) 23:19:26.52

ありがとうございます
というのもメンバ変数がなく多数の関数をまとめただけのクラスがあるのですが、次のどれがいいのか悩んでいまして
(1) 全部static関数にする
(2) クラスをnamespaceにして全部グローバル関数にする
(3) 呼び出す場所で逐次インスタンスを作成する
(4) 呼び出し側クラスでこのクラスのポインタをメンバとして持ち、コンストラクタでインスタンスを受け取るまたは生成する
この場合のベストプラクティスはありますか？

**デフォルトの名無しさん** · 2019/03/06(水) 00:13:14.35

(1)か(2)を好みに応じて

**デフォルトの名無しさん** · 2019/03/06(水) 00:17:08.38

特に何もないなら2

templateと組み合わせるなら1とか3は多用するけど4は無いな

**212** · 2019/03/06(水) 00:21:02.86

ありがとうございます
(2)でやってみることにします

**デフォルトの名無しさん** · 2019/03/06(水) 00:32:13.90

1 は、どうして君はすべての関数を、static 関数にできると思ったの？
static関数と、関数のライブラリ・モジュール化は関係ない

3, 4 は、どうして君は、関数を使うのにインスタンスが必要なの？

インスタンスの関数は、他の言語ではメソッドと言って、
そのインスタンスのメンバ変数を使うものに対して、特別な名称を付けている。
つまり、各インスタンスで値が異なるもの

メソッドは、一般的な関数とは異なる。
メソッドや一般的な関数と、関数のモジュール化は関係ない

例えば、Ruby では、
Math.log2( 8 ) #=> 3.0

このようにインスタンスを作らなくても、呼べる関数をモジュール関数と言って、
各インスタンスから呼ぶ関数を、メソッドと言って区別している

**212** · 2019/03/06(水) 00:42:25.73

そう言われるとそうですね
オブジェクト指向ではmain関数以外全部クラス/構造体で作成するものだという先入観がありました

**デフォルトの名無しさん** · 2019/03/06(水) 01:06:06.33

>>214
無理矢理4にしたいケースを考えると、同じインターフェースを持つ関数群A,Bを場合によって切り替えて使いたい場合に敢えてインスタンスのポインタとすることもあるかな。今回の質問者の場合には当てはまらないだろうけど。

**デフォルトの名無しさん** · 2019/03/06(水) 01:10:14.42

>>193
>1つのcppの中でしか使わず外に見せないクラスや関数はcppの中でいいよ
名前無しでも何でも良いが、その場合はクラスはnamespaceの中に入れないと危険が危なすぐる…

同じ名前空間に属する同じシグネチャのFoo::func()が異なる関数として複数のcppで定義された場合、
どっちが呼ばれるか定まらない処理系が実在する（VC++2010とか
多分ODR違反で未定義動作なんだと思う

**デフォルトの名無しさん** · 2019/03/06(水) 01:13:13.20

曖昧さは、利点にも欠点にもなりうる。
namespaceのグローバル関数ではなくクラスのスタティック関数にすることで曖昧さがなくなりコンパイルエラーを避けられる場合がある。

**デフォルトの名無しさん** · 2019/03/06(水) 01:14:08.29

>>219訂正
CPPでクラスを定義する場合は無名namespaceに入れないと危険が危なすぐる、
無名namespaceは異なる翻訳単位間では別名として扱われるから安全

一方、名前付きnamespaceでは異なるCPPで偶然
同じ名前空間に属する同じシグネチャのFoo::func()が作られてしまう危険性を排除できない

**デフォルトの名無しさん** · 2019/03/06(水) 01:21:31.24

>>220
そのクラスに非staticなメソッドを設けたとたん、
>>219と同じ話でどのFoo::func()が呼ばれるかわからないという不正な動作をする危険性が生じる

驚くべきことに、VC++2010の場合リンカが何のエラーも警告も出さない
それでいてしっかり変な動作になる（a.cppで定義したFoo::func()を呼んだつもりがb.cppで定義された同じシグネチャの別のFoo:func()が呼ばれる

**KAC** · 2019/03/06(水) 01:53:40.57

>>216
C/C++では、staticなどキーワードが全く違う複数の意味で使われるから注意な。

**216** · 2019/03/06(水) 02:00:53.56

Ruby では、関数名のバッティングを避けるため、2重に囲む。
module 内にclass か、class内にclassを作る

module Net
class HTTP end
class FTP end
end

# インスタンス
Net::HTTP.new
Net::FTP.new

**デフォルトの名無しさん** · 2019/03/06(水) 02:06:24.72

>>224
rubyボットはお呼びでないからもう巣に帰ってくれ

**216** · 2019/03/06(水) 02:12:57.91

static みたいな複雑な概念を、初心者が理解するのは難しい

スコープを限定する意味と、生成・破壊のタイミングの違いと、
2つの異なる概念を使うから、難しい

C++ は、すべてのリソースの生成・破壊のタイミングを追っかけるだけでも、大変

ドワンゴ江添の本「C++11/14 コア言語」にも書いてあるけど、

呼ばれる関数を探索する方法に、Andrew Koenig が提案した、実引数依存の名前探索 (ADL)もある

実引数依存の名前探索とは、C++において関数呼出時に与えられた引数の型に依存して、
呼び出す関数を探索 (lookup)する仕組みのことである。
英語ではKoenig lookup、argument dependent lookup (ADL)、argument dependent name lookupなどと呼ばれる

**デフォルトの名無しさん** · 2019/03/06(水) 02:46:55.34

>>216
>>212の(1)はクラスのstaticメンバ関数のことを言っているのだか、>>216や>>226を見てるとそれを理解していないように思える。
いつも書籍や他人の発言を引用して～～では、という書き方ばかりしているのを見かけるが、自分の中に落とし込んで理解できてないならわざわざ書き込まないでくれ。

**デフォルトの名無しさん** · 2019/03/06(水) 04:34:02.55

>>227
#激同

**デフォルトの名無しさん** · 2019/03/06(水) 06:59:23.47

質問(ネタ振り)に対して見当違いな返答は混乱の元ってのはその通りとして。
読者の立場では、話題が広がってくのは嫌いじゃない。

投稿者の意見として消化しきれてなくても、
参考資料として「誰それの書いたナントカって本では…」と
紹介してくれるのも有難いし。

その上で「あの著者/本は間違いが多い、例えば…」とか、
「記述が古い、新しい規格でもっと便利な機能が追加された」みたいな
追加情報(具体的なもの)が出てくればなお嬉しい。

**デフォルトの名無しさん** · 2019/03/06(水) 09:56:40.41

>>205
SQLの話ですか(苦笑)

**デフォルトの名無しさん** · 2019/03/06(水) 18:18:48.94

名前なし名前空間を名前あり名前空間の中に作ることができる。便利ちゃあ便利。

namespace hoge {
namespace {
int foobar = 1;
};
};

**デフォルトの名無しさん** · 2019/03/06(水) 21:53:00.33

64bit環境で文字列ストリームクラスstd::ostringstreamのインスタンスのスタックサイズが、
gccで376バイト, VS2017で232バイトもあるんだがもっと小さくできるんじゃないの？
ちなみに、std::string はgccとVS2017どちらも32バイト。
どうよ？

**はちみつ餃子** ◆8X2XSCHEME · 2019/03/06(水) 22:13:52.26

>>232
std::ostringstream は文字列の一種というよりも入出力の系統だし、
std::basic_ostream を抱えているのでそんなもんちゃう？

**デフォルトの名無しさん** · 2019/03/06(水) 22:36:11.10

継承してるしデータとして保持しておくものでもないしな

**デフォルトの名無しさん** · 2019/03/06(水) 23:24:49.53

>>232
質問と関係ないけどスタックサイズって何かわかってないだろ

**デフォルトの名無しさん** · 2019/03/07(木) 01:12:44.42

このあとスタックがおいしくいただきました

**デフォルトの名無しさん** · 2019/03/07(木) 01:36:59.97

ostream, ofstream, ostringstreamのスタックサイズはgccとVS2017でそれぞれ以下のようになる。
gcc: ostream=112, ofstream=264, ostringstream=232
VS2017: ostream=272, ofstream=512 ostringstream=376

どうよ？

**237** · 2019/03/07(木) 01:39:26.14

間違えた。gccとVS2017は逆です。
何が言いたいというと、組み込みで気軽に使えるC++を目指すならiostream周りを何とかしないとね、という話。

**デフォルトの名無しさん** · 2019/03/07(木) 01:41:48.62

組み込みで気軽に使えるC++を目指してないしどこまで削れるかはベンダーの努力次第

**237** · 2019/03/07(木) 01:45:06.81

Cがコンパイル言語であるにもかかわらずprintf()系の構文解析でJITコンパイルする野暮ったさを解決すべく導入されたはずのiostreamがまったく活かされていないね。

**デフォルトの名無しさん** · 2019/03/07(木) 01:45:09.29

その程度のスタック消費でヒーヒー言うような組み込み案件でiostream使わんだろ

**237** · 2019/03/07(木) 01:49:48.32

>>241
スタック消費でヒーハー言う組み込み案件に進出するのもC++のひとつの課題なのでは有馬温泉

**デフォルトの名無しさん** · 2019/03/07(木) 01:52:03.09

組み込み界隈がC++を活用する目標があるのであってC++の目標ではない

**デフォルトの名無しさん** · 2019/03/07(木) 01:56:44.60

from_chars
to_chars使えって話だろ

それかfmt

**デフォルトの名無しさん** · 2019/03/07(木) 03:10:47.55

class C : public std::function<int(int)>{};

というクラスを定義して、

int f(int i){ return i + 1; }

void main()
{
C c = f;
int i = c(1);
}

みたいな使い方って出来ないのでしょうか？
functional のヘッダを読んでみましたがさっぱりでした

**はちみつ餃子** ◆8X2XSCHEME · 2019/03/07(木) 03:21:15.84

>>245
やりたいのはこういうこと？

class C : public std::function<int(int)>{
using std::function<int(int)>::function;
};

**はちみつ餃子** ◆8X2XSCHEME · 2019/03/07(木) 03:25:38.52

めっちゃ雑にやったけど、
実際にはスライシングに気を付けてな。

**デフォルトの名無しさん** · 2019/03/07(木) 03:42:38.23

>>246
すいません、
知識不足でそのusingが何を意味しているのか分かりませんが、
std::function<int(int)> と、
class C : public std::function<int(int)>{} を、
外側から同じように使いたいという感じです。

現在は、
class C { std::function<int(int)> F; };
みたいになっており、

C c;
c.F = f;
int i = c.F(1);

と、こんな風に使われています。
std::function<int(int)> を継承させてしまい、.Fを消したい感じです。

**はちみつ餃子** ◆8X2XSCHEME · 2019/03/07(木) 04:00:06.05

>>248
単純に

class C : public std::function<int(int)>{}

とした場合、当然だけどクラス C にデフォルトで定義されるコンストラクタは
C::C(void); と C::C(const C&); だから、型が int (*)(int) であるような値を受け取る余地はない。

using std::function<int(int)>::function;

を入れると基底クラス std::function<int(int)> のコンストラクタである
std::function<int(int)>::function; をあたかも C のコンストラクタみたいにできる。
そんだけ。
public 継承してれば std::function<int(int)> の他のメンバはそのまま C のメンバとして
見えるからおおよそ期待する挙動になると思う。

**デフォルトの名無しさん** · 2019/03/07(木) 04:06:09.21

>>249
なるほど、そういう意味だったのですね。
ちょっと試してみます。ありがとうございます。

**デフォルトの名無しさん** · 2019/03/07(木) 08:20:27.58

>>237
2ファイル同時に編集なんてしたらあっという間に食い潰しそうね

**デフォルトの名無しさん** · 2019/03/08(金) 01:15:31.98

テンプレートで何とかなりませんかね。

**はちみつ餃子** ◆8X2XSCHEME · 2019/03/08(金) 02:12:42.20

>>252
何が？

**237** · 2019/03/08(金) 06:55:44.25

>>244 が提示してくれた from_chars, to_chars をgccに導入するにはどうしたらいい？
WSLのubuntuを使ってるんだけど規定でfrom_chars, to_charsの定義されたヘッダーファイルが入ってないっぽい。

**デフォルトの名無しさん** · 2019/03/08(金) 08:26:54.11

>>254
たしか8.0でまだ整数しか実装されてない

**デフォルトの名無しさん** · 2019/03/09(土) 11:07:13.09

C++テンプレートテクニック第三版っていつ出るんですかね？

**デフォルトの名無しさん** · 2019/03/10(日) 00:54:12.40

待っていても何も始まらない!
君が書くんだよ!

**デフォルトの名無しさん** · 2019/03/10(日) 17:07:48.90

テンプレート引数がクラスでpush_back()メンバを持っているというようなことを検査することはできますかね？

**デフォルトの名無しさん** · 2019/03/10(日) 17:10:17.73

std::is_classとdetection idiomで可能かと

**デフォルトの名無しさん** · 2019/03/10(日) 17:15:14.74

でてくしょんいでおむってどの本見ればわかりますかね？

**デフォルトの名無しさん** · 2019/03/10(日) 17:16:33.87

decltype使えばいいのかな。

**デフォルトの名無しさん** · 2019/03/10(日) 17:18:14.94

載ってる本あるのかなあ

どうやるのかだけなら、ここのサンプルコードを真似すればいいと思う
https://cpprefjp.github.io/reference/type_traits/void_t.html

**デフォルトの名無しさん** · 2019/03/10(日) 17:21:49.62

ありがとう。
ちょっと読んでみます。

**デフォルトの名無しさん** · 2019/03/10(日) 22:01:07.26

std::byteの使い方がよくわからない。
暗黙の何とかを避けるのに使うんだろか。

**デフォルトの名無しさん** · 2019/03/10(日) 22:11:27.82

単純にバイトを表現する型というのが必要となった
char8_tと同じようなもん

**デフォルトの名無しさん** · 2019/03/10(日) 22:30:00.78

ソケットやファイルの入出力に使うって事かな？

**デフォルトの名無しさん** · 2019/03/10(日) 22:49:36.48

1バイトサイズの整数のつもりでcharを使ったらstreamで困ることがあったりしたしね。

**デフォルトの名無しさん** · 2019/03/10(日) 23:15:04.53

enum class byte : unsigned char { };
ってなってる。

**デフォルトの名無しさん** · 2019/03/10(日) 23:21:10.96

そのベースの型は実装依存
型を取りだして使えってことなんだろうか

**デフォルトの名無しさん** · 2019/03/10(日) 23:21:22.34

なんでenum classなんだ？
typedefと何が違うの？

**デフォルトの名無しさん** · 2019/03/10(日) 23:31:19.81

暗黙の型変換ができない

**デフォルトの名無しさん** · 2019/03/10(日) 23:54:49.98

こういうの行き過ぎた型安全に思えるけどね

**デフォルトの名無しさん** · 2019/03/10(日) 23:57:35.21

でも過去にそれで何かあったんでしょ
使うかどうかは任意だしある分には困らない

**デフォルトの名無しさん** · 2019/03/10(日) 23:57:38.91

なるほど

**デフォルトの名無しさん** · 2019/03/11(月) 00:01:39.15

is_enum_vがtrueになるとか違和感しかない

**デフォルトの名無しさん** · 2019/03/11(月) 05:30:01.20

>>265
なんで
uchar8_t
uchar16_t
uchar32_t
にしないんだろな

**デフォルトの名無しさん** · 2019/03/11(月) 05:58:05.15

既存のライブラリと衝突しまくるだろそれ

**デフォルトの名無しさん** · 2019/03/11(月) 11:02:11.57

>>273
ひとりで全部作ってんのか？
誰か使い始めたらそれに巻き込まれるんだよ

**デフォルトの名無しさん** · 2019/03/11(月) 13:49:05.84

WPFってどうなの

**デフォルトの名無しさん** · 2019/03/11(月) 19:42:26.86

塵

**デフォルトの名無しさん** · 2019/03/11(月) 22:05:24.43

getoptの標準化マダーチンチン(AA略

**デフォルトの名無しさん** · 2019/03/12(火) 07:17:28.89

void foo(std::function<void()> &&f){}

int main(){
auto lamda = [](){};
foo(lamda);
}
なぜコンパイルできるの？

**デフォルトの名無しさん** · 2019/03/12(火) 07:23:08.39

>>281
オプションの渡し方がそもそも揺れてる

**デフォルトの名無しさん** · 2019/03/12(火) 07:25:00.12

>>282
int main()
{
return main();
}
なぜコンパイルできるの？

**デフォルトの名無しさん** · 2019/03/12(火) 11:46:00.90

int main(std::function<void()> &&f){
return main([](){});
}

**デフォルトの名無しさん** · 2019/03/12(火) 20:22:26.93

すいません、低レベルのかたたちばかりでした。
聞くところ間違えました

**デフォルトの名無しさん** · 2019/03/12(火) 20:30:56.16

なぜc++ main return省略でググらないのか

**デフォルトの名無しさん** · 2019/03/12(火) 20:43:58.42

getoptを標準化してしまうとハイフンで始まる変態ファイル名が鬼門になってしまうかな。

**デフォルトの名無しさん** · 2019/03/12(火) 20:46:35.39

is_iterator、is_containerメタ関数はどうやったら作れるんでしょうね？

**デフォルトの名無しさん** · 2019/03/12(火) 20:54:07.45

SFINAEでググれ、でいいんだろうか

**デフォルトの名無しさん** · 2019/03/12(火) 20:55:53.60

スフィ姉は知っているんですが。
そのあとが。

**デフォルトの名無しさん** · 2019/03/12(火) 21:00:20.04

iterator_traitsに通してメンバ型が得られるか確認する？
*とか++とかの操作について確認する？
containerはbeginとendでイテレータ取れるか確認する？

**デフォルトの名無しさん** · 2019/03/12(火) 21:34:26.86

template <typename T>
using is_iterator = std::is_class<typename std::iterator_traits<T>::iterator_category>;
これは使えますかね？

**デフォルトの名無しさん** · 2019/03/12(火) 21:58:48.29

ぐぐればstack overflowがひっかかる

**デフォルトの名無しさん** · 2019/03/12(火) 22:01:23.70

使えますかねって・・自分で試せるだろ

**デフォルトの名無しさん** · 2019/03/12(火) 22:12:53.32

マウントしててワロス

**デフォルトの名無しさん** · 2019/03/12(火) 22:34:48.05

マウントは取りたいけど教えるのはめんどくさい

**デフォルトの名無しさん** · 2019/03/12(火) 22:48:31.61

結局はそれで何がしたいかによるんじゃね
標準のコンテナやそのイテレータで型分岐したいなら十分だけど、カスタム実装されたユーザー定義のイテレータがそのように実装されているかは分からんし
まあiterator_traitsの特殊化も追加で書くようにすれば使えるか

**デフォルトの名無しさん** · 2019/03/12(火) 23:06:42.78

C++20からは一応イテレータはコンセプトがあるなあ
コンテナは知らん

**デフォルトの名無しさん** · 2019/03/12(火) 23:12:51.59

>>293
はダメな気がするな
template<typename T,typename=void>
struct is_iterator:std::false_type{};

template<typename T>
struct is_iterator<T,std::enable_if_v<std::is_class_v<typename std::iterator_traits<T>::iterator_category>>>:std::true_type{};

**デフォルトの名無しさん** · 2019/03/12(火) 23:14:38.07

>>296,297
アホか、何がマウントだボケ
自分で試しもせずに2chに丸投げとか普通にダメだろ

>>298
iterator_traitsに与える型の要件(だけでいいかどうかはさておき)を満たすなら特殊化なんかいらんでしょ
リファレンス見る限り、iterator_traitsの特殊化はポインタのためだけにあると思う

**デフォルトの名無しさん** · 2019/03/12(火) 23:27:20.69

>>300
どの本もそういう書き方になってるんだけど、その理由がわからない。
>>293は呼び出し方によっていろいろ問題が起きるんだけど、その理由がわからなさすぎる。
その辺がスッキリわかる本はないですかね。

**デフォルトの名無しさん** · 2019/03/12(火) 23:39:14.10

本は知らん
SFINAEが使えるのは宣言部分
そこで置換失敗すると宣言そのものが無かったことになる

**デフォルトの名無しさん** · 2019/03/13(水) 12:04:15.67

>>297
マウントが取りたいだけで教える知識がないだけやねんｗ