#include <boost/json.hpp>
using namespace boost::json;
int main(int argc, const char * argv[]) {
value jv = 3.12;
std::cout << to_string( jv.kind());
if (auto p = jv.if_double()) {
double d = *p;
std::cout << boost::json::serialize(jv);
}
if (jv.is_double()) {
std::cout << boost::json::serialize(jv);
}
jv.emplace_string() = "Hello, world!";
try {
jv.as_double() = 3.14;
}
catch (std::exception e) {
std::cout << e.what();
}
auto ref = jv.get_double();
return 0;
}
这一篇介绍value类。
可以简单理解value类封装了一个union。
Kind接口:
jv.kind() 返回一个枚举,可以根据这个枚举值判断value内部当前的存储值类型
Emplacement接口:
emplace_xxx()函数,返回一个xxx的引用。源码有这句关键注释:
changing the kind and replacing the contents (改变kind,替换内容)
Kind Test接口:
is_xxx()函数,返回一个bool值。如果value当前存储的东西符合xxx,则返回true
Pointer Access接口:
if_xxx()函数,如果value当前存储的东西符合xxx,则返回xxx指针,否则返回nullptr
Checked Access接口:
as_xxx()函数,如果value当前存储的东西符合xxx,则返回xxx的引用,否则抛异常。
它和emplace_xxx()有点像,都是返回xxx的引用。区别是:as_xxx()不会改变当前kind和内容。
Unchecked Access接口:
get_xxx()函数,返回xxx的引用。如同接口名字Unchecked所指,这个函数硬硬的返回union的成员,而且不抛异常。假设当前union里存的是double,我硬按照int64读数,也能读出来。
显然,get_xxx()具有noexcept签名,编译出的代码效率高于as_xxx()。
get_xxx()是具有assert断言,判断kind是否正确。方便调试代码。运行时,这个断言可能就不起作用了。