boostorg / boostorg/json

Add a shorthand to masquerade a type parsing/serializing

Open
#989 1 comment 0 reactions 0 assignees View on GitHub
Dominant language
C++
Stars
479
Forks
110
Avg merge
10d 3h
Merged PRs (30d)
5

Description

Hi, there are two cases where I couldn't avoid implementing one-line tag_invokes. I'd love boost::json to do it for me!

The first one is an enum that only has ints. Its an enum class because why not but I don't care about specific values, its just here to help referencing interesting ones.
```cpp
enum class Version { _202201 = 202201, _202301 = 202301, _202302 = 202302};

Version tag_invoke(boost::json::value_to_tag, const boost::json::value& json) {
return static_cast(json.as_int64());
}
void tag_invoke(boost::json::value_from_tag, boost::json::value& json, Version a) {
json = static_cast(a);
}
```

Second case is probably more interesting, following a lot of back and forth the best way I found to handle a type with invariants is to make a described struct.
```cpp
struct MyClass {
struct Params {
...
};

MyClass(Params params);
...
};
```
And `MyClass c = value_to()` just works (with implicit conversion), but if I want to include it inside a described struct boost::json doesn't know that to decode a MyClass it needs a MyClass::Params.

I also had the same problem when I tried to parse/serialize a type implicitly convertible to and from a std::string. Even overriding `is_string_like<>` was not enough.

So I made a little helper and it works for me, but I think boost::json should have something similar (or better!) built-in:

```cpp
template
struct JsonAs;

namespace boost::json {

template
requires requires { typename JsonAs::type; }
T tag_invoke(boost::json::value_to_tag, const boost::json::value& json) {
return static_cast(boost::json::value_to::type>(json));
}

template
requires requires { typename JsonAs>::type; }
void tag_invoke(boost::json::value_from_tag, boost::json::value& json, T&& a) {
json = boost::json::value_from(static_cast>::type>(std::forward(a)));
}

}
```

```cpp
template <>
struct JsonAs : std::type_identity {};
```

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.