Тут лучше уточнить что именно непонятно

Нулевой указатель не указывает на объект, для него нет разыменования.

always_false_v - это шаблон constexpr inline переменной типа bool, который вне зависимости от своего шаблонного параметра всегда false

false константа нужна в dependent контексте, чтоб вычилялась не сразу, а при  инстанцировании

Шаблоны переменных появились в С++14
inline переменные в С++17

вот где можно почитать про шаблонные переменные?

спасибо!

на сколько я помню, 0 может быть вполне себе валидным адресом )

Шаблоны переменных*
https://en.cppreference.com/w/cpp/language/variable_template

Что значит "нет разыменовывания"?

скажите пожалуйста, понятно как это работает если есть constexpr, а вот если ег оубрать, какой в этом будет практический смысл? Получится в такую шаблонную переменную писать можно будет?

Да

template <typename T> foo = T{};
foo<int> = 42;

Я не знаю практических смыслов, кроме применения для тайп трейтов
Чтобы можно было писать:

std::is_same_v<T1, T2>

Вместо

std::is_same<T1, T2>::value

std::is_same_v<T1, T2>

std::is_same<T1, T2>::value

Синглтоны юзать как Instance<T>->foo()

спасибо

А ещё не подскажете, может быть кто-то видел элегантную реализацию, я работаю над реализацией конечного автомата. Автомат принимает 4 вида сообщения (пока): MessageA, MessageB, MessageC, MessageD. Он может быть в 3 хостояниях (пока) State1, State2, State3. Автомат полностью детерминированный, то есть он принимает сообщение, выдаёт сообщение, и (опционально) переходит в новое состояние. Получается матрица из 12 функций, часть этих функций по логике делают одно и то же. Пока что я думаю сделать вот так:
class FSM {
 template <typename Message> step(Message&& m) {
         if (std::is_same<decltype(m), MessageA) step_a(m);
        ...
};
step_a - это лямбда, которую я переназначу когда удобно

Есть более элегантные способы? Может кто-то видел уже похожее решение этой проблемы.

уже смотрел в других реализациях FSM?

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