在这里提供一些结束。User@user17732522提供了我需要的线索来弄清楚发生了什么，以及使用std::optional的更好实现的建议：

#include <tuple>
#include <optional>
typedef std::tuple<
    std::optional<CInput>,
    std::optional<CAnimation>,
    std::optional<CTransform>
> ComponentTuple;
class Entity
{
    ...
    ComponentTuple m_components;
public:
    ...
    // component management
    template <typename T> bool has_component() const { return std::get<std::optional<T>>(m_components).has_value(); }
    template <typename T, typename... TArgs> T& add_component(TArgs&&... mArgs)
    {
        std::optional<T>& opt_comp = std::get<std::optional<T>>(m_components);
        opt_comp = std::make_optional(T(std::forward<TArgs>(mArgs)...));
        return opt_comp.value();
    }
    template <typename T> T& get_component() { return std::get<std::optional<T>>(m_components).value(); }
    template <typename T> const T& get_component() const { return std::get<std::optional<T>>(m_components).value(); }
    template <typename T> void remove_component() { std::get<std::optional<T>>(m_components).reset(); }
};

字符串
在这个实现中，元组可以管理的类型绝对没有任何限制，除了每个类型必须是唯一的，这样成员就可以通过类型而不是索引找到元素。
代码可以这样写：

auto& anim = player->add_component<CAnimation>(...);
std::cout << "added: " << anim << std::endl;
std::cout << "player " << (player->has_component<CAnimation>() ? "has" : "does not have") << " the CAnimation component." << std::endl;
player->remove_component<CAnimation>();
std::cout << "removed" << std::endl;
std::cout << "player " << (player->has_component<CAnimation>() ? "has" : "does not have") << " the CAnimation component." << std::endl;

型
非常感谢那些回答的人。