C++相談室 part144

**デフォルトの名無しさん** · 2019/07/22(月) 13:18:35.52

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

前スレ
C++相談室 part143
https://mevius.5ch.net/test/read.cgi/tech/1560574313/

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

■長いソースを貼るときはここへ。■
　http://codepad.org/
　https://ideone.com/

[C++ FAQ]
https://isocpp.org/wiki/faq/
http://www.bohyoh.com/CandCPP/FAQ/ (日本語)

----- テンプレここまで -----

**デフォルトの名無しさん** · 2019/09/09(月) 13:14:59.70

>>901
pythonのPyObjectのコード観てみ

**デフォルトの名無しさん** · 2019/09/09(月) 13:38:51.72

>>915
ありがとうございます
>>916
神になる方法が知りたくて‥

**デフォルトの名無しさん** · 2019/09/09(月) 13:41:26.48

tk > wxWidgets > Qt > electron

**デフォルトの名無しさん** · 2019/09/09(月) 14:33:07.01

stringstreamで

std::stringstream ss;
ss << value;
std::string str = ss.str();

こんな感じで数値を文字列に変換すると、valueが3桁以上だった場合
12,000みたいな感じで勝手にカンマがついてしまうんだけど
カンマがつかないフォーマットで出力する方法を教えてください

**デフォルトの名無しさん** · 2019/09/09(月) 14:53:29.86

なんかロケールがアレなんじゃ

**デフォルトの名無しさん** · 2019/09/09(月) 15:32:31.63

普通、コンマは付かんだろ
https://ideone.com/L7hohk

**デフォルトの名無しさん** · 2019/09/09(月) 15:38:54.81

もしかして。　っ浮動小数点のドット

**デフォルトの名無しさん** · 2019/09/09(月) 16:22:41.31

ss.imbue(std::locale("C"));
でもしてみりゃいいんじゃね

**デフォルトの名無しさん** · 2019/09/09(月) 17:01:25.39

ロケールの設定が原因でした
wstringで日本語を扱いたくて
std::locale::global( std::locale( "japanese" ) );
std::setlocale( LC_ALL, "japanese" );
ってやるとstringstreamでカンマが付くなんて知らなかった

**デフォルトの名無しさん** · 2019/09/09(月) 17:05:42.93

std::list<int> l = { 7, 5, 16, 8 };

とすると、 l というリスト右辺で指定した要素で初期化した状態で作成されますが、
このときの std::list 自体の実装方法が知りたいです。
最新の C++ の方法論(?)によれば、右辺がコンパイラによって initiailer_list に
なって、list のコンストラクタにそれが仮引数の型として宣言してあるものがあって、
そこで処理しているのかと思い、確認のため、

http://cs.brown.edu/people/jwicks/libstdc++/html_user/stl__list_8h-source.html
↑
で、std::list のソースを見てみると、initiailer_list というキーワードが見つかりません。
ではいったいどういう仕組みで初期化しているのでしょうか。
operator=() は見つかります。

**デフォルトの名無しさん** · 2019/09/09(月) 17:07:18.30

>>926
誤：とすると、 l というリスト右辺で指定した要素で初期化した状態で作成されますが、
正：とすると、 l というリストが右辺で指定した要素で初期化した状態で作成されますが、

誤：initiailer_list
正：initializer_list

**デフォルトの名無しさん** · 2019/09/09(月) 17:12:55.99

<list> を見よう

**デフォルトの名無しさん** · 2019/09/09(月) 17:20:40.83

>>926
一応マジレスしておくと、そのサイトの一番下を見よう
> Generated on Fri May 6 01:09:09 2005 for libstdc++-v3
initializer_listが導入されたのはC++11だからね

**デフォルトの名無しさん** · 2019/09/09(月) 17:28:46.68

stl_list.hなんてコードは標準にはありません。

リンクドリストのよくあると思われる実装は、
struct node{
node* next=nullptr;
node* prev=nullptr;
T value();
}

という構造体の操作等をクラス化したモノ。
なので、インデックサが無いはずである。

