C++相談室 part151

**デフォルトの名無しさん** · 2020/05/14(木) 11:53:25.59

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

前スレ
C++相談室 part150
https://mevius.5ch.net/test/read.cgi/tech/1584975873/
このスレもよろしくね。
【初心者歓迎】C/C++室 Ver.105【環境依存OK】
http://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/ (日本語)

テンプレここまで

**デフォルトの名無しさん** · 2020/05/14(木) 12:14:02.15

>>1
O2

**デフォルトの名無しさん** · 2020/05/14(木) 15:59:11.45

https://mevius.5ch.net/test/read.cgi/tech/1584975873/1000
> 1000 名前：デフォルトの名無しさん[sage] 投稿日：2020/05/14(木) 15:51:59.69 ID:X1Z5LMNW [4/4]
> ん？
> ＞未だにC++03にしがみついているわけがない
> >>993で17使ってると言ってたようだが
>
> てかもうちょい生産的な話出来んのか
> 仕事でも趣味でも都合の良いコンパイラ使えばいいだけの話
> 構造化束縛をマクロとテンプレートで実現するとかなら面白い話題なんだけどな(面白いだけで実用性があるとは言ってない

なんだ、17で俺スゲーやってんのおまえじゃん
俺は仕事で17は当たり前という立場
おまえは仕事には危なくて使えないという立場
俺に教えを請うて突っぱねられたのがおまえ
あとはわかるな？

**デフォルトの名無しさん** · 2020/05/14(木) 16:04:10.28

>>3
＞なんだ、17で俺スゲーやってんのおまえじゃん
＞おまえは仕事には危なくて使えないという立場
？
俺の話じゃないんだが・・
いいから消えろよ荒らしは

**デフォルトの名無しさん** · 2020/05/14(木) 16:04:50.89

ホスト環境は17、組み込みは03で良いのでは？

**デフォルトの名無しさん** · 2020/05/14(木) 16:06:44.92

>>5
その「組み込み」ってのは、まさかH8とかか？
ARM用のコンパイラがどうなっているか知ってるか？

**デフォルトの名無しさん** · 2020/05/14(木) 16:07:42.33

>>4
逃げたければ消えるのはおまえだ
ほら行けよ、追わねえでやるから

**デフォルトの名無しさん** · 2020/05/14(木) 16:44:48.92

extern "C" 以下が、宣言になるなのか、定義になるのかについて、以下のページには、
extern "C" { int i; } と書くと、i は、「定義」される。
宣言で済ましたい場合には、
extern "C" { extern int i; }としなくてはならない。しかし、中括弧で囲まずに、
extern "C" int i;
と書いた場合には、i は「宣言」だけされる、とあります。
さらに、これは変数の場合で、関数の場合には、戻り値関数名(仮引数列) の後に関数定義部の{・・・}
があるかどうかで宣言か定義かが変わるだけのようです。といいますか、関数の場合は、関数定義部
がなければ、「定義」しようがないのでそれは当然かもしれませんが（結構複雑です。）。

これらの動作について、cppreference などで述べられているページがあれば、
教えていただければ幸いです。

https://stackoverflow.com/questions/1041866/what-is-the-effect-of-extern-c-in-c

Note that extern "C" { int i; } is a definition.
This may not be what you intended, next to the non-definition of void g(char);.
To make it a non-definition, you would need extern "C" { extern int i; }.
On the other hand, the one-declaration syntax without braces does make the declaration a non-definition: extern "C" int i; is the same as extern "C" { extern int i; }

**デフォルトの名無しさん** · 2020/05/14(木) 17:19:49.87

>>8
【関連事項】
[winnt.h の中]
#ifdef __cplusplus
#define EXTERN_C extern "C"
#else
#define EXTERN_C extern
#endif
[urlmon.h の中]
EXTERN_C const IID CLSID_CdlProtocol; // (100)

[考察]
(100)は、EXTERN_C のマクロ展開後
*pure C では、
extern const IID CLSID_CdlProtocol; // (101)
*C++ では、
extern "C" const IID CLSID_CdlProtocol; // (102)
となります。

(101)は明らかに(「定義」ではなく)「宣言」なので、モード間のバランスから考えて、
(102)も宣言でなくてはなりません。一方、

#ifdef __cplusplus
extern "C" {
#endif
int aaa;
#ifdef __cplusplus
}
#endif
と書いた場合、aaa は、どちらのモードでも「(変数)定義」であり、単なる「宣言」ではありません。
これは、(102)が「宣言」であることと、ある種の矛盾を生じているようですが、これが現状の
正しい解釈のようです。しかし、この事が cppreference のどこに書いてあるのかが分かりません。

**デフォルトの名無しさん** · 2020/05/14(木) 17:25:47.90

1回しか使われていない場合
2回以上使われている場合
「宣言」とは別に定義がリンクされている場合

**デフォルトの名無しさん** · 2020/05/14(木) 17:33:00.93

>>10
そういうことは理解しているつもりです。
extern ではなく、extern "C" の動作が、直後にブロックがあるかないかや、
変数か関数かによって、不思議な変化を見せることに興味があります。

**デフォルトの名無しさん** · 2020/05/14(木) 17:38:36.51

int aaa; //definition in C++, tentative in C
int aaa; //invalid in C++, valid in C

**デフォルトの名無しさん** · 2020/05/14(木) 17:48:01.20

クラスで定義された型を言語構文でバラして対応付けると言う非対称な気持ち悪さと
const, 非constを混在して受けられない不便さとがあるな
構造化バインディング
まーtuple限定ではなく構造体を対応付けられるから非対称ってわけでもないか

**デフォルトの名無しさん** · 2020/05/14(木) 17:51:54.74

>>8
extern "C" {}
はブレース内をCリンケージで処理するつって話
extern "C" int a;
はCリンケージのextern文

**デフォルトの名無しさん** · 2020/05/14(木) 18:15:11.62

>>14
stackoverflow以外に、公式サイトでそれが書かれている場所を教えていただければ幸いです。

**デフォルトの名無しさん** · 2020/05/14(木) 18:18:32.65

cppreferenceは仕様書じゃないから書いてなくても不思議じゃないと思うけど。
仕様書見たら？ドラフト版はネットに転がってる

**デフォルトの名無しさん** · 2020/05/14(木) 18:25:58.94

>>16
その公式アドレスを教えていただければ幸いです。

**デフォルトの名無しさん** · 2020/05/14(木) 18:27:40.05

>>15
cppreference.comに書かれてるぞ

**デフォルトの名無しさん** · 2020/05/14(木) 18:28:39.75

externの説明のnotesのところにな

**デフォルトの名無しさん** · 2020/05/14(木) 18:32:35.87

>>17
ggrks
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/n4713.pdf

あとcppreferenceはある意味ファンサイトみたいなものなので、何らかの標準化組織の公式サイトというわけじゃないよ

**デフォルトの名無しさん** · 2020/05/14(木) 18:42:47.93

つーか、cppreferenceに書いてあるのに見落としてよそのサイト教えろとか馬鹿丸出しで笑える

**デフォルトの名無しさん** · 2020/05/14(木) 18:45:51.63

バカにバカというのはバカ差別で違法だからね。

**デフォルトの名無しさん** · 2020/05/14(木) 20:34:45.27

情報量ゼロのゴミレスでドヤ顔する自覚なきクズ大杉
20はggrksと言いながらちゃんとリンク貼ってる

**デフォルトの名無しさん** · 2020/05/14(木) 20:40:53.93

>>22
https://www.youtube.com/watch?v=M-5c6l4QfC8

**デフォルトの名無しさん** · 2020/05/14(木) 20:46:17.52

>>24
「私たちは抗議活動のための支援団体、人道支援団体ではない」
反日団体だから慰安婦なんか知ったことじゃないって事だろ？
筋通ってると思うが。

**デフォルトの名無しさん** · 2020/05/14(木) 20:48:02.32

そういえば、チョンにチョンというのはチョン差別で違法だけど、日本人に日本人というのは別に問題ないね。
フランス人にフランス人というのも問題ないし、中国人に中国人というのも問題ない。
何が違うんだろ。

**デフォルトの名無しさん** · 2020/05/14(木) 20:51:04.91

チョンというのがダメなのかと思ったけど。
朝鮮人に朝鮮人というのも朝鮮人差別だから違法だよね。
ますますわからん。

**デフォルトの名無しさん** · 2020/05/15(金) 18:22:21.33

以下の混乱を、どう解決すべきか分かる人いますか？

・無名の共用体: 問題は特に有りません。
・無名の構造体: 入れ子の構造体(nested class)の「型定義」と区別が付かない気がします。
以下はその説明です :

class CPerson {　　 // (1)
　　struct _TAaa {　　　// (2)
　　　　・・・
　　};　　　// (3)
};

と書いた場合、(3) の部分にメンバ名が書かれていません。

しかし、これでは以下のどちらかなのか区別できない気がするのです。

a. CPerson の中に「無名ではあるが実態のあるメンバ」として「メンバ変数」を定義するつもり。

b. 単に、CPerson の class scope の中に _TAaa というタグ名を持つ構造体を「型定義」するつもり。

MSは、a の方針で、この形式 (2)～(3) を、「anonymous structure」と定義しているらしいです。
しかし、C++ には、b の解釈の「nested class」という言葉も存在しています。

**デフォルトの名無しさん** · 2020/05/15(金) 18:32:30.47

>>28
自分でコンパイルしてどうなるか試したんだよな？

**デフォルトの名無しさん** · 2020/05/15(金) 18:39:41.33

2に名前つけている時点で無名じゃない

**デフォルトの名無しさん** · 2020/05/15(金) 18:44:03.32

>>30
なるほど。

**デフォルトの名無しさん** · 2020/05/16(土) 16:37:49.22

std::bitset を std::unordered_map か std::map のキーとして使用したいのですが、
どうすればよろしいのでしょうか？

**デフォルトの名無しさん** · 2020/05/16(土) 16:40:58.20

>>32 やってみて、何か問題あったの？

**デフォルトの名無しさん** · 2020/05/16(土) 16:46:28.51

std::unordered_map<std::bitset<42>, int> um;
um[std::bitset<42>("0011")] = 9999;
std::cout << um[std::bitset<42>("0011")] ;

普通に動いたぞ
何に困ってるんだ？

**デフォルトの名無しさん** · 2020/05/16(土) 16:50:35.98

>>33
>>34

下のコードで書いてもエラーが出てしまってどうすればよいかがわからないんです。

#include <map>
#include <unordered_map>
#include <bitset>

int main()
{
std::map<std::bitset<100>, int> a;
std::bitset<100> n;
n.set( 1 );
a.insert( std::make_pair( n, 100 ) );　// ここでエラーが出てしまいます。

return 0;
}

**デフォルトの名無しさん** · 2020/05/16(土) 16:59:00.14

>>35 エラーメッセージも貼って、エラーメッセージのわからないところも書いてくれるといいな。

**デフォルトの名無しさん** · 2020/05/16(土) 17:07:47.33

>>36

error C2676: 二項演算子 '<': 'const _Ty' は、この演算子または定義済の演算子に適切な型への変換の定義を行いません。(新しい動作; ヘルプを参照)
with
[
_Ty=std::bitset<100>
]
message : クラステンプレートメンバー関数 'bool std::less<std::bitset<100>>::operator ()(const _Ty &,const _Ty &) const' のコンパイル中
with
[
_Ty=std::bitset<100>
]
message : コンパイル対象の関数テンプレートインスタンス化 'bool std::less<std::bitset<100>>::operator ()(const _Ty &,const _Ty &) const' のリファレンスを確認してください
with
[
_Ty=std::bitset<100>
]
message : コンパイル対象のクラステンプレートインスタンス化 'std::less<std::bitset<100>>' のリファレンスを確認してください
message : コンパイルされている変数テンプレート 'const bool is_empty_v<std::less<std::bitset<100> > >' のリファレンスをご参照ください
message : コンパイル対象のクラステンプレートインスタンス化 'std::_Tree<std::_Tmap_traits<_Kty,_Ty,_Pr,_Alloc,false>>' のリファレンスを確認してください
with
[
_Kty=std::bitset<100>,
_Ty=int,
_Pr=std::less<std::bitset<100>>,
_Alloc=std::allocator<std::pair<const std::bitset<100>,int>>
]
message : コンパイル対象のクラステンプレートインスタンス化 'std::map<std::bitset<100>,int,std::less<std::bitset<100>>,std::allocator<std::pair<const std::bitset<100>,int>>>' のリファレンスを確認してください

**デフォルトの名無しさん** · 2020/05/16(土) 17:07:54.21

わかった、std::mapだとダメなんだな
bitsetがoperator<持ってないからだ
これ定義すればmapでも通ると思うよ

template<>
struct std::less<std::bitset<100>>
{
bool operator()(const std::bitset<100>& lhs, const std::bitset<100>& rhs) const{ return lhs.to_ulong() < rhs.to_ulong();}
};

**デフォルトの名無しさん** · 2020/05/16(土) 17:08:13.11

といったメッセージが出ております。

**デフォルトの名無しさん** · 2020/05/16(土) 17:09:26.66

>>35
a.insert( std::make_pair< FOO , BAR >( n, 100 ) );

**デフォルトの名無しさん** · 2020/05/16(土) 17:09:55.37

まあどうしてもmapにしたい理由がなけりゃおとなしくunordered_mapにした方がいいと思うけど
stdのテンプレートをstdのクラスで特殊化するのは本来は反則だし、unordered_mapの方がだいたい効率いいし

**デフォルトの名無しさん** · 2020/05/16(土) 17:16:42.14

普通に考えたらこれだろ。
std::make_pair( n, 100 )

**デフォルトの名無しさん** · 2020/05/16(土) 17:36:40.03

皆さん。情報ありがとうございます。

>>38
試してみた所ビットを33個立てるとstd::overflow が出てしまうようです。
おそらく関数の仕様的な問題だと思うのですが……

>>40
a.insert( std::make_pair<std::bitset<MAX>, int>( n, 100 ) );
とやってみた所エラーが出てしまいました。
この辺の指定はコンパイラが勝手に行ってくれると思っていたのですが、
指定しなければならないのでしょうか？

>>41
std::unordered_map を利用するとうまくいきました。
ありがとうございます。

>>42
すみません。
>>40と同じ理由なのでしょうか？

**デフォルトの名無しさん** · 2020/05/16(土) 17:50:14.76

bitset の値同士で < での比較ができないから map でエラーってことか。
unordered_map なら == で比較できれば使える、と。

**デフォルトの名無しさん** · 2020/05/16(土) 18:00:40.13

ああ>>38だとulongにして比較してるからオーバーフローしちゃうな
真面目にビット比較するように関数書けば通ると思う
遅そうだしなおさらunordered_mapの方が良くなるけど

**デフォルトの名無しさん** · 2020/05/17(日) 14:06:29.05

ラムダ式にテンプレートの型指定ってできないんですかね？

auto f = []<class T>(T) {};
auto f2 = []<class T>() {};
f(1);
f2<int>();

fは引数にその型のパラメータがあるので大丈夫なんですけど、
f2だとコンパイルが通らないです...

**デフォルトの名無しさん** · 2020/05/17(日) 14:12:23.12

ダミーの引数渡して
decltypeするとかすればいいんじゃね

**デフォルトの名無しさん** · 2020/05/17(日) 14:33:24.46

>>46
呼び出してるのはあくまでオーバーロードされた関数呼び出し演算子なので、こうする
f2.operator()<int>();
https://wandbox.org/permlink/uVSptZMZErNrL5p3

**デフォルトの名無しさん** · 2020/05/17(日) 14:41:04.25

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

**デフォルトの名無しさん** · 2020/05/18(月) 09:15:27.74

なるほど
戻り値で判断するのも知りたい

**デフォルトの名無しさん** · 2020/05/18(月) 10:30:31.10

>>46
auto仮引数ではあかんの？

auto f = [](auto arg) { cout << typeid(arg).name() << endl; };
f(1); //int
f(1.5); //double

**デフォルトの名無しさん** · 2020/05/18(月) 19:43:09.64

以下のコードを実行すると 'あ' がアルファベットと判定されてしまうのですが、なぜかわかりますか？
Visual C++ 2019でもg++ 7.5.0でも結果は一緒でした(値は違いますが)。

std::locale loc("");
std::locale::global(loc);
std::wcout << std::isalpha(L'あ') << std::endl;
std::wcout << iswalpha(L'あ') << std::endl;

**デフォルトの名無しさん** · 2020/05/18(月) 20:28:29.14

あはアルファベットだからだろう

**デフォルトの名無しさん** · 2020/05/18(月) 20:49:09.32

というより、その判定結果だからこそあはアルファベットなんだよ
isalphaがtrueを返すものを現在のロケールにおけるアルファベットと呼ぶと言う方が正しいか

**デフォルトの名無しさん** · 2020/05/18(月) 20:53:28.77

いや、isalphaがtrueになる文字は各localeで決まっている

isalphaはそれを垂れ流しているだけ

**デフォルトの名無しさん** · 2020/05/18(月) 21:32:06.39

is_ascii_alpha()のほうが良く使う。

**デフォルトの名無しさん** · 2020/05/18(月) 22:16:41.22

ありがとうございます
普段は「日本語のアルファベット」とはあまり使わないけれど、
設定されている言語で表現するための文字のことをアルファベットと呼んでいると理解しておきます。

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

そもそも英語では普通にひらがなとカタカナを指して"Japanese alphabet"と呼ぶ

**デフォルトの名無しさん** · 2020/05/19(火) 10:55:08.90

アルファベットはアラビア語が語源？

**デフォルトの名無しさん** · 2020/05/19(火) 10:56:23.71

あと正確に言うなら日本語のアルファベットは
いろは

**デフォルトの名無しさん** · 2020/05/19(火) 12:21:31.91

アルファベット＝表音文字と言いたいの？

**デフォルトの名無しさん** · 2020/05/19(火) 13:16:28.27

stlを考えた人は馬鹿だからな。

**デフォルトの名無しさん** · 2020/05/19(火) 13:40:15.28

isalpha()が2バイト文字環境でいままで使われてきた経緯も知らずに勝手に仕様を変えてしまう馬鹿な人々。
min,maxも伝統的なマクロの存在を知らずに衝突させてしまう馬鹿。
さらに馬鹿なのはSTL作者達なのにコンパイラ処理系作者のせいにしてしまう愚かな烏合の衆たち。

**デフォルトの名無しさん** · 2020/05/19(火) 13:44:38.41

isalphaは昔のcでもlocale依存だろ

**デフォルトの名無しさん** · 2020/05/19(火) 14:25:44.49

STLは、なぜあの時代に、ここまで抽象化できたのか？彼らは宇宙から来たのではないか？などと考えてしまうが。

**デフォルトの名無しさん** · 2020/05/19(火) 14:27:12.72

Windows.ｈのmin、maxは困りものだよな。

**デフォルトの名無しさん** · 2020/05/19(火) 14:51:53.51

マクロでminmax書いているほうがどう考えてもバカだよな

**デフォルトの名無しさん** · 2020/05/19(火) 14:54:10.83

win32の設計とかあーバカコードだなコレってのがちらほら

**デフォルトの名無しさん** · 2020/05/19(火) 16:31:48.66

>>67
御意

**デフォルトの名無しさん** · 2020/05/19(火) 17:47:23.01

人類がBOOST_PREVENT_MACRO_SUBSTITUTIONから解放される日は遠い

**デフォルトの名無しさん** · 2020/05/19(火) 18:01:48.72

STLの方が馬鹿。
今までのものを知らないで独自のものを書くのは簡単。
勉強もせずに独自の日記を書くようなことだから。

**デフォルトの名無しさん** · 2020/05/19(火) 18:23:54.92

なぜ会社を100社以上バックレたのか？働きたくない男の末路！
https://www.youtube.com/watch?v=C73If3B6MXc
【遅刻早退ドタキャン癖】の絶望的な解説。社会人失格の烙印。
https://www.youtube.com/watch?v=bGarZKcC08s
【悲報】あがり症は完治しない！緊張対策よりも開き直り！
https://www.youtube.com/watch?v=-jMUFZc9vRA
結婚式への参加は『社会の底辺』には地獄！非モテ手当を寄こせ！
https://www.youtube.com/watch?v=oKFrGkpsP8Y
親戚の『葬式』ドタキャンで激怒された！冠婚葬祭パワハラが酷い！
https://www.youtube.com/watch?v=0L-EAndCodE
リボ払い借金500万円の一日！敗者復活ルーティーン
https://www.youtube.com/watch?v=shJMgp6EuW8

◆QZaw55cn4c · 2020/05/19(火) 18:33:01.90

>>59
ちがいます、フェニキア文字由来ですよ
アラビア語はセム語族の中でも後発後進国

**デフォルトの名無しさん** · 2020/05/19(火) 19:02:02.51

>>72
スレチグロ

**デフォルトの名無しさん** · 2020/05/20(水) 06:07:41.13

関数（始点，終点）に馴染めないバカのあぶり出しだったな
関数（始点，個数）に固執してたやつらがSTLで吠え面かかされたｗ

**デフォルトの名無しさん** · 2020/05/20(水) 14:27:55.42

https://ideone.com/vJRbP1

ミラーラビン素数判定法を聞いて作ってるんだけど、決定性に確定させるにはここからどうしたらいいですか？

**デフォルトの名無しさん** · 2020/05/20(水) 14:30:18.93

https://ideone.com/Gq2X2N
無しだとちゃんと出るっぽいです。ということを見せておきます。

**デフォルトの名無しさん** · 2020/05/21(木) 09:22:26.84

>>65
ソ連で生魚にあたって、入院中に病院の天井みてたら思いついたらしいぜ

**デフォルトの名無しさん** · 2020/05/21(木) 11:21:03.35

寄生虫より有毒魚かもな
フグみたいな命取りなやつじゃなくバラムツくらいなら腹壊す程度で済む

**デフォルトの名無しさん** · 2020/05/21(木) 20:23:36.81

>>75がどれに対するレスなのか分からんが
みんな単にスルーしてんだろうなこれは

**デフォルトの名無しさん** · 2020/05/22(金) 07:52:07.46

バカって素直だな
ちゃんと返事しやがるｗ

**デフォルトの名無しさん** · 2020/05/22(金) 13:00:00.65

dtmみたいな楽器を作る場合、音は何らかのライブラリを使うんでしょうか？１から作れるんですか？

**デフォルトの名無しさん** · 2020/05/22(金) 14:03:10.66

は？
オリジナルは普通にサンプルしたものだろ

**デフォルトの名無しさん** · 2020/05/22(金) 14:03:38.08

つまり現実の楽器の音

**デフォルトの名無しさん** · 2020/05/22(金) 14:08:19.81

>>83
シンセとかもサンプルしてるんですか？

**デフォルトの名無しさん** · 2020/05/22(金) 14:39:41.09

>>85
いかにもデジタル的な音は昔はFM音源だった。
あと、ランダムノイズ的なものも利用。
今は、楽器を物理シミュレーションしている場合がある。

**デフォルトの名無しさん** · 2020/05/22(金) 14:47:32.08

オートチューン使うと自分の声が楽器みたいになります。

**デフォルトの名無しさん** · 2020/05/22(金) 17:31:59.13

あるクラスのvectorに対し、個々のクラスのメンバのvectorを返すのってラムダ式でサクッと書けると思うのですが、どうやればいいですか？

struct A { int i; };
vector<A> v(10);
auto v_i = ～ラムダ式～ // サイズ10のvector<int>が返る

こんな感じです

**デフォルトの名無しさん** · 2020/05/22(金) 17:34:51.45

なにいってるのかワカランゴ

**デフォルトの名無しさん** · 2020/05/22(金) 17:40:03.05

[&]{
std::vector<int> ret(v.size());
std::transform(v.begin(),v.end(),ret.begin(),[](A d){return d.i;});
return ret;
}

**デフォルトの名無しさん** · 2020/05/22(金) 17:42:50.71

[](A){...}
のところは&A::iでもいいかな

**デフォルトの名無しさん** · 2020/05/22(金) 17:44:13.14

>>88
https://ideone.com/0s5iRL

**デフォルトの名無しさん** · 2020/05/22(金) 17:59:27.93

なるほど、std::transformを使うのですね
Pythonみたいにサクッとできたらよかったのですが、ちょっとイメージと違いました
ラムダ式に変な期待、というか勘違いしてました

素直にrange for文で個々にemplace_backするほうが短いし分かりやすいので、今回はそうします
ありがとうございました

**デフォルトの名無しさん** · 2020/05/22(金) 18:03:14.33

pythonだと[d.i for d in v]って所か？
lambdaじゃないけど

**デフォルトの名無しさん** · 2020/05/22(金) 18:08:11.35

内包表記だな

**デフォルトの名無しさん** · 2020/05/22(金) 19:08:51.35

>>90
そういうSTLのbegin,end表記見てると pure Cのqsortの書き方を思い出してしまう。
危険なので毎回良く仕様書を確認してから慎重に使わないといけないという。

**はちみつ餃子** ◆8X2XSCHEME · 2020/05/23(土) 00:02:55.12

range を使えば楽だろうと思ったんだけど view からコンテナに変換する関数は C++20 には入らなかったの？
Range-v3 にある to みたいなやつ。
https://ericniebler.github.io/range-v3/group__group-range.html#ga555b843264809e3765210c42a66d3c3b

**デフォルトの名無しさん** · 2020/05/23(土) 20:12:53.91

>>87
diva danceみたいに？

**デフォルトの名無しさん** · 2020/05/27(水) 17:21:37.04

gdbのプロンプトでsqrtとかabsみたいな数学の関数使えないんだけど使えるようにする方法ある？

**デフォルトの名無しさん** · 2020/05/27(水) 17:25:22.27

さぁ

**デフォルトの名無しさん** · 2020/05/27(水) 17:52:37.65

毎回生成したくない大きめな作業用配列とかって結局どこに持っとくのが良いの？

メンバ変数として？
グローバル変数として？

**デフォルトの名無しさん** · 2020/05/27(水) 18:36:53.07

そんなことで悩むレベルなら毎回生成しろ
たぶんそんなことでは全く遅くはならん

**デフォルトの名無しさん** · 2020/05/27(水) 19:02:42.55

なるべく使う奴にしか見えないスコープに閉じ込めるんだよ
bool1個だろうと10GBの配列だろうと一緒
基本を守るだけだ

**デフォルトの名無しさん** · 2020/05/27(水) 19:50:08.92

>>99
$ gdb some_program
(gdb) break main
(gdb) run
(gdb) print ((double(*)(double))sqrt)(2.0)
って感じで使えないかな。
たぶん some_program は何らか libm の関数を取り込んでないとダメだけど。

**デフォルトの名無しさん** · 2020/05/27(水) 20:25:14.60

>>104
できました
そのキャストが必須な理由はまだ理解してませんが

**デフォルトの名無しさん** · 2020/05/27(水) 20:35:36.86

作業用の領域の扱いってたしかにいつも悩むんだが、
*) ループや関数の内側で毎回コンテナ (vector, set, queue, etc...) を宣言し、初期化し、使う
と
*) ループや関数の外側にコンテナを宣言しておき、ループや関数の内側で初期化し、使う
だと当然後者の方が低コストで、可読性を大きく損なわない限り後者の方が良いのだよな？

