C++でmap型の変数をグローバル変数として初期化したいです。

Question

環境

C++ 17
Clion
Cmake 3.16

問題のコード

以下のコードを実行するとエラーが起きます。
~~また、glovalVの初期化の段階でInitialization of 'globalV' with static storage duration may throw an exception that cannot be caughtという警告が出ます。
この変数をexternで他のファイルからアクセスしたいのでどうしてもグローバル変数にしたいのですがどうしたらいいですか？
intなどはグローバル変数にできるのにmapができない具体的な原因は何なんでしょう？ ~~

どうやらこれはグローバル変数が問題なのではないみたいです。
globalVをmain関数の中に移動させてもクラッシュします。(終了コード3)

#include <iostream>
#include <map>

std::map<const char*, bool> globalV = {
        {"val", true}
};

int main() {
    std::cout << globalV.at("val") << std::endl;
}

一応解決?

mapの中身を<const char*, bool> から <std::string, bool> に変更したところ一応動くようにはなりました。

Comments

[SHOMI]

警告なら出来ているのでは？

[KOTTON]

プログラムがクラッシュします。
一応警告ではあるんですが実際にクラッシュが起こります。

[SHOMI]

クラッシュするコードをはって下さい。
質問にかかれているコードでは問題が再現しません。
→キーの型がポインタになっているのを見逃していました。SaitoAtsushiさんの回答をご参照下さい。

[KOTTON]

僕の環境ではこのコードをそのまま張り付けて実行するとクラッシュします。今確認しました。
上に環境貼っておきます

[SHOMI]

今Clionで試してみましたが問題なく実行できましたよ。
Cleanしてビルドし直してみては？

[KOTTON]

確かに今Visual Studioで実行したら普通に実行できました。
なんでこんなことが起こり得るんでしょうね、

[KOTTON]

今気づいたんですがこれglobalVをローカルに移してもクラッシュします
また、終了コード3で終了しました　と出てます。
終了コード3はERROR_PATH_NOT_FOUND 3 (0x3) The system cannot find the path specified.らしいですが...

[SHOMI]

(誤認していたため削除)

Answer 1

std::map の at は対応する要素が存在しないときに out_of_range 例外を投げることになっています。

質問者の例では key の型がポインタなので「ポインタの比較」をした結果、 map を初期化しようとしたときの "val" と at で探したときの "val" が異なると判断されて例外が投げられたのだと思われます。

同内容の文字列リテラルは同一にまとめられてしまうこともあるのでそのようなときには一致してしまう場合もあります。 例外が投げらるか、対応する value を返すかのいずれの可能性も規格内で有りえます。

Comments

[SHOMI]

あ、無意識にstringと思い込んで見逃していました。そのとおりですね。

[KOTTON]

ちゃんと理解できている自信があまりないのですが、つまりこの場合文字列で検索されているのではなく、keyの中の"val"のアドレスとat()の中の"val"のアドレスが違うから範囲外と言われているってことですか？

[SaitoAtsushi]

はい。 その理解で良いです。

[KOTTON]

正確な回答ありがとうございます。納得しました。

Answer 2

警告なら出来ているのでは？
初期化時にキャッチできない例外が発生する可能性があると言っています。

---

キーの型がポインタになっているのを見逃していました。
SaitoAtsushiさんの回答をご参照下さい。

Comments

[KOTTON]

SHOMIさんもありがとうございました！