¿Se evalúa el argumento `this` antes o después de otros argumentos de función miembro?

Question 1

En el siguiente código, una función miembro set() es llamado en un model, que es un puntero nulo. Esto sería un comportamiento indefinido. Sin embargo, el parámetro de la función miembro es el resultado de otra llamada de función que verifica si el model es un puntero nulo y se lanza en ese caso. ¿Está garantizado que estimate() siempre será llamado antes de la model se accede o sigue siendo un comportamiento indefinido (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;
}

Question 2

Esto sigue siendo un comportamiento indefinido (UB) según expr.compuesto:

El postfijo-expresión se secuencia antes de cada expresión en el lista de expresiones y cualquier argumento predeterminado. La inicialización de un parámetro, incluidos todos los cálculos de valores asociados y los efectos secundarios, tiene una secuencia indeterminada con respecto a la de cualquier otro parámetro.

(énfasis mío)

Esto significa que la expresión posfija model->set se secuencia antes de la expresión estimate(model) en la lista de expresiones. Y desde model es puntero nulo, la condición previa de std::shared_ptr::operator-> es violado y por lo tanto esto conduce a UB.

Question 3

A mi entender, este es un comportamiento indefinido. al menos desde C++ 17:

En una expresión de llamada a función, la expresión que nombra la función se secuencia antes de cada expresión de argumento y cada argumento predeterminado.

Como interpreto esto, en realidad garantiza que model->set se evalúa antes de cualquier argumento y, por lo tanto, invoca un comportamiento indefinido. No importa si o no model es un puntero crudo.

Question 4

[expr.call]/7:

El postfijo-expresión se secuencia antes de cada expresión en el lista de expresiones y cualquier argumento predeterminado.

En este caso, esto significa que model->set se evalúa antes estimate(model).

Desde model es un shared_ptr<Model>, model->set usos shared_ptrestá sobrecargado operator->que tiene la siguiente precondición ([util.smartptr.shared.obs]/5):

Condiciones previas: get() != nullptr.

La violación de esta condición previa da como resultado un comportamiento indefinido ([structure.specifications]/3.3).

¿Ha sido útil esta solución?