C ++ - 如何在lldb / Xcode中獲取std :: vector對象的地址

Question

我有一個堆棧分配的std::vector ，被一些流氓代碼覆蓋。 它不是被覆蓋的數據 ，而是內部狀態。 我知道這是因為size()成員函數在程序中返回一段垃圾值。 它正確初始化。 我懷疑代碼中的其他地方有一個常見的指針錯誤。

我正在使用Xcode 4.6.2 。 我想在內存訪問向量的第一個內存位置（向量本身，而不是數據）時設置硬件斷點（使用lldb ），所以我可以看到覆蓋它的內容。 根據這個我需要先找到矢量的地址。 通常會使用&運算符來獲取變量的地址，但由於某種原因，使用lldb這不會返回地址，而是打印某種類型的匯總字符串。

class myClass {
 public:
  myClass() : myVector(4) {}
 private:
  std::vector<double> myVector;
  double myDouble;
};

在構造完所有內容后，在任意斷點處斷開之后：

(lldb) frame variable &myObject.myVector
(std::vector<double, std::allocator<double> > *) $7 = size=4

'expr'具有相同的結果：

(lldb) expr &myObject.myVector;
(std::vector<double, std::allocator<double> > *) $8 = size=4

通常我希望看到打印的地址，例如使用此普通數據成員：

(lldb) frame variable &myObject.myDouble
(double *) &myDouble = 0x0000000125589328

我嘗試使用'expr'將地址分配給變量，但這也不起作用：

(lldb) expr std::vector<double, std::allocator<double> > * f = &myObject.myVector; f
(std::vector<double, std::allocator<double> > *) $12 = size=0

返回的零大小（而不是4）表明它實際上並沒有實際獲取正確的向量。

那么如何獲取此向量的地址？ 如果我在Xcode的幀變量列表中右鍵單擊它，並選擇此向量的“查看內存”，則會打開0x0的視圖，當然這是無效的。 請注意，向量是在堆棧上分配的 - 它實際上位於其他幾個對象中，但所有這些都是堆棧構造的。

請注意，我不想得到矢量內的數據的地址-這實際上沒有被覆蓋。 它是堆棧分配的矢量對象的內部存儲，正在被損壞。

Answer 1

您的myObject對象可能是一個局部變量並存在於堆棧中：

(lldb) p &myObject
(myClass *) $0 = 0x00007fff5fbffad8
(lldb) p $fp >= &myObject && &myObject >= $sp
(bool) $1 = true

如果你想讓lldb不漂亮地打印向量，請使用-R / --raw-output選項來frame variable ：

(lldb) fr va -R myObject
(myClass) myObject = {
  myVector = {
    std::_Vector_base<double, std::allocator<double> > = {
      _M_impl = {
        _M_start = 0x00000001001008d0
        _M_finish = 0x00000001001008f0
        _M_end_of_storage = 0x00000001001008f0
      }
    }
  }
  myDouble = 6.95322297580907e-310
}

您會注意到向量上的地址是堆地址 - 也就是說，它們是malloc （ new 'ed，無論如何），而不是直接位於myObject 。 所以現在你必須決定你想要監控什么。 如果你想監視向量以查看添加到向量末尾的新元素，那么你想要觀察向量結束指針，

(lldb) p &myObject.myVector._M_impl._M_finish
(double **) $4 = 0x00007fff5fbffae0

如果你想監視其中一個向量的內容，比如說第一個，那么你想監視

(lldb) p myObject.myVector._M_impl._M_start
(double *) $6 = 0x00000001001008d0

當然，當元素被添加到向量時，它可以被移動到新的地址范圍（如果堆上的內存區域不能生成以保存新元素），那么這將會有點脆弱。

通常lldb的類型格式化程序（對於本例中的std::vector ）比查看原始實現更可取 - 但是如果你想使用原始實現，在這種情況下可能更容易禁用格式化程序。 例如

(lldb) type category disable  gnu-libstdc++
(lldb) p myObject
(myClass) $9 = {
  (std::vector<double, std::allocator<double> >) myVector = {
    (std::_Vector_base<double, std::allocator<double> >) std::_Vector_base<double, std::allocator<double> > = {
      (std::_Vector_base<double, std::allocator<double> >::_Vector_impl) _M_impl = {
        (double *) _M_start = 0x00000001001008d0
        (double *) _M_finish = 0x00000001001008f0
        (double *) _M_end_of_storage = 0x00000001001008f0
      }
    }
  }
  (double) myDouble = 6.95322297580907e-310
}

您可以使用type summary list命令查看lldb內置的所有類型格式化程序。

Answer 2

就像一個附錄一樣，你應該能夠說:( lldb）觀察點設置表達式和myVector，即使你沒有真正“看到”這個值

另外，你看到的是std :: vector的摘要 - 結果是我們沒有指示摘要不適用於指針或顯示值。

我已經修改了開源LLDB，它允許您查看指針的數值。 但是，真正正確的解決方案可能必須是一種特殊的“指針”摘要格式，它顯示了價值和摘要。 然而，我並不過分熱衷於沿着這條路走下去，因為它會復制我們在LLDB中使用的正則表達式格式化程序的數量，這可能不是最好的表現。