如何用F#实现等效于指定C#的日历遍历代码？解析格式字符串

一、格式字符串作用解析 #

这些是.NET的复合格式字符串，语法规则在C#和F#中完全通用：

• {0, 2}：
  • 0：对应要格式化的参数索引（即后续传入的第1个参数）
  • ,2：指定输出内容的最小宽度为2，内容右对齐，若实际内容长度不足2，会在左侧用空格填充。比如传入数字1，输出结果为" 1"。
• {0,12}{1,15:MMMM}：
  • {0,12}：对应第1个参数，最小宽度12，右对齐，长度不足时左侧补空格
  • {1,15:MMMM}：对应第2个参数（DateTime类型），MMMM是日期格式符，会将日期转换为完整月份名称（如英文January、中文二月）；,15指定输出最小宽度为15，右对齐，长度不足时左侧补空格。

二、F#中的等效写法 #

F#可以直接复用.NET的字符串格式化能力，格式字符串无需修改，调用方式主要有两种：

1. 使用String.Format方法 #

和C#用法完全一致：

open System
open System.Globalization

let gregorianCalendar = GregorianCalendar()
let startOfYear = DateTime(2023, 1, 1)
let mutable startOfMonth = startOfYear

// 遍历月份并格式化输出
for _ in 1..12 do
    let monthNum = gregorianCalendar.GetMonth(startOfMonth)
    let formattedText = String.Format("{0, 2} {1,15:MMMM}", monthNum, startOfMonth)
    printfn "%s" formattedText
    startOfMonth <- startOfMonth.AddMonths(1)

2. 使用F#字符串插值（更简洁） #

用$""语法直接嵌入参数，同时指定宽度和格式：

open System
open System.Globalization

let gregorianCalendar = GregorianCalendar()
let startOfYear = DateTime(2023, 1, 1)
let mutable startOfMonth = startOfYear

for _ in 1..12 do
    let monthNum = gregorianCalendar.GetMonth(startOfMonth)
    let formattedText = $"{monthNum, 2} {startOfMonth, 15:MMMM}"
    printfn "%s" formattedText
    startOfMonth <- startOfMonth.AddMonths(1)

三、完整日历遍历F#示例 #

如果需要输出完整的月历结构，参考以下代码：

open System
open System.Globalization

let gregorianCalendar = GregorianCalendar()
let startOfYear = DateTime(2023, 1, 1)
let mutable currentMonth = startOfYear

while currentMonth.Year = startOfYear.Year do
    // 输出年月标题
    printfn "\n%s" (String.Format("{0,12}{1,15:MMMM}", currentMonth.Year, currentMonth))
    // 输出星期表头
    printfn "Su Mo Tu We Th Fr Sa"
    
    let firstDayWeekIndex = int currentMonth.DayOfWeek
    let daysInMonth = gregorianCalendar.GetDaysInMonth(currentMonth.Year, currentMonth.Month)
    
    // 填充月初前的空格
    printf "%s" (String(' ', firstDayWeekIndex * 3))
    
    // 遍历当月每一天
    for day in 1..daysInMonth do
        printf "%2d " day
        // 每到周六换行
        if (firstDayWeekIndex + day) % 7 = 0 then
            printfn ""
    
    currentMonth <- currentMonth.AddMonths(1)

内容的提问来源于stack exchange，提问作者user17682078