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/ (日本語)
テンプレここまで
C++相談室 part151
■ このスレッドは過去ログ倉庫に格納されています
2020/05/14(木) 11:53:25.59ID:ZPCfyTux
125蟻人間 ◆T6xkBnTXz7B0
2020/05/31(日) 08:47:50.96ID:KExNe49d std::setの整列はlessでstd::unordered_setは整列せずでequalだったと思う。
たぶん近藤してる。
たぶん近藤してる。
126蟻人間 ◆T6xkBnTXz7B0
2020/05/31(日) 08:55:43.87ID:KExNe49d スマポ使わずにdelete使うのは古いよ。
127デフォルトの名無しさん
2020/05/31(日) 09:07:29.52ID:iKoRaPmL >>125
すみません、もう少し詳しくお教え頂けないでしょうか
初心者で見よう見まねでやっているので…
整列はできているのですが、除外がうまく動かないかんじです
スマートポインタは、難しそうなので私にはまだ早いと思っています
(でも、そのうち取り組みたい)
すみません、もう少し詳しくお教え頂けないでしょうか
初心者で見よう見まねでやっているので…
整列はできているのですが、除外がうまく動かないかんじです
スマートポインタは、難しそうなので私にはまだ早いと思っています
(でも、そのうち取り組みたい)
128蟻人間 ◆T6xkBnTXz7B0
2020/05/31(日) 09:13:01.00ID:KExNe49d std::setとstd::unordered_setの規格票を参照。テンプレート引数の最初は値。その次の引数は比較になっている。比較だけど、その比較はequalかlessなのかが問題だ。
lessというのは、不等号で書くと<。
equalというのは、==という意味。
lessというのは、不等号で書くと<。
equalというのは、==という意味。
129デフォルトの名無しさん
2020/05/31(日) 09:41:05.74ID:TtXgrlrn >>127
最初は見よう見まねなのは仕方ないけど、関数の仕様を解説してるページを探して仕様を確認する癖をつけるといいぞ。
最初は見よう見まねなのは仕方ないけど、関数の仕様を解説してるページを探して仕様を確認する癖をつけるといいぞ。
130デフォルトの名無しさん
2020/05/31(日) 09:48:26.67ID:zTMn2qwy まず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}となってしまう。
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}となってしまう。
131デフォルトの名無しさん
2020/05/31(日) 10:48:27.53ID:zTMn2qwy もう少しざっくりとした説明。
setは、ソートした後に、等しい要素が隣同士に並ぶことを前提としている。
これにより、隣り合った要素とだけ重複判定することで効率化している。
しかし、問題の比較関数でソートしても、等しい要素が隣同士に並ぶとは限らない。
{{0,1},0,0,6}, {{0,3},0,0,4}, {{0,1},0,0,2}
のような要素列を、この比較関数でソートしても、順序は変わらない。
先頭と末尾が等しいはずなのに隣り合っていないため、重複判定が行われない。
setは、ソートした後に、等しい要素が隣同士に並ぶことを前提としている。
これにより、隣り合った要素とだけ重複判定することで効率化している。
しかし、問題の比較関数でソートしても、等しい要素が隣同士に並ぶとは限らない。
{{0,1},0,0,6}, {{0,3},0,0,4}, {{0,1},0,0,2}
のような要素列を、この比較関数でソートしても、順序は変わらない。
先頭と末尾が等しいはずなのに隣り合っていないため、重複判定が行われない。
132デフォルトの名無しさん
2020/05/31(日) 11:51:01.53ID:iKoRaPmL 難しいですね…
つまり
//positionの値が同じ要素はsetに登録しない
bool same = (a->position == b->position);
if( same ) return false;
のところをどう書き直したら動くのでしょうか？
どうか教えて下さい
m(_ _)mこのとおり！
つまり
//positionの値が同じ要素はsetに登録しない
bool same = (a->position == b->position);
if( same ) return false;
のところをどう書き直したら動くのでしょうか？
どうか教えて下さい
m(_ _)mこのとおり！
133デフォルトの名無しさん
2020/05/31(日) 11:53:09.13ID:27DcnLkI 弱順序とか区分化とかあの説明だけで理解できたら天才だろ
だから群論・集合論の教科書を数冊読むとC++がスラスラと理解できるようになる
だから群論・集合論の教科書を数冊読むとC++がスラスラと理解できるようになる
134デフォルトの名無しさん
2020/05/31(日) 11:53:23.87ID:J1D5Z9UC 自分でやる気がない人に教える気にはならないなぁ。
135デフォルトの名無しさん
2020/05/31(日) 12:02:25.63ID:6nfzU/vT 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回呼ばれるので）、
「==」も手動で実装したらモアベターではある
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回呼ばれるので）、
「==」も手動で実装したらモアベターではある
136デフォルトの名無しさん
2020/05/31(日) 12:12:06.34ID:zTMn2qwy137デフォルトの名無しさん
2020/05/31(日) 12:25:20.78ID:HQ8vNkm/ そもそもCNodeにoperator<実装してないのになんでコンパイル通ってんのか謎
隠してるコードがあるなら全部出せ
隠してるコードがあるなら全部出せ
138デフォルトの名無しさん
2020/05/31(日) 12:45:05.74ID:J1D5Z9UC >>137
> typedef set<CNode*, CNode> NODE_POINTER_SET;
> typedef set<CNode*, CNode> NODE_POINTER_SET;
139蟻人間 ◆T6xkBnTXz7B0
2020/05/31(日) 12:51:20.01ID:KExNe49d 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;
//ここまでヒント。
}
{
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;
//ここまでヒント。
}
140デフォルトの名無しさん
2020/05/31(日) 12:58:31.73ID:6nfzU/vT >//positionの値が同じ要素はsetに登録しない
>bool same = (a->position == b->position);
>if( same ) return false;
仕様誤解してたｻｰｾﾝgrz、、
>bool same = (a->position == b->position);
>if( same ) return false;
仕様誤解してたｻｰｾﾝgrz、、
141デフォルトの名無しさん
2020/05/31(日) 13:17:45.26ID:iKoRaPmL 皆様ありがとうございます
>>135
なるほど、<が2回呼ばれるのですか(いろいろ試していて2回ずつカウントされているのを不思議に思ってました)
ご紹介頂いたコードを追加しましたが、rhsがポインタでないせいか効果がありませんでした
ポインタを、そのメンバ変数基準で整列させたいのですが、
bool operator<(const CNode* lhs, const CNode* rhs)const
で定義しようとするとコンパイルエラーC2804
binary 'operator <' に引数が多すぎます。
になってしまいます
==演算子も同様に駄目でした
<や==演算子オーバーロードでポインタを整列させる事は無理なのでしょうか？
>>140
の内容からすると、無理なのかな？
(自分で試してみて無理そうだと思ったので、仕方なく()オーバーロードで定義を書いていました)
>>139
ヒント見ても理解できないこの無能な鈍物めにお答えを賜りたく
どうかお願いします!
>>135
なるほど、<が2回呼ばれるのですか(いろいろ試していて2回ずつカウントされているのを不思議に思ってました)
ご紹介頂いたコードを追加しましたが、rhsがポインタでないせいか効果がありませんでした
ポインタを、そのメンバ変数基準で整列させたいのですが、
bool operator<(const CNode* lhs, const CNode* rhs)const
で定義しようとするとコンパイルエラーC2804
binary 'operator <' に引数が多すぎます。
になってしまいます
==演算子も同様に駄目でした
<や==演算子オーバーロードでポインタを整列させる事は無理なのでしょうか？
>>140
の内容からすると、無理なのかな？
(自分で試してみて無理そうだと思ったので、仕方なく()オーバーロードで定義を書いていました)
>>139
ヒント見ても理解できないこの無能な鈍物めにお答えを賜りたく
どうかお願いします!
142デフォルトの名無しさん
2020/05/31(日) 13:48:52.93ID:J1D5Z9UC >>122
> 整列基準とするint key1,key2,key3の値にかかわらず、POINT positionが重複する値だったら除外したい
これ要求に間違いが無いなら、独立した比較基準（整列用と重複判定用）が２つあることになるので、
単一の比較関数（およびset）で解決しようとしてるのが間違いかな。
> 整列基準とするint key1,key2,key3の値にかかわらず、POINT positionが重複する値だったら除外したい
これ要求に間違いが無いなら、独立した比較基準（整列用と重複判定用）が２つあることになるので、
単一の比較関数（およびset）で解決しようとしてるのが間違いかな。
143デフォルトの名無しさん
2020/05/31(日) 13:58:58.98ID:27DcnLkI △ ヒント
○ これ以上は分かりませんでしたがMOTTAINAIので貼ります
○ これ以上は分かりませんでしたがMOTTAINAIので貼ります
144デフォルトの名無しさん
2020/05/31(日) 14:31:43.92ID:iKoRaPmL 簡単に出来そうだと思っていた事が、結構な難問だったようですね…
自分の力では無理そうだという事がわかっただけでも収穫でした
皆様ありがとうございました
自分の力では無理そうだという事がわかっただけでも収穫でした
皆様ありがとうございました
145デフォルトの名無しさん
2020/05/31(日) 14:33:26.01ID:6nfzU/vT 回答を示す、
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が残る。）
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が残る。）
146デフォルトの名無しさん
2020/05/31(日) 14:40:09.33ID:J1D5Z9UC147デフォルトの名無しさん
2020/05/31(日) 15:24:55.05ID:6nfzU/vT >>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の存在意義とか想像したらﾜｶﾙ
> > 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の存在意義とか想像したらﾜｶﾙ
148デフォルトの名無しさん
2020/05/31(日) 15:28:53.38ID:xFqcIaF1 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へ登録
}
}
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へ登録
}
}
149デフォルトの名無しさん
2020/05/31(日) 15:41:55.39ID:J1D5Z9UC150デフォルトの名無しさん
2020/05/31(日) 16:08:01.03ID:HQ8vNkm/ setの重複排除条件をコントロールしたいだけなら
std::(unordered_)setのPredテンプレート引数で制御すればいいだけの話じゃないの？
からかって遊んでるだけ？
std::(unordered_)setのPredテンプレート引数で制御すればいいだけの話じゃないの？
からかって遊んでるだけ？
151デフォルトの名無しさん
2020/05/31(日) 16:37:00.29ID:zTMn2qwy 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}
だけになってしまう。逆順でも同様の問題がある。
単純に順番にやるだけだと、余計な要素まで消えてしまう。
{{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}
だけになってしまう。逆順でも同様の問題がある。
152デフォルトの名無しさん
2020/05/31(日) 16:47:23.53ID:HQ8vNkm/ その隠し要件どこに書いてるの？もしそれが必要なら横着せずに全部持っておくしかないね
153デフォルトの名無しさん
2020/05/31(日) 17:24:57.13ID:zTMn2qwy 書いてるところはない。すまん。
154122
2020/06/01(月) 08:41:58.41ID:VTbJvOd1 すみません仕様間違えていました
>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さんもありがとうございます
>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さんもありがとうございます
155デフォルトの名無しさん
2020/06/01(月) 08:53:47.81ID:idPskxLG >>154
> return true;//ここをfalseではなくtrueに変更
明らかに違反してるじゃねーの？
https://cpprefjp.github.io/reference/algorithm.html#strict-weak-ordering
> 「狭義 (strict) 」 は非反射関係 (irreflexive relation) (全ての x について !comp(x,x) である）の要求
> return true;//ここをfalseではなくtrueに変更
明らかに違反してるじゃねーの？
https://cpprefjp.github.io/reference/algorithm.html#strict-weak-ordering
> 「狭義 (strict) 」 は非反射関係 (irreflexive relation) (全ての x について !comp(x,x) である）の要求
156デフォルトの名無しさん
2020/06/01(月) 09:14:14.95ID:VTbJvOd1 難しい事はわかりませんが、
動作検証が足りてないかんじでしょうか
もし駄目だったら、諦めて別の方法を考えようと思います
動作検証が足りてないかんじでしょうか
もし駄目だったら、諦めて別の方法を考えようと思います
157デフォルトの名無しさん
2020/06/01(月) 14:34:32.60ID:o7IiynR8 double *array1;
array1 = new double[count]();
と書いた場合の、[count] の後ろの () の意味は何でしょうか?
array1 = new double[count];
と書いた場合との違いは何でしょうか?
()の中に何か書くことは出来ますか?
array1 = new double[count]();
と書いた場合の、[count] の後ろの () の意味は何でしょうか?
array1 = new double[count];
と書いた場合との違いは何でしょうか?
()の中に何か書くことは出来ますか?
158はちみつ餃子 ◆8X2XSCHEME
2020/06/01(月) 15:11:25.75ID:0yVOdbpz >>157
内容を初期化するかどうか。
普通のクラスでは括弧がなくてもデフォルトコンストラクタで初期化されるので
空の括弧があってもなくても意味はかわらないけど、
プリミティブな型などでは括弧無しのときは初期化しない。 (つまり内容は不定)
括弧があればゼロで初期化されることが保証される。
C++14 あたりからはこんな感じで初期化することもできるよ。
double *array1 = new double[]{1,2,3};
内容を初期化するかどうか。
普通のクラスでは括弧がなくてもデフォルトコンストラクタで初期化されるので
空の括弧があってもなくても意味はかわらないけど、
プリミティブな型などでは括弧無しのときは初期化しない。 (つまり内容は不定)
括弧があればゼロで初期化されることが保証される。
C++14 あたりからはこんな感じで初期化することもできるよ。
double *array1 = new double[]{1,2,3};
159デフォルトの名無しさん
2020/06/01(月) 15:34:55.48ID:o7IiynR8 >>158
をー。有難う。
をー。有難う。
160デフォルトの名無しさん
2020/06/01(月) 18:12:14.25ID:8BAaT/q7 昔はよく{0}って書いてたというか書けなかったな
161デフォルトの名無しさん
2020/06/01(月) 18:13:08.51ID:8BAaT/q7 ×書けなかったな
○しか書けなかった
○しか書けなかった
162デフォルトの名無しさん
2020/06/02(火) 10:09:36.47ID:d/ekt+66 ヘッダでvector要素の型を先行宣言で済ますことができるのc++20からだっけ？
163デフォルトの名無しさん
2020/06/02(火) 11:21:52.93ID:7ZgjbGq0 Working Draft, Standard for Programming Language C++
Document Number: N4713, Date: 2017-11-27
というPDFを読んでいるんだけど、explicitキーワードの事について調べようとしても、
索引(index)には載ってないようだけど、どこに書いてる？
Document Number: N4713, Date: 2017-11-27
というPDFを読んでいるんだけど、explicitキーワードの事について調べようとしても、
索引(index)には載ってないようだけど、どこに書いてる？
164デフォルトの名無しさん
2020/06/02(火) 12:04:07.50ID:eZHppilZ >>163
N4713だよね？ P.1373の2行目は見た？
N4713だよね？ P.1373の2行目は見た？
165デフォルトの名無しさん
2020/06/02(火) 12:30:40.82ID:7ZgjbGq0 >>164
Indexのspecifier項目のサブ項目として書いてあったんですね。
でもこれだとexplicitが何なのかを知りたい人にとっては索引としての役割を果たさないです。
いわば国語辞典で知らない単語を調べるのに勝手にカテゴリー分けしてあるようなものです。
それでは辞典の意味をなしません。
Indexのspecifier項目のサブ項目として書いてあったんですね。
でもこれだとexplicitが何なのかを知りたい人にとっては索引としての役割を果たさないです。
いわば国語辞典で知らない単語を調べるのに勝手にカテゴリー分けしてあるようなものです。
それでは辞典の意味をなしません。
166はちみつ餃子 ◆8X2XSCHEME
2020/06/02(火) 12:34:14.97ID:N0F889O8167デフォルトの名無しさん
2020/06/02(火) 12:47:31.50ID:67GQ09ou 試しに検索かけたら1102件もヒットしたやんけ！餃子のバカバカ
168デフォルトの名無しさん
2020/06/02(火) 13:55:05.15ID:7ZgjbGq0 AdobeRederは使いにくいので、SumatraPDF Reader を使って、まず、
左側のペーンに出てくる目次で index をクリックし、右側のペーンに
巻末の索引を出した後、右側のペーンの中で CTRL+Fを押して、
explicitを検索すると良いよう。
左側のペーンに出てくる目次で index をクリックし、右側のペーンに
巻末の索引を出した後、右側のペーンの中で CTRL+Fを押して、
explicitを検索すると良いよう。
169デフォルトの名無しさん
2020/06/02(火) 14:01:01.31ID:Ja+74ng6 素直にありがとうも言えないのか
これだからC++erは
これだからC++erは
170デフォルトの名無しさん
2020/06/02(火) 14:11:59.21ID:7ZgjbGq0 >>169
ありがとう。
ありがとう。
171デフォルトの名無しさん
2020/06/02(火) 14:58:48.73ID:7ZgjbGq0 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と
識別されるのでしょうか。
::
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と
識別されるのでしょうか。
172デフォルトの名無しさん
2020/06/02(火) 15:00:52.54ID:7ZgjbGq0 ちなみに、
namespace-name:
identifier
namespace-alias
namespace-alias:
identifier
となっており、namespace-nameには、a::bb::cc のようなものは含まれないと思われます。
namespace-name:
identifier
namespace-alias
namespace-alias:
identifier
となっており、namespace-nameには、a::bb::cc のようなものは含まれないと思われます。
174デフォルトの名無しさん
2020/06/02(火) 16:38:50.35ID:7ZgjbGq0 >>171
の定義だと、
decltype(x)::decltype(y)::decltype(z)
のようなものは使えないということになるようです。
ひょっとすると、C++の仕様書的には、
ns1::ns2::ns3::変数名
も使えないのもかも知れませんがよく分かりません。
の定義だと、
decltype(x)::decltype(y)::decltype(z)
のようなものは使えないということになるようです。
ひょっとすると、C++の仕様書的には、
ns1::ns2::ns3::変数名
も使えないのもかも知れませんがよく分かりません。
175デフォルトの名無しさん
2020/06/02(火) 17:48:50.88ID:eZHppilZ176デフォルトの名無しさん
2020/06/02(火) 19:53:34.27ID:Ja+74ng6 よくわかんないけど
ツイッターで誹謗中傷してそう
ツイッターで誹謗中傷してそう
177デフォルトの名無しさん
2020/06/03(水) 10:50:24.30ID:TdRUmxlv https://en.cppreference.com/w/cpp/utility/hash
MyHash{}(obj)
std::hash<S>{}(obj)
の{}は、直接リスト初期化のもので、いったんMyHash型やstd::hash<S>型のテンポラリ・オブジェクトを作成してからoperator()関数をobjを実引数にして呼び出しているという理解でよろしいですか？
MyHash{}(obj)
std::hash<S>{}(obj)
の{}は、直接リスト初期化のもので、いったんMyHash型やstd::hash<S>型のテンポラリ・オブジェクトを作成してからoperator()関数をobjを実引数にして呼び出しているという理解でよろしいですか？
178デフォルトの名無しさん
2020/06/03(水) 11:38:29.12ID:Nfbl5e81 newしたあとにdeleteしなくてもアプリケーションを終了すればメモリは解放されますか？
179デフォルトの名無しさん
2020/06/03(水) 11:58:33.77ID:VI2pYiE8 OSによる
180デフォルトの名無しさん
2020/06/03(水) 12:21:28.49ID:TdRUmxlv181デフォルトの名無しさん
2020/06/03(水) 12:24:39.32ID:DAHZjgl3182デフォルトの名無しさん
2020/06/03(水) 12:28:15.38ID:Nfbl5e81183はちみつ餃子 ◆8X2XSCHEME
2020/06/03(水) 13:34:40.56ID:3vvIkHpN >>178
プロセスに割り当てられているメモリは現代の普通のデスクトップOS上でならプロセスの終了と共に解放されるのだけど、
オブジェクトは外部のリソースのハンドルを掴んでいることがあるから
それを正常に (デストラクタで) 後始末しないとリソースリークが起こる可能性はある。
POD 型のオブジェクトに限ってならば管理されてるリソースはメモリだけだから
delete しなくてもプロセス終了時におおよそ安全に解放されることは期待していいと思う。
言語仕様での保証はないので C++ スレ的に言えば「やめとけ」ってことになるけど。
プロセスに割り当てられているメモリは現代の普通のデスクトップOS上でならプロセスの終了と共に解放されるのだけど、
オブジェクトは外部のリソースのハンドルを掴んでいることがあるから
それを正常に (デストラクタで) 後始末しないとリソースリークが起こる可能性はある。
POD 型のオブジェクトに限ってならば管理されてるリソースはメモリだけだから
delete しなくてもプロセス終了時におおよそ安全に解放されることは期待していいと思う。
言語仕様での保証はないので C++ スレ的に言えば「やめとけ」ってことになるけど。
184デフォルトの名無しさん
2020/06/03(水) 13:47:15.12ID:gQ0mUfsI メモリと断っている人に余計なこといわなくていいと思うけど
アプリの異常終了であっても解放されてほしいのだろうから
c++の終了処理に依存してもしゃない
アプリの異常終了であっても解放されてほしいのだろうから
c++の終了処理に依存してもしゃない
185デフォルトの名無しさん
2020/06/03(水) 14:24:00.16ID:UHE1JPNz >>181
何がたまたまの結果だよ
C++規格票とドラフトは巻末に索引があって
検索でヒットしすぎるときは末尾を見に行けば
そこは索引の中である可能性が大きいというのを
思いつくことができんのかおまえさんの頭では
だから見つけられなくて聞いてきたというなら合点だ
何がたまたまの結果だよ
C++規格票とドラフトは巻末に索引があって
検索でヒットしすぎるときは末尾を見に行けば
そこは索引の中である可能性が大きいというのを
思いつくことができんのかおまえさんの頭では
だから見つけられなくて聞いてきたというなら合点だ
186デフォルトの名無しさん
2020/06/03(水) 14:27:27.09ID:UHE1JPNz >>178
世の中すべての::operator newの内容を確認してからでないと答えられない質問だ
もっと言うなら将来にわたってタイムマシンで確認してくる必要があるから
調査の工数が発散しちまう
どういう意味かわかるな？
世の中すべての::operator newの内容を確認してからでないと答えられない質問だ
もっと言うなら将来にわたってタイムマシンで確認してくる必要があるから
調査の工数が発散しちまう
どういう意味かわかるな？
187デフォルトの名無しさん
2020/06/03(水) 15:04:54.04ID:TdRUmxlv https://qiita.com/SaitoAtsushi/items/8da8ae7f6b84b1d806e4
int main(){
double a = 1.5;
std::string b = "Hello World";
struct foo{};
xyz(a, b, foo());
}
↑のfoo()は一時オブジェクトの作成ですね？
int main(){
double a = 1.5;
std::string b = "Hello World";
struct foo{};
xyz(a, b, foo());
}
↑のfoo()は一時オブジェクトの作成ですね？
188デフォルトの名無しさん
2020/06/03(水) 15:11:30.37ID:DAHZjgl3 >>185
他人の茶々入れに何言ってんだよw
他人の茶々入れに何言ってんだよw
189デフォルトの名無しさん
2020/06/03(水) 15:12:28.27ID:DAHZjgl3 >>186
やはりこんな奴かwww
やはりこんな奴かwww
190デフォルトの名無しさん
2020/06/03(水) 15:35:53.72ID:TdRUmxlv めちゃくちゃ難しいです。#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;
}
自分がネットで調べた簡単な部分特殊化とはちょっと違っているようです。
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;
}
192デフォルトの名無しさん
2020/06/03(水) 15:42:50.44ID:UHE1JPNz >>188
他人かどうかは関係ねえぜ
俺が生活の知恵と言ったことを
たまたまの結果と言ったのはおまえさんに他ならない
必然的に思いつくまでの思考過程を示されて
自分の浅はかさを誤魔化すのに他人がどうのと
再び浅はかな言い訳で恥の上塗りするのは
やめたほうがいいんじゃないかな
他人かどうかは関係ねえぜ
俺が生活の知恵と言ったことを
たまたまの結果と言ったのはおまえさんに他ならない
必然的に思いつくまでの思考過程を示されて
自分の浅はかさを誤魔化すのに他人がどうのと
再び浅はかな言い訳で恥の上塗りするのは
やめたほうがいいんじゃないかな
193デフォルトの名無しさん
2020/06/03(水) 15:44:00.45ID:TdRUmxlv >>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>はどうなるんでしょう？？
部分特殊化とは、
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>はどうなるんでしょう？？
194デフォルトの名無しさん
2020/06/03(水) 15:46:30.08ID:DAHZjgl3 >>192
やはりこういうやつかwww
やはりこういうやつかwww
195デフォルトの名無しさん
2020/06/03(水) 15:47:08.09ID:UHE1JPNz #2
つーか、そんくらいやってみろよ
つーか、そんくらいやってみろよ
196デフォルトの名無しさん
2020/06/03(水) 15:47:50.07ID:UHE1JPNz >>194
やーい、同じことしか言わなくなってやんのｗ
やーい、同じことしか言わなくなってやんのｗ
197デフォルトの名無しさん
2020/06/03(水) 15:49:26.08ID:DAHZjgl3 必ずしも索引があるとは限らないのにあることを一般論化してドヤ顔するのと
ヒープ解放するかどうかはすべてを尽くして調べられないからわからたないとドヤ顔してる奴が
同じ人物だってのが困るわぁwwww
ヒープ解放するかどうかはすべてを尽くして調べられないからわからたないとドヤ顔してる奴が
同じ人物だってのが困るわぁwwww
198デフォルトの名無しさん
2020/06/03(水) 15:49:47.87ID:DAHZjgl3199デフォルトの名無しさん
2020/06/03(水) 15:52:20.19ID:TdRUmxlv >>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 ]
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 ]
200デフォルトの名無しさん
2020/06/03(水) 16:02:27.31ID:UHE1JPNz201はちみつ餃子 ◆8X2XSCHEME
2020/06/03(水) 16:06:58.23ID:3vvIkHpN >>193
ほんとに >>195 の言う通りだわ。
やってみてから思った通りにならないのはなんでだろうっていうならまだしも
「どうなるんでしょうか」なんてやってみりゃわかることだろ。
まあ C++ には未定義とか処理系定義とかもあるから
実際の挙動を以て言語仕様を理解しようとするのは危険でもあるんだが……。
特殊化ってのはまさに「特殊な場合」を定義するもんだよ。
その場合には A<T1, T2> のテンプレートの特殊な場合として A<T, void> の場合を定義してることになる。
特殊な場合である A<T, void> は特殊でない場合の A<T1, T2> と同じ形式である必要がある。
>>199
基本的な理念が理解できていないのに仕様を読んでも理解できねーよ。
(まあたまには仕様からとっかかる超人もいないことはないが。)
お前は Rust スレでも見当はずれの根拠をコピペしては意味不明なことを言ってるが、
普通に入門書を読んでくれ。
ほんとに >>195 の言う通りだわ。
やってみてから思った通りにならないのはなんでだろうっていうならまだしも
「どうなるんでしょうか」なんてやってみりゃわかることだろ。
まあ C++ には未定義とか処理系定義とかもあるから
実際の挙動を以て言語仕様を理解しようとするのは危険でもあるんだが……。
特殊化ってのはまさに「特殊な場合」を定義するもんだよ。
その場合には A<T1, T2> のテンプレートの特殊な場合として A<T, void> の場合を定義してることになる。
特殊な場合である A<T, void> は特殊でない場合の A<T1, T2> と同じ形式である必要がある。
>>199
基本的な理念が理解できていないのに仕様を読んでも理解できねーよ。
(まあたまには仕様からとっかかる超人もいないことはないが。)
お前は Rust スレでも見当はずれの根拠をコピペしては意味不明なことを言ってるが、
普通に入門書を読んでくれ。
202デフォルトの名無しさん
2020/06/03(水) 16:19:58.53ID:H6kZ1pQy イキイキしてんなｗｗｗ
203デフォルトの名無しさん
2020/06/03(水) 16:24:47.80ID:DAHZjgl3 >>200
予想通りで乙w
予想通りで乙w
204デフォルトの名無しさん
2020/06/03(水) 16:25:39.34ID:TdRUmxlv >>201
結局、答えられないんですね。
結局、答えられないんですね。
205デフォルトの名無しさん
2020/06/03(水) 16:29:44.75ID:gQ0mUfsI そこで煽ってどうするw
206デフォルトの名無しさん
2020/06/03(水) 16:50:20.37ID:UHE1JPNz 質問しといて無礼な口の利き方をするやつにはお仕置きだ
一切何も教えない
一切何も教えない
207デフォルトの名無しさん
2020/06/03(水) 16:50:59.31ID:UHE1JPNz208デフォルトの名無しさん
2020/06/03(水) 17:02:24.74ID:TdRUmxlv >>206
答えられないだけ。
答えられないだけ。
209デフォルトの名無しさん
2020/06/03(水) 17:03:53.52ID:DAHZjgl3 >>207
都合よくげんていつけたりなくしたりwwww
都合よくげんていつけたりなくしたりwwww
210デフォルトの名無しさん
2020/06/03(水) 17:04:33.42ID:DAHZjgl3211晒しage
2020/06/03(水) 17:11:10.63ID:UHE1JPNz 181 返信：デフォルトの名無しさん[sage] 投稿日：2020/06/03(水) 12:24:39.32 ID:DAHZjgl3 [1/9]
>>175
たまたまの結果を生活の知恵とかw
キーワードと通常言語が被らない日本語万歳だな
>>175
たまたまの結果を生活の知恵とかw
キーワードと通常言語が被らない日本語万歳だな
212sage
2020/06/03(水) 17:55:41.24ID:B/1kftuN getCFile()ってよくわからないので教えてください。
コードに次のような部分がありました。 getFile()では置き換えられない？
/// \brief Get C-file.
/// \return Extracted stdio's @c FILE structure.
std::FILE * getCFile();
file_.getCFile()
コードに次のような部分がありました。 getFile()では置き換えられない？
/// \brief Get C-file.
/// \return Extracted stdio's @c FILE structure.
std::FILE * getCFile();
file_.getCFile()
213デフォルトの名無しさん
2020/06/03(水) 18:46:53.95ID:TdRUmxlv >>193
推定だけど、
A<T, void>
の場合、2番目の仮引数がvoid型になっているので、そこには実引数を
指定しないということになっているらしい。
その結果、A<1> みたいに1つだけの引数でtemplateをinstance化できる
様になっている気がする。
まだ仕様書で確認したわけではない。
推定だけど、
A<T, void>
の場合、2番目の仮引数がvoid型になっているので、そこには実引数を
指定しないということになっているらしい。
その結果、A<1> みたいに1つだけの引数でtemplateをinstance化できる
様になっている気がする。
まだ仕様書で確認したわけではない。
214デフォルトの名無しさん
2020/06/03(水) 18:53:53.18ID:HVfXpWIv いや、省略した場合のデフォルトを指定しない限り、そんなことにはならない
template <typename T1,typename T2=void>
class A;
みたいにする
まあ、primaryの定義と同時にも書けるし、そっちが普通
template <typename T1,typename T2=void>
class A;
みたいにする
まあ、primaryの定義と同時にも書けるし、そっちが普通
216デフォルトの名無しさん
2020/06/03(水) 19:07:42.01ID:TdRUmxlv [驚くべきパターンマッチング]
MS製のSTLのforward()のソースを呼んでいて驚いた。
forward()の引数のremove_reference_t<_Ty>&& _Argの部分は、とても複雑なパターンマッチングをしているらしい。
_Tyがまだ決まって無い段階で、remove_reference<_Ty> というテンプレートclass を展開してtype メンバを調べ、それと実引数から右辺値参照部分を除いた部分を一致させるような複雑な処理をした結果、_Ty を逆算して決定しているらしい。
template <class _Ty>
struct remove_reference { // YA, #1, primary class template。"
using type = _Ty; // const も保存されているハズ。
using _Const_thru_ref_type = const _Ty;
};
・・・ remove_reference<> に対する部分特殊化があるが、省略 ・・・
template <class _Ty>
using remove_reference_t = typename remove_reference<_Ty>::type;
template <class _Ty>
_NODISCARD constexpr _Ty&& forward(remove_reference_t<_Ty>&& _Arg) noexcept { // forward an rvalue as an rvalue
static_assert(!is_lvalue_reference_v<_Ty>, "bad forward call");
return static_cast<_Ty&&>(_Arg);
}
MS製のSTLのforward()のソースを呼んでいて驚いた。
forward()の引数のremove_reference_t<_Ty>&& _Argの部分は、とても複雑なパターンマッチングをしているらしい。
_Tyがまだ決まって無い段階で、remove_reference<_Ty> というテンプレートclass を展開してtype メンバを調べ、それと実引数から右辺値参照部分を除いた部分を一致させるような複雑な処理をした結果、_Ty を逆算して決定しているらしい。
template <class _Ty>
struct remove_reference { // YA, #1, primary class template。"
using type = _Ty; // const も保存されているハズ。
using _Const_thru_ref_type = const _Ty;
};
・・・ remove_reference<> に対する部分特殊化があるが、省略 ・・・
template <class _Ty>
using remove_reference_t = typename remove_reference<_Ty>::type;
template <class _Ty>
_NODISCARD constexpr _Ty&& forward(remove_reference_t<_Ty>&& _Arg) noexcept { // forward an rvalue as an rvalue
static_assert(!is_lvalue_reference_v<_Ty>, "bad forward call");
return static_cast<_Ty&&>(_Arg);
}
217デフォルトの名無しさん
2020/06/03(水) 19:08:51.14ID:TdRUmxlv >>215
仮に心の中にあってもあなたは全く言語化して無いないので駄目。
仮に心の中にあってもあなたは全く言語化して無いないので駄目。
218デフォルトの名無しさん
2020/06/03(水) 19:10:26.76ID:TdRUmxlv219デフォルトの名無しさん
2020/06/03(水) 19:14:50.42ID:TdRUmxlv >>218
そういえば仕様書に、templateをinstance化する際は、既に deducedされたパラメータは A<B>のBの中には書かないで良い例が書いてあった。
たとえば、
template <typename T1, typename T2>T1 f(T2 a);
のような場合、
f<T1>(100);
みたいにすれば、T2はint型だと分かるので、f<T1,int>(100)と書かなくて良いというもの。
それかな？
そういえば仕様書に、templateをinstance化する際は、既に deducedされたパラメータは A<B>のBの中には書かないで良い例が書いてあった。
たとえば、
template <typename T1, typename T2>T1 f(T2 a);
のような場合、
f<T1>(100);
みたいにすれば、T2はint型だと分かるので、f<T1,int>(100)と書かなくて良いというもの。
それかな？
220デフォルトの名無しさん
2020/06/03(水) 19:17:57.22ID:TdRUmxlv そうではなく、>>190 の場合は、primary template として、
template <typename T, typename = void>
struct has_typedef_foobar : std::false_type {};
と、第二パラメータにデフォルト引数が書いてあるからか。
template <typename T, typename = void>
struct has_typedef_foobar : std::false_type {};
と、第二パラメータにデフォルト引数が書いてあるからか。
221デフォルトの名無しさん
2020/06/03(水) 19:20:51.92ID:HVfXpWIv >>218
190ってまさにtypename=voidしている例じゃね
190ってまさにtypename=voidしている例じゃね
222デフォルトの名無しさん
2020/06/03(水) 19:27:23.10ID:TdRUmxlv223デフォルトの名無しさん
2020/06/03(水) 19:48:21.19ID:XMrfvYH7 TdRUmxlvは自分の日記帳に書いてくんないかな
224デフォルトの名無しさん
2020/06/03(水) 20:15:01.97ID:TdRUmxlv 失礼しました。
でも断っておくと、俺ははちみつに対してそんなに悪口は言ってない。
スレの流れで混乱していたようだが、言っていたのは別人だから悪しからず。
でも断っておくと、俺ははちみつに対してそんなに悪口は言ってない。
スレの流れで混乱していたようだが、言っていたのは別人だから悪しからず。
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 空自機レーダー照射、音声データ公開 中国 ★3 [蚤の市★]
- 日銀「歴史的」利上げ迫る 35年ぶりの年間上げ幅、0.5%の壁を突破 [蚤の市★] [蚤の市★]
- 津波警報の発表中にグーグル検索、AIが「すべて解除」と誤情報 [蚤の市★]
- 【YouTuber】バイク事故で入院のゆたぼん、振込で「お見舞金」募る [muffin★]
- 【テレビ】家入レオ 高校時代は親友なし 唯一の仲間が現在は超人気女優 「ずっとお互いに本を読んで」 [湛然★]
- 低所得層のマクドナルド離れが深刻に 広がる「ファストフード格差」の真相 米国 [少考さん★]
- 中国父さん、ジャップに事前通知した音声公開😄騒いでたのはジャップだけだった😭 [929293504]
- 【実況】博衣こよりのえちえち朝活🧪
- 寒すぎてハゲたんやが
- 【高市悲報】日本人のTikTokアカウントが続々収益化剥奪中！！乞食どもざまああああああああｗｗｗｗｗｗｗ [394917828]
- ケツマンコが痒いんだが
- 大谷翔平「ﾎﾞｰﾅｽ?5000万でしたが」G集合。全員のﾎﾞｰﾅｽ足し合わせてコイツ倒せ