boost::json: Como verificar se um valor existe e tem um certo tipo

Existem dois métodos para verificar se um valor existe e tem um certo tipo em boost::json. Veja abaixo um exemplo completo onde você pode testar ambos os métodos. Eu geralmente recomendo Opção 1 pois fazer todas as verificações 100% corretamente é trabalhoso e muitas vezes tende-se a esquecer alguns casos extremos.

Apenas para sistemas embarcados onde exceções estão desativadas (e habilitá-las não é uma opção), Opção 2 é o caminho a seguir.

Opção 1: Capturar exceções

check_value.cpp

void extractTimestamp(const boost::json::value& jv) {
    try {
        double timestamp = jv.as_object().at("timestamp").as_double();
        std::cout << "Timestamp: " << timestamp << std::endl;
    } catch (const boost::system::system_error& e) {
        std::cerr << "Error" << e.code() << ": " << e.what() << std::endl;
    }
}

Opção 2: Usar verificações explícitas

check_value_explicit.cpp

void extractTimestamp2(const boost::json::value& jv) {
    // Extract the timestamp as a double
    if (jv.is_object() && jv.as_object().contains("timestamp")) {
        double timestamp = jv.as_object().at("timestamp").as_double();
        std::cout << "Timestamp: " << timestamp << std::endl;
    } else {
        std::cerr << "Error: 'timestamp' field is missing in the JSON data." << std::endl;
    }
}

Caso de teste completo

check_value_test.cpp

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

// TODO: Insert one of the extractTimestamp functions here!

int main() {
    // Test with correct JSON
    {
        std::string line = "{\"timestamp\":1675910171.91}";
        boost::json::value jv = boost::json::parse(line);
        extractTimestamp(jv);
    }

    // Test with incorrect JSON #1
    {
        std::string line = "{}";
        boost::json::value jv = boost::json::parse(line);
        extractTimestamp(jv);
    }

    // Test with incorrect JSON #2
    {
        std::string line = "[]";
        boost::json::value jv = boost::json::parse(line);
        extractTimestamp(jv);
    }

    return 0;
}

Saída para Opção 1:

output_option1.txt

Timestamp: 1.67591e+09
Error boost.json:17: out of range [boost.json:17 at /usr/include/boost/json/impl/object.hpp:388 in function 'at']
Error boost.json:31: value is not an object [boost.json:31 at /usr/include/boost/json/value.hpp:2529 in function 'as_object']

Saída para Opção 2:

Note que a mensagem de erro aqui não é muito específica.

output_option2.txt

Timestamp: 1.67591e+09
Error: 'timestamp' field is missing in the JSON data.
Error: 'timestamp' field is missing in the JSON data.