能否将std::tuple用于Eigen固定大小可向量化对象？

问题背景 #

Eigen官方说明中提到，当在STL容器中使用固定大小可向量化的Eigen类型时，需要使用过度对齐分配器。但对于std::tuple存储Eigen对象的场景，是否也需要遵循这一要求？比如以下代码是否合法、是否会引发问题：

std::tuple<Eigen::Vector2d, Eigen::Vector2d> foo()
{
    Eigen::Vector2d vec1(1, 2);
    Eigen::Vector2d vec2(3, 4);
    return std::make_tuple(vec1, vec2);
};

回答 #

这段代码完全合法，不会引发对齐相关的问题，原因如下：

• Eigen要求使用对齐分配器的核心场景是STL容器在堆上动态分配内存存放Eigen对象（比如std::vector<Eigen::Vector2d>），此时容器默认分配器可能无法满足Eigen类型的对齐需求，才需要指定特殊分配器。
• 你的代码中，Eigen::Vector2d对象先在栈上创建，随后被拷贝进std::tuple，而返回的tuple要么直接在调用方栈上构造，要么被编译器通过返回值优化（NRVO）直接在目标位置构造，整个过程没有涉及STL容器的动态内存分配，因此不需要额外的对齐分配器。

补充说明：
如果是动态分配包含Eigen类型的tuple（比如std::unique_ptr<std::tuple<Eigen::Vector2d, Eigen::Vector2d>>），C++11及以后的标准库分配器会自动识别类型的对齐要求并满足，无需手动指定特殊分配器。只有在使用非常老旧的编译器或极端特殊的内存分配场景下，才需要额外处理对齐问题。

内容的提问来源于stack exchange，提问作者supersolver