C++相談室 part164

■ このスレッドは過去ログ倉庫に格納されています
2023/05/09(火) 11:50:52.06ID:EYc2I7oW0
!extend:checked:vvvvv:1000:512
!extend:checked:vvvvv:1000:512
↑同じ内容を3行貼り付けること

次スレは>>980が立てること
無理なら細かく安価指定

※前スレ
C++相談室 part163
https://mevius.5ch.net/test/read.cgi/tech/1672409791/
VIPQ2_EXTDAT: checked:vvvvv:1000:512:: EXT was configured
2023/06/16(金) 12:26:43.83ID:B2wRJ7jC0
>>215
まぁ、細かい単位のメモリだったら、実際に開放されているかどうかなんて、ほとんど動作に影響しないとも言えるしね
(未初期化変数の不具合が発覚しづらい、くらいか)
とりあえずshrink_to_fitを呼んでおいて、細かいことは気にしないのが一番かもしれないw
2023/06/16(金) 12:46:08.57ID:H6XPX5qB0
「STLコンテナ以外にも」という文言が読めてない文盲さんたちがvectorの話ばっかしててワロ
2023/06/16(金) 15:41:25.79ID:KX+TErXo0
「STLコンテナ以外にも」はSTLコンテナも含むということ
STLコンテナの話をしても何もおかしくない
2023/06/16(金) 15:43:23.81ID:ly+Q1cW8a
いつものことだが
ほんの最初の数レスで終わってるのに
どうでも良い脱線ほど盛り上がってgdgdレスでスレが延びる
2023/06/16(金) 15:46:42.75ID:/DJegtL/a
ほんそれ
回答終了してんのにちんこかゆい
222デフォルトの名無しさん (スフッ Sd33-pDI4)
垢版 |
2023/06/16(金) 15:49:19.69ID:YNpYq5+wd
>>182 良く読むと
>STL コンテナ以外にも、大きいメモリが割り当てられてるオブジェクトを使用後に破棄したいというケースがよくあります。
>最も簡単なやり方は関数とか局所的なスコープとして切り出すことかと思いますが

いやいやそもそも「関数とか局所的なスコープ(つまりautoだろ?stackだろ?)で大きいメモリ確保しようなんて思うな」って話なんだよな
2023/06/16(金) 16:09:01.10ID:qgM8i0iT0
ローカルなvectorを置けばヒープ確保されるので「つまりautoだろ?stackだろ?」は
また何か誤解してる人が来たなとしか。
2023/06/16(金) 16:49:22.15ID:ybGonaVE0
reset要らないとか言ってる奴らは結局何なん
2023/06/16(金) 19:32:47.80ID:yx9ngvFiM
>>224
結論は>211にまとめといた。
resetは要らん。
2023/06/17(土) 08:56:51.34ID:3MnK6eEg0
>>223
「STLコンテナ以外にも」という文言が読めてない文盲さんたちがvectorの話ばっかしててωωω
2023/06/17(土) 10:36:04.78ID:koF9X0k9M
>>226
「大きいメモリが割り当てられてるオブジェクトを使用後に破棄したい」なら
>185か>187。
>187はunique ptrの置き場所と解放タイミングによって解放の仕方が違って、自動変数にして関数やスコープから抜けるタイミングで解放するなら手動操作不要、vectorなどのヒープに置くとかスコープの終わり前に解放したいとかならreset()とかvectorの要素削除とかで手動解放。

