右辺値参照のお勉強

std::string a("hi");
std::string&& b = a;

//...

// ここで a を使うとどうなる？

a は既に右辺値参照によって破壊されている・・・よね？
ある時点である変数が右辺値参照によって破壊されているかどうかを知るためには，コードをさかのぼって右辺値参照があるかどうか調べるしかないのだろうか？