**デフォルトの名無しさん** · 2019/09/09(月) 17:32:18.21

あ、蛇足だった。。。

**デフォルトの名無しさん** · 2019/09/09(月) 18:26:49.77

VC2019 の list ヘッダではちゃんと見つかりました。
みなさんありがとうございました。

**デフォルトの名無しさん** · 2019/09/09(月) 18:33:38.13

また質問させてください。
VS2019 の tuple の実装を調べていて、utility というヘッダファイルに以下の
ようなコードを見つけました。自分の直感では、これは、パターンマッチングを
していると思うんですが、実は、以下の (1) にマッチングする場合、
(2) にもマッチングする場合があります。しかし、現実には (1) にマッチングする
場合には、コンパイラは (2) を無視して (1) だけを採用する必要があると
思うんですが、template には、マッチングに優先順位があって、定義した
順にマッチングするかを調べて、一番最初にマッチングしたものを採用して
それ以後のものは無視すると言うような規則があるのでしょうか？

// (1)
template <class _This, class... _Rest>
struct _Tuple_element<_This, tuple<_This, _Rest...>> { // select first element
　　using _Check_type = int;
　　static_assert(
　　　　is_void_v<typename _Tuple_element<_This, tuple<_Rest...>>::_Check_type>, "duplicate type T in get<T>(tuple)");

　　using type　 = _This;
　　using _Ttype = tuple<_This, _Rest...>;
};

// (2)
template <class _Ty, class _This, class... _Rest>
struct _Tuple_element<_Ty, tuple<_This, _Rest...>>
　　: _Tuple_element<_Ty, tuple<_Rest...>> { // recursive _Tuple_element definition
};

**デフォルトの名無しさん** · 2019/09/09(月) 19:26:19.32

>>933
なお、_Tuple_element は、

tuple tpl;

に対し、get<番号>(tpl) としたときに呼び出される以下のコードから使われます。

結論的には、template を書いた順序ではなく、パターンマッチングおける強弱のような
もので優先順位が決まっているようです。それは丁度、同じ名前に仮引数の型だけが
異なる複数の関数が overload 定義されている場合に、どの関数が呼び出されるかを
決めるときのアルゴリズムに似ているようです。詳しくは分かりません。

// FUNCTION TEMPLATE get (by type)
template <class _Ty,
　　class... _Types>
_NODISCARD constexpr _Ty& get(tuple<_Types...>& _Tuple) noexcept { // get reference to _Ty element of tuple
　　using _Ttype = typename _Tuple_element<_Ty, tuple<_Types...>>::_Ttype;
　　return ((_Ttype&) _Tuple)._Myfirst._Val;
}

**デフォルトの名無しさん** · 2019/09/09(月) 19:28:45.47

>>934
誤：get<番号>(tpl) としたときに呼び出される以下のコードから使われます。
正：get<型名>(tpl) としたときに呼び出される以下のコードから使われます。

**デフォルトの名無しさん** · 2019/09/09(月) 21:43:26.98

この辺の話?
https://ja.cppreference.com/w/cpp/language/partial_specialization#.E5.8D.8A.E9.A0.86.E5.BA.8F

**デフォルトの名無しさん** · 2019/09/10(火) 01:40:29.13

>>934
ちなみに、C++ における tuple とは、異なる型のオブジェクトの集合体のような
もので、get<idx>(tpl) とすると idx 番目の要素が参照できます。
動的配列 vector、リンクリスト list は同じ型の集合体ですが、tupleは
char, int, string 任意の順番で任意個数入れたりするようなことが可能です。
tuple は class を次々に継承することで実現され、N個の要素の場合は、
(N - 1) 回継承されて実現されています。
get<idx>(tpl) は、コンパイル段階で静的に型が決まるようになっており、
idx を 1 ずつ減らしながら idxが0 になるまでtemplateを再帰的に具現化(展開)し
て行っています。その際、基本クラスへの「cast」を利用して上手く実装されています。
get<TYPE>(tpl) は、その TYPE 版で、tuple の中の TYPE 型の要素を取り出すもので、
TYPEの要素が一個だけであることを仮定しています。