初期化の計算量のオーダーは両者とも同じだが、可変長コンテナのメモリアロケーションの回数を少なくするのが重要だと思って良いのだよな？

**デフォルトの名無しさん** · 2020/05/27(水) 20:37:48.66

もう一個質問

STLコンテナの初期化は空とのswapでやったりすると思うが、この場合コンテナが置かれたメモリの場所は変わらんよな？
つまり、余計なメモリアロケーションは起こらんよな？

**デフォルトの名無しさん** · 2020/05/27(水) 20:45:00.53

なんかイラっときた

**デフォルトの名無しさん** · 2020/05/27(水) 20:50:33.85

なぜ同意を求める？
部下に相槌を打つようにいつも説得しているのか？
お願いします
教えてください
も言えんのか

**デフォルトの名無しさん** · 2020/05/27(水) 21:47:27.96

行単位でファイルを読み込んだあと、パースするような処理で巨大なテキストファイルを扱う場合だと、顕著に後者が速くなる

まあ一度プロファイラで確認してみればいいよ

**はちみつ餃子** ◆8X2XSCHEME · 2020/05/27(水) 23:11:34.31

>>106
場合による。
「可読性を大きく損なわない限り後者の方が良い」という理屈なら
「速度を大きく損なわない限り前者の方が良い」とも言えてしまうよ。
どちらが大事かなんて場合によるとしか言いようがない。

