move後に初期化した変数の安全性

Question

一度moveして所有権を移動した変数aがあります
次にaにstd::string::operator =()関数の戻り値をいれます
このaは普通に使用して問題ありませんか

#include <string>
	
void test(std::string& a){
    //処理
};

int main(){
    std::string a{};
    a = "test";

    std::string b = std::move(a); 
    
    //test(a);//危険
    
    //これは危険か
    {
        a = std::string{};
        test(a);
    }
}

環境

c++17,20

Answer 1

問題ないです。 std::string (std::basic_string<char>) 型のムーブ後のオブジェクトは未規定の値で有効な状態であると規定されています。 どのような値を持っているのか規定されていないものの、デタラメな状態になっているというわけではないので代入すれば代入された値になります。

Comments

[oio]

ありがとうございます！