Как заставить этот спокойный конечный автомат работать?

Настройте ваш виджет ввода веса так, чтобы не было возможности ввести вес меньше нуля. Тогда вам не понадобится invalidWeight()

Конечный автомат, который вы использовали выше, не соответствует тому, что вы описали. Использование конечного состояния неверно, потому что после ввода значения больше нуля я не вижу ничего, что мешало бы пользователю снова ввести ноль. Следовательно, действительные состояния не могут быть окончательными. Насколько я понимаю из вашего кода, пользователю разрешено изменять состояние виджетов в любом порядке. Ваша государственная машина должна обратить на это внимание.

Я бы использовал конечный автомат с четырьмя дочерними состояниями (нет действительного ввода, один действительный ввод, два действительных ввода, три действительных ввода). Очевидно, вы начинаете без действительного ввода. Каждый виджет может переключаться с «нет» на «один или обратно» (одинаковое количество для двух и трех). Когда введено три, все виджеты действительны (кнопка активирована). Для всех остальных состояний кнопка должна быть отключена при входе в состояние.

Я написал образец приложения. Главное окно содержит два QCheckBox: QSpinBox и QPushButton. В главном окне есть сигналы для облегчения записи переходов состояний. Они срабатывают при изменении состояния виджетов.

MainWindow.h

#ifndef MAINWINDOW_H
#define MAINWINDOW_H

#include <QtGui>

namespace Ui
{
    class MainWindow;
}

class MainWindow : public QMainWindow
{
    Q_OBJECT

public:
    MainWindow(QWidget *parent = 0);
    ~MainWindow();

private:
    Ui::MainWindow *ui;
    bool m_editValid;

    bool isEditValid() const;
    void setEditValid(bool value);

private slots:
    void on_checkBox1_stateChanged(int state);
    void on_checkBox2_stateChanged(int state);
    void on_spinBox_valueChanged (int i);
signals:
    void checkBox1Checked();
    void checkBox1Unchecked();
    void checkBox2Checked();
    void checkBox2Unchecked();
    void editValid();
    void editInvalid();
};

#endif // MAINWINDOW_H

MainWindow.cpp

#include "MainWindow.h"
#include "ui_MainWindow.h"

MainWindow::MainWindow(QWidget *parent)
  : QMainWindow(parent), ui(new Ui::MainWindow), m_editValid(false)
{
  ui->setupUi(this);

  QStateMachine* stateMachine = new QStateMachine(this);
  QState* noneValid = new QState(stateMachine);
  QState* oneValid = new QState(stateMachine);
  QState* twoValid = new QState(stateMachine);
  QState* threeValid = new QState(stateMachine);

  noneValid->addTransition(this, SIGNAL(checkBox1Checked()), oneValid);
  oneValid->addTransition(this, SIGNAL(checkBox1Checked()), twoValid);
  twoValid->addTransition(this, SIGNAL(checkBox1Checked()), threeValid);
  threeValid->addTransition(this, SIGNAL(checkBox1Unchecked()), twoValid);
  twoValid->addTransition(this, SIGNAL(checkBox1Unchecked()), oneValid);
  oneValid->addTransition(this, SIGNAL(checkBox1Unchecked()), noneValid);

  noneValid->addTransition(this, SIGNAL(checkBox2Checked()), oneValid);
  oneValid->addTransition(this, SIGNAL(checkBox2Checked()), twoValid);
  twoValid->addTransition(this, SIGNAL(checkBox2Checked()), threeValid);
  threeValid->addTransition(this, SIGNAL(checkBox2Unchecked()), twoValid);
  twoValid->addTransition(this, SIGNAL(checkBox2Unchecked()), oneValid);
  oneValid->addTransition(this, SIGNAL(checkBox2Unchecked()), noneValid);

  noneValid->addTransition(this, SIGNAL(editValid()), oneValid);
  oneValid->addTransition(this, SIGNAL(editValid()), twoValid);
  twoValid->addTransition(this, SIGNAL(editValid()), threeValid);
  threeValid->addTransition(this, SIGNAL(editInvalid()), twoValid);
  twoValid->addTransition(this, SIGNAL(editInvalid()), oneValid);
  oneValid->addTransition(this, SIGNAL(editInvalid()), noneValid);

  threeValid->assignProperty(ui->pushButton, "enabled", true);
  twoValid->assignProperty(ui->pushButton, "enabled", false);
  oneValid->assignProperty(ui->pushButton, "enabled", false);
  noneValid->assignProperty(ui->pushButton, "enabled", false);

  stateMachine->setInitialState(noneValid);

  stateMachine->start();
}

MainWindow::~MainWindow()
{
  delete ui;
}

bool MainWindow::isEditValid() const
{
  return m_editValid;
}

void MainWindow::setEditValid(bool value)
{
  if (value == m_editValid)
  {
    return;
  }
  m_editValid = value;
  if (value)
  {
    emit editValid();
  } else {
    emit editInvalid();
  }
}

void MainWindow::on_checkBox1_stateChanged(int state)
{
  if (state == Qt::Checked)
  {
    emit checkBox1Checked();
  } else {
    emit checkBox1Unchecked();
  }
}

void MainWindow::on_checkBox2_stateChanged(int state)
{
  if (state == Qt::Checked)
  {
    emit checkBox2Checked();
  } else {
    emit checkBox2Unchecked();
  }
}

void MainWindow::on_spinBox_valueChanged (int i)
{
  setEditValid(i > 0);
}

Это должно помочь. Как вы сами уже упоминали, есть лучшие способы добиться такого поведения. Особенно отслеживайте все переходы между состояниями, подверженными ошибкам.

Когда мне приходится делать подобные вещи, я обычно использую сигналы и слоты. По сути, каждый из виджетов и числовое поле будет автоматически излучать сигналы при изменении своего состояния. Если вы свяжете каждый из них со слотом, который проверяет, все ли 3 объекта находятся в желаемом состоянии, и включает кнопку, если они есть, или отключает ее, если нет, то это должно упростить ситуацию.

Иногда вам также потребуется изменить состояние кнопки после ее нажатия.

[РЕДАКТИРОВАТЬ]: Я уверен, что есть способ сделать это с помощью конечных автоматов. Вы вернетесь только в том случае, если оба флажка установлены, и вы добавили недопустимый вес или вам также нужно будет вернуться, установив только один флажок? Если это первое, то вы можете настроить состояние RestoreProperties , которое позволит вам вернуться к состоянию флажка. В противном случае есть ли способ сохранить состояние перед проверкой правильности веса, вернуть все флажки, а затем восстановить состояние.