带有字符串化的可变参数宏的现代/通用方法

Question

我有一个库（nlohmann/json 周围的包装器）允许我从 JSON:

反序列化

struct MyStruct {
    int propertyA;
    std::string propertyB;
    std::vector<int> propertyC;      
}

void from_json(const JSON::Node& json, MyStruct& s)
{
    json_get(s.propertyA, "propertyA", json);
    json_get(s.propertyB, "propertyB", json);
    json_get(s.propertyC, "propertyC", json);
}

如您所见，这些定义中有很多样板。我正在使用一个 ECS 框架，它有数百个我想反序列化的组件。我希望用一个宏来简化它，例如：

struct MyStruct {
    int propertyA;
    std::string propertyB;
    std::vector<int> propertyC;    

    JSON(MyStruct, propertyA, propertyB, propertyC);
};

}

我知道老派 __VA_ARGS__ 手动重复宏 N 次的方法，但我希望通过更通用/现代的方法避免这种情况。

可变参数模板是否可行？有没有更好的方法来为此提供某种语法糖？我正在使用 C++17 编译器。

Answer 1

显然 a library 完全符合您的要求！这是一个完整的例子：

#include <iostream>
#include <nlohmann/json.hpp>
#include <visit_struct/visit_struct.hpp>

struct MyStruct {
  int propertyA;
  std::string propertyB;
  std::vector<int> propertyC;
};

VISITABLE_STRUCT(MyStruct, propertyA, propertyB, propertyC);

using nlohmann::json;

template <typename T>
std::enable_if_t<visit_struct::traits::is_visitable<std::decay_t<T>>::value>
from_json(const json &j, T &obj) {
  visit_struct::for_each(obj, [&](const char *name, auto &value) {
    // json_get(value, name, j);
    j.at(name).get_to(value);
  });
}

int main() {
  json j = json::parse(R"(
    {
      "propertyA": 42,
      "propertyB": "foo",
      "propertyC": [7]
    }
  )");
  MyStruct s = j.get<MyStruct>();
  std::cout << "PropertyA: " << s.propertyA << '\n';
  std::cout << "PropertyB: " << s.propertyB << '\n';
  std::cout << "PropertyC: " << s.propertyC[0] << '\n';
}

带有字符串化的可变参数宏的现代/通用方法

Modern / generic approach to variadic macro with stringizing

c++

macros

variadic-templates

variadic-macros