gdb python相同打印机的语法，用于打印矢量的单个元素

Question

有没有办法直接打印矢量元素，就像使用旧的漂亮的打印机宏一样。我有100个条目的向量，当我知道我想要的元素的索引时，我不想翻阅所有输出

旧的方式曾经是这样的

pv Vector 10500

会打印元素10500。

我已经尝试过来自SVN的最新修订版revision 187855而且没有任何乐趣。

除了使用Dan Marinescu编写的宏外 - 有没有办法用python方法（不用自己编写）

Answer 1

如果编译运算符[]，你应该能够：

p Vector[10500]

否则我不确定。