>>107
C++ の標準ライブラリにあるコンテナに関して言えば swap でアロケーションは発生しない。
アロケーションは発生しないけど std::array はちょっと特殊で要素の swap が発生するので
線形時間がかかることになっていることには注意。

**デフォルトの名無しさん** · 2020/05/27(水) 23:13:55.80

要素のswapってなんだ？
再配置だろ

**はちみつ餃子** ◆8X2XSCHEME · 2020/05/27(水) 23:26:27.55

>>112
再配置と言えば再配置ではあるけど、 >>107 の質問について
「コンテナが置かれたメモリの場所は変わらんよな？」に対しては「はい。コンテナのメモリの場所は変わりません」だし
「余計なメモリアロケーションは起こらんよな？」に対しては「はい。メモリアロケーションは発生しません」なので
正確に注意点を表現するなら「(格納場所の swap ではなく) 要素単位の swap ですよ」という表現になるでしょ。

**デフォルトの名無しさん** · 2020/05/27(水) 23:50:44.02

単にgetlineした文字列を
vectorに詰める場合、
getlineしたバッファをmove push_backしたり、shrink_to_fitしてmove
push_backするより、何もせずpush_backでコピーを詰め込んでバッファを使い回しってのが一番速くてメモリ効率もよく、コードもスッキリする

