问 如果成员变量类型不支持nlohmann的json库，则禁用to_json和from_json

EN

我正在使用nlohmann的单个标题json库来序列化我编写的类。我想使用这个类与各种类型(包括但不限于boost的多精度类型)。问题是，包括boost的cpp_bin_float_quad在内的某些类型不支持to_json或from_json。

如果我的类的成员变量没有自己的to/from_json，那么该类就无法编译。在这种情况下，用户仍然应该能够使用该类的核心功能(成员函数等)，但不能让他们保存/加载类的成员变量。

理想情况下，如果用户需要保存/加载带有自定义类型的类，那么他们可以为其自定义类型创建to/from_json函数。最好的解决方案将适用于C++11。

这里有一个mwe来展示这个问题：

#include "json.hpp"
#include <boost/multiprecision/cpp_bin_float.hpp>
#include <iostream>
template <typename T>
class A {
protected:
  T m_x;
public:
  A() {m_x = static_cast<T>(1);}
  A(T x) : m_x(x) {}
  template <typename T1>
  friend void to_json(nlohmann::json& j, const A<T1>& a);
  template <typename T1>
  friend void from_json(const nlohmann::json& j, A<T1>& a);
/* I want useless versions of these two functions
 * if T doesn't have it's own to/from_json functions! */
template <typename T>
void to_json(nlohmann::json& j, const A<T>& a) {
  j = nlohmann::json{{"x", a.m_x}};
template <typename T>
void from_json(const nlohmann::json& j, A<T>& a) {
  j.at("x").get_to(a.m_x);
// no problems with this MY_TYPE
//#define MY_TYPE double
// fails because cpp_bin_float_quad doesn't have to/from_json
#define MY_TYPE boost::multiprecision::cpp_bin_float_quad
int main(){
  A<MY_TYPE> a(2);
  nlohmann::json js = a;
  std::cout << js << std::endl;
  auto s2 = js.get<A<MY_TYPE>>();
}

当我尝试编译时，我会看到这样的错误：

mwe.cpp:23:5: error: no matching function for call to ‘nlohmann::json_v3_11_0::basic_json<>::basic_json(<brace-enclosed initializer list>)’
   23 |   j = nlohmann::json{{"x", a.m_x}};
mwe.cpp:28:19: error: no matching function for call to ‘nlohmann::json_v3_11_0::basic_json<>::get_to(boost::multiprecision::number<boost::multiprecision::backends::cpp_bin_float<113, boost::multiprecision::backends::digit_base_2, void, short int, -16382, 16383>, boost::multiprecision::et_off>&) const’
   28 |   j.at("x").get_to(a.m_x);