可以从具有不同分配器的 stl 容器构造吗？

Question

说我有

std::vector<T, allocator1=default allocator in STL>  A

std::vector<T, allocator2=some other allocator> B

我在 Cilk Plus 中使用 __offload::shared_allocator 作为 allocator2 从主机 CPU 卸载到 Xeon Phi 协处理器

我可以从 B 构造 A 吗？

std::vector<T> A{B.begin(), B.end()};

更一般地说，不同分配器对哪种 STL 函数很重要？

Answer 1

如 cmets 中所述，构造函数

std::vector<T> A{B.begin(), B.end()};

应该可以正常工作，因为它适用于任何两个迭代器。至于“不同分配器对哪种 STL 函数有影响？”的问题，有两种“不同”：

1. 具有不同类型的分配器。
2. 具有相同类型但比较不同的分配器。

对于 (1) 的不兼容性，您应该会看到编译时错误，因为类型系统会捕获它。对于 (2)，我不知道 STL 实现是否捕捉到可能的问题。在这方面要担心的主要容器/功能是类list 上的splice 方法（和类forward_list 上的splice_after 方法），因为它们将分配在一个容器中的对象移动到另一个容器。作为 C++11 标准注释的脚注 265，STL 容器要求分配器比较相等，因此这样的移动应该不是问题。

关于卸载问题，如果 A 被分配了一个普通的 STL 分配器，那么它不能在主机端构造并在协处理器端使用。但是B可以在两边都使用。这是一个在协处理器端从它构造 B using anoffload::shared_allocator, and constructsA` 的示例。

#pragma offload_attribute (push, _Cilk_shared)
#include <vector>
#include "offload.h"
#include <cstdio>
#pragma offload_attribute (pop)

_Cilk_shared std::vector<int, __offload::shared_allocator<int> > B;

_Cilk_shared void foo() {
#ifdef __MIC__
    std::vector<int> A(B.begin(),B.end());
    for( auto& x: A )
        std::printf("%d\n", x);
#else
    std::printf("Host\n");
#endif
}

int main() {
    auto y = 1;
    for( int i=0; i<10; ++i ) {
        B.push_back(y);
        y *= 10;
    }
    _Cilk_offload foo();
}

应该打印出来：

1
10
100
1000
10000
100000
1000000
10000000
100000000
1000000000