**デフォルトの名無しさん** · 2020/05/28(木) 00:31:33.05

そりゃそうだ

**デフォルトの名無しさん** · 2020/05/28(木) 05:51:39.46

>>106
比べるようなものではない
毎回再初期化させる必要があるなら前者一択
ループを抜けた後で何かするなら後者一択

**デフォルトの名無しさん** · 2020/05/28(木) 17:31:30.53

Promiseってなんでわざわざfutureを作ってあげなきゃいけないのです？
思想的な話なの？

**デフォルトの名無しさん** · 2020/05/28(木) 20:27:31.11

Nowなyoungにバカ受け

**デフォルトの名無しさん** · 2020/05/28(木) 22:23:48.94

約束ってのは将来果たすためのものだからだよ

**デフォルトの名無しさん** · 2020/05/29(金) 08:16:47.57

このネーミングセンスには禿も苦笑してたな

**デフォルトの名無しさん** · 2020/05/29(金) 10:12:51.28

ビャーネ御大と江添のどっちだよ！

**デフォルトの名無しさん** · 2020/05/31(日) 08:42:17.14

STLのsetで重複したノードの登録を除外する方法がわかりません
整列基準とするint key1,key2,key3の値にかかわらず、POINT positionが重複する値だったら除外したいのですが、意図した動作になりません
例えば(0,0),(0,1),(1,0),(1,1)の4パターンのみで同一パターンは除外されるようにしたいのに20パターン以上重複して登録されてしまいます
setについてご存知の方いらっしゃいましたらご教示願います

