Будут ли компиляторы автоматически применять семантику перемещения в методе установки?

[является] компилятором [...] разрешено автоматически использовать конструктор перемещения

Да, было бы неплохо. Но это не только оптимизация, это реально влияет на язык.

Рассмотрим тип только для перемещения, такой как unique_ptr:

std::unique_ptr<int> f()
{
  std::unique_ptr<int> up;
  return up; // this is ok although unique_ptr is non-copyable.
}

Предположим, ваше правило будет включено в стандарт C++, называемое правилом «последнего вхождения аргумента».

void SetString(std::unique_ptr<int> data)
{
    m_data = data; // this must be ok because this is "argument's last occurence"
}

Проверить, используется ли идентификатор в возврате, легко. Проверка, является ли это «последним появлением аргумента», не является.

void SetString(std::unique_ptr<int> data)
{
    if (condition) {
      m_data = data; // this is argument's last occurence
    } else {
      data.foo();
      m_data = data; // this is argument's last occurence too
    }
    // many lines of code without access to data
}

Это тоже допустимый код. Таким образом, каждый компилятор должен будет проверять «последнее вхождение аргумента», что не так просто. Для этого ему пришлось бы просмотреть всю функцию, чтобы решить, верна ли первая строка. Также трудно рассуждать как человек, если вам нужно прокрутить 2 страницы вниз, чтобы проверить это.

Нет, компилятору не разрешено в С++ 11. И он, вероятно, не будет разрешен в будущих стандартах, потому что эту функцию очень сложно реализовать в компиляторах вообще, и это просто удобство для пользователя.

нет, здесь не будет использоваться семантика перемещения, так как str можно использовать в следующем коде, на самом деле, даже если бы это было rvalue, вам все равно придется std::move заставить его.. если вы хотите использовать семантику перемещения, я бы посоветовал получить wstring&& str в функцию, а затем с помощью move..

Нет, компилятор не разрешен. По некоторым причинам, не только потому, что это сложно сделать. Я думаю, что копирование и перемещение могут иметь побочные эффекты, и вам нужно знать, когда вы можете ожидать, что каждый из них будет использован. Например, хорошо известно, что возврат локального объекта приведет к его перемещению - вы ожидаете, что это задокументировано, это нормально.

Итак, у нас есть следующие возможности:

Ваш пример:

void SetString(std::wstring str)
{
     m_str = str;  
}

Для значений r: одна ссылка r в str плюс копия в m_str. Для l-значений: копия в str и копия в m_str.

Мы можем сделать это «лучше» вручную:

void SetString( std::wstring str)
{
     m_str = std::move(str);  
}

Для значений r: один r-ref в str плюс переход в m_str. Для L-значений: копия в str и перемещение в m_str.

Если по какой-то причине (вы хотите, чтобы он компилировался без C++11 без изменений, но автоматически использовал преимущества C++11 при переносе кода?) вы не хотите «оптимизировать вручную» код, вы можете сделать:

void SetString(const std::wstring& str)
{
     m_str = str;  
}

Для значений r: одна ссылка в str плюс копия в m_str. Для L-значений: ссылка в str и копия в m_str. Никогда 2 копии.