相关疑难解决方法(0)

在C++ 03中,表达式是rvalue或lvalue.

在C++ 11中,表达式可以是:

1. 右值
2. 左值
3. x值
4. glvalue
5. prvalue

两类已成为五大类.

• 这些新的表达类别是什么？
• 这些新类别如何与现有的左值和左值类别相关联？
• C++ 0x中的右值和左值类别是否与它们在C++ 03中的相同？
• 为什么需要这些新类别？是WG21神只是想迷惑我们凡人？

由于我们在C++中移动了语义,所以现在通常这样做

void set_a(A a) { _a = std::move(a); }

原因是,如果a是左值,则副本将被删除,并且只有一个移动.

但如果a是左值,会发生什么？似乎将有一个复制结构,然后是一个移动赋值(假设A有一个适当的移动赋值运算符).如果对象具有太多成员变量,则移动分配可能成本很高.

另一方面,如果我们这样做

void set_a(const A& a) { _a = a; }

只有一个副本分配.如果我们传递左值,我们可以说这种方式优于传值的习语吗？

在Herb Sutter的CppCon 2014谈话回归基础:现代C++风格他在幻灯片28(幻灯片的网络副本在这里)上引用了这种模式:

class employee {
  std::string name_;
public:
  void set_name(std::string name) noexcept { name_ = std::move(name); }
};

他说这是有问题的,因为当用临时调用set_name()时,noexcept-ness不强(他使用短语"noexcept-ish").

现在,我在我最近的C++代码中使用了上述模式,主要是因为它节省了我每次都输入两个set_name()的副本 - 是的,我知道每次强制复制构造都会有点效率低下,但是,嘿,我是一个懒惰的人.然而Herb的短语"这个noexcept是有问题的 "让我担心,因为我没有在这里得到问题:std :: string的移动赋值运算符是noexcept,因为它的析构函数,所以上面的set_name()似乎保证noexcept.我确实看到编译器在 set_name()之前抛出了一个潜在的异常,因为它准备了参数,但我很难看到它有问题.

后来在幻灯片32上Herb明确指出上面是一个反模式.有人可以向我解释为什么我一直懒惰地编写糟糕的代码？

我想编写一个通过移动或复制接收参数的模板函数。我使用的最有效的方法是：

void setA(A a)
{
   m_a = std::move(a);
}

在这里，当我们使用的是

A a;
setA(a);            // <<---- one copy ctor & one move ctor
setA(std::move(a)); // <<---- two move ctors

我最近发现以这种方式定义它，有两个功能：

void setA(A&& a)
{
   m_a = std::move(a);
}
void setA(const A& a)
{
   m_a = a;  // of course we can so "m_a = std::move(a);" too, since it will do nothing
}

会省很多！

A a;
setA(a);            // <<---- one copy ctor
setA(std::move(a)); // <<---- one move ctor

这很棒！对于一个参数...创建具有 10 个参数的函数的最佳方法是什么？！

void …