#include <set>
#include <time.h>
#include <windows.h>
using namespace std;

bool operator ==(const POINT& inA, const POINT& inB){ return (inA.x==inB.x)&&(inA.y==inB.y); }

**デフォルトの名無しさん** · 2020/05/31(日) 08:42:47.02

//setに入れる要素
class CNode
{
public:
POINT position;
int key1;
int key2;
int key3;
CNode()
{
position.x=rand()%2;
position.y=rand()%2;
key1=rand()%3;
key2=rand()%5;
key3=rand()%10;
}

//setに入れるCNodeポインタを整列する基準を定義
inline bool operator()(const CNode* a, const CNode* b) const
{
//positionの値が同じ要素はsetに登録しない
bool same = (a->position == b->position);
if( same ) return false;
//↑このあたりが怪しい？ここでfalseを返すと登録数が期待よりも多過ぎ、何も返さないと期待よりも少なくなる

//キーでの整列用
if(a->key1 != b->key1) return a->key1 > b->key1;
if(a->key2 != b->key2) return a->key2 > b->key2;
if(a->key3 != b->key3) return a->key3 > b->key3;
return false;
}
};

**デフォルトの名無しさん** · 2020/05/31(日) 08:43:16.96

typedef set<CNode*, CNode> NODE_POINTER_SET;
int main()
{
srand((unsigned)time(NULL));

int NUM=100;
printf("setへの登録候補数:%d\n",NUM);
CNode* dammy[1];
NODE_POINTER_SET NodePointerSet(dammy, dammy+0, CNode());
CNode* node;
for(int i=0; i<NUM; i++)
{
node = new CNode();
printf("%x:(%d,%d)【%3d %3d %3d】をセットへ\n"
,node
,node->position.x, node->position.y
,node->key1, node->key2, node->key3 );
pair<NODE_POINTER_SET::iterator, bool> insert_result = NodePointerSet.insert(node); //setへ登録
if( false == insert_result.second ) delete node; //重複で登録できなかった場合は確保したメモリを破棄
}

printf("\nset内に登録された要素数:%d\n",NodePointerSet.size());
for(NODE_POINTER_SET::const_iterator it=NodePointerSet.begin(); it!=NodePointerSet.end(); )
{
printf("%x:(%d,%d)【%3d %3d %3d】をセットから\n"
,*it
,(*it)->position.x, (*it)->position.y
,(*it)->key1, (*it)->key2, (*it)->key3 );
delete (*it); //メモリの後始末
it=NodePointerSet.erase(it); //setから削除 itは次の要素を指す
}
}

**蟻人間** ◆T6xkBnTXz7B0 · 2020/05/31(日) 08:47:50.96

std::setの整列はlessでstd::unordered_setは整列せずでequalだったと思う。
たぶん近藤してる。

**蟻人間** ◆T6xkBnTXz7B0 · 2020/05/31(日) 08:55:43.87

スマポ使わずにdelete使うのは古いよ。

**デフォルトの名無しさん** · 2020/05/31(日) 09:07:29.52

>>125
すみません、もう少し詳しくお教え頂けないでしょうか
初心者で見よう見まねでやっているので…
整列はできているのですが、除外がうまく動かないかんじです

スマートポインタは、難しそうなので私にはまだ早いと思っています
(でも、そのうち取り組みたい)

**蟻人間** ◆T6xkBnTXz7B0 · 2020/05/31(日) 09:13:01.00

std::setとstd::unordered_setの規格票を参照。テンプレート引数の最初は値。その次の引数は比較になっている。比較だけど、その比較はequalかlessなのかが問題だ。
lessというのは、不等号で書くと<。
equalというのは、==という意味。

**デフォルトの名無しさん** · 2020/05/31(日) 09:41:05.74

>>127
最初は見よう見まねなのは仕方ないけど、関数の仕様を解説してるページを探して仕様を確認する癖をつけるといいぞ。

**デフォルトの名無しさん** · 2020/05/31(日) 09:48:26.67

まずstd::setについて調べると
https://cpprefjp.github.io/reference/set/set.html
Compareは狭義の弱順序において前ならtrueとある
狭義の弱順序のリンクをたどると
https://cpprefjp.github.io/reference/algorithm.html#strict-weak-ordering
!comp(a, b) && !comp(b, a) として equiv(a, b) を定義する場合、
equiv(a, b) && equiv(b, c) は equiv(a, c) を意味する必要があると書いてある。
あなたの作った比較関数は、この条件を満たさない。
{{0,0},0,0,0}=={{0,1},0,0,0}=={0,1},0,0,1}だが、{{0,0},0,0,0}!={0,1},0,0,1}となってしまう。

**デフォルトの名無しさん** · 2020/05/31(日) 10:48:27.53

もう少しざっくりとした説明。

setは、ソートした後に、等しい要素が隣同士に並ぶことを前提としている。
これにより、隣り合った要素とだけ重複判定することで効率化している。
しかし、問題の比較関数でソートしても、等しい要素が隣同士に並ぶとは限らない。

{{0,1},0,0,6}, {{0,3},0,0,4}, {{0,1},0,0,2}
のような要素列を、この比較関数でソートしても、順序は変わらない。
先頭と末尾が等しいはずなのに隣り合っていないため、重複判定が行われない。

**デフォルトの名無しさん** · 2020/05/31(日) 11:51:01.53

難しいですね…
つまり

//positionの値が同じ要素はsetに登録しない
bool same = (a->position == b->position);
if( same ) return false;

のところをどう書き直したら動くのでしょうか？
どうか教えて下さい
m(_ _)mこのとおり！

