在下面的代码中，一个成员函数set()在一个model上被调用，这是一个空指针。这将是未定义的行为。然而，成员函数的参数是另一个函数调用的结果，该函数调用检查model是否为空指针，并在这种情况下抛出。是否保证estimate()总是在访问model之前被调用，或者它仍然是未定义行为（Undefined Behaviour，UB）？

#include <iostream>
#include <memory>
#include <vector>

struct Model
{
    void set(int x)
    {
        v.resize(x);
    }

    std::vector<double> v;
};

int estimate(std::shared_ptr<Model> m)
{
    return m ? 3 : throw std::runtime_error("Model is not set");
}

int main()
{
    try
    {
        std::shared_ptr<Model> model; // null pointer here
        model->set(estimate(model));
    }
    catch (const std::runtime_error& e)
    {
        std::cout << e.what();
    }

    return 0;
}