Go html/template IsTrue 怎样判断模板条件中的空值

html/template.IsTrue 的答案不是简单的“非 nil 就是真”。它返回两个布尔值：第一个 truth 是模板条件最终采用的真假，第二个 ok 表示这个值是否具有模板语义上的真值。nil、数字零值、空字符串、空切片和 nil 指针通常是 false, true；结构体即使字段都是零值，也会得到 true, true。真正需要排查时，先看 ok，再看 truth。

先看 IsTrue 的两个返回值

官方文档把 IsTrue 定义为模板 if、with 等动作使用的真值判断。它的签名是 func IsTrue(val any) (truth, ok bool)：truth 只回答“条件算不算真”，ok 回答“这个 Go 类型是否有明确的模板真值”。因此空字符串是合法输入，只是结果为假；而不在规则覆盖范围内的类型，才可能出现 ok=false。

这两个返回值最好分开记录。把它们合并成一个 if truth，会丢失“值为假”和“类型无法判断”的区别；只看 ok，又会把合法的零值误报成异常。

按类型拆开零值规则

可以把判断规则记成“先看类型，再看该类型的零值”：字符串、数组、切片和 map 比较长度；布尔值直接使用自身；整数、浮点数和复数比较是否为零；指针、函数、通道和接口比较是否为 nil；结构体不做字段递归检查，直接视为真。

用一段代码看清空值、typed nil 和结构体

下面的样例把常见输入放在同一张表里。它只用于说明 API 语义，不依赖模板渲染；重点是观察 truth 与 ok 是否同时符合预期。

package main

import (
    "fmt"
    "html/template"
)

type profile struct {
    Name string
}

func main() {
    var typedNil *profile
    samples := []any{
        nil,                 // 未设置的 interface{}，按无效值处理。
        "",                 // 空字符串长度为 0，语义有效但为假。
        "go",               // 非空字符串为真。
        []int(nil),          // nil 切片长度为 0。
        []int{},             // 空但非 nil 的切片同样为假。
        [1]int{},            // 数组看长度，长度为 1 即为真。
        0,                   // 数字零值为假。
        -1,                  // 非零数字为真，负号不影响真值。
        typedNil,            // 接口装着 nil 指针，仍按指针类型判断。
        profile{},           // 结构体不递归检查字段，始终为真。
    }

    for _, value := range samples {
        truth, ok := template.IsTrue(value)
        // ok=false 才表示类型没有模板真值；truth=false 可能只是合法零值。
        fmt.Printf("%T => truth=%v, ok=%v\n", value, truth, ok)
    }
}

这里的 typedNil 特别容易造成错觉：它放进 any 后，外层接口本身并不等于 nil，但反射看到的动态值是 nil 指针，所以 IsTrue 仍会返回 false, true。如果数据来自 JSON、数据库或表单，建议在进入模板前把“是否存在”和“是否有内容”转换成显式字段，避免让读者猜隐式规则。

模板里什么时候该直接使用 if

对于“有内容就展示”的场景，直接使用模板条件最自然。例如列表为空时显示占位信息，非空时渲染列表：

package main

import (
    "fmt"
    "html/template"
    "io"
)

const page = `{{if .Items}}
{{range .Items}}
{{.}}
{{end}}
{{else}}
暂无数据
{{end}}`

func render(items []string, w io.Writer) error {
    // 模板只关心 Items 的长度；业务层负责保证字段含义稳定。
    tmpl, err := template.New("page").Parse(page)
    if err != nil {
        return fmt.Errorf("解析模板失败: %w", err)
    }
    // Execute 的错误需要返回给调用方，不能只忽略半截输出的风险。
    if err := tmpl.Execute(w, struct{ Items []string }{Items: items}); err != nil {
        return fmt.Errorf("执行模板失败: %w", err)
    }
    return nil
}

如果页面需要区分三种状态——未查询、查询成功但为空、查询失败——就不要只传一个切片。可以传入 Loaded、HasData、ErrorMessage 等显式字段；这样模板条件表达的是业务状态，而不是把多个状态压缩成一个长度判断。

用 truth 和 ok 做 API 设计取舍

在业务代码里调用 IsTrue 时，推荐把两个返回值保留下来：

func templateCondition(value any) (bool, error) {
    truth, ok := template.IsTrue(value)
    if !ok {
        // 不支持的类型不要静默当成 false，保留诊断信息。
        return false, fmt.Errorf("值没有模板真值: %T", value)
    }
    // 合法零值会走到这里，并由调用方决定是否显示内容。
    return truth, nil
}

但也不要为了追求“非空”而把结构体改成指针：结构体在模板规则中始终为真，是否存在应由指针、布尔字段或状态枚举表达。对于 map、slice 和 string，空值与 nil 值都会归入假分支；如果这两者在业务上不同，就在数据整形阶段把差异显式化。

常见问题

IsTrue 返回 false 就说明类型不支持吗？

不是。零值、空集合、nil 指针和 false 布尔值都可能返回 truth=false, ok=true。只有 ok=false 才需要把它当成无法按模板规则判断的类型。

空结构体为什么还是 true？

模板的真值规则把 struct 视为始终为真，不会递归检查字段。若业务上需要“没有内容的对象”为假，请传指针、布尔状态或显式枚举，而不是依赖结构体字段是否为空。

nil 切片和空切片的结果一样吗？

在 IsTrue 的长度规则下，两者长度都是 0，通常都返回 false, true。若页面需要区分它们，应在进入模板前增加单独的状态字段。

模板里需要注册 IsTrue 函数吗？

不需要。if 和 with 本身就使用同一套模板真值语义；html/template.IsTrue 更适合在 Go 代码中诊断或复用这套判断。