>>934 の
using _Ttype = typename _Tuple_element<_Ty, tuple<_Types...>>::_Ttype;
　　return ((_Ttype&) _Tuple)._Myfirst._Val;
の部分は、丁度 TYPE = _Ty の場合のもので _Tuple_element<_Ty, tuple<_Types...>>
の部分が、再帰的に template 具現化を使って _Ty の型の要素が先頭になるまで
tuple の要素を減らす処理を行っており、_Ttype には、その tuple の型が入ります。
次の return 文は、cast を行っている部分です。
>>933 の(2)は、再帰的に tuple の先頭の要素を除去して行くマクロで、(1)は、
tuple の先頭が _Type になった場合にマクロ展開の動作を停止するためのものです。

**デフォルトの名無しさん** · 2019/09/10(火) 08:37:19.66

recursive _Tuple_element definition　って書いてあるから
>>933の（１）（２）併せてtupleのバッカス・ナウア記法

**デフォルトの名無しさん** · 2019/09/10(火) 12:01:32.29

>>938
>>933 は単純な BNFとはかなり違うはず。

**デフォルトの名無しさん** · 2019/09/10(火) 17:10:53.21

C#には文字列で指定したメソッドを呼び出す方法がありますが、
C++ではそういった事をしたい場合、どういった方法があるのでしょうか？

**デフォルトの名無しさん** · 2019/09/10(火) 17:15:02.60

なんかこのスレだけ(っていうか特定のレスだけ？)貼られてるソースのフォントが微妙に違う気がするんだが気のせい？

**デフォルトの名無しさん** · 2019/09/10(火) 17:15:39.36

関数ポインタ返せばいいんじゃね

**デフォルトの名無しさん** · 2019/09/10(火) 17:15:56.86

>>940ね

**デフォルトの名無しさん** · 2019/09/10(火) 17:16:04.51

>>940
最近他のスレで同じ質問を観たけどマルチ？

**デフォルトの名無しさん** · 2019/09/10(火) 17:16:07.43

mapファイルからシンボル探して関数呼ぶとか。

**デフォルトの名無しさん** · 2019/09/10(火) 17:58:56.15

>>941
専ブラ使ってるならAA表示をオフれ

**デフォルトの名無しさん** · 2019/09/10(火) 18:30:27.12

mapに入れるにしても呼び出す関数の引数戻り値の型が一致してる必要があるくね

**デフォルトの名無しさん** · 2019/09/10(火) 18:36:26.12

>>946
なるほど
何が引っかかってるんだろ
>> とか << が多い程度じゃ判別されないはずだが

**デフォルトの名無しさん** · 2019/09/10(火) 21:34:14.67

>>940
関数名の文字列ではなく、関数ポインタを使えばやりたいことができる可能性は高い。
または仮想関数。

**デフォルトの名無しさん** · 2019/09/10(火) 21:51:01.01

C++は名前と引数が同じで戻り値が違うくらいでは別物として扱ってくれない。
ドットネットだと大丈夫だった気がする。

**デフォルトの名無しさん** · 2019/09/10(火) 21:57:04.55

嘘つけ

**デフォルトの名無しさん** · 2019/09/10(火) 22:21:19.85

https://ideone.com/0A6NGs
こんなコード書いてみた。やはり戻り値を推定して関数分けてもらえない。
factory<int>の<int>を消したい。

**デフォルトの名無しさん** · 2019/09/10(火) 22:21:47.33

>>951
うろ覚えだから、間違ってたらそーりー。

**デフォルトの名無しさん** · 2019/09/10(火) 22:26:46.90

んなめんどいことせんでも関数2つぐらい作って関数ポインタの配列に入れりゃいいだけだろ

**デフォルトの名無しさん** · 2019/09/10(火) 22:28:02.41

>>954
後学のために、コードみたいわ～。

