Сделайте аргумент обязательным, не полагаясь на позицию

Скажем, класс Foo имеет две зависимости (Bar и Baz) и что это ошибка для создания Foo без предоставления обоих из них. Инъекция конструктора позволяет во время компиляции гарантировать, что это будет сделано:

class Foo
{
public:
   Foo(const std::shared_ptr<Bar>& bar, const std::shared_ptr<Baz>& baz);
   // (don't get hung up on the type of pointer used; it for example only)
};

Но позвольте сказать, что Foo также нуждается в двух двухлокальных номерах:

class Foo
{
public:
    Foo(const std::shared_ptr<Bar>& bar, const std::shared_ptr<Baz>& baz,
        double val1, double val2);
};

Теперь есть проблема; было бы очень просто, чтобы вызывающий случайно переместил val1 и val2 и создал ошибку времени выполнения. Мы можем добавить структуру Params, чтобы разрешить именованную инициализацию и исключить это:

class Foo
{
public:
   struct Params
   {
       std::shared_ptr<Bar> bar;
       std::shared_ptr<Baz> baz;
       double val1;
       double val2
   };

    Foo(const Params& params);
};

// ...

std::shared_ptr<Foo> MakeDefaultFoo()
{
    Foo::Params p;
    p.bar = std::make_shared<Bar>();
    p.baz = std::make_shared<Baz>();
    p.val1 = 4.0;
    p.val2 = 3.0;
    return std::make_shared<Foo>(p);
}

Но теперь у нас есть проблема, что вызывающий может забыть заполнить одно из полей в Params, которое не будет обнаруживаться до выполнения. синтаксис инициализации структуры или список инициализаторов сделали бы невозможным забыть поле, но затем мы вернемся к позиции!

Есть ли какой-то трюк, который позволяет иметь лучшее из обоих миров - обязательные аргументы, связанные с компилятором, которые назначаются именем вместо позиции?