C++連想配列の定数ってどうやって定義してますか？私はClang-Tidyに警告されるような方法しか思いつきません。

Question

ソースファイルのローカル変数として連想配列の定数を作りたいのですが、Clang-Tidyにて警告の対象となってしまいます。

警告を受けないような連想配列の定数を作る方法はあるでしょうか。もし、これをご覧になった方で別の方法（連想配列で定数を定義する方法）をご存じの方は教えていただけませんか。

可能な限り、C++11の文法の範囲内を希望します。

サンプルコード

例えば、私のコードは次です。

#include <unordered_map>
#include "FruitDatabase.h"

namespace {
/*
 * database変数はClang-Tidyの検査にて警告の対象となる。
 *  cert-err58-cpp
 *  Clang-Tidy: Initialization of 'database' with static storage duration may throw an exception that cannot be caught
 */
    const std::unordered_map<int, std::string> database = {
        {Fruit::Apple, "りんご"},
        {Fruit::Orange, "みかん"},
        {Fruit::Mango, "マンゴー"}
    };
}

Clang-Tidyの警告

Clang-Tidyの警告内容は次です。

Clang-Tidy: Initialization of 'database' with static storage duration may throw an exception that cannot be caught

cert-err58-cppという警告のようです。

所感

コンパイルエラーになるわけではないし、警告されているような問題を回避する処置はするつもりなので、この警告を無視してしまうこともできますが、私が無知ゆえに知らないところで大きな問題になるのも嫌です。

参考

環境

• C++11(GCC 4.8.5)
• Tidy 15.0（CLionビルトイン）
• Ubuntu 18.04

サンプルソース

#include <unordered_map>

#include "FruitDatabase.h"


namespace {
/*
 * database変数はClang-Tidyの検査にて警告の対象となる。
 *  cert-err58-cpp
 *  Clang-Tidy: Initialization of 'database' with static storage duration may throw an exception that cannot be caught
 */
    const std::unordered_map<int, std::string> database = {
        {Fruit::Apple, "りんご"},
        {Fruit::Orange, "みかん"},
        {Fruit::Mango, "マンゴー"}
    };

// これでも同じ警告である。
//    std::unordered_map<int, std::string> initialize() noexcept {
//        std::unordered_map<int, std::string> db;
//        try {
//
//        }
//        catch (...) {
//
//        }
//        return db;
//    }
//
//    std::unordered_map<int, std::string> database = initialize();
}

std::string FruitDatabase::name(Fruit::Code fruitCode)
{
    auto it = database.find(fruitCode);
    if (it != database.end()) {
        return it->second;
    }
    return {};
}

#pragma once


class Fruit
{
public:
    enum Code {
        Apple,
        Orange,
        Mango,
    };

    explicit Fruit(Code code = Code::Apple)
        : _code{code}
    {}

    static int toInt(Code code) {
        return static_cast<int>(code);
    }

    int toInt() const {
        Fruit::toInt(_code);
    }

    Code code() const {
        return _code;
    }

private:
    Code _code;
};

#include <iostream>

#include "Fruit.h"
#include "FruitDatabase.h"

/*
 * Tidy cert_err58_cppのサンプル
 */
int main(int argc, char **argv)
{
    Fruit fruit{Fruit::Apple};
    auto fruit_name = FruitDatabase::name(fruit.code());
    std::cout << "name is " << fruit_name << std::endl;

    return 0;
}

Answer 1

どうしても警告を消したいなら、静的ローカル変数を使って遅延初期化しますかね。

const std::unordered_map<int, std::string>& GetDatabase() {
  static std::unordered_map<int, std::string>* map;
  if (!map) {
    map = new std::unordered_map<int, std::string>({ 
        {Fruit::Apple, "りんご"},
        {Fruit::Orange, "みかん"},
        {Fruit::Mango, "マンゴー"}
      });
  }
  return *map;
}

Comments

[episteme]

static std::unordered_map<int, std::string>* map = nullptr; // 初期化しといた方が無難な希ガス
// static だからやんなくても無問題だろうけど...

[jiro.kaihatsu]

どうもありがとうございました。参考にさせていただきます。

Answer 2

const std::unordered_map<int, std::string> database = {

じゃなく、
const std::unordered_map<Fruit::Code, std::string> database = {
なのでは?

Comments

[jiro.kaihatsu]

はい、ご指摘のとおりです。