Там необщительные

И довольно токсик в принципе)

как разрешить такую зависимость?

struct A
{
    B::Type x;
};

struct B
{
    using Type = int;
    A a;
};

никак

ну ладно

шаблонная структура A, принимающая что то

👍

Можно заменить A a; на std::unique_ptr<A> a, и просто сделать forward declaration A перед структурой B

c cast оверхедит?

Сделать A шаблоном

Нет, но всё же лучше указывать явно какой каст тебе нужен

тоже норм

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

Похоже на паттерн команда

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

вот про эту часть

Наверняка как-то называется. Я часто встречал такое в энтерпрайзе

Базовый класс, может быть

для атомик була имеет смысл вообще memory order, если он просто меняется с true на false в потоке? Там же в любом случае тупо инструкция за 1 такт меняющая его, какой смысл тогда в ордерирге?