Сказ об опасном std::enable_shared_from_this, или антипаттерн «Зомби» — разбор полётов

Уточните, пожалуйста, почему вы решили что в потоке безопасно проверять состояние указателя, не завернув проверку в какой-нибудь мьютекс? Насколько я помню, weak/shared указатели не являются потокобезопасными.

Так все проблемы не в умных указателях, а в том, что есть несколько способов сделать detached thread.
Один способ — через ссылку изнутри потока на собственного владельца, а другой — через явный вызов detach (и тогда система будет держать свою собственную ссылку на поток, хоть и не на объект-фасад).

И потом ходить говорить "так и знал, кривые кирпичи мне подсунули".

Вот эти рассуждения "я прибил сессию, а она всё равно что-то успела поделать" — это потому, что всё так задумано. Точнее, не задумана атомарность и/или транзакционность.

Вообще, зомби делаются на раз безо всяких циклических ссылок:

struct ThreadData { ..... };

int main() {
  auto data = std::make_shared<ThreadData>(.....);
  auto thread = std::thread([data]() {
    .....
    .....
    .....
  });
  data->please_stop = true;
  thread.detach();
  data.reset();
}

Просто циклическая зависимость между объектом и ассоциированным с ним потоком (и вынужденная циклическая ссылка любого типа — умная, слабая, или вообще голая) добавляет шарма.
Но вот в моём коде нет циклической зависимости. Объектом data владеют main() и поток. (Хотите сделать RAII — просто переложите локальные переменные в отдельную структурку).
Потоком владеют main() и система.
Главным потоком main владеет система.
Граф упорядочен, а зомби есть.

Между please_stop и прохождением любой контрольной точки может пройти сколь угодно много времени в ожидании или в интенсивной работе, которая — по нашей хотелке — не должна была бы совершаться.
Значит, надо нашу хотелку чем-то подтверждать. Переделывая всю архитектуру функции рабочего потока.

Колхозить семафоры на подсчёте ссылок — это ОЧЕНЬ ПЛОХАЯ ПРАКТИКА. Ваша программа будет работать ровно до того момента, как вы где-нибудь локально не подарите кому-то ссылку на сторону.

thread_ = std::thread([shis = enable_shared_from_this()]() {
    { auto shat = shis;
      if (shis.use_count() == 1) return;  // никогда
    }
    { Partner partner(shis);
       if (shis.use_count() == 1) return;  // зависит от логики партнёра
    }
  });

Ну и раз мы вообще делали detach (а обнуление умного указателя — это ни что иное, как отцепка нас от объекта, поэтому — какое-такое раи-шмаи?), то

• возможно, мы намеренно хотели создать поток, живущий своей жизнью
• возможно, нам нужна рукоятка для явной просьбы остановить поток (и дальше пусть он живёт своей жизнью, сколько сочтёт нужным)

{
  auto zombie = SteppedZombie::create();
  ...
  zombie->please_stop();  // взводит флажок
}

• а если уж на то пошло, то можем такую взводилку сделать раи

class zombie_lock {
  shared_ptr<Zombie> zombie;
  bool ultimative;
public:
  zombie_lock(shared_ptr<Zombie> z, bool u) : zombie(z), ultimative(u) {}
  ~zombie_lock() {
    if (zombie) {
      zombie->please_stop();
      if (ultimative) { zombie->join(); }
    }
  }
};

...
int main() {
  { Zombie::create(); }  // этот будет жить сколько влезет
  { zombie_lock zl(Zombie::create(), false); }  // этот попросит сдохнуть
  { zombie_lock zl(Zombie::create(), true); }  // этот даже дождётся
}

Где тут enable_shared_from_this? Нигде, скажете вы? А я скажу — неважно где, может, везде, просто это не имеет значения.