条件是这样的.如果字符串没有长度不足四位.那就在字符前面补数字0.例如:现在string str = "23";进行操作后要是 str = "0023";请问一下,如何操作....