**デフォルトの名無しさん** · 2019/09/11(水) 00:05:28.08

>>944
俺が見たのは、文字列からクラスのインスタンス作りたいだったから微妙に違う

**デフォルトの名無しさん** · 2019/09/11(水) 00:34:09.53

まあそれ用のレイヤ噛ますのが素直だよね
.netみたいなのがあればそれでいいし、CのGLibみたいなのもちょっと無理を感じなくもないがアリ

**デフォルトの名無しさん** · 2019/09/11(水) 01:04:41.71

>>953
昔のC++では、確かに戻り値の型は同名関数の絞込みには使用されなかったよ。
今は知らない。

**デフォルトの名無しさん** · 2019/09/11(水) 01:17:18.25

戻り値だけ違う関数を作りたきゃテンプレートを使え
以上

**デフォルトの名無しさん** · 2019/09/11(水) 01:57:43.22

TypeHolderTypeがほしい。
リフレクションは23で入るそうな。

**デフォルトの名無しさん** · 2019/09/11(水) 07:00:09.68

>>952
AからRを推定させたいっていことか？

**デフォルトの名無しさん** · 2019/09/11(水) 08:37:00.29

リフレクションどうやって実装するんだろう・・
現行のC/C++とリンカの仕様と互換性たもったまま実装するのかなり難しそうだけど

**デフォルトの名無しさん** · 2019/09/11(水) 10:13:16.97

C++に不可能は無い

**デフォルトの名無しさん** · 2019/09/11(水) 10:17:36.03

>>963
不可能はあるよ
バカにC++を理解するのは不可能

**デフォルトの名無しさん** · 2019/09/11(水) 11:21:58.81

structured bindingで定義した変数をラムダ式でキャプチャするとclang7はエラー、gcc7は通る。
いずれもc++17指定。
使用上正しいのはどっち？

const auto [a,b]=std::make_tuple(1.0,0.0);
auto f=[&](){
return a+b;
};

**デフォルトの名無しさん** · 2019/09/11(水) 11:39:01.09

>>965
clangが正しい
N4713 8.5.4.2 Capturesの段落8にこう書いてある
If a lambda-expression explicitly captures an entity that is not odr-usable or captures a structured binding (explicitly or implicitly), the program is
ill-formed.

**デフォルトの名無しさん** · 2019/09/11(水) 11:49:32.96

>>966
ありがと
この仕様の真意が理解できないが、そういう仕様では仕方ないな…

**デフォルトの名無しさん** · 2019/09/11(水) 12:07:20.16

理由は俺もよくわからん

**デフォルトの名無しさん** · 2019/09/11(水) 12:13:22.75

ちなみに [a,b] は、std::tie(a,b) と書くのと同じですか？
また、[a,b] はなんという名称(概念)ですか？

**デフォルトの名無しさん** · 2019/09/11(水) 12:26:12.95

>>969
自己レスですが、[a,b] は、これですか：
https://en.cppreference.com/w/cpp/language/structured_binding
↑Structured binding declaration (since C++17)

int a[2] = {1,2};
auto [x,y] = a; // creates e[2], copies a into e, then x refers to e[0], y refers to e[1]
auto& [xr, yr] = a; // xr refers to a[0], yr refers to a[1]

**デフォルトの名無しさん** · 2019/09/11(水) 13:04:41.28

>>969
tieでは事前に定義した変数に代入することになるじゃん
つーことはconst変数にできない

**デフォルトの名無しさん** · 2019/09/11(水) 13:05:15.41

>>970
それ

**デフォルトの名無しさん** · 2019/09/11(水) 13:05:17.06

tieは良くないmaketuple使え

**デフォルトの名無しさん** · 2019/09/11(水) 13:28:34.92

>>973
ズレてるよ

**デフォルトの名無しさん** · 2019/09/11(水) 13:46:37.79

>>961
decltype(auto)　f(){}　ができればよいのだけどね。

**デフォルトの名無しさん** · 2019/09/11(水) 20:20:32.38

Aクラスを継承したテンプレートで型を指定したメンバー変数cを持つ、Bクラスがある。

