[C++] 変数のメモリアドレス検証他

[M1 Mac, Big Sur 11.6.7]

関数内外の変数がメモリのどの領域に収納されるのか検証しました。

関数外変数は静的領域、関数内変数は全てスタック領域でした。最終的にはOSが決めているようです。

newやvectorは一般的にはヒープ領域と説明されているので意外な結果でした。

vectorの最大要素数は4611686018427387903個です。int は4バイトなので

4611686018427387903*4 = 1.8446744e+19バイト = 1.8446744e+19*8 ビット

これは64ビットシステム 2^64 – 1の8倍に相当します。この出力値はIntel Mac RAM32GB(M1は8GB)でも同じだったのでメモリ容量に比例しているわけでもないです。

つまり実際のハードスペックを考慮しての実装上可能値ではなく、スタックオーバーフロー対策の参考にはなりません。机上の計算を再現するだけのmax_size関数が何のために存在しているのかよく分かりません。

#include <iostream>
#include <vector>

int num0;

int main()
{
    int num1;
    int num2 = 3;

    int *ary;
    ary = new int[5];

    std::vector<int> vec = {1,2,3};
    
    std::cout << "num0 " << &num0 << std::endl;
    std::cout << "num1 " << &num1 << std::endl;
    std::cout << "num2 " << &num2 << std::endl;
    std::cout << "ary  " << &ary << std::endl;
    std::cout << "vec  " << &vec << std::endl;
    std::cout << "vec.max_size() " << vec.max_size() << std::endl;
    
}
--------------------------------------------------
出力例
--------------------------------------------------
num0 0x1048e4128
num1 0x16b5236a8
num2 0x16b5236a4
ary  0x16b523698
vec  0x16b523680
vec.max_size() 4611686018427387903

[C++] vectorの挙動検証 erase

[M1 Mac, Big Sur 11.6.7, clang 13.0.0, NO IDE]

前回、前々回と同様の検証をerase関数で実施しました。

erase関数の場合は、メモリアドレスは削除箇所から前の要素は変わらず、削除箇所から後ろは前に詰める形になります。

イテレータの再設定は必要です。再設定しないとwhile文ではデータが格納されていると認識している旧endを延々と探すことになり、ループが止まりません。

#include <iostream>
#include <vector>

using std::to_string;

int main()
{
    std::vector<int> vec{ 1, 2, 3, 4, 5};
    std::vector<int>::iterator itr = vec.begin();
    
    // vectorの各要素のアドレスを出力
    std::cout << "vector" << std::endl;
    while (itr != vec.end())
    {
        std::cout << &(*itr) << std::endl;
        itr++;
    }

	// 3番目の要素を削除
	vec.erase(vec.begin() + 2);
	
	// イテレータ再設定
	std::vector<int>::iterator itr2 = vec.begin();
	
	// 再度アドレス出力
	std::cout << "vector削除後" << std::endl;
    while (itr2 != vec.end())
    {
        std::cout << &(*itr2) << std::endl;
        itr2++;
    }

	for (int num:vec)
    {
        std::cout << to_string(num) << std::endl;
    }
}
--------------------------------------------------
出力例
--------------------------------------------------
vector
0x13e6068c0
0x13e6068c4
0x13e6068c8
0x13e6068cc
0x13e6068d0

vector削除後
0x13e6068c0
0x13e6068c4
0x13e6068c8
0x13e6068cc
1
2
4
5

[C++] vectorの挙動検証 insert

[M1 Mac, Big Sur 11.6.7, clang 13.0.0, NO IDE]

前回と同様の検証をinsert関数で実施しました。

insertやeraseのようなイテレータが戻り値の関数では、これを受け取ればイテレータを再設定せずに済む場合があります。

先頭に挿入した場合だけ再設定不要で、それ以外の場合は再設定しないと全てのメモリアドレスを確認できません。

#include <iostream>
#include <vector>

using std::to_string;

int main()
{
    std::vector<int> vec{ 1, 2, 3, 4, 5};
    std::vector<int>::iterator itr = vec.begin();
    
    // vectorの各要素のアドレスを出力
    std::cout << "vector" << std::endl;
    while (itr != vec.end())
    {
        std::cout << &(*itr) << std::endl;
        itr++;
    }

	// 要素を挿入
	itr = vec.insert(vec.begin(),6);
	
	// 再度アドレス出力
	std::cout << "vector挿入後" << std::endl;
    while (itr != vec.end())
    {
        std::cout << &(*itr) << std::endl;
        itr++;
    }

	for (int num:vec)
    {
        std::cout << to_string(num) << std::endl;
    }

}
--------------------------------------------------
出力例
--------------------------------------------------
vector
0x1336068c0
0x1336068c4
0x1336068c8
0x1336068cc
0x1336068d0

