Spring Security Kotlin配置代码语法解析及未绑定标识符疑问

一、这段代码的语法解析 #

你看到的不是普通的with多方法调用，而是Spring Security专为Kotlin设计的DSL（领域特定语言），通过Kotlin扩展函数实现：

• http { ... } 是HttpSecurity的扩展函数，它接收一个lambda，lambda的上下文被绑定到SecurityDsl配置类，所以你在大括号里直接写authorizeRequests、formLogin这些函数，本质是调用配置类里的方法，不需要显式指定http.前缀。
• authorizeRequests { ... } 同样是DSL函数，lambda的上下文是ExpressionUrlAuthorizationConfigurer.AuthorizedUrl，里面的authorize方法用来配置请求权限规则。

这种写法比with更贴合配置场景，把配置逻辑封装在专属的DSL上下文里，代码更简洁易读。

二、anyRequest和authenticated提示未声明的解决方法 #

这两个是Spring Security Kotlin DSL提供的顶层扩展属性/函数，必须导入对应的包才能识别：

1. 直接导入所需的顶层成员：

import org.springframework.security.config.web.servlet.invoke.anyRequest
import org.springframework.security.config.web.servlet.invoke.authenticated

2. 或者一次性导入所有DSL顶层成员：

import org.springframework.security.config.web.servlet.invoke.*

另外要确保项目依赖了Spring Security的Kotlin DSL支持，引入以下依赖（以Gradle为例）：

implementation("org.springframework.security:spring-security-config:你的Spring Security版本")
implementation("org.springframework.security:spring-security-web:你的Spring Security版本")

Maven项目则对应添加这两个依赖的<dependency>节点。

补充：和with语法的区别 #

with是Kotlin标准库的作用域函数，只是把对象作为lambda的接收者，让你少写对象名；而Spring Security的DSL是在扩展函数里构建了专门的配置上下文，每个大括号里的函数都是为配置场景定制的，属于更高级的DSL用法，不是简单的多方法调用。

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