**デフォルトの名無しさん** · 2020/05/31(日) 11:53:09.13

弱順序とか区分化とかあの説明だけで理解できたら天才だろ
だから群論・集合論の教科書を数冊読むとC++がスラスラと理解できるようになる

**デフォルトの名無しさん** · 2020/05/31(日) 11:53:23.87

自分でやる気がない人に教える気にはならないなぁ。

**デフォルトの名無しさん** · 2020/05/31(日) 12:02:25.63

bool CNode::operator<(const CNode& rhs) const {
　if (key1 != rhs.key1) { return (key1 < rhs.key1); }
　else if (key2 != rhs.key2) { return (key2 < rhs.key2); }
　else if (key3 != rhs.key3) { return (key3 < rhs.key3); }
　else { return false; }
}
を実装したら最低限逝ける、
等値演算子「==」は、それがCNodeのメソッドまたはCNode&を引数にとる
関数定義がなされていなければ(!(a < b) && !(b < a))で遂行される
ただしそれでは効率が悪いので（「==」1回につきoperator<()が2回呼ばれるので）、
「==」も手動で実装したらモアベターではある

**デフォルトの名無しさん** · 2020/05/31(日) 12:12:06.34

>>132
そこだけ書き換えて修正するのは無理
あきらめて別の方法を考えることをお勧めする

**デフォルトの名無しさん** · 2020/05/31(日) 12:25:20.78

そもそもCNodeにoperator<実装してないのになんでコンパイル通ってんのか謎
隠してるコードがあるなら全部出せ

**デフォルトの名無しさん** · 2020/05/31(日) 12:45:05.74

>>137
> typedef set<CNode*, CNode> NODE_POINTER_SET;

**蟻人間** ◆T6xkBnTXz7B0 · 2020/05/31(日) 12:51:20.01

inline bool operator()(const CNode* a, const CNode* b) const
{
if(a->key1 < b->key1) return true;
if(a->key1 > b->key1) return false;
if(a->key2 < b->key2) return true;
if(a->key2 > b->key2) return false;
if(a->key3 < b->key3) return true;
if(a->key3 > b->key3) return false;
//ここまでヒント。
}

**デフォルトの名無しさん** · 2020/05/31(日) 12:58:31.73

>//positionの値が同じ要素はsetに登録しない
>bool same = (a->position == b->position);
>if( same ) return false;
仕様誤解してたｻｰｾﾝgrz、、

**デフォルトの名無しさん** · 2020/05/31(日) 13:17:45.26

皆様ありがとうございます

>>135
なるほど、<が2回呼ばれるのですか(いろいろ試していて2回ずつカウントされているのを不思議に思ってました)
ご紹介頂いたコードを追加しましたが、rhsがポインタでないせいか効果がありませんでした
ポインタを、そのメンバ変数基準で整列させたいのですが、
bool operator<(const CNode* lhs, const CNode* rhs)const
で定義しようとするとコンパイルエラーC2804
binary 'operator <' に引数が多すぎます。
になってしまいます
==演算子も同様に駄目でした
<や==演算子オーバーロードでポインタを整列させる事は無理なのでしょうか？
>>140
の内容からすると、無理なのかな？
(自分で試してみて無理そうだと思ったので、仕方なく()オーバーロードで定義を書いていました)

>>139
ヒント見ても理解できないこの無能な鈍物めにお答えを賜りたく
どうかお願いします!

**デフォルトの名無しさん** · 2020/05/31(日) 13:48:52.93

>>122
> 整列基準とするint key1,key2,key3の値にかかわらず、POINT positionが重複する値だったら除外したい
これ要求に間違いが無いなら、独立した比較基準（整列用と重複判定用）が２つあることになるので、
単一の比較関数（およびset）で解決しようとしてるのが間違いかな。

**デフォルトの名無しさん** · 2020/05/31(日) 13:58:58.98

△　ヒント
○　これ以上は分かりませんでしたがMOTTAINAIので貼ります

**デフォルトの名無しさん** · 2020/05/31(日) 14:31:43.92

簡単に出来そうだと思っていた事が、結構な難問だったようですね…
自分の力では無理そうだという事がわかっただけでも収穫でした
皆様ありがとうございました

**デフォルトの名無しさん** · 2020/05/31(日) 14:33:26.01

回答を示す、

1. 「<」と「==」演算子をグローバルな関数として定義する版：
https://ideone.com/Qdi402

2. 「<」と「==」演算子をクラスのメソッドとして定義する版：
https://ideone.com/3JTyiJ

3. （参考）スマポ版
https://ideone.com/bYOWcR

元のコードはいきなりinsertしようとしているがinsertの動作はinsertしてから重複だったかどうか返すというものなので、
生ポインタ版である1と2では事前にfindしている
3は事前findが不要で本来のコードとなったが、動作は後優先（先にinsertしたaと、後からinsertしたbがsameの場合、aが削除され、bが残る。）

**デフォルトの名無しさん** · 2020/05/31(日) 14:40:09.33

>>135
> 等値演算子「==」は、それがCNodeのメソッドまたはCNode&を引数にとる
> 関数定義がなされていなければ(!(a < b) && !(b < a))で遂行される
要出典

>>145
> insertの動作はinsertしてから重複だったかどうか返すというもの
要出典

**デフォルトの名無しさん** · 2020/05/31(日) 15:24:55.05

>>146
> > insertの動作はinsertしてから重複だったかどうか返すというもの
> 要出展
仕様誤解してたｻｰｾﾝgrz、、
と言うわけで>>145のソースコードは以下の通り訂正汁、
　1のソースコード ==> https://ideone.com/uRTmmo
　2のソースコード ==> https://ideone.com/EdndM1
　3のソースコード ==> https://ideone.com/UYMN5D
（3は間違ったコメントを削除、およびアドレスの表示の誤りを訂正）

> > 等値演算子「==」は、それがCNodeのメソッドまたはCNode&を引数にとる
> > 関数定義がなされていなければ(!(a < b) && !(b < a))で遂行される
> 要出典
しらそん；；
テンプレートの定義とC++の言語仕様とかstd::rel_opsの存在意義とか想像したらﾜｶﾙ

**デフォルトの名無しさん** · 2020/05/31(日) 15:28:53.38

C++は美しい
bool operator <(const POINT& inA, const POINT& inB){
int rA2 = ( inA.x * inA.x + inA.y * inA.y );
int rB2 = ( inB.x * inB.x + inB.y * inB.y );
return ( ( rA2 < rB2 ) || ( ( rA2 == rB2 ) && ( inA.y < inB.y ) ) );
}

inline bool operator()(const CNode* a, const CNode* b) const{
if(a->key1 != b->key1) return a->key1 > b->key1;
if(a->key2 != b->key2) return a->key2 > b->key2;
if(a->key3 != b->key3) return a->key3 > b->key3;
return false;
}

NODE_POINTER_SET NodePointerSet2(dammy, dammy+0, CNode());
for(int i=0; i<NUM; i++){
node = new CNode();
pair<NODE_POINTER_SET::iterator, bool> insert_result = NodePointerSet2.insert(node); //setへ登録
if( false == insert_result.second ) delete node; //重複で登録できなかった場合は確保したメモリを破棄
}
std::map<POINT, CNode*> mp;
for(NODE_POINTER_SET::const_iterator it=NodePointerSet2.begin(); it!=NodePointerSet2.end(); it++ ){
if( !mp[(*it)->position] ){
mp[(*it)->position] = (*it);
pair<NODE_POINTER_SET::iterator, bool> insert_result = NodePointerSet.insert((*it)); //setへ登録
}
}

