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の方がだいたい効率いいし