vector挿入後
0x1336068e0
0x1336068e4
0x1336068e8
0x1336068ec
0x1336068f0
0x1336068f4
6
1
2
3
4
5

[C++] vectorの挙動検証 push_back

[M1 Mac, Big Sur 11.6.7, clang 13.0.0, NO IDE]

vectorの各要素のメモリアドレスおよび要素を追加したときのアドレスの変化をチェックしました。

push_back関数で要素を追加すると、16バイト先のメモリアドレスから再度要素を配置することがわかりました。イテレータを設定していた場合はそれが使えなくなるため、再度設定が必要になります。

#include <iostream>
#include <vector>

using std::to_string;

int main()
{
    std::vector<int> vec{ 1, 2, 3, 4, 5};
    std::vector<int>::iterator itr = vec.begin();
    
    // vector各要素のアドレスを出力
    std::cout << "vector" << std::endl;
    while (itr != vec.end())
    {
        std::cout << &(*itr) << std::endl;
        itr++;
    }

	// 要素を追加
	vec.push_back(6);
	// イテレータを再度設定
	std::vector<int>::iterator itr2 = vec.begin();

	// 再度アドレス出力
	std::cout << "vector要素追加後" << std::endl;
    while (itr2 != vec.end())
    {
        std::cout << &(*itr2) << std::endl;
        itr2++;
    }

	for (int num:vec)
    {
        std::cout << to_string(num) << std::endl;
    }
}
--------------------------------------------------
出力例
--------------------------------------------------
vector
0x1596068c0
0x1596068c4
0x1596068c8
0x1596068cc
0x1596068d0

vector要素追加後
0x1596068e0
0x1596068e4
0x1596068e8
0x1596068ec
0x1596068f0
0x1596068f4
1
2
3
4
5
6

[C++] 参考サイトの選別

C++を体系的にまとめたサイトには説明が不十分なものがあったりします。

std::vectorの説明でコンテナを変更するメンバ関数がpush_backしかないような書き方をしているサイトがあったので、Chromeの拡張機能uBlacklistで検索結果に表示できなくしました。insertやeraseなどを明記しなくても、他にも関連するメンバ関数があることに触れて欲しかったです。

cpprefjp – C++日本語リファレンスが辞書的なサイトとして優れているので、検索する前にまずそこで調べることをお勧めします。

このサイトのような学習過程を記録した個人ブログも中級以上の方には何の参考にもならないですから検索結果に出ないようにすべきでしょう。

cpprefjp – C++日本語リファレンス

[C++] プログラミング学習 2022年7月

アプリ製作を中心にC++を学んできましたが、どうしてもスキルに偏りが生じるため、教材に従って抜けを埋めていきます。

内容へのアクセス性を重視し、以下の教材を電子書籍ではなく単行本として持っています。

1.プログラミング入門 B.ストラウストラップ著:C++07以前のレガシーC++
2.プログラミング言語C++ B.ストラウストラップ著:C++11対応
3.ゲームプログラミングC++

これまで作ってきたアプリではstructやenumなどユーザー定義型のデータをほとんど使っていません。

今回の学習ではこの辺りを中心に学んでいくつもりです。

変数・定数修飾子の比較 var, let, const

JavaScript, Swift, Rustの変数と定数の修飾子を比較しました。

私にとってはどの言語も必要に迫られない限りは書くことはないでしょう。何と言いますか、varやletの語感が苦手で好きになれません。これらが頻出するコードを見るとめまいがします。デフォルトでどちらか非表示にならないものかと思ったりします。

また変数名の後にコロンとデータ型という書き方はVBAを思い出させるのでNGです。Pythonは例外です。

どうしてAppleはSwiftの定数をletにしてしまったのでしょうか。constにしてくれれば親近感が増したのですが。

Rustに関してはプログラマへの負担が大きい、ファイルサイズが大きい、コンパイルが遅い、Makefile・CMakeのスキルを活かせるのか不明、などの理由で今のところ導入を見合わせています。

そもそもMakeでRustのコードをコンパイルできるのか、できるとしたらどのような内容になるのか、少しでも情報があれば興味を持てそうなんですが、サクッとググってもネット情報はほぼ皆無です。時間があれば公式サイトを眺めてみます。