BクラスをキャストしたAポインタ仮想メソッド使ってBのメンバー変数cを取得したいんだけど、ダウンキャストしかないかね？

class A{};

template<typename _T>
class B : pubulic A{ pubulic : _T c;}

A *a = new B<int>;

int ret = A->???;

**デフォルトの名無しさん** · 2019/09/11(水) 20:23:28.97

> A *a = new B<int>;

なぜ？

**デフォルトの名無しさん** · 2019/09/11(水) 20:25:26.05

BのインスタンスをAにアップキャストした時点でAにないメンバは破棄されるのでAのポインタからcにアクセスすることはできない

**デフォルトの名無しさん** · 2019/09/11(水) 20:26:04.31

いろんな型をリスト化する為です。
実際はAポインタの配列

**デフォルトの名無しさん** · 2019/09/11(水) 20:29:39.70

TypeHolderTypeがほしいのじゃーーーーー！！！

**デフォルトの名無しさん** · 2019/09/11(水) 21:01:04.58

cにアクセスしたい人はBを知ってるんだから、ダウンキャストでもなんでもやりゃぁええがな。

**デフォルトの名無しさん** · 2019/09/11(水) 21:04:08.52

variantなりanyなり使えば

**デフォルトの名無しさん** · 2019/09/11(水) 22:53:28.56

>>976
つーかダウンキャストじゃ何の不満が？

**デフォルトの名無しさん** · 2019/09/11(水) 23:37:41.00

型の意味なしだろそれ

**デフォルトの名無しさん** · 2019/09/12(木) 00:03:44.43

ダウンキャストより先にテンプレートメソッドパターンを検討してみては？

**デフォルトの名無しさん** · 2019/09/12(木) 00:30:21.07

>>984
それってどれよ

**デフォルトの名無しさん** · 2019/09/12(木) 01:15:25.34

https://ideone.com/fr18YK

**デフォルトの名無しさん** · 2019/09/12(木) 07:02:09.27

>>976
class A {
public:
virtual void func(void *) = 0;
};

**デフォルトの名無しさん** · 2019/09/12(木) 07:11:59.50

anyじゃんそれ。

**デフォルトの名無しさん** · 2019/09/12(木) 07:21:48.35

型を無意味にするなんてとんでもない！

**デフォルトの名無しさん** · 2019/09/12(木) 07:24:41.60

ダウンキャストの必要が出てきたらvirtualで何とかならんか考えれ

**デフォルトの名無しさん** · 2019/09/12(木) 07:27:47.36

AとBだけじゃなくてどうせAの派生クラスはCやらDやらあってそれらもA*で扱うんでしょ。
ホントの型の判別やって型に応じて処理するんだろうしダウンキャストでええがな

**デフォルトの名無しさん** · 2019/09/12(木) 08:25:32.31

それって欲しいのはunionてことじゃね？
それかAにすべてのメンバ乗せたらええやん。

**デフォルトの名無しさん** · 2019/09/12(木) 10:13:00.88

そもそもごった煮リストにすることが誤り

**デフォルトの名無しさん** · 2019/09/12(木) 10:18:31.65

excelみたいなことをするなと？

**デフォルトの名無しさん** · 2019/09/12(木) 15:18:39.72

コンパイル時に自身のソースコード解析してリフレクション作ることとかできないですか？

**デフォルトの名無しさん** · 2019/09/12(木) 15:50:08.39

それはコンパイラ作ってるのに等しい

**デフォルトの名無しさん** · 2019/09/12(木) 18:08:13.67

別の言語でやればいいじゃん

**デフォルトの名無しさん** · 2019/09/13(金) 12:32:55.83

>>988
そんなことやっても結局正体を知った上での個別処理になるわけだから
素直にダウンキャストしとけと

**デフォルトの名無しさん** · 2019/09/13(金) 12:54:06.04

vtableがあればdynamic_castもできるのに何でダウンキャストなんだ？

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 52日 23時間 35分 31秒