嵌套的初始化器列表

Question

我正在尝试在C ++中创建类似于Python的动态。 现在，一种可能的实现方法（当然有缺点）

#include <iostream>
#include <variant>
#include <map>

using namespace std;

class dict;
using Atom = variant<bool, int, double, string, dict>;
class dict {
  map<string, Atom> data_;
  
public:
  template<typename T>
  bool put(const string& k, T&& v) {
    data_[k] = std::forward<T&&>(v);
    return true;
  }
  
  template<typename T>
  T& get(const string& k) {
    return std::get<T>(data_[k]);
  }
  
  template<class T>
  bool contains(T&& k) {
    return data_.find(std::forward<T&&>(k)) != data_.end();
  }
  
  dict(initializer_list<pair<string, Atom>> kvs) {
    for (auto kv : kvs) (this->put(kv.first, kv.second));
  }
};

现在考虑到最后一个变异初始化器。问题是，它并不像我想要的那样灵活：

int main() {
  // This works:
  auto u = dict{
    {"a", 9},
    {"b", 1.2},
    {"c", true},
    {"d", dict{
      {"e", "f"}
    }}
  };
  // This does not:
  auto v = dict{
    {"a", 9},
    {"b", 1.2},
    {"c", true},
    {"d", {
      {"e", "f"}
    }}
  };
  
  return 0;
}

问题是，一个人如何重写，以便将必要的初始器列表自动施放为pair＆lt＆lt; string，atom＆gt;？

Answer 1

多亏了 @jarod42，我设法提出了这一点：

#include <iostream>
#include <variant>
#include <map>
#include <cassert>

using namespace std;

class dict;
class Atom;

class dict {
  map<string, Atom> data_;
  
public:
  template<typename T>
  bool put(const string& k, T&& v) {
    data_[k] = std::forward<T&&>(v);
    return true;
  }
  
  template<typename T>
  T& get(const string& k) {
    return std::get<T>(data_[k]);
  }
  
  template<class T>
  bool contains(T&& k) {
    return data_.find(std::forward<T&&>(k)) != data_.end();
  }
  
  dict(std::initializer_list<pair<string, Atom>> kvs);
};

using AtomBase = variant<bool, long, double, string, dict>;

class Atom : public AtomBase {
  using AtomBase::AtomBase;
  
public:
  Atom(initializer_list<pair<string, Atom>> l) {
    *this = dict(l);
  }
};

dict::dict(std::initializer_list<pair<string, Atom>> kvs) {
  for (auto kv : kvs) {
    this->put(kv.first, kv.second);
  }
}

int main() {
  [[maybe_unused]]
  auto u = dict{
    {"a", 9},
    {"b", 1.2},
    {"c", true},
    {"d", {
      {"e", "f"}
    }}
  };
  
  return 0;
}