前スレ
C++相談室 part155
https://mevius.5ch.net/test/read.cgi/tech/1616555235/
C++相談室 part156
■ このスレッドは過去ログ倉庫に格納されています
1デフォルトの名無しさん
2021/05/19(水) 10:55:13.24ID:LZZifCH2384デフォルトの名無しさん
2021/06/17(木) 12:43:39.21ID:qVo1n1YK385361
2021/06/17(木) 20:43:21.47ID:3vRllUUS >>365
俺の>361,364の一体どこをどう読めばそんな解釈ができるのか教えてくれよ
俺が否定してるのはこれ↓
>さらに実装は別ファイルにしてヘッダファイル内で#includeする
これは全然「テンプレートでない関数をプロトタイプと実装に分けただけ」じゃないよ
(藁人形論法ってやつか?これ)
俺の>361,364の一体どこをどう読めばそんな解釈ができるのか教えてくれよ
俺が否定してるのはこれ↓
>さらに実装は別ファイルにしてヘッダファイル内で#includeする
これは全然「テンプレートでない関数をプロトタイプと実装に分けただけ」じゃないよ
(藁人形論法ってやつか?これ)
386デフォルトの名無しさん
2021/06/18(金) 00:22:44.11ID:h1swrzIp ポインタはchar * const p = q; とでも書かないとpがconstにならないが
char& c = *q; と書いたらそんなリスクを回避できる
革命的前進
char& c = *q; と書いたらそんなリスクを回避できる
革命的前進
387デフォルトの名無しさん
2021/06/18(金) 00:25:25.92ID:h1swrzIp388デフォルトの名無しさん
2021/06/18(金) 08:34:36.86ID:R4m5mk7U389デフォルトの名無しさん
2021/06/18(金) 09:49:26.06ID:24jxp6EK 実装も書いてあるヘッダファイルって src に置くの? include に置くの?
390デフォルトの名無しさん
2021/06/18(金) 09:57:10.61ID:LzkNSM+F boost のライブラリって、一度入ったら時代遅れになっても取り除かれないんですか?
それとも boost の全貌を把握してる委員会みたいのがあって、ちゃんと選別みたいなことをしてるんですか?
今どきムーブセマンティックに対応してないデカいコンテナクラスを見つけて、そういう疑問を持ちました
それとも boost の全貌を把握してる委員会みたいのがあって、ちゃんと選別みたいなことをしてるんですか?
今どきムーブセマンティックに対応してないデカいコンテナクラスを見つけて、そういう疑問を持ちました
391デフォルトの名無しさん
2021/06/18(金) 10:08:12.10ID:kJSePQf1 >>385
俺は
> 何か所にも同じのを書くのが嫌なら
> テンプレートでない関数をプロトタイプと実装に分けただけで難癖つけるのか?
と言ったんだ
二行目だけ切り取ってきて人のこと藁人形とは藁わせてくれるやつだな
俺は
> 何か所にも同じのを書くのが嫌なら
> テンプレートでない関数をプロトタイプと実装に分けただけで難癖つけるのか?
と言ったんだ
二行目だけ切り取ってきて人のこと藁人形とは藁わせてくれるやつだな
392デフォルトの名無しさん
2021/06/18(金) 10:17:41.61ID:7GC3MWRE393デフォルトの名無しさん
2021/06/18(金) 12:27:14.41ID:7Huy+AZL394デフォルトの名無しさん
2021/06/18(金) 12:47:25.93ID:24jxp6EK include に置いてあるファイルに実装めっちゃ書いてあってももちろん嫌じゃないですか?
395デフォルトの名無しさん
2021/06/18(金) 12:54:04.57ID:kejK9s3z いやも何も、テンプレートは明示的実体化して使えるテンプレートパラメータを制限でもしない限り、ヘッダに実装するしかないんだよ
可読性の問題を気にしてるなら拡張子変えればいい
ヘッダだからって.hや.hppじゃなきゃいけないなんて決まりは無いしinclude(フォルダかグループか知らんけど)直下に置かなきゃいかんわけでもない
そのくらい自分で工夫しろ
可読性の問題を気にしてるなら拡張子変えればいい
ヘッダだからって.hや.hppじゃなきゃいけないなんて決まりは無いしinclude(フォルダかグループか知らんけど)直下に置かなきゃいかんわけでもない
そのくらい自分で工夫しろ
396デフォルトの名無しさん
2021/06/18(金) 13:18:46.12ID:7Huy+AZL .obj で分割するメリットって .exe が巨大化しないためってのもあるけど
テンプレ使うと各 .obj 全部に同じバイナリーが増殖しない?
テンプレ使うと各 .obj 全部に同じバイナリーが増殖しない?
397デフォルトの名無しさん
2021/06/18(金) 13:51:38.82ID:kejK9s3z 多分だけど、今時の環境だと一度他の翻訳単位で実体化されたものは再利用するんじゃなかったかな
398デフォルトの名無しさん
2021/06/18(金) 14:28:08.43ID:ru+U9KL5 リンク前に判るの?
リンク時に同じ名前で同じ引数ならまとめるの?
怖くない?
リンク時に同じ名前で同じ引数ならまとめるの?
怖くない?
399デフォルトの名無しさん
2021/06/18(金) 14:31:16.93ID:kJSePQf1 lexical phase 9だな
400デフォルトの名無しさん
2021/06/18(金) 20:05:16.88ID:Ipfg6SU0401デフォルトの名無しさん
2021/06/18(金) 20:29:54.81ID:kejK9s3z >>400
テンプレートの話やろ?
翻訳単位のどこかに定義(実装)が必ず要るんだぞ
あるソース(翻訳単位)においては不完全型でいいんなら、そこで使うヘッダは前方宣言だけでいい(クラス定義は要らん)って書いたじゃん
クラス定義が要るんならそれは実体化を伴うんだからメンバ関数の実装ヘッダに書いてなきゃリンカエラー出るぞ
テンプレートの話やろ?
翻訳単位のどこかに定義(実装)が必ず要るんだぞ
あるソース(翻訳単位)においては不完全型でいいんなら、そこで使うヘッダは前方宣言だけでいい(クラス定義は要らん)って書いたじゃん
クラス定義が要るんならそれは実体化を伴うんだからメンバ関数の実装ヘッダに書いてなきゃリンカエラー出るぞ
402デフォルトの名無しさん
2021/06/19(土) 06:14:13.07ID:BH9bYKW9403デフォルトの名無しさん
2021/06/19(土) 06:30:02.69ID:o72o+RiW404デフォルトの名無しさん
2021/06/19(土) 07:50:07.39ID:do8R3N0p >>398
YES実際恐ろしい
"a.cpp"に
class Foo { void some_method() const { return 3.0; } };
"b.cpp"に
class Foo { void some_method() const { return 4.5; } };
int main() { Foo x; printf("%f\n", x.some_method()); }
とか書いてリンクして実行したら3.0と表示されることがある
ビルド中に警告とかは無し(於VC++ 2010
というわけでクラス定義は極力ヘッダファイルに書くのが正しいい
二つのFooクラスの定義を同時にincludeしたら確実にビルドエラーになってワカル
どうしても.cppファイル側にクラスの定義を書くときは無名namespaceで囲うべきや
(名前付きnamespaceは名前の重複についてクラス定義ほど検査が厳しくないのであまり解決策にならない
YES実際恐ろしい
"a.cpp"に
class Foo { void some_method() const { return 3.0; } };
"b.cpp"に
class Foo { void some_method() const { return 4.5; } };
int main() { Foo x; printf("%f\n", x.some_method()); }
とか書いてリンクして実行したら3.0と表示されることがある
ビルド中に警告とかは無し(於VC++ 2010
というわけでクラス定義は極力ヘッダファイルに書くのが正しいい
二つのFooクラスの定義を同時にincludeしたら確実にビルドエラーになってワカル
どうしても.cppファイル側にクラスの定義を書くときは無名namespaceで囲うべきや
(名前付きnamespaceは名前の重複についてクラス定義ほど検査が厳しくないのであまり解決策にならない
405デフォルトの名無しさん
2021/06/19(土) 08:09:04.24ID:do8R3N0p 今ジッケソしたがVC++ 2019でも同じだぬ、
"a.cpp"
#include <stdio.h>
class Foo { public: double some_method() const { return 3.0; } };
double get_Foo() { Foo y; return y.some_method(); }
"b.cpp"
#include <stdio.h>
extern double get_Foo();
class Foo { public: double some_method() const { return 4.5; } };
int main() { printf("%f\n", get_Foo()); Foo x; printf("%f\n", x.some_method()); }
実行結果:
3.000000
3.000000
4.5どこ行った;;;
"a.cpp"
#include <stdio.h>
class Foo { public: double some_method() const { return 3.0; } };
double get_Foo() { Foo y; return y.some_method(); }
"b.cpp"
#include <stdio.h>
extern double get_Foo();
class Foo { public: double some_method() const { return 4.5; } };
int main() { printf("%f\n", get_Foo()); Foo x; printf("%f\n", x.some_method()); }
実行結果:
3.000000
3.000000
4.5どこ行った;;;
406デフォルトの名無しさん
2021/06/19(土) 08:55:28.76ID:MSAvpN3e 初歩的なことかもしれませんが質問させてください。
以下の3ファイルがあるとして、src.cpp をコンパイルしようとすると失敗します。
hoge の myclass に対する特殊化を file2.hpp でしてるだけだから OK だと思ったのですが、無理でした。
一方で、file1.hpp の中身を file2.hpp の下の方にコピペしたらコンパイルできます。
この、hoge の特殊化を file2.hpp でしてるという考え方はどう間違ってるのでしょうか。
// file1.hpp
template<class T> void hoge(T);
template<class T> void fuga(T x){
hoge(x);
}
// file2.hpp
#include"file1.hpp"
#include"myclass.hpp"
template<class T, int N> void hoge(myclass<T, N> x){
...
}
// src.cpp
#include"file2.hpp"
int main(){
myclass<int, 10> x;
fuga(x);
}
以下の3ファイルがあるとして、src.cpp をコンパイルしようとすると失敗します。
hoge の myclass に対する特殊化を file2.hpp でしてるだけだから OK だと思ったのですが、無理でした。
一方で、file1.hpp の中身を file2.hpp の下の方にコピペしたらコンパイルできます。
この、hoge の特殊化を file2.hpp でしてるという考え方はどう間違ってるのでしょうか。
// file1.hpp
template<class T> void hoge(T);
template<class T> void fuga(T x){
hoge(x);
}
// file2.hpp
#include"file1.hpp"
#include"myclass.hpp"
template<class T, int N> void hoge(myclass<T, N> x){
...
}
// src.cpp
#include"file2.hpp"
int main(){
myclass<int, 10> x;
fuga(x);
}
407デフォルトの名無しさん
2021/06/19(土) 09:03:50.50ID:N/imZiDN >>406
無理でしたとは?コンパイルエラー?エラーメッセージは?
無理でしたとは?コンパイルエラー?エラーメッセージは?
408デフォルトの名無しさん
2021/06/19(土) 11:19:08.00ID:xVp2TfT/ それ多分特殊化じゃなくてオーバーロード?(違ってたらすまん
hogeの<T>を受け取る奴で実体化した後にmyclass受け取る奴が出てくることになる
myclass版の前方宣言をfile1.hpp(fugaより前)に書くか、fugaの実装をfile2.hppのインクルードより後にすればいける、と思う
hogeの<T>を受け取る奴で実体化した後にmyclass受け取る奴が出てくることになる
myclass版の前方宣言をfile1.hpp(fugaより前)に書くか、fugaの実装をfile2.hppのインクルードより後にすればいける、と思う
409はちみつ餃子 ◆8X2XSCHEME
2021/06/19(土) 14:35:39.56ID:/f53/cxR >>406
それは >>408 が指摘する通りオーバーロードになってる。
オーバーロードの解決方法は複雑なんで私もちょっと自信はないんだけど、
オーバーロードの候補の内で実引数の型と完全に同一 (または実引数の型に cv 修飾したもの) のものがあれば、
それの優先度はテンプレート引数のマッチより高いので曖昧さは生じずに解決できるのが正しい。
そんで >>408 がいう
> hogeの<T>を受け取る奴で実体化した後にmyclass受け取る奴が出てくることになる
というのはたぶん関係ないと思う。
Two phase name lookup のルールが適用されるはずだから fuga 内での hoge の呼出しは
その時点では解決を試みられず、 main 内での fuga の呼出しが有った時に
fuga の実体化が起こってそのときに hoge も実体化されるので
宣言の順序にかかわらずどちらの hoge も候補になるはず。
なので include がどうこうというのとは関係なく
file2.hpp のほうの hoge が問題なく呼び出されるべきで、 >>406 に間違いはないと思う。
手元に入れてないから動作確認できないんだけど古い MSVC は Two phase lookup の実装が
おかしかったとか聞くからそのへんで何か問題が起こってるんじゃないか?
GCC や Clang だとかなり古いバージョンでも特に問題なくコンパイルできてる。
それは >>408 が指摘する通りオーバーロードになってる。
オーバーロードの解決方法は複雑なんで私もちょっと自信はないんだけど、
オーバーロードの候補の内で実引数の型と完全に同一 (または実引数の型に cv 修飾したもの) のものがあれば、
それの優先度はテンプレート引数のマッチより高いので曖昧さは生じずに解決できるのが正しい。
そんで >>408 がいう
> hogeの<T>を受け取る奴で実体化した後にmyclass受け取る奴が出てくることになる
というのはたぶん関係ないと思う。
Two phase name lookup のルールが適用されるはずだから fuga 内での hoge の呼出しは
その時点では解決を試みられず、 main 内での fuga の呼出しが有った時に
fuga の実体化が起こってそのときに hoge も実体化されるので
宣言の順序にかかわらずどちらの hoge も候補になるはず。
なので include がどうこうというのとは関係なく
file2.hpp のほうの hoge が問題なく呼び出されるべきで、 >>406 に間違いはないと思う。
手元に入れてないから動作確認できないんだけど古い MSVC は Two phase lookup の実装が
おかしかったとか聞くからそのへんで何か問題が起こってるんじゃないか?
GCC や Clang だとかなり古いバージョンでも特に問題なくコンパイルできてる。
410デフォルトの名無しさん
2021/06/19(土) 15:55:55.01ID:zDrgWeBe >>405
リンクする順番変えたら 4.5 になったり 3.0 になったりするかもしれないししないかもしれない
リンクする順番変えたら 4.5 になったり 3.0 になったりするかもしれないししないかもしれない
411はちみつ餃子 ◆8X2XSCHEME
2021/06/19(土) 16:47:38.21ID:/f53/cxR >>396
古典的なツールチェインでは同一のものがそれぞれの翻訳単位に作られる。
その上でリンク時に同じものは同じに統合される。
それが嫌だという場合にはテンプレートには明示的実体化という仕組みがあって、
暗黙的な実体化を抑制する仕組み (extern template) とセットで使うことで
テンプレートの実体をひとつの翻訳単位にまとめることは出来る。
当然だが個別に指定するのはめんどいし、
いまどきの処理系は賢いので、あまり使われてないと思う。
古典的なツールチェインでは同一のものがそれぞれの翻訳単位に作られる。
その上でリンク時に同じものは同じに統合される。
それが嫌だという場合にはテンプレートには明示的実体化という仕組みがあって、
暗黙的な実体化を抑制する仕組み (extern template) とセットで使うことで
テンプレートの実体をひとつの翻訳単位にまとめることは出来る。
当然だが個別に指定するのはめんどいし、
いまどきの処理系は賢いので、あまり使われてないと思う。
412デフォルトの名無しさん
2021/06/19(土) 18:01:09.17ID:xVp2TfT/413デフォルトの名無しさん
2021/06/19(土) 18:07:00.49ID:xVp2TfT/414デフォルトの名無しさん
2021/06/19(土) 18:48:12.63ID:xVp2TfT/415デフォルトの名無しさん
2021/06/20(日) 04:37:05.08ID:aJXir9C9 >>407
失礼しました
短縮して書くと
undefined reference to 'void hoge<myclass<int, 10>>(myclass<int, 10>)'
というメッセージが出ます
コンパイラは g++ 11.1.0 です
用語の使い方が正しいか自信がありませんが、
file1.hpp 内で hoge の宣言と hoge を呼ぶためのユーティリティ関数 fuga の実装をしておいて、後から必要に応じて具体的な型について hoge の実装を書ける、という方がすわりが良いのですが、こういう考え方は間違っていますか
fuga は型によらず hoge を呼ぶための関数なのでその実装を後に回したくない、という思いもあります
失礼しました
短縮して書くと
undefined reference to 'void hoge<myclass<int, 10>>(myclass<int, 10>)'
というメッセージが出ます
コンパイラは g++ 11.1.0 です
用語の使い方が正しいか自信がありませんが、
file1.hpp 内で hoge の宣言と hoge を呼ぶためのユーティリティ関数 fuga の実装をしておいて、後から必要に応じて具体的な型について hoge の実装を書ける、という方がすわりが良いのですが、こういう考え方は間違っていますか
fuga は型によらず hoge を呼ぶための関数なのでその実装を後に回したくない、という思いもあります
416デフォルトの名無しさん
2021/06/20(日) 07:43:07.12ID:vxtAtGft C言語の double _Complex と C++ の std::complex<double> って実部虚部の並び方とか一緒ですよね?
ヘッダファイル aaa.h で宣言されてる double _Complex * をとる関数に std::complex<double> * を渡したいのですが、やり方がわかりません。
#define 〇〇 std::complex<double>
#include<aaa.h>
みたいにできると想像してるのですが、合っているでしょうか?
ヘッダファイル aaa.h で宣言されてる double _Complex * をとる関数に std::complex<double> * を渡したいのですが、やり方がわかりません。
#define 〇〇 std::complex<double>
#include<aaa.h>
みたいにできると想像してるのですが、合っているでしょうか?
417デフォルトの名無しさん
2021/06/20(日) 08:46:26.25ID:D2z+V4uq >>416
_Complexはただのdouble型変数なのでstd::complex<double>と互換性なし
_Complexはただのdouble型変数なのでstd::complex<double>と互換性なし
418デフォルトの名無しさん
2021/06/20(日) 08:59:29.33ID:vxtAtGft419デフォルトの名無しさん
2021/06/20(日) 09:04:23.23ID:D2z+V4uq はい
420デフォルトの名無しさん
2021/06/20(日) 09:11:24.89ID:vxtAtGft エ!?
_Complex って std::complex の後にできたんじゃありませんでしたか
なぜ、実部と虚部がメモリ上に連続で置かれているという設計にしなかったのでしょうか……
_Complex って std::complex の後にできたんじゃありませんでしたか
なぜ、実部と虚部がメモリ上に連続で置かれているという設計にしなかったのでしょうか……
421デフォルトの名無しさん
2021/06/20(日) 09:29:15.86ID:yGlwqyqX 作りが似ている、ということと
互換性が保証されている、ということは同じじゃないぞ
保証があるか否かは規格票で確認することで主観が入る余地はない
俺が見た範囲では保証するとは書いてなかった
互換性が保証されている、ということは同じじゃないぞ
保証があるか否かは規格票で確認することで主観が入る余地はない
俺が見た範囲では保証するとは書いてなかった
422デフォルトの名無しさん
2021/06/20(日) 09:29:35.37ID:D2z+V4uq _Comolex変数の実部と虚部をそれぞれcreal(), cimag()で取得してstd::complex<double>変数にセットするしかない
423デフォルトの名無しさん
2021/06/20(日) 09:35:42.79ID:D2z+V4uq _ComplexがC99でstd::complex<T>がC++03
424デフォルトの名無しさん
2021/06/20(日) 09:53:39.49ID:Q4Tfx6ZF425デフォルトの名無しさん
2021/06/20(日) 10:06:25.46ID:vSSpHRy4 std::complex<double> *hoge;
double _Complex *p = (double _Complex *)&hoge[0];
double _Complex *p = (double _Complex *)&hoge[0];
426デフォルトの名無しさん
2021/06/20(日) 10:06:45.88ID:76n7YcAv427デフォルトの名無しさん
2021/06/20(日) 10:22:51.51ID:Q4Tfx6ZF >>408は試してみた?
428デフォルトの名無しさん
2021/06/20(日) 10:33:37.36ID:76n7YcAv429デフォルトの名無しさん
2021/06/20(日) 11:18:41.97ID:Q4Tfx6ZF430デフォルトの名無しさん
2021/06/20(日) 14:29:11.44ID:vxtAtGft431デフォルトの名無しさん
2021/06/20(日) 15:33:53.67ID:yGlwqyqX >>430
その件について
ISO/IEC 9899でC++という文言に言及するか
ISO/IEC 14882でCという文言に言及しているか?
430に書かれている限りでは「似ている」だけだが
それからC++03は2003年にC++98のバグ修正をしただけだから
C99より古いぞ
その件について
ISO/IEC 9899でC++という文言に言及するか
ISO/IEC 14882でCという文言に言及しているか?
430に書かれている限りでは「似ている」だけだが
それからC++03は2003年にC++98のバグ修正をしただけだから
C99より古いぞ
432デフォルトの名無しさん
2021/06/20(日) 15:42:44.16ID:iNrFbyNf 良スレ気体age
433デフォルトの名無しさん
2021/06/20(日) 16:06:01.76ID:vxtAtGft >>431
いや、すみません。逆に「似ている」とはどういう意味でしょうか
例えば std::complex については
http://eel.is/c++draft/complex.numbers
の記述からしてメモリレイアウトは実部虚部と決まってるわけですが、これはソースとは見なせないんでしたっけ?
いや、すみません。逆に「似ている」とはどういう意味でしょうか
例えば std::complex については
http://eel.is/c++draft/complex.numbers
の記述からしてメモリレイアウトは実部虚部と決まってるわけですが、これはソースとは見なせないんでしたっけ?
434デフォルトの名無しさん
2021/06/20(日) 16:11:41.02ID:vxtAtGft435デフォルトの名無しさん
2021/06/20(日) 16:13:04.04ID:vxtAtGft436デフォルトの名無しさん
2021/06/20(日) 17:28:56.50ID:KYXAfitG https://stackoverflow.com/questions/55563217/do-complex-types-in-c99-behave-like-stdcomplex-in-c
ここを読むとメモリレイアウトは同一みたいなんだよね。むりやりキャストしても問題なさそうな気がするけど
ここを読むとメモリレイアウトは同一みたいなんだよね。むりやりキャストしても問題なさそうな気がするけど
437デフォルトの名無しさん
2021/06/20(日) 17:50:06.69ID:CGp4yDz+ 本質的なデータはdouble2つ組だし、順序も普通は実部→虚部だろうし、わざわざパディングや別の変なメンバ混ぜることも考えにくいし
たまたまレイアウト一致する可能性は現実的に高いだろうけど
規格が保証してるかどうかはまた別の話かな
たまたまレイアウト一致する可能性は現実的に高いだろうけど
規格が保証してるかどうかはまた別の話かな
もう C は C89 で止めれ
C++ は C89 だけ受け付け可能であれば、あとは好きに変えてもらってもかまわない
C++ は C89 だけ受け付け可能であれば、あとは好きに変えてもらってもかまわない
439デフォルトの名無しさん
2021/06/20(日) 18:02:34.31ID:D2z+V4uq C/C++の複素数の構造体・クラス間の変換関数を規格として用意してもらうしかない
440デフォルトの名無しさん
2021/06/20(日) 18:23:00.50ID:zi1IwKwq インテルコンパイラの最適化オプションO2とO3で計算結果が変わって、問題を起こしている箇所を見つけようと思ってるんですが、
$ icpc -O3 src.cpp -lhoge
とコンパイルしてる場合、当然 src.cpp に問題があるのであって別でビルドされたライブラリ hoge は無関係と思って良いですよね?
$ icpc -O3 src.cpp -lhoge
とコンパイルしてる場合、当然 src.cpp に問題があるのであって別でビルドされたライブラリ hoge は無関係と思って良いですよね?
441デフォルトの名無しさん
2021/06/20(日) 18:49:17.01ID:zi1IwKwq ゲェーッ -O3 はダメだけど -fast は期待通りに動きました
あまりにも意味不明なのでこれに手を出すのはやめておきます
失礼しました
あまりにも意味不明なのでこれに手を出すのはやめておきます
失礼しました
442デフォルトの名無しさん
2021/06/20(日) 18:57:42.79ID:CGp4yDz+ やべー未定義動作踏んでそう
443デフォルトの名無しさん
2021/06/20(日) 19:09:16.56ID:akuykRB/ あるよなぁ。
FortifyやCodeSonarといった静的解析ツールで検出できたらいいが、どこまでできるんだろう。
FortifyやCodeSonarといった静的解析ツールで検出できたらいいが、どこまでできるんだろう。
444デフォルトの名無しさん
2021/06/20(日) 23:58:43.73ID:iNrFbyNf 複素数とか高々数値メンバが2つとかそれぐらいの話なのに
なんでビットコピーできないと発狂するのかイミフ
なんでビットコピーできないと発狂するのかイミフ
445デフォルトの名無しさん
2021/06/20(日) 23:59:56.38ID:iNrFbyNf 備え付けの手段で実数部と虚数部毎に代入するとか
構築とかしたらええんじゃ
構築とかしたらええんじゃ
446デフォルトの名無しさん
2021/06/21(月) 01:37:57.43ID:czIvoWKn447デフォルトの名無しさん
2021/06/21(月) 01:48:21.79ID:0g7/88j3 まだ「暗に」とか言ってんのこのキチガイ
コイツのせいで不必要に大事になった感はあるよね
コイツのせいで不必要に大事になった感はあるよね
448デフォルトの名無しさん
2021/06/21(月) 01:52:02.85ID:Im5VqdJw >>446
お前のコードで誰にも迷惑かからないなら、もう規格云々はいいから自分の思い込みたいように好きにやれば良いよ
お前のコードで誰にも迷惑かからないなら、もう規格云々はいいから自分の思い込みたいように好きにやれば良いよ
449デフォルトの名無しさん
2021/06/21(月) 09:03:02.99ID:G6bnr+rx T* をとるオーバーロードコンストラクタに const T* x を渡したら、argument do not much だからとエラーになりました。
が、(T*)x を渡したらOKでした。
(T*)をつけてようがつけてなかろうが、x というポインタの const 性は変わりませんよね?
(つまり x を変える挙動があったらプログラムは終了しますよね?)
なぜ引数の型のマッチには (T*) が必要なのでしょうか。
できればキャストしたくないので、こうすれば避けれるとかこう思えば安全というのがあったら教えていただきたいです
が、(T*)x を渡したらOKでした。
(T*)をつけてようがつけてなかろうが、x というポインタの const 性は変わりませんよね?
(つまり x を変える挙動があったらプログラムは終了しますよね?)
なぜ引数の型のマッチには (T*) が必要なのでしょうか。
できればキャストしたくないので、こうすれば避けれるとかこう思えば安全というのがあったら教えていただきたいです
450デフォルトの名無しさん
2021/06/21(月) 09:16:37.40ID:yA/sh2j8 >>449
const性変わるんじゃない?
const T* xなんだから xはの先にある*xは変えてはいけないという指示をコードかいた人は出していて
そのT*をとるコンストラクタはその中で変更する可能性を言ってるんだから
T*にキャストして渡したらコンストラクタの中で変更され可能性が出るよ
const性変わるんじゃない?
const T* xなんだから xはの先にある*xは変えてはいけないという指示をコードかいた人は出していて
そのT*をとるコンストラクタはその中で変更する可能性を言ってるんだから
T*にキャストして渡したらコンストラクタの中で変更され可能性が出るよ
451デフォルトの名無しさん
2021/06/21(月) 09:20:07.55ID:yA/sh2j8 >>449
ああ、だから>なぜ引数の型のマッチには (T*) が必要なのでしょうか。
というと
本来ならconst指定されてて変更してはいけない変数を、変更するけどいいのね?というコンパイラからの確認的なもの
ああ、だから>なぜ引数の型のマッチには (T*) が必要なのでしょうか。
というと
本来ならconst指定されてて変更してはいけない変数を、変更するけどいいのね?というコンパイラからの確認的なもの
452デフォルトの名無しさん
2021/06/21(月) 09:34:04.75ID:G6bnr+rx453デフォルトの名無しさん
2021/06/21(月) 09:36:14.94ID:yU7HyP9W うん、マシだね
特にその問題では
特にその問題では
454デフォルトの名無しさん
2021/06/21(月) 09:49:17.82ID:yA/sh2j8 >>452
Cスタイルキャストは状況に応じてよしなにキャストしてくれるんだが
これがたまに意図しないキャストになる場合があるから、意味を明確にするためにC++のなんちゃらキャストをする
よほどのことがないと変なキャストにはならないとは思うけど一応
Cスタイルキャストは状況に応じてよしなにキャストしてくれるんだが
これがたまに意図しないキャストになる場合があるから、意味を明確にするためにC++のなんちゃらキャストをする
よほどのことがないと変なキャストにはならないとは思うけど一応
455デフォルトの名無しさん
2021/06/21(月) 09:58:36.45ID:yU7HyP9W const_castはint*→char*のように指す先の型は変更できない
だから、そのような変更をしようとしたらエラーになるし
そのような変更を意図していないことも示せる
だから、そのような変更をしようとしたらエラーになるし
そのような変更を意図していないことも示せる
456デフォルトの名無しさん
2021/06/21(月) 10:07:37.10ID:5d1ivHhj >>452
誤解してるようだけど、constってのは基本的にはバグ抑止のためのもので
文法上のルールに過ぎないのよ
実行時にチェックが走ったりするわけではない
で、意図的に破ることも一応出来る。意図的に破るときはそれが見てわかるようにconst_cast使おうね、
Cスタイルのキャストは何でも通しちゃうから避けようねってだけ
誤解してるようだけど、constってのは基本的にはバグ抑止のためのもので
文法上のルールに過ぎないのよ
実行時にチェックが走ったりするわけではない
で、意図的に破ることも一応出来る。意図的に破るときはそれが見てわかるようにconst_cast使おうね、
Cスタイルのキャストは何でも通しちゃうから避けようねってだけ
457デフォルトの名無しさん
2021/06/21(月) 10:07:43.43ID:G6bnr+rx458デフォルトの名無しさん
2021/06/21(月) 11:07:11.82ID:JzAz8iJE >>441
この件諦めきれなくて少し調べてみたら、
-O3 はダメだが
-O3 -static -ipo は正常に動く
ことが分かった
更に、icpcでなくg++なら最適化レベルによらず正常に動くことが分かった
この場合陥っていがちな失敗なんてないですかね
ググってもなかなか体系的な知識に出会えなくて、、、
この件諦めきれなくて少し調べてみたら、
-O3 はダメだが
-O3 -static -ipo は正常に動く
ことが分かった
更に、icpcでなくg++なら最適化レベルによらず正常に動くことが分かった
この場合陥っていがちな失敗なんてないですかね
ググってもなかなか体系的な知識に出会えなくて、、、
459デフォルトの名無しさん
2021/06/21(月) 15:28:43.32ID:os4CEfZ3 諦め切れないくらい気になるなら -S で .asm コード見るべき
460デフォルトの名無しさん
2021/06/21(月) 15:39:13.82ID:s5hePRzy こんなところでC++が中途半端に出来るだけが自慢の専門卒みたいな連中に尋ねるよりも
大学の先生かチューターの院生に尋ねた方がいいだろう
進みたい研究室があればそこに行って訊くと良い
大学の先生かチューターの院生に尋ねた方がいいだろう
進みたい研究室があればそこに行って訊くと良い
461デフォルトの名無しさん
2021/06/21(月) 16:20:08.51ID:mdGWC+9J462デフォルトの名無しさん
2021/06/21(月) 16:27:39.69ID:JzAz8iJE >>459-461
すんませんあざす
asmコードとか未知の領域ですけど勉強になりそうですね
-Wallは一応常につけてて、ワーニング全部潰すようにはしてます
全部のオブジェクトにvolatile付けたり外したりしてみようかな
すんませんあざす
asmコードとか未知の領域ですけど勉強になりそうですね
-Wallは一応常につけてて、ワーニング全部潰すようにはしてます
全部のオブジェクトにvolatile付けたり外したりしてみようかな
463デフォルトの名無しさん
2021/06/21(月) 17:09:40.79ID:os4CEfZ3 適当に弄って適当に動いたように観えて
適当に解決したって言い張るやつは成長しない
適当に解決したって言い張るやつは成長しない
464デフォルトの名無しさん
2021/06/21(月) 17:40:48.54ID:uOMSqfSW 短かったり切り出せるようなコードだったらcompiler explorerとかもあるよ
465はちみつ餃子 ◆8X2XSCHEME
2021/06/21(月) 17:44:51.49ID:5bV+3LP7 const ではないオブジェクトについて const 付きにキャストしている場合には
const を剥がしてから書き込みをすることは OK だが、
元々 const なオブジェクトから const を剥がして書き込むのは未定義で、
実際に最適化で壊れることはある。
ちなみに const なオブジェクトから const を剥がしても読むのみなら OK。
LLVM 9.0 で const 領域への書き込みを最適化で削除するする方針になってる。
https://releases.llvm.org/9.0.0/docs/ReleaseNotes.html#noteworthy-optimizations
const を剥がしてから書き込みをすることは OK だが、
元々 const なオブジェクトから const を剥がして書き込むのは未定義で、
実際に最適化で壊れることはある。
ちなみに const なオブジェクトから const を剥がしても読むのみなら OK。
LLVM 9.0 で const 領域への書き込みを最適化で削除するする方針になってる。
https://releases.llvm.org/9.0.0/docs/ReleaseNotes.html#noteworthy-optimizations
466デフォルトの名無しさん
2021/06/21(月) 20:26:42.47ID:yU7HyP9W467デフォルトの名無しさん
2021/06/21(月) 23:06:59.47ID:0VSE6TcG インテルコンパイラ様ともなれば
プラグマで関数単位で最適化レベルを変えられるんじゃないの
動くパティーンが分かっているのなら二分探索で問題の箇所を見つけるこ
とができうる
プラグマで関数単位で最適化レベルを変えられるんじゃないの
動くパティーンが分かっているのなら二分探索で問題の箇所を見つけるこ
とができうる
468デフォルトの名無しさん
2021/06/22(火) 00:52:42.42ID:JdLoAtTW C++の参照で渡した構造体を
中で別の構造体に実態コピーしたい時ってどうしたらいいんでしょう
void CTest::SetData(Kouzoutai &kozo)
{
if(kozo.judge == 1){
_KozoTmp = kozo;
}else{
//色々する
}
}
とすると、_KozoTmpってkozoと同じアドレスになっちゃって、
_KozoTmp.judge = 10とかしちゃうともとのkozo.judgeも変わっちゃいますよね
ポインタだったら
_KozoTmp = *kozo;
とかやればいいんでしょうけど
参照で渡した時ってどう書けばいいんでしょう
中で別の構造体に実態コピーしたい時ってどうしたらいいんでしょう
void CTest::SetData(Kouzoutai &kozo)
{
if(kozo.judge == 1){
_KozoTmp = kozo;
}else{
//色々する
}
}
とすると、_KozoTmpってkozoと同じアドレスになっちゃって、
_KozoTmp.judge = 10とかしちゃうともとのkozo.judgeも変わっちゃいますよね
ポインタだったら
_KozoTmp = *kozo;
とかやればいいんでしょうけど
参照で渡した時ってどう書けばいいんでしょう
469デフォルトの名無しさん
2021/06/22(火) 01:00:09.80ID:cH2Us/Cy それで普通にコピーされるだろ
なんでされないと思うの?
なんでされないと思うの?
470デフォルトの名無しさん
2021/06/22(火) 01:05:17.48ID:JdLoAtTW 参照にした時って、ポインタみたいにアドレスコピーにならないの?
471デフォルトの名無しさん
2021/06/22(火) 01:15:12.93ID:cH2Us/Cy あのさ、_KozoTmpは何だ?Kouzoutai型だろ?Kouzoutai*でもKouzoutai&でもないだろ?
なんでアドレスなんか持てると思うの?
なんでアドレスなんか持てると思うの?
472デフォルトの名無しさん
2021/06/22(火) 01:21:47.48ID:JdLoAtTW あ、そうなんだ
ありがとうございます
kozoを参照で渡したから
_KotoTmpも無理矢理アドレスになるかと思ってました
ありがとうございます
kozoを参照で渡したから
_KotoTmpも無理矢理アドレスになるかと思ってました
473はちみつ餃子 ◆8X2XSCHEME
2021/06/22(火) 01:22:19.02ID:Ikkk/uWu474デフォルトの名無しさん
2021/06/22(火) 10:52:00.08ID:2AbGnqy7 copy コンストラクタ と move コンストラクタ ってみんなちゃんと書いてる?
デフォにまかせてる?
デフォにまかせてる?
475デフォルトの名無しさん
2021/06/22(火) 11:08:19.79ID:jiZrgPwV ものによる
ポインタやハンドルがあれば書いたり=delete;したり
実体だけなら大抵デフォ
ポインタやハンドルがあれば書いたり=delete;したり
実体だけなら大抵デフォ
476デフォルトの名無しさん
2021/06/22(火) 11:38:53.75ID:PhquAAua =defaultが多い
477デフォルトの名無しさん
2021/06/22(火) 11:45:11.84ID:hpNVAZMN コピーコンストラクタがあったらムーブ自動生成されないんでしょ?
478デフォルトの名無しさん
2021/06/22(火) 13:58:37.72ID:jiZrgPwV 俺、タイプ量の少なさは美しさの1つだと思ってるから
=default;は本当に必要なときだけ書く
=default;は本当に必要なときだけ書く
479デフォルトの名無しさん
2021/06/22(火) 14:51:15.52ID:4bX8g7Cj doxygenでドキュメント作成してるけどソースが見づらくてコメント無い方がいいのではと思ってしまう
480デフォルトの名無しさん
2021/06/22(火) 15:03:38.14ID:zJk9T2bQ >>479
関数ヘッダーだけでええんちゃうん?
関数ヘッダーだけでええんちゃうん?
481デフォルトの名無しさん
2021/06/22(火) 16:50:07.47ID:T8maLWCY >>480
テンプレート系のライブラリなので
テンプレート系のライブラリなので
もう C は C89 で止めれ
C++ は C89 だけ受け付け可能であれば、あとは好きに変えてもらってもかまわない
C++ は C89 だけ受け付け可能であれば、あとは好きに変えてもらってもかまわない
>>473
反対せざるを得ない意見です…‥
反対せざるを得ない意見です…‥
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 小野田紀美・経済安保担当相「何か気に入らないことがあればすぐに経済的威圧をする国への依存はリスク」 ★2 [Hitzeschleier★]
- 【中国局長】両国関係に「深刻な影響」 首相発言の撤回要求 [蚤の市★]
- 【インバウンド】中国人観光客の日本での消費額は年間約2兆円超…中国政府は公務員の出張取り消し [1ゲットロボ★]
- 外務省局長は無言で厳しい表情…日中の高官協議終了か 高市首相“台湾”発言で中国が強硬対応 発言撤回求めたか…★3 [BFU★]
- 【維新】吉村知事「中国人観光客だけに頼るビジネスモデル変えていかないといけない」「高市総理の発言は撤回する必要はない」 [Hitzeschleier★]
- 【社会】40代以上のおじさん・おばさんは叩いてオッケーという風潮はなぜ加速したのか [七波羅探題★]
- 自分に自信がない女の子、陽キャ美容室で80cmのエクステを付けた結果wwwwwwwwwwwwwwwwwww [329329848]
- 【高市速報】日本人の3割「中国への武力行使に踏み切る必要がある」ANN世論調査 [931948549]
- 外務省局長、よくわからないまま帰国へ [834922174]
- 【実況】博衣こよりのえちえち歌枠🧪
- 【朗報】外務省局長、中国側の要求を断固拒否。「高市さんの答弁は日本政府の立場を変えるものではないし、撤回しない」 [519511584]
- 農林水産省「春頃にはコメ価格落ち着くのでは」新米の取引価格、過去最高を更新。 [256556981]
