如何避免意外地通过值而不是通过引用获取数组元素？

Question

说我有一个数组std::vector<Foo>，我想遍历我所有的Foo和做的东西做出来，像这样：

for (auto foo : vecFoo) 
    foo.x = 10; 

这结束了做什么，因为它使得vecFoo内容的本地副本，而不是对它的引用。正确的循环如下：

for (auto& foo : vecFoo) 
    foo.x = 10; 

这是我现在做了几次失误，所以我想为它找到一个解决方案，将赶上我，当我做错了。我会很满意我可以对结构做些什么或者可以打开一个警告标志。我试过使Foo的拷贝构造函数私有，但最终我无法做到push_back或emplace_back，这显然不是我想要的。

Answer 1

这是我现在做了几次的错误，所以我想找到一个解决方案，它会抓住我，当我发现它错了。

根据我的经验，最好的解决方案是训练自己总是默认声明对象为const。这使得它成为一个编译器检查错误，试图修改它们。 一旦你这样做，编译器会抓住这样的声明时，你已经忘记从中偏离使对象可写：

// This is what my hands write by default: 
int const x = 42; 

我尝试总是这样写。然后，每当我看到代码如下：

int y = 42; 

我的脑子里试图找出如果变量实际上应该修改。你可以因为这个令人欣慰的思想适应你的循环例如，C++ 11允许这为范围，对循环以及：

for (auto const i : vecFoo) 
    i.foo = 10; // error 

当然，这只是工作，一旦你已经训练自己自动const一切。

我同意这与完美相去甚远，需要大量的锻炼。正如几个人一再指出的那样，最好的解决方案是C++在默认情况下考虑声明const（事实上，至少对于lambda捕获的值，这个就是这种情况），但是该船已经航行了。

Answer 2

潜在问题的答案是学习。如果再犯这样的错误，你最终会从经验中学习。

对于您的特殊情况，您可以完全控制存储在容器中的类型的语言技巧，您可以提供一个nothrow移动构造函数并禁用复制构造。这将需要使用emplace_back（或移动语义与push_back）。

不过，这只是在这种特定情况下触发错误的一种方式，但如果您存储的任何类型不是您控制的100％（即，不能禁用拷贝构造或增加移动建设，还是无法实现抛出异常举动构造--cannot保证它不会抛出），那么你的运气了，这导致了第一句话：学会使用引用

Answer 3

我要求的是一种方法，使该副本对我的课程无效，以便没有犯这样的错误的机会。

C++ 11可以很容易地让你的类不可复制。只要删除拷贝构造函数/赋值运算符（假设你的编译器支持C++ 11功能）：

class SomeClass 
{ 
public: 
    SomeClass(const SomeClass &) = delete; 
    SomeClass &operator=(const SomeClass &) = delete; 

... 
}; 

任何试图调用拷贝构造函数将产生一个编译器错误。如果您使用Visual Studio，但尚不支持此语法，则必须使用标准C++ 03成语。也就是说，私下声明拷贝构造函数。

---

我可以不再使用我的结构的载体，因为它不能被复制到载体。

当然可以。您只能使用需要复制的功能。您必须将push_back和insert的使用替换为emplace_back和emplace。

记住：如果你声明拷贝构造函数和赋值操作符，甚至只是删除它们，你必须手动声明举动构造函数/赋值运算符。当然，您可以使用= default语法。