如何在Polars生成的DataFrame HTML输出中添加数字千位分隔符？

问题原因 #

你直接用pl.col('price').cast(pl.String)把数值转成字符串的操作，不会读取pl.Config里的千位分隔符配置——这个配置只对Polars的内置格式化输出（比如print(df)、df.to_string()）生效，手动类型转换不会触发格式化逻辑。

解决方案 #

方案1：用Polars内置to_html生成表格（推荐）

直接用Polars自带的to_html方法，它会自动读取pl.Config的配置，帮你生成带千位分隔符的HTML表格，不用手动拼接标签：

import polars as pl

df = pl.DataFrame({'prod':['apple','banana','melon'], 'price':[7788, 1122, 4400]})

with pl.Config(thousands_separator=" "):
    # 生成带自定义表头和样式的表格HTML
    table_html = df.to_html(
        column_names=["Product", "Price"],
        table_attributes='style="border-collapse: collapse;"'  # 可选，添加表格样式
    )
    # 包裹成完整HTML文档
    full_html = f'<html><body>{table_html}</body></html>'
    print(full_html)

方案2：手动格式化数值列（适合自定义HTML结构）

如果需要高度定制HTML代码，可以先对数值列做格式化处理，再拼接标签：

import polars as pl

df = pl.DataFrame({'prod':['apple','banana','melon'], 'price':[7788, 1122, 4400]})

# 给price列添加千位分隔符（用空格代替逗号）
df_formatted = df.with_columns(
    pl.col('price').map_elements(lambda num: f"{num:,}".replace(",", " ")).alias('price')
)

# 手动拼接HTML内容
html = '<html><body><table><tr><th>Product</th><th>Price</th></tr>'
html += ''.join(
    df_formatted.with_columns(
        (pl.lit('<tr><td>') + pl.col('prod') + pl.lit('</td><td class="right">') + pl.col('price') + pl.lit('</td></tr>')).alias('row_html')
    ).get_column('row_html').to_list()
)
html += '</table></body></html>'
print(html)

总结 #

• 追求简洁高效就用to_html，内置方法会自动适配配置
• 需要自定义HTML结构时，先格式化数值列再拼接，不要直接cast字符串

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