10

此代码打印-1：

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

int main()
{
    auto jsonText = "{ \"val\" : 4294967295 }";
    auto json = nlohmann::json::parse(jsonText);
    std::cout << json.at("val").get<int>() << std::endl;
}

我想检测该值是否超出预期范围。有可能以某种方式完成吗？

4

2 回答 2

10

做你想做的唯一方法是实际检索更大整数类型的值，然后检查该值是否在int.

using integer_t = nlohmann::json::number_integer_t;
auto ivalue = json.at("val").get<integer_t>();

if (ivalue < std::numeric_limits<int>::min() || ivalue > std::numeric_limits<int>::max()) {
    // Range error... 
}

一些细节...

parse() 在调用using std::strtoullor期间解析该数字std::strtoll（取决于-符号的存在），并转换为nlohmann::json::number_integer_t( int64_t1 ) 或nlohmann::json::number_unsigned_t( uint64_t1 )。

当您使用 查询值时get<int>，唯一要做的就是将存储的int64_t/uint64_t值强制转换为int，因此此时无法检查范围。

此外，您无法检索原始“字符串”，因为仅存储实际（无符号）整数值。

1 int64_t并且uint64_t是默认类型，因为nlohmann::json它实际上是basic_json模板的别名（很像std::string），但您可以使用任何您想要的类型。

于 2019-09-06T14:16:59.510 回答
5

除了 Holt 的回答，您还可以利用operator==库定义，其中指出：

整数和浮点数在比较之前会自动转换。请注意，两个 NaN 值始终被视为不相等。

这里发生的是数字溢出，这意味着json["val"] != json["val"].get<int>(). 免责声明：我不知道这种方法与 Holt 的方法相比有多有效

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

int main()
{
    auto jsonText = "{ \"val\" : 4294967296 }";
    auto json = nlohmann::json::parse(jsonText);
    auto val = json["val"].get<long long>();
    auto i = json["val"].get<int>();
    bool longOverflow = json["val"] != val;
    bool intOverflow = json["val"] != i;
    std::cout << std::boolalpha << "Long: " << longOverflow << "\nInt: " << intOverflow;
}

印刷：

Long: false
Int: true

在线尝试

请注意，这有一个警告：如果存储在 JSON 中的值是 double 或 float，并且作为 long 或 int 检索，它自然会评估为 true (12.3 != 12)，但它没有表示溢出。您可以使用is_number_integer()（检查 int、long 和各种其他类型，无符号或有符号）和is_number_float()（检查 double/float）来检查一般类型。

据我所知，从 int/long 到 double 不会失败。但是，如果数字足够大，库将无法解析数字( json.exception.out_of_range.406)，因此库施加了硬限制。据我所知，该限制设置为1.79769e+308（至少在 Wandbox 上）或最大双精度值。这也使 double 成为库中唯一不能溢出的类型。

至于在您使用某种类型检索它时自动检查数字溢出，开箱即用不支持。

于 2019-09-06T16:08:21.387 回答