gcc - boost::variant 与多态性，clang 和 gcc 的性能结果非常不同

Question

我试图弄清楚 boost::variant 的执行时间与多态方法有多少不同。在我的第一次测试中，我在 gcc 4.9.1 和 clang+llvm 3.5 上得到了非常不同的结果。
您可以在下面找到代码。这是我的结果:
叮当+llvm

polymorphism: 2.16401
boost::variant: 3.83487

海湾合作委员会:

polymorphism: 2.46161
boost::variant: 1.33326

我用-O3编译了两者。
有人能解释一下吗？
代码

#include <iostream>
#include <vector>
#include <algorithm>
#include <boost/variant.hpp>
#include <boost/variant/apply_visitor.hpp>
#include <ctime>

struct value_type {

    value_type() {}
    virtual ~value_type() {}
    virtual void inc() = 0;
};

struct int_type : value_type {

    int_type() : value_type() {}
    virtual ~int_type() {}

    void inc() { value += 1; }

      private:
    int value = 0;
};

struct float_type : value_type {

    float_type() : value_type() {}
    virtual ~float_type() {}

    void inc() { value += 1; }

      private:
    float value = 0;
};

void dyn_test() {

    std::vector<std::unique_ptr<value_type>> v;
    for (int i = 0; i < 1024; i++) {
        if (i % 2 == 0)
            v.emplace_back(new int_type());
        else
            v.emplace_back(new float_type());
    }

    for (int i = 0; i < 900000; i++) {
        std::for_each(v.begin(), v.end(), [](auto &item) { item->inc(); });
    }
}

struct visitor : boost::static_visitor<> {

    template <typename T> void operator()(T &item) { item += 1; }
};

using mytype = boost::variant<int, float>;
void static_test() {
    std::vector<mytype> v;
    for (int i = 0; i < 1024; i++) {
        if (i % 2 == 0)
            v.emplace_back(0);
        else
            v.emplace_back(0.f);
    }

    visitor vi;
    for (int i = 0; i < 900000; i++) {
        std::for_each(v.begin(), v.end(), boost::apply_visitor(vi));
    }
}

template <typename F> double measure(F f) {
    clock_t start = clock();
    f();
    clock_t end = clock();
    float seconds = (float)(end - start) / CLOCKS_PER_SEC;
    return seconds;
}

int main() {
    std::cout << "polymorphism: " << measure([] { dyn_test(); }) << std::endl;
    std::cout << "boost::variant: " << measure([] { static_test(); }) << std::endl;

    return 0;
}    

汇编器
gcc
clang+llvm

Answer 1

众所周知，Clang 会错误编译来自各种标准库的某些 std::vector 函数，因为它们的内联程序中存在一些边缘情况。我不知道这些现在是否已经修复，但很可能没有。自 unique_ptr比 boost::variant 更小更简单它更有可能不会触发这些边缘情况。

您发布的代码实际上是“为什么 boost::variant 很棒”。除了两者都执行的常规间接寻址之外，还有动态分配和随机指针索引吗？这是一个沉重的打击(相对)。