go 严格要求比较操作的两个操作数必须类型完全一致；字符串字面量 `"test"` 是无类型常量，可依据上下文自动推导为 `template.html` 类型，而变量 `htmlstring` 的显式类型 `string` 与 `template.html` 不兼容，导致编译失败。
在 Go 中，template.HTML 是一个命名类型（named type），其底层类型虽为 string，但语言规范明确禁止跨命名类型的直接比较或赋值——这是 Go 类型安全的核心设计之一。即使两个类型具有相同的底层结构（如 type MyString string 和 string），它们仍被视为不兼容类型。
来看原始代码中的关键差异：
fmt.Println(template.HTML("test") == "test") // ✅ 编译通过
fmt.Println(template.HTML("test") == htmlString) // ❌ 编译错误第一行中，"test" 是无类型字符串常量（untyped string constant）。根据 Go 规范，无类型常量在参与运算时，会依据上下文“隐式转换”为所需类型。此处右侧操作数需匹配左侧 template.HTML 类型，因此 "test" 被自动视为 template.HTML 类型，比较合法。
第二行中，htmlString 是一个显式声明为 string 类型的变量（即有类型值）。Go 不允许 template.HTML 与 string 直接比较，哪怕二者底层相同——因为命名类型引入了语义隔离（例如防止 HTML 注入漏洞），编译器拒绝隐式类型转换。
✅ 正确写法（显式转换）：
htmlString := "test"
fmt.Println(template.HTML("test") == template.HTML(htmlString)) // ✅
// 或更安全地：将变量统一转为 template.HTML 再比较⚠️ 注意事项：
- 不要依赖常量的隐式推导进行逻辑判断，易造成理解偏差；
- 在模板场景中，应始终优先使用 template.HTML 类型持有可信 HTML 字符串，避免混用 string；
- 若需类型间安全转换，务必显式调用类型构造函数（如 template.HTML(s)），而非依赖编译器推导；
- 此规则适用于所有命名类型（如 type Duration int64、type UserID int 等），是 Go 类型系统强一致性的重要体现。
总结：Go 的类型系统以“显式优于隐式”为原则。无类型常量的上下文推导仅限于编译期静态场景，而变量的类型在定义时即已固化。理解命名类型与底层类型的分离，是写出健壮、可维护 Go 代码的关键基础。