いずれにしても、自動変数に巨大インスタンスを考え無しに置くのは悪手で、そのオブジェクトがスタックに巨大データを置かない(ヒープ等に置く)ことを確認してからにしたほうがいい。
2023/06/17(土) 15:30:36.02ID:S+64vkUJ0
>>216
vectorのcapacityはそのvectorが氏ぬかcapacity縮小アクションが生じない限りvector固有に占有されるから
capacity(のうちsize()を超える分)と OS側からみた空きメモリはまた別でケテーイ……
一方malloc()がOSからゲットしたメモリをOSに返さずにいるのはOS側からみた空きメモリではないにしろ
同一プロセス内の他のオブジェクトの構築に使えるのだから空きメモリのうち
これすらもOSに返したいということならこの流れの中で現状答えがでていないキモヌ
2023/06/17(土) 15:31:34.82ID:S+64vkUJ0
まあしいて言えばプロセスを一旦exitして再立ち上げ?
2023/06/17(土) 15:45:09.56ID:S+64vkUJ0
普通に作ったら(コードで明示的に直接OSのAPIでメモリを分捕って解放とかしない限りは
プロセスのprivate bytesはプロセスが氏ぬまで増えることはあっても減ることは無いという印象、
2023/06/17(土) 16:27:35.20ID:5e+acAEX0
>>225
スマンまじで理解できないのだけど、なぜvectorに限った話をしてるの?
2023/06/17(土) 19:22:00.09ID:mYwWSuEFM
>>231
巨大インスタンスは>227
2023/06/17(土) 19:29:36.10ID:HtrmHz3i0
回答者のレベル低いな~~~
こんだけダラダラ続けて、結局質問者>>182>>190で早々に結論づけてることをリピートしてるだけw
2023/06/17(土) 19:54:50.95ID:9hSxsWrs0
アロケータ気に入らないなら自作くらいしろよポンコツ
なにもかもSTLに頼りやがってそれでPGやってるつもりになるなよ
2023/06/17(土) 20:19:47.36ID:S+64vkUJ0
人類には早すぎた話題また……
2023/06/17(土) 23:14:07.63ID:H9lc23A5M
次世代の人は便利に使いこなしてるかより簡素になった仕組みを使うのだろう
2023/06/18(日) 03:00:55.26ID:GIMFAM+a0
>>231
コンテナの種類を問わない一般的な方法なんてものはないからじゃないですかね
2023/06/18(日) 21:04:45.70ID:VwYqKwPk0
以下のコードでaccumulateのとこでコンパイルエラーが起こります
何故か分かります?
#include <iostream>
#include <array>
#include <deque>
#include <exception>
#include <numeric>
using Vector = std::array <double, 3>;
using Vector_Container = std::deque <Vector>;
Vector &operator += (Vector &lhs, const Vector &rhs) {
const auto size {lhs.size ()};
if (size != rhs.size ()) throw std::runtime_error ("Sizes are different.");
for (size_t i {0}; i < size; ++ i) lhs [i] += rhs [i];
return lhs;
}
Vector operator + (const Vector &lhs, const Vector &rhs) {
Vector result {lhs};
result += rhs;
return result;
}
int main () {
Vector v0 {0, 1, 2}, v1 {10, 11, 12};
Vector_Container c0 {v0, v1};
accumulate (c0.begin (), c0.end (), Vector {}); // コンパイルエラー
return 0;
}
2023/06/18(日) 21:45:44.90ID:UCXMUPHB0
>>238 エラーメッセージ見ればたぶん分かる。
2023/06/18(日) 21:48:16.43ID:VwYqKwPk0
>>239
レス有難うございます
まず訂正
-accumulate
+std::accumulate
全部は貼れないですけど大事そうなところ

In file included from /usr/include/c++/12/numeric:62,
from test1.cpp:18:
/usr/include/c++/12/bits/stl_numeric.h: In instantiation of ‘constexpr _Tp std::accumulate(_InputIterator, _InputIterator, _Tp) [with _InputIterator = _Deque_iterator<array<double, 3>, array<double, 3>&, array<double, 3>*>; _Tp = array<double, 3>]’:
test1.cpp:22:14: required from here
/usr/include/c++/12/bits/stl_numeric.h:141:46: error: no match for ‘operator+’ (operand types are ‘std::remove_reference<std::array<double, 3>&>::type’ {aka ‘std::array<double, 3>’} and ‘std::array<double, 3>’)
141 | __init = _GLIBCXX_MOVE_IF_20(__init) + *__first;
2023/06/18(日) 23:15:51.41ID:w3/xAOT+0
ADLでoperator+が見つからないからかな?
struct Vector : std::array <double, 3> {};
みたいに定義したらいけるのでは
2023/06/18(日) 23:20:13.62ID:VwYqKwPk0
>>241
>struct Vector : std::array <double, 3> {};
>みたいに定義したらいけるのでは
通りますね
どういうこと?
243デフォルトの名無しさん (ワッチョイ 32fb-9xvA)
垢版 |
2023/06/18(日) 23:24:52.33ID:bX3uBTIT0
std::accumulateが14行目で定義したoperator+を見つけれてないのが原因っぽい。

std::accumulateの第4引数に
[](const Vector& v1, const Vector& v2){ return v1+v2;}
を追加してやるとコンパイルは通る。

14行目のoperator+をstd名前空間に入れてやれば動くにゃ動くけど色々マズいので(調査する分にはいいけど)最終的な解答にはならないかな
244デフォルトの名無しさん (ワッチョイ 32fb-9xvA)
垢版 |
2023/06/18(日) 23:29:04.68ID:bX3uBTIT0
>>242
たぶんC++コンパイラはoperator+の候補を検索するときに
Vector( = std::array<double, 3>)と同じ名前空間にあるものしか検索しない

Vectorのクラス定義そのものがグローバル名前空間にあるなら14行目のoperator+を見つけられるけど、
今はVectorの正体はstd::array<...>なのでstd名前空間しか検索しないんだと思う
2023/06/18(日) 23:39:19.50ID:VwYqKwPk0
>>243,244
なるほど解説頂きまして有難うございます
グローバルスコープはどっからでも見えて良さそうなものの
何でグローバルスコープの関数を探さないですかね?
246デフォルトの名無しさん (ワッチョイ a901-UvLK)
垢版 |
2023/06/18(日) 23:48:03.44ID:EGGkT3O00
独自のメンバ変数を持たないのなら継承してしまうのも手ではある(ただしコンストラクタやarrayを受け取るキャスト用コンストラクタとか書く必要が出ると思うけど)
ただ、そもそもカスタマイズしたり自分の用途に本当に使いやすいものを作りたいなら、ちゃんと自分で全部書いた方がいいと思うよ
2023/06/19(月) 00:42:02.49ID:2lgIrH6A0
>>245
std::accumlateの定義内からだと、その下の方(ユーザーコード)で定義されてるoperator+は見えてないので、グローバル名前空間の探索では見つからない
2023/06/19(月) 00:52:39.28ID:Q4g6N6uX0
>>247
std::accumlateが定義されているnumericをincludeする前に
以下のようにグローバルスコープにプロトタイプを置いても
同じようにoperator+が見えてないとエラーが出ます
using Vector = std::array <double, 3>;
Vector operator + (const Vector &lhs, const Vector &rhs);
#include <numeric>
249デフォルトの名無しさん (ワッチョイ a901-UvLK)
垢版 |
2023/06/19(月) 03:40:46.00ID:RYn53SnN0
accumlateは関数テンプレートだから実体化される時点でoperator+が見えてりゃOKのはず
言われてる通りADLで対象外なのが問題
2023/06/19(月) 05:38:23.58ID:JAsvvATP0
>>237
(スマート)ポインタで持って要らなくなったら明示的にリリースする方法はあらゆるコンテナに対して使えるよね?笑
2023/06/19(月) 08:48:03.43ID:KLBRX38t0
>>250
>>223
2023/06/19(月) 09:20:16.57ID:Q4g6N6uX0
>>249
有難うございます
グローバルスコープに定義した関数が見えないのは
どうしてなんでしょうかね?
それでは全然グローバルじゃないような気がするのですが
規格を決めるときに何か意図があったのでしょうかね?
253デフォルトの名無しさん (ワッチョイ a901-UvLK)
垢版 |
2023/06/19(月) 10:39:37.41ID:RYn53SnN0
そもそもが名前空間内(よその演算子と混ざらないように)にある演算子オーバーロードを、外部からでも引数が合えば使えるように(std::operator+(a, b)とか書かないでいいように)するためのルールらしいから
外部の演算子見に行くのは目的に合わんのじゃね

std名前空間内のarrayに外部から勝手に動作を追加しようとしてるんだから、あまりよろしくないやり方しようとしてると考えた方がいい
(だから>>246のように書いた、継承したら一応arrayではなくちゃんとVectorクラスに対する演算子だから通る)
2023/06/19(月) 11:53:54.08ID:Q4g6N6uX0
>>253
>std名前空間内のarrayに外部から勝手に動作を追加しようとしてるんだから、
>あまりよろしくないやり方しようとしてると考えた方がいい
なるほど
たぶんこういう考え方なんでしょうね
2023/06/19(月) 12:20:34.90ID:4PINPeBN0
つまりvector<int>を使いなさいということ
2023/06/19(月) 12:21:25.69ID:wGtx/iKL0
>>251
安価ミス
2023/06/20(火) 00:04:57.81ID:YSi65ASja
実引数依存の名前探索、Argument-Dependent Lookup (ADL)は、
Koenig lookup とも言う

「Cプログラミングの落とし穴」の著者、
Koenigが、C++ に入れる事を推奨した

ADLを知っているなら、かなりのプロと言える
2023/06/20(火) 00:18:46.72ID:vGfe0Eju0
勉強になります
2023/06/20(火) 02:12:24.83ID:1vctBLGTa
演算子のオーバーロードなら、フレンド関数とか?

非メンバの演算子オーバーロード | Programming Place Plus C++編【言語解説】 第35章

https://programming-place.net/ppp/contents/cpp/language/035.html
2023/06/20(火) 10:05:39.77ID:IIzrqfbq0
状況を簡略化するとこう。

namespace ns {
struct foo {};
template <class T>
void bar(const T&) {
T() + T();
} };

ns::foo operator+(const ns::foo& x, const ns::foo& y) { return ns::foo(); }

int main() { bar(ns::foo()); }

ADL は「通常の探索に加えて」関連する名前空間も探索対象にするルールなのでグローバル名前空間も探索対象になるが、通常の探索では後ろで宣言 (定義) されているものは見つけることができない。 この場合はエラーとして検出されるけど、可視な宣言と実際の定義の集合に食い違いは未定義という解釈でいいと思う。 (ちょっと自信はない……。)
だから順序を変えれば通る。

namespace ns {
struct foo{};
};

ns::foo operator+(const ns::foo& x, const ns::foo& y) { return ns::foo(); }

namespace ns {
template <class T>
void bar(const T&) {
T() + T();
} };

int main() { bar(ns::foo()); }

当然ながら std の (というかそれに限らず既存のライブラリの) 宣言の順序をどうこうするわけにもいかないので無理にカスタムしようとするのは筋が悪いということになる。
2023/06/20(火) 10:53:08.18ID:vGfe0Eju0
>>260
>だから順序を変えれば通る。
最近手元のg++を更新しまして10.2.1 -> 12.2.0になったんですが
前者のケースが通らなくなりまして疑問に思っていたところでした
10.2.1は寛容で両方とも通るけどC++的には後者のみ通るのが正しい?
2023/06/20(火) 11:41:30.21ID:IIzrqfbq0
>>261
前者はたぶん未定義かつ診断不要な状況なのでエラーを検出せずに通すのも正しい挙動で
プログラマがそういう状況を作ってしまうのが仕様に反する (というか結果が保証されない) という解釈になると思う。
2023/06/20(火) 13:36:04.44ID:vGfe0Eju0
なるほどー
有難うございます
264デフォルトの名無しさん (JP 0H91-FhUT)
垢版 |
2023/06/20(火) 21:39:35.82ID:Pk8V/jejH
template<typename Callback>
void func(Callback cb)
{
//cb(1); // A
//cb(1,2);// B
}

void f1(int){}
void f2(int,int){}

int main(){func(f1);}

AとBをコンパイル時に呼び分けたいんですけど
どのように記述すればよいか教えていただけませんか?
2023/06/20(火) 22:18:37.18ID:Cuq1USIJ0
is_invocableでおk
2023/06/20(火) 22:21:49.81ID:IIzrqfbq0
>>264
渡されたコールバック関数の引数の数によって区別するってこと?
素朴な方法だとオーバーロードするのが手っ取り早いと思う。

void func(void (*cb)(int)) {
cb(1);
}

void func(void (*cb)(int, int)) {
cb(1, 2);
}

void f1(int) {}
void f2(int, int) {}

int main() {
func(f1);
func(f2);
}
2023/06/20(火) 22:27:55.14ID:vGfe0Eju0
>>264
template<typename Callback> void func(Callback cb);
template <> void func(void (*cb) (int))
{
(*cb)(1); // A
}
template <> void func(void (*cb) (int, int))
{
(*cb)(1,2);// B
}
void f1(int){}
void f2(int,int){}
int main(){func(f1);}
2023/06/20(火) 22:29:12.98ID:vGfe0Eju0
templateが意味ないね
2023/06/20(火) 22:39:00.27ID:ui/rWsWf0
265が言うようにis_invocable使うとこんな感じ?

template<typename Callback>
void func(Callback cb)
{
if constexpr (std::is_invocable_v<Callback, int>) {
cb(1);
} else if constexpr (std::is_invocable_v<Callback, int, int>) {
cb(1,2);
}
}
2023/06/20(火) 22:41:37.75ID:vGfe0Eju0
>>269
これって関係ないif節はコンパイル時に消えるの?
2023/06/20(火) 22:43:20.79ID:IIzrqfbq0
>>270
消えるよ。
272デフォルトの名無しさん (JP 0H91-FhUT)
垢版 |
2023/06/20(火) 22:44:14.18ID:Pk8V/jejH
>>269
ありがとうございます。
gcc 13.1.0 でc++17でうまくいきました。

後出しで申し訳ありませんが、C++14でかけませんか?
2023/06/20(火) 22:47:27.45ID:vGfe0Eju0
>>269,271
これは知らんかった
勉強になるなぁ
274デフォルトの名無しさん (JP 0H91-FhUT)
垢版 |
2023/06/20(火) 22:48:18.64ID:Pk8V/jejH
>>269
まさにこれをやりたかったです。

template<typename Callback>
void func(Callback cb)
{
// こことか

if constexpr (std::is_invocable_v<Callback, int>) {
cb(1);
} else if constexpr (std::is_invocable_v<Callback, int, int>) {
cb(1,2);
}

// ここをどうしようか悩んでいました
}
2023/06/20(火) 22:59:00.24ID:IIzrqfbq0
>>272, >>274
ひとつの関数テンプレート中でやりたいってこと?
if constexpr が導入される前だとオーバーロードなり特殊化なりで
別の関数として分離しないと書けないと思う。

is_invocable に相当するものは自分で書こうと思えば書けるが
if constexpr は言語のコアの機能だからどうにもならんし……。
276デフォルトの名無しさん (JP 0H91-FhUT)
垢版 |
2023/06/20(火) 23:14:31.48ID:Pk8V/jejH
>>275
情報ありがとうございます

ご掲示いただいたコードで勉強になりました。
2023/06/20(火) 23:42:05.71ID:zCL4VLm70
>>273
ザッツcostexprマジック
2023/06/20(火) 23:43:57.61ID:zCL4VLm70
n抜けてたwコストがかかる演算なのは確かだけどw
constexprマジック!マジック!
279デフォルトの名無しさん (ワッチョイ 32fb-dYQK)
垢版 |
2023/06/21(水) 00:07:10.76ID:2lh42auf0
C++11のSFIANE地獄へようこそ
https://wandbox.org/permlink/2sfUVeEBrErqvI2R

template関数の実体化が1つだけ成功して、
他が失敗するように仕掛ければ呼び分けは可能。

ただ見ての通り相当面倒なことを書かなきゃならない。
2023/06/21(水) 00:28:02.40ID:CWKUsltc0
>>279
>>266と本質的に何が違うのか分からない
解説よろしく
(templateでやってることは無駄なのでは?)
2023/06/21(水) 00:41:42.51ID:3HBFHOpK0
>>280
いや、 >>279 のほうがちょっと柔軟で使いやすい。
たとえば

void f3(long int, long int) {}

みたいなのを渡したとき >>266 ではエラーになる。
引数として int を渡せる (int から暗黙に変換可能な仮引数を持っている) というのと
厳密に int そのものでなければならないというのとでは制約の厳しさが違う。
2023/06/21(水) 00:42:09.27ID:LxMKpynY0
templateでやるのは質問者の与えた要件だな
宿題なんじゃね、しらんけど
283デフォルトの名無しさん (ワッチョイ 32fb-9xvA)
垢版 |
2023/06/21(水) 00:52:13.25ID:2lh42auf0
C++14にはif constexprが存在しないから
template使ったオーバーロードしか手段がない

質問者がC++14環境でって言ってたからこんなクソ面倒くさいことやれば一応できるっていう例示
2023/06/21(水) 01:17:47.52ID:CWKUsltc0
>>281,283
ありがとう
>引数として int を渡せる (int から暗黙に変換可能な仮引数を持っている) というのと
>厳密に int そのものでなければならないというのとでは制約の厳しさが違う。
こういうことね
285デフォルトの名無しさん (ワッチョイ a901-UvLK)
垢版 |
2023/06/21(水) 04:29:46.61ID:IDPPhD2V0
>>260
あー本来グローバルも対象になるのか、適当こいてスマソ

だが>>248で質問者が言ってるように、元のコードで順序を変えてもダメなのよ
何故か考えてはちみつのコードを以下のようにしたら同様に通らなかった

namespace ns {
template <class T = int>
struct foo{};

// added
struct hoge{};
int operator +(const hoge &x, const hoge &y) {return 1;}
};


ns::foo<> operator+(const ns::foo<>& x, const ns::foo<>& y) { return ns::foo<>(); }

namespace ns {
template <class T>
void bar(const T&) {
T() + T();
} };

int main() { bar(ns::foo<>()); }

すでに名前空間内に同名の関数があった場合はダメっぽい
286デフォルトの名無しさん (ワッチョイ a901-UvLK)
垢版 |
2023/06/21(水) 09:44:10.00ID:IDPPhD2V0
あ、すまんfooがクラステンプレートになってるの直し忘れた(直しても同じだが)
2023/06/21(水) 10:22:19.76ID:3HBFHOpK0
>>285
名前探索 (name lookup) は狭い名前空間から探索していって
合致する名前があればそれより外側に同名の関数があっても
オーバーロード解決に参加しない。

わかりやすい例で言えばメンバ関数は非メンバより優先されるし、
メンバ関数内にひとつでも候補が見つかった時点で非メンバ関数は一切考慮に入らなくなる。

void foo(void) {}

struct bar {
void baz(void) {
// この foo は bar::foo のこと
// 名前が見つかった時点でそれより外の名前空間は見に行かないので
// 引数が合わなくても他の候補は試みられずエラーになる。
foo(1);
}
void foo(void) {}
};
2023/06/21(水) 10:34:08.97ID:3HBFHOpK0
例をちょっと間違えたのでやりなおし。

void foo(int) {}

struct bar {
void baz(void) {
foo(1);
}
void foo(void) {}
};

こうすると非メンバ関数の foo は候補にすらならないという話。
2023/06/21(水) 11:00:59.24ID:CWKUsltc0
g++更新にともない
自前ライブラリのビルドでエラーが出るようになって
悩んでたところを解説してくれてる
マジで凄い人達だな
290デフォルトの名無しさん (ワッチョイ a901-UvLK)
垢版 |
2023/06/21(水) 11:31:26.94ID:IDPPhD2V0
>メンバ関数内にひとつでも候補が見つかった時点で非メンバ関数は一切考慮に入らなくなる。
thx。確かにこれ経験したことあるわ・・・ややこしいし名前変えて対処したけど
2023/06/21(水) 12:13:25.08ID:3HBFHOpK0
>>285 の例は using を使う形でも解決できる。 (設計意図によってはそれが妥当かどうかわからんけど。)

namespace ns {
struct foo {};

struct hoge {};
int operator+(const hoge& x, const hoge& y) { return 1; }
};

ns::foo operator+(const ns::foo& x, const ns::foo& y) { return ns::foo(); }

namespace ns {
template <class T>
void bar(const T&) {
using ::operator+; // グローバルな operator+ をオーバーロード候補として参加させる
T() + T();
}
};

int main() { bar(ns::foo()); }


テンプレートを見る機会がよくあるなら std::begin を using している事例は見たことがあると思う。
2023/06/21(水) 12:20:53.22ID:s1sJDdcu0
C++って、こういう悪夢みたいなテクニックで溢れかえってるよなあ
RustやらPythonだのに人気が移るわけですよ
2023/06/21(水) 12:23:49.28ID:xjKiS8Z6M
記法でいうならNimがいいよ。
2023/06/21(水) 16:00:35.62ID:3HBFHOpK0
カスタマイズされた関数が呼ばれるようにする綺麗な方法として customization point object という概念が近頃は導入されてる。
綺麗な方法というか汚い部分はライブラリに隠すってだけなんだけど。
真似してみてもいいかもね。

より綺麗な方法が導入されるのはいいんだけど、
過去の方法が消えてなくなるわけでもないし完全に置き換えられるわけでもないからなぁ。
個々には良くなっても全体としては余計に複雑になるだけってのもよくある話。
https://m.xkcd.com/927/
2023/06/22(木) 09:50:22.29ID:+UOgHQ6A0
max RSS (メモリ総量) の取得ってWindowsとLinuxでポータブルな方法ないの?
296デフォルトの名無しさん (スプッッ Sd12-9xvA)
垢版 |
2023/06/22(木) 10:07:05.02ID:T+/An9G4d
C++標準ライブラリには無い

外部ライブラリに頼るか自分で実装するかになるけど、結局のところ#ifdefでOS依存の機能を呼び分けるしかない
2023/06/22(木) 10:35:39.47ID:myrOOi5M0
std::uintptr_t get_available_memory();
とプロトタイプだけ用意して、定義を環境別に作るだな

内容的に割と単純な処理のはずで
環境別に用意といってもたいした工数にはなるめえよ
2023/06/22(木) 17:54:50.46ID:Sn58Ngpoa
Nim いいよね
C++ 嫌になったら Nim においでおいで
2023/06/23(金) 06:00:18.48ID:AFPisFIg0
なんかのオブジェクトをポインタじゃなく実体として持ってるとして、それを delete するやり方ってないの?
たとえば std::vector A に対して
delete &A;
みたいな
2023/06/23(金) 06:14:43.58ID:Dz+tkRpF0
「実体を持っている」と言うが「誰が」持っているかにもよる
グローバル変数として宣言しているなら予めメモリ上に確保されているから破棄は無理(強引に再利用はできる)
スコープ内で変数として宣言したのなら必要なメモリはスタック上にあるからスタックを弄るしかない
別のオブジェクトのメンバ変数として宣言されているならそのオブジェクトを破棄する
2023/06/23(金) 06:17:44.59ID:Dz+tkRpF0
スコープ内でってのはローカル変数の意味で言ったの
302デフォルトの名無しさん (ワッチョイ 3602-Ul6j)
垢版 |
2023/06/23(金) 07:14:23.97ID:GEB8UNzF0
A.~vector<>();でいいんじゃないの?
メモリ解放が必要ならdelete(void*)&A;とかして。
2023/06/23(金) 07:18:45.05ID:v++V1HM40
>>299
deleteはdynamic storage durationのオブジェクトにのみ許される
std::vector<int> A;はautomatic storage durationの場合はその定義を囲むブレースから逸脱すれば破棄される
static storage durationの場合はプログラムの実行終了時に破棄される
thread storage durationの場合はスレッド終了時に破棄される
2023/06/23(金) 07:19:36.07ID:pmKt7pYtM
極論すれば、c++の変数は自動変数しか無いから、変数で定義しているものはコンパイラに任せるしか無い。
2023/06/23(金) 07:23:15.08ID:v++V1HM40
> c++の変数は自動変数しか無い

???
2023/06/23(金) 08:10:40.98ID:Z0FiiE+w0
変数の生命期間よりも前に絶つのは new したものを delete する方法しかないよ

std::vector* pA = new std::vector();
std::vector& A = *pA;
 :
 Aで操作
 :
delete pA;
この後 Aに対して操作すると鼻から悪魔
2023/06/23(金) 08:36:05.01ID:v++V1HM40
auto&& A { *new std::vector<int>(0) };
delete &A;
これで「実体」のように偽装はできるけど
こんなコード書くやついたらグーパンだよ
2023/06/23(金) 08:38:29.90ID:OoWAXDqh0
このスレ読んでると目の裏がチカチカしてくるなw
2023/06/23(金) 08:46:52.36ID:z+mnuoLR0
>>305
極論すれば、と言っているだろ。
せめて反例ぐらい出せよ。
2023/06/23(金) 09:45:42.49ID:v++V1HM40
反例っておまえ・・・

静的変数
2023/06/23(金) 10:11:58.67ID:Zb3L9Wmq0
>>299
deleteで何をしたいかによるな
deleteは
・デストラクタを呼び出して
・メモリを開放する
という2つの動作が含まれるが、「メモリを開放する」に関しては、確保されてもいないメモリはもちろん開放できないが、
デストラクタは実体としてはただの関数なので、普通に呼び出すことは可能
ただし、メモリが開放される(deleteされる)時にもデストラクタはもちろん呼び出されるので、2重に呼び出しても大丈夫なように設計されたクラスである必要はある
2023/06/23(金) 11:56:54.20ID:jOpqVfQE0
>>299
スコープを終わらせれば消える
2023/06/23(金) 13:49:52.85ID:RsoTpuHzM
Windows11でc++の開発したいんですけど開発環境何を選べばいいですか?
ちなみに趣味でおもちゃ言語のコンパイラを書こうと思います
314デフォルトの名無しさん (スッップ Sdb2-Ul6j)
垢版 |
2023/06/23(金) 14:29:49.42ID:P5Uu3Ce/d
wslのclangでいいんじゃないの
2023/06/23(金) 14:40:39.89ID:79pDbKtj0
>>311
> 2重に呼び出しても大丈夫なように設計されたクラスである必要はある
trivial destructor 以外は(空の ~T() {} 含め)どうがんばっても大丈夫にはならず未定義動作となる模様。
https://timsong-cpp.github.io/cppwp/n4868/basic.life#9.sentence-1
2023/06/23(金) 14:42:57.84ID:XaN8/xk5M
>>314
visual studioでできませんか?
visual studioに依存しないような形で
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。

ニューススポーツなんでも実況