**デフォルトの名無しさん** · 2020/05/31(日) 15:41:55.39

>>147
key1,key2,key3 で整列しないのは回答として不適ではないの？
等値演算子「==」の話はただの思い込みだったということでいいんかね。

**デフォルトの名無しさん** · 2020/05/31(日) 16:08:01.03

setの重複排除条件をコントロールしたいだけなら
std::(unordered_)setのPredテンプレート引数で制御すればいいだけの話じゃないの？
からかって遊んでるだけ？

**デフォルトの名無しさん** · 2020/05/31(日) 16:37:00.29

positionによる重複削除だけでなく、key1～3によるソートと重複削除も必要だから
単純に順番にやるだけだと、余計な要素まで消えてしまう。

{{0,0},0,0,0},{{0,0},0,0,1},{{0,1},0,0,0}
みたいなデータがあった場合、単純にpositionによる重複削除を先に実施してしまうと
{{0,0},0,0,0},{{0,1},0,0,0}
みたいになって、そこからkey1～3によるソートと重複削除を行うと
{{0,0},0,0,0}
だけになってしまう。逆順でも同様の問題がある。

**デフォルトの名無しさん** · 2020/05/31(日) 16:47:23.53

その隠し要件どこに書いてるの？もしそれが必要なら横着せずに全部持っておくしかないね

**デフォルトの名無しさん** · 2020/05/31(日) 17:24:57.13

書いてるところはない。すまん。

**122** · 2020/06/01(月) 08:41:58.41

すみません仕様間違えていました
>positionによる重複削除だけでなく、key1～3によるソートと重複削除も必要
ではなく
positionによる重複削除だけでなく、key1～3によるソートも必要
で、key1～3が全部同じでもpositionが異なれば重複削除はしないという仕様が正しかったです
なので
>>148さんが書いて下さったコードを追加して、
if(a->key1 != b->key1) return a->key1 > b->key1;
if(a->key2 != b->key2) return a->key2 > b->key2;
if(a->key3 != b->key3) return a->key3 > b->key3;
return true;//ここをfalseではなくtrueに変更
にしたら、期待どおりの動作をしました
148さん本当にありがとうございます！とても助かりました
147さんもありがとうございます

**デフォルトの名無しさん** · 2020/06/01(月) 08:53:47.81

>>154
> return true;//ここをfalseではなくtrueに変更

