前スレ
C++相談室 part155
https://mevius.5ch.net/test/read.cgi/tech/1616555235/
探検
C++相談室 part156
■ このスレッドは過去ログ倉庫に格納されています
1デフォルトの名無しさん
2021/05/19(水) 10:55:13.24ID:LZZifCH2397デフォルトの名無しさん
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
反対せざるを得ない意見です…‥
反対せざるを得ない意見です…‥
>>474
コピコンはちゃんと書きますが、ムーブ?何?それ美味しいの?
コピコンはちゃんと書きますが、ムーブ?何?それ美味しいの?
485デフォルトの名無しさん
2021/06/22(火) 20:42:23.52ID:InXfs1nZ486デフォルトの名無しさん
2021/06/22(火) 21:50:49.86ID:7Ks2gqqv487デフォルトの名無しさん
2021/06/22(火) 22:22:06.65ID:4bX8g7Cj >>484
美味しいとき”も”あるよ
美味しいとき”も”あるよ
488デフォルトの名無しさん
2021/06/22(火) 22:45:00.81ID:d6n1ZZoB >>482-484
ロートルはちょっと黙ってて
ロートルはちょっと黙ってて
489はちみつ餃子 ◆8X2XSCHEME
2021/06/23(水) 04:03:41.13ID:pZ1DtdbH >>482
C89 ってことは暗黙の関数宣言とかのウンコ機能も含めて言ってるわけ?
C89 ってことは暗黙の関数宣言とかのウンコ機能も含めて言ってるわけ?
490デフォルトの名無しさん
2021/06/23(水) 04:16:44.74ID:Vmwdc4hc >>485
最近デカくて古いコンテナのコピーに悩まされてるから、アドレスを託すみたいな形でムーブしたい
最近デカくて古いコンテナのコピーに悩まされてるから、アドレスを託すみたいな形でムーブしたい
491デフォルトの名無しさん
2021/06/23(水) 06:19:12.12ID:rIfoeFmJ コピー回避なんていくらでもどうにでもなるのに
どんなヘボなんだ
どんなヘボなんだ
492デフォルトの名無しさん
2021/06/23(水) 08:31:09.62ID:nCHirhrB いや、だからそれがアドレスを渡すとか参照で渡すってことでしょ
>>489
ウンコ機能はC99の方が多い、という認識です
ウンコ機能はC99の方が多い、という認識です
>>487
具体的に
具体的に
496デフォルトの名無しさん
2021/06/24(木) 21:10:55.26ID:3QBHDC7A■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 小野田紀美・経済安保担当相「何か気に入らないことがあればすぐに経済的威圧をする国への依存はリスク」 ★2 [Hitzeschleier★]
- 【中国局長】両国関係に「深刻な影響」 首相発言の撤回要求 [蚤の市★]
- 【インバウンド】中国人観光客の日本での消費額は年間約2兆円超…中国政府は公務員の出張取り消し [1ゲットロボ★]
- 外務省局長は無言で厳しい表情…日中の高官協議終了か 高市首相“台湾”発言で中国が強硬対応 発言撤回求めたか…★3 [BFU★]
- 【維新】吉村知事「中国人観光客だけに頼るビジネスモデル変えていかないといけない」「高市総理の発言は撤回する必要はない」 [Hitzeschleier★]
- 【STARTO ENTERTAINMENT】timelesz篠塚大輝『大きな古時計』替え歌一発ギャグ「今はもう動かない おじいさんにトドメ~♪」が波紋 [Ailuropoda melanoleuca★]
- 【朗報】外務省局長、中国側の要求を断固拒否。「高市さんの答弁は日本政府の立場を変えるものではないし、撤回しない」 [519511584]
- 【高市速報】日本人の3割「中国への武力行使に踏み切る必要がある」ANN世論調査 [931948549]
- 外務省局長、よくわからないまま帰国へ [834922174]
- 【実況】博衣こよりのえちえち歌枠🧪
- 中国外務省「日中関係の悪化は高市早苗首相が原因」と名指しで強く非難。キタ━(゚∀゚)━! [153490809]
- たまにaカップの女いるけど何を楽しめばいいの?
