如何在Go中打印带前导零的数字？

大家好！我刚开始学习Go，遇到了一个问题。我需要输出一个数字，比如7，格式化为带前导零的形式，得到"0007"（总共4个字符）。我试了很多方法，但都不行。\n\n这是我尝试过的：\n\n```go\npackage main\n\nimport "fmt"\n\nfunc main() {\n num := 7\n fmt.Println("Результат: " + num) // 错误：cannot convert num to string\n fmt.Println("Результат: " + string(num)) // 输出一些乱码\n}\n```\n\n我习惯在Python中直接写`f"{num:04d}"`，在C中写`printf("%04d", num)`。但在Go中找不到类似的方法。我试过用`strconv.Itoa(num)`，但它只是把数字转成字符串，没有格式化。\n\n我需要：\n- 数字7变成"0007"\n- 数字123变成"0123"\n- 数字9999保持"9999"\n\n请问如何正确实现？听说Go有`fmt`包，但不知道怎么用它来完成这个任务。提前谢谢！\n<<>>