测试对象是否已从

Question

我正在测试我的容器包装器是否正确实现了 URef。我能想到的唯一明显的方法是尝试找出一种方法来检测对象是否已移动。

有没有一种很好的测试方法来确保对象没有被复制？还是有另一种方法来测试我想要什么？我更喜欢不需要修改我正在测试的类的解决方案。因为有几十个。

您能否提供更多有关您拥有的信息的信息？比如你的容器是什么，你如何使用它，你能不能修改它等等。也许你可以在不修改你的容器的情况下测试它，而是使用特殊的容器元素类型——它跟踪副本和移动。

几个不同的容器和一些独立的模板函数。大多数情况下，它是 STL 库类型（如 deque、list、map、set 等）的包装器。

Answer 1

有没有一种很好的测试方法来确保对象没有被复制？

您可以尝试以下检查：

live demo

#include <boost/container/vector.hpp>
#include <iostream>
#include <ostream>
#include <vector>
#include <string>

using namespace boost;
using namespace std;

struct Test
{
    bool copied;
    Test()
        : copied(false)
    {
    }
    Test(const Test&)
        : copied(true)
    {
    }
};

template<typename Container>
void check_move_constructor()
{
    Container from(1);
    Container to(boost::move(from));
    cout << "\tmove constructor is" << (to[0].copied ? " not" : "") << " working" << endl;
}

template<typename Container>
void check_move_assignment()
{
    Container from(1);
    Container to;
    to=boost::move(from);
    cout << "\tmove assignment is" << (to[0].copied ? " not" : "") << " working" << endl;
}

template<typename Container>
void check_move(const string &name)
{
    cout << name << " :" << endl;
    check_move_constructor< Container >();
    check_move_assignment< Container >();
    cout << string(16,'_') << endl;
}

int main()
{
    cout << boolalpha;
    check_move< container::vector<Test> >("boost::container::vector");
    check_move< vector<Test> >("std::vector");
    return 0;
}

MSVC2008 输出：

boost::container::vector :
        move constructor is working
        move assignment is working
________________
std::vector :
        move constructor is not working
        move assignment is not working
________________

注意，在这段代码中，我使用了从左值显式移动，所以复制省略在这里不起作用。

---

---

---

---

---

---

附：另一种方法是检查生成的汇编代码。例如 MSVC 上的 /FA 编译器选项或 GCC 上的 -S。

你可以用特殊的函数调用来标记感兴趣的地方：

__declspec(noinline) void asm_marker(int line) { volatile int i=line; };
#define ASM_MARKER asm_marker(__LINE__)

并将该标记放在代码中：

    ASM_MARKER;
    func_of_interest();
    ASM_MARKER;

Asm 代码可能如下所示：

    mov     ecx, 235                                ; 000000ebH
    call    ?asm_marker@@YAXH@Z                     ; asm_marker
    mov     edi, r12d
    lea     rcx, QWORD PTR [rdi+rdi*4]
    mov     rax, QWORD PTR vec$[rsp]
    lea     r9, QWORD PTR [rax+rcx*8]
    mov     rbx, QWORD PTR vec$[rsp+32]
    mov     ecx, 237                                ; 000000edH
    call    ?asm_marker@@YAXH@Z                     ; asm_marker   

Answer 2

添加一个在构造对象时设置为false 的布尔字段。在移动构造函数和移动赋值运算符中，将true 分配给要从中移动的对象中的该字段。