Есть ли способ создать стек через STL, который содержит элементы более чем одного типа данных?

Все контейнеры STL содержат элементы только одного типа.

Однако есть два способа ослабить это требование.

Первый — через контейнер указателей, где типы связаны через наследование. Это не подходит для того, что вы просите здесь.

Второй (как сказал Игорь выше) использовать std::variant для создания нового типа, который может содержать внутри себя разные типы.

Итак, для вашего примера вы можете сделать std::stack<std::variant<int, char>>.