明らかに違反してるじゃねーの？
https://cpprefjp.github.io/reference/algorithm.html#strict-weak-ordering
> 「狭義 (strict) 」は非反射関係 (irreflexive relation) (全ての x について !comp(x,x) である）の要求

**デフォルトの名無しさん** · 2020/06/01(月) 09:14:14.95

難しい事はわかりませんが、
動作検証が足りてないかんじでしょうか
もし駄目だったら、諦めて別の方法を考えようと思います

**デフォルトの名無しさん** · 2020/06/01(月) 14:34:32.60

double *array1;
array1 = new double[count]();
と書いた場合の、[count] の後ろの () の意味は何でしょうか?
array1 = new double[count];
と書いた場合との違いは何でしょうか?
()の中に何か書くことは出来ますか?

**はちみつ餃子** ◆8X2XSCHEME · 2020/06/01(月) 15:11:25.75

>>157
内容を初期化するかどうか。
普通のクラスでは括弧がなくてもデフォルトコンストラクタで初期化されるので
空の括弧があってもなくても意味はかわらないけど、
プリミティブな型などでは括弧無しのときは初期化しない。 (つまり内容は不定)
括弧があればゼロで初期化されることが保証される。

C++14 あたりからはこんな感じで初期化することもできるよ。
double *array1 = new double[]{1,2,3};

**デフォルトの名無しさん** · 2020/06/01(月) 15:34:55.48

>>158
をー。有難う。

**デフォルトの名無しさん** · 2020/06/01(月) 18:12:14.25

昔はよく{0}って書いてたというか書けなかったな

**デフォルトの名無しさん** · 2020/06/01(月) 18:13:08.51

×書けなかったな
○しか書けなかった

**デフォルトの名無しさん** · 2020/06/02(火) 10:09:36.47

ヘッダでvector要素の型を先行宣言で済ますことができるのc++20からだっけ？

**デフォルトの名無しさん** · 2020/06/02(火) 11:21:52.93

Working Draft, Standard for Programming Language C++
Document Number: N4713, Date: 2017-11-27
というPDFを読んでいるんだけど、explicitキーワードの事について調べようとしても、
索引(index)には載ってないようだけど、どこに書いてる？

**デフォルトの名無しさん** · 2020/06/02(火) 12:04:07.50

>>163
N4713だよね？　P.1373の2行目は見た？

**デフォルトの名無しさん** · 2020/06/02(火) 12:30:40.82

>>164
Indexのspecifier項目のサブ項目として書いてあったんですね。
でもこれだとexplicitが何なのかを知りたい人にとっては索引としての役割を果たさないです。
いわば国語辞典で知らない単語を調べるのに勝手にカテゴリー分けしてあるようなものです。
それでは辞典の意味をなしません。

**はちみつ餃子** ◆8X2XSCHEME · 2020/06/02(火) 12:34:14.97

>>165
PDF なのだから、ある項目について知りたければ検索すればいいよ。
この分量を印刷して読んでいるわけではないよね？

**デフォルトの名無しさん** · 2020/06/02(火) 12:47:31.50

試しに検索かけたら1102件もヒットしたやんけ！餃子のバカバカ

**デフォルトの名無しさん** · 2020/06/02(火) 13:55:05.15

AdobeRederは使いにくいので、SumatraPDF Reader を使って、まず、
左側のペーンに出てくる目次で index をクリックし、右側のペーンに
巻末の索引を出した後、右側のペーンの中で CTRL+Fを押して、
explicitを検索すると良いよう。

**デフォルトの名無しさん** · 2020/06/02(火) 14:01:01.31

素直にありがとうも言えないのか
これだからC++erは

**デフォルトの名無しさん** · 2020/06/02(火) 14:11:59.21

>>169
ありがとう。

**デフォルトの名無しさん** · 2020/06/02(火) 14:58:48.73

nested-name-specifier:
::
type-name ::
namespace-name ::
decltype-specifier ::
nested-name-specifier identifier ::
nested-name-specifier template opt simple-template-id ::

と有るのですが、このBNFだけで解釈するなら、ns1, ns2,ns3 という namespace が有った場合の
ns1::ns2::ns3::変数名
のような場合、
namespace-nameと認識されるのは ns1だけで、ns2,ns3は、identifierと
識別されるのでしょうか。

**デフォルトの名無しさん** · 2020/06/02(火) 15:00:52.54

ちなみに、
namespace-name:
identifier
namespace-alias
namespace-alias:
identifier
となっており、namespace-nameには、a::bb::cc のようなものは含まれないと思われます。

**はちみつ餃子** ◆8X2XSCHEME · 2020/06/02(火) 15:16:37.04

>>167
索引だけ検索すればええんや。

**デフォルトの名無しさん** · 2020/06/02(火) 16:38:50.35

>>171
の定義だと、
decltype(x)::decltype(y)::decltype(z)
のようなものは使えないということになるようです。
ひょっとすると、C++の仕様書的には、
ns1::ns2::ns3::変数名
も使えないのもかも知れませんがよく分かりません。

**デフォルトの名無しさん** · 2020/06/02(火) 17:48:50.88

>>167
つーかよ、その1102件を末尾から順に見ていくとすぐなんだが
そういう生活の知恵はあんまりないのかい？

**デフォルトの名無しさん** · 2020/06/02(火) 19:53:34.27

よくわかんないけど
ツイッターで誹謗中傷してそう

**デフォルトの名無しさん** · 2020/06/03(水) 10:50:24.30

https://en.cppreference.com/w/cpp/utility/hash
MyHash{}(obj)
std::hash<S>{}(obj)
の{}は、直接リスト初期化のもので、いったんMyHash型やstd::hash<S>型のテンポラリ・オブジェクトを作成してからoperator()関数をobjを実引数にして呼び出しているという理解でよろしいですか？

**デフォルトの名無しさん** · 2020/06/03(水) 11:38:29.12

newしたあとにdeleteしなくてもアプリケーションを終了すればメモリは解放されますか？

**デフォルトの名無しさん** · 2020/06/03(水) 11:58:33.77

OSによる

**デフォルトの名無しさん** · 2020/06/03(水) 12:21:28.49

>>178
Windows/Mac/Linuxではメモリー領域自体は絶対に解放される。
ただし、deleteが呼び出されるわけではないので、原則的にはデストラクタは呼び出されない。

**デフォルトの名無しさん** · 2020/06/03(水) 12:24:39.32

>>175
たまたまの結果を生活の知恵とかw
キーワードと通常言語が被らない日本語万歳だな

**デフォルトの名無しさん** · 2020/06/03(水) 12:28:15.38

>>179
>>180
ありがとうございます！

**はちみつ餃子** ◆8X2XSCHEME · 2020/06/03(水) 13:34:40.56

>>178
プロセスに割り当てられているメモリは現代の普通のデスクトップOS上でならプロセスの終了と共に解放されるのだけど、
オブジェクトは外部のリソースのハンドルを掴んでいることがあるから
それを正常に (デストラクタで) 後始末しないとリソースリークが起こる可能性はある。

POD 型のオブジェクトに限ってならば管理されてるリソースはメモリだけだから
delete しなくてもプロセス終了時におおよそ安全に解放されることは期待していいと思う。

言語仕様での保証はないので C++ スレ的に言えば「やめとけ」ってことになるけど。

**デフォルトの名無しさん** · 2020/06/03(水) 13:47:15.12

メモリと断っている人に余計なこといわなくていいと思うけど
アプリの異常終了であっても解放されてほしいのだろうから
c++の終了処理に依存してもしゃない

**デフォルトの名無しさん** · 2020/06/03(水) 14:24:00.16

>>181
何がたまたまの結果だよ
C++規格票とドラフトは巻末に索引があって
検索でヒットしすぎるときは末尾を見に行けば
そこは索引の中である可能性が大きいというのを
思いつくことができんのかおまえさんの頭では

だから見つけられなくて聞いてきたというなら合点だ

**デフォルトの名無しさん** · 2020/06/03(水) 14:27:27.09

>>178
世の中すべての::operator newの内容を確認してからでないと答えられない質問だ
もっと言うなら将来にわたってタイムマシンで確認してくる必要があるから
調査の工数が発散しちまう

どういう意味かわかるな？

**デフォルトの名無しさん** · 2020/06/03(水) 15:04:54.04

https://qiita.com/SaitoAtsushi/items/8da8ae7f6b84b1d806e4

int main(){
double a = 1.5;
std::string b = "Hello World";
struct foo{};
xyz(a, b, foo());
}

↑のfoo()は一時オブジェクトの作成ですね？

**デフォルトの名無しさん** · 2020/06/03(水) 15:11:30.37

>>185
他人の茶々入れに何言ってんだよw

**デフォルトの名無しさん** · 2020/06/03(水) 15:12:28.27

>>186
やはりこんな奴かwww

**デフォルトの名無しさん** · 2020/06/03(水) 15:35:53.72

めちゃくちゃ難しいです。#100の部分は恐らく「部分特殊化」というものだと思うのですが、
自分がネットで調べた簡単な部分特殊化とはちょっと違っているようです。

https://ja.wikipedia.org/wiki/SFINAE

// どのようなテンプレート引数であってもvoidになる
template <typename... Ts> using void_t = void;

template <typename T, typename = void>
struct has_typedef_foobar : std::false_type {};

// #100
template <typename T>
struct has_typedef_foobar<T, void_t<typename T::foobar>> : std::true_type {}; // T::foobarが存在すれば、こちらが有効になる

struct foo {
using foobar = float;
};

int main() {
std::cout << std::boolalpha;
std::cout << has_typedef_foobar<int>::value << std::endl;
std::cout << has_typedef_foobar<foo>::value << std::endl;
}

**はちみつ餃子** ◆8X2XSCHEME · 2020/06/03(水) 15:40:53.00

>>187
そういうのはコメントで質問すれば？

**デフォルトの名無しさん** · 2020/06/03(水) 15:42:50.44

>>188
他人かどうかは関係ねえぜ
俺が生活の知恵と言ったことを
たまたまの結果と言ったのはおまえさんに他ならない

必然的に思いつくまでの思考過程を示されて
自分の浅はかさを誤魔化すのに他人がどうのと
再び浅はかな言い訳で恥の上塗りするのは
やめたほうがいいんじゃないかな

**デフォルトの名無しさん** · 2020/06/03(水) 15:44:00.45

>>190
部分特殊化とは、
template <typename T1, typename T2>
class A {・・・};　//#1
として、「primary class template」を定義後、もし、
template <typename T>
class A<T, void>{・・・};　//#2
と書いた場合、
A<int,int> なら、#1が、A<int>なら#2が適用されるということでしょうか？

ならば、A<int,void>はどうなるんでしょう？？

**デフォルトの名無しさん** · 2020/06/03(水) 15:46:30.08

>>192
やはりこういうやつかwww

**デフォルトの名無しさん** · 2020/06/03(水) 15:47:08.09

#2
つーか、そんくらいやってみろよ

**デフォルトの名無しさん** · 2020/06/03(水) 15:47:50.07

>>194
やーい、同じことしか言わなくなってやんのｗ

**デフォルトの名無しさん** · 2020/06/03(水) 15:49:26.08

必ずしも索引があるとは限らないのにあることを一般論化してドヤ顔するのと
ヒープ解放するかどうかはすべてを尽くして調べられないからわからたないとドヤ顔してる奴が
同じ人物だってのが困るわぁwwww

**デフォルトの名無しさん** · 2020/06/03(水) 15:49:47.87

>>196
>>197

**デフォルトの名無しさん** · 2020/06/03(水) 15:52:20.19

>>193 >>195
2017年のDraftのPDFには、以下のようにあり、部分特殊化をinstance化する際には、A<int>ではなく、A<int,int*>
と書く例があります：

Partial specialization declarations themselves are not found by name lookup. Rather, when the primary
template name is used, any previously-declared partial specializations of the primary template are also
considered. One consequence is that a using-declaration which refers to a class template does not restrict the
set of partial specializations which may be found through the using-declaration. [Example:
namespace N {
template<class T1, class T2> class A { }; // primary template
}
using N::A; // refers to the primary template
namespace N {
template<class T> class A<T, T*> { }; // partial specialization
}
A<int,int*> a; // uses the partial specialization, which is found through the using-declaration
// which refers to the primary template
—end example ]

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

>>197
C++規格票とドラフトと言ったはずだ
必ずしも索引があるとは限らないとぬかすなら
そうなっていないC++規格票とドラフトを例示しろ
事実無根の誹謗中傷はやめてもらおうか