std::pair 赋值运算符的性能问题是什么？

Question

我看过Danila Kutenin — C++ STL best and worst performance features 的演讲（包括同一演讲的另一个版本），我已经阅读了blog，但我仍然不明白是什么阻碍了 std::pair 赋值运算符的优化。

godbolt link of the comparison with custom pair，此处内联代码：

struct MyPair {
    int a;
    int b;
};

// slower
void CopyPair(const std::vector<std::pair<int, int>>& a,
              std::vector<std::pair<int, int>>& b) {
    std::copy(a.begin(), a.end(), b.begin());
}

// faster
void SmartCopyPair(const std::vector<MyPair>& a,
                   std::vector<MyPair>& b) {
    std::copy(a.begin(), a.end(), b.begin());
}

Answer 1

这不是 C++ 的问题，而是您使用的 STL 实现的问题。

如果你写以下检查

    static_assert(std::is_trivially_copyable_v<MyPair>,"MyPair is not trivially copyable");
    static_assert(std::is_trivially_copyable_v<std::pair<int,int>>,"std pair is not trivially copyable");

您会注意到只有第二行无法编译。并非所有 STL 实现都属于这种情况，而仅适用于您编译的那个，可能还有其他一些实现。

当std::is_trivially_copyable_v<T> 为真时，T 的向量的std::copy 可能在整个范围内优化为memcpy，而不是按元素调用副本。