Go接口框架单元测试幻觉破除：93%的“覆盖达标”测试实际未校验interface行为—

第一章：Go接口框架单元测试幻觉的根源与破除意义

在Go生态中，开发者常误以为“只要实现了接口，单元测试就天然可靠”，这种认知偏差即“接口测试幻觉”。其根源在于：接口仅约束方法签名，不约束行为语义；mock对象过度简化真实依赖状态；以及测试用例未覆盖接口实现的边界路径（如错误传播、并发竞争、空值处理）。当UserService依赖UserRepository接口，而测试仅用返回固定User{ID: 1}的mock时，实际生产中数据库连接超时、主键冲突等场景便彻底失察。

接口抽象与行为脱钩的典型陷阱

Go的接口是隐式实现，编译器无法验证实现体是否满足业务契约。例如：

type PaymentProcessor interface {
    Charge(amount float64) error
}
// 实际实现可能静默吞掉error，或对负数金额不做校验——接口本身无法阻止

此类缺陷在测试中被掩盖，因mock通常只返回预设成功/失败，未模拟真实副作用（如网络延迟、幂等性失效）。

单元测试幻觉的三大诱因

Mock粒度失当：用gomock生成的mock仅校验调用次数，忽略参数有效性与上下文顺序
零依赖隔离假象：测试看似“无外部依赖”，实则隐藏了对时间、随机数、全局状态的隐式耦合
接口覆盖率≠行为覆盖率：go test -cover显示100%接口方法被调用，但关键分支（如if err != nil块）从未执行

破除幻觉的实践路径

用testify/assert替代裸断言，强制校验错误类型与消息内容
在测试中注入真实依赖变体（如内存版UserRepository），而非全量mock
编写“破坏性测试”：向接口方法传入非法参数（nil、负数、超长字符串），验证panic防护与错误分类

破除幻觉并非否定接口价值，而是将测试焦点从“能否调用”转向“是否按契约运行”。唯有如此，Go的简洁接口哲学才能真正支撑起高可信系统的演进。

第二章：Go接口抽象与测试失焦的典型陷阱

2.1 接口隐式实现机制导致的行为校验盲区

当类型隐式实现接口时，编译器不强制校验方法语义一致性——仅检查签名匹配，忽略契约意图。

数据同步机制

以下代码看似满足 IDataSync 接口，实则违背“幂等同步”契约：

public class LegacyService : IDataSync
{
    public void Sync() => Database.TruncateAndInsert(); // ❌ 非幂等，但编译通过
}

逻辑分析：Sync() 签名合规，但内部执行破坏性操作；测试仅覆盖“是否调用”，未校验副作用。参数 void 隐藏了状态变更风险，无法静态推断行为合规性。

校验手段对比

方法	能捕获隐式实现缺陷？	说明
编译期类型检查	否	仅验证方法存在与签名
单元测试（输入/输出）	有限	难覆盖边界副作用
合约测试（Pact）	是	显式声明行为预期

graph TD
    A[类声明] --> B{隐式实现接口？}
    B -->|是| C[仅校验签名]
    B -->|否| D[可显式标注契约]
    C --> E[行为盲区]

2.2 “覆盖率达标”幻觉：go test -cover 的统计局限与误导性实践

go test -cover 报告的百分比仅统计语句执行与否，不反映分支逻辑、边界条件或错误路径是否被验证。

覆盖率≠质量保障

func IsEven(n int) bool {
    if n%2 == 0 { // ✅ 被覆盖（n=4）
        return true
    }
    return false // ✅ 被覆盖（n=3）
}

此函数100%语句覆盖率，但未测试 n=0（边界）、n=math.MinInt64（溢出）、n=2.5（类型误用）——而Go编译器根本不会接受后者，凸显覆盖率对语义缺陷无感知。

常见误导场景

单一正向用例撑起高覆盖率
if err != nil { return err } 模板代码被轻易覆盖，但 err 永远为 nil
defer 中的清理逻辑从不触发（因主流程无panic）

覆盖类型	go test -cover 支持	检测能力
语句覆盖（Line）	✅ 默认	仅标记是否执行
分支覆盖（Branch）	❌ 不支持	`if/else` 各分支
条件覆盖（Condition）	❌	`a && b` 各子表达式

graph TD
    A[go test -cover] --> B[扫描AST语句节点]
    B --> C{是否执行过？}
    C -->|是| D[计为covered]
    C -->|否| E[计为uncovered]
    D & E --> F[忽略控制流结构深度]

2.3 真实业务场景中interface行为未覆盖的故障复现（含HTTP Handler与Repository示例）

数据同步机制

当用户注册成功后，系统需异步同步至风控平台。但 RiskSyncer 接口仅定义了 Sync(ctx context.Context, user *User) error，却未约定超时行为与重试语义。

故障触发路径

HTTP Handler 调用 repo.Create() 成功后，直接调用 syncer.Sync()
MockRiskSyncer 实现中忽略 ctx.Done()，导致阻塞 goroutine
并发请求下，goroutine 泄露 + 上游 timeout（3s）早于下游实际响应（15s）

// 漏洞实现：未响应 context 取消
func (m *MockRiskSyncer) Sync(ctx context.Context, u *User) error {
    time.Sleep(15 * time.Second) // ❌ 忽略 ctx.Err()
    return nil
}

逻辑分析：该实现违反 context.Context 合约——未监听 ctx.Done() 或调用 select{case <-ctx.Done(): ...}；参数 ctx 形同虚设，导致 Handler 无法主动中断下游依赖。

关键缺失契约

契约维度	期望行为	当前缺失
取消响应	`Sync` 应在 `ctx.Done()` 后立即返回	无监听
错误分类	区分 `context.Canceled` 与网络错误	统一返回 `nil`

graph TD
    A[HTTP Handler] --> B[repo.Create]
    B --> C[RiskSyncer.Sync]
    C --> D{ctx.Done?}
    D -- No --> E[Sleep 15s]
    D -- Yes --> F[Return early]

2.4 基于反射的接口方法签名静态分析：识别未被调用的契约分支

在微服务契约演进中，接口方法常因向后兼容保留废弃分支（如 if (version == V1)），但实际调用链从未触达。仅靠运行时追踪易遗漏冷路径。

静态分析原理

利用 Java 反射 + ASM 解析字节码，提取接口所有 default 方法与实现类中的条件分支谓词（如 instanceof、枚举判等），构建方法调用图（CFG）。

// 示例：从接口提取带 @Deprecated 注解且含条件分支的 default 方法
Method[] methods = MyApi.class.getDeclaredMethods();
for (Method m : methods) {
  if (m.isDefault() && m.isAnnotationPresent(Deprecated.class)) {
    analyzeControlFlow(m); // 分析字节码中 IF_ 指令与常量池引用
  }
}

该代码遍历接口默认方法，筛选已弃用但未被任何实现类重写的分支；analyzeControlFlow 依赖 ASM 的 MethodVisitor 检测 IF_ACMPEQ 等跳转指令目标是否可达。

分析结果示例

方法签名	谓词条件	调用点数量	是否可达
`process(Order)`	`order.type == LEGACY`	0	❌
`validate()`	`ctx.mode == DEBUG`	2	✅

graph TD
  A[MyApi.process] --> B{order.type == LEGACY?}
  B -->|true| C[LegacyHandler.handle]
  B -->|false| D[ModernHandler.handle]
  C --> E[无调用栈引用]

此类不可达分支构成隐性契约冗余，应纳入 API 治理灰度下线清单。

2.5 实践：构建接口行为覆盖率仪表盘（interface-coverage-reporter工具链）

interface-coverage-reporter 是一套轻量级 CLI 工具链，专为 HTTP 接口契约驱动的覆盖率分析设计。它不依赖代码插桩，而是通过拦截请求/响应流并比对 OpenAPI 3.0 规范中的路径、方法、参数及响应码来计算行为覆盖率。

核心工作流

# 启动代理并注入覆盖率采集逻辑
interface-coverage-reporter proxy --spec ./openapi.yaml --port 8081

该命令启动一个中间代理服务，将所有经由 localhost:8081 的请求转发至真实后端，并实时提取 path、method、status code 三元组与规范中定义的可执行路径进行匹配。

覆盖率维度定义

维度	计算方式	示例
路径覆盖	已访问路径数 / 总路径数	`GET /users` ✅
响应码覆盖	某路径下已返回的状态码数 / 规范声明状态码数	`200`, `404` ✅；`500` ❌

数据同步机制

graph TD A[HTTP Client] –> B[Reporter Proxy] B –> C{匹配 OpenAPI spec} C –>|命中| D[计入 coverage.json] C –>|未命中| E[记录缺失行为]

工具链输出 coverage.json 并支持导出 HTML 报表，自动高亮未触发的 x-covered: false 接口片段。

第三章：gomock深度集成与行为驱动的Mock构造范式

3.1 gomock生成器原理剖析：从interface到Mock结构体的AST转换过程

gomock 的核心能力源于 Go 的 go/ast 和 go/parser 包对源码的深度解析。它不依赖反射或运行时注入，而是静态生成类型安全的 Mock 实现。

AST 解析阶段

输入 interface 定义后，gomock 首先调用 parser.ParseFile() 构建抽象语法树，提取：

接口名称（*ast.InterfaceType）
方法签名（*ast.FuncType 中的 Params/Results）
类型别名与嵌套结构（如 error、自定义 type ID string）

Mock 结构体生成逻辑

// 示例：解析 interface{ Get(id int) (string, error) }
func (m *MockService) Get(id int) (string, error) {
  ret := m.ctrl.Call(m, "Get", id)
  // 参数展开：id → []interface{}{id}
  // 返回值强制类型断言：ret[0].(string), ret[1].(error)
  return ret[0].(string), ret[1].(error)
}

该方法体由模板引擎动态填充，m.ctrl.Call 是 gomock.Controller 的统一拦截入口，所有调用均序列化为 []interface{} 便于期望匹配。

关键转换映射表

AST 节点类型	提取信息	生成目标
`ast.Ident`	方法名、参数名	Mock 方法签名
`ast.StarExpr`	指针接收器类型	`*MockXxx` 结构体声明
`ast.ArrayType`	切片返回值	`ret[i].([]byte)` 断言

graph TD
  A[interface源码] --> B[go/parser.ParseFile]
  B --> C[ast.InterfaceType遍历]
  C --> D[方法签名→FuncDecl AST节点]
  D --> E[生成Mock方法体+Call调用桩]
  E --> F[go/format.Node格式化输出]

3.2 Expectation生命周期管理：Call、Times、DoAndReturn在并发测试中的行为一致性保障

数据同步机制

gomock 的 Call 对象内部通过 sync.Mutex 保护 timesLeft 和调用计数器，确保 Times() 约束在 goroutine 并发调用时不会出现竞态。

行为绑定语义

DoAndReturn 注册的闭包在每次匹配调用时独立执行，其返回值不缓存，天然支持状态感知逻辑（如递增ID、模拟失败重试）：

mockObj.EXPECT().
    Process(gomock.Any()).
    Times(3).
    DoAndReturn(func(s string) (int, error) {
        atomic.AddInt64(&callCount, 1)
        return int(atomic.LoadInt64(&callCount)), nil // 每次返回不同值
    })

逻辑分析：callCount 使用 atomic 保证跨 goroutine 可见性；DoAndReturn 闭包在每次实际调用时动态求值，避免预计算导致的并发不一致。

并发安全行为对比

方法	是否线程安全	是否支持状态演化	典型风险
`Call.Times()`	✅（锁保护）	❌（静态声明）	声明后不可动态调整
`DoAndReturn()`	✅（闭包重入）	✅（闭包内可维护状态）	闭包中未同步的共享变量

graph TD
    A[Mock 方法被调用] --> B{是否匹配 Expectation?}
    B -->|是| C[Acquire mutex]
    C --> D[decrement timesLeft]
    D --> E[Execute DoAndReturn closure]
    E --> F[Release mutex]

3.3 实践：为依赖第三方SDK的Service层接口编写可验证的Mock断言链

核心挑战：SDK副作用不可控

第三方SDK常含网络调用、状态缓存或异步回调，直接单元测试易失败且不可重现。需隔离其行为并精确验证交互路径。

构建可验证的Mock断言链

使用 Mockito 的 thenAnswer() 链式响应，配合 ArgumentCaptor 捕获实际入参：

// Mock SDK客户端并捕获调用参数
ThirdPartyClient client = mock(ThirdPartyClient.class);
ArgumentCaptor<RequestPayload> payloadCaptor = ArgumentCaptor.forClass(RequestPayload.class);

when(client.send(eq("ORDER_SYNC"), payloadCaptor.capture()))
    .thenReturn(Response.success(200, "OK"));

service.processOrder(order); // 触发调用

// 断言参数内容与调用次数
verify(client, times(1)).send(eq("ORDER_SYNC"), any());
assertThat(payloadCaptor.getValue().getOrderId()).isEqualTo("ORD-2024-001");

逻辑分析：payloadCaptor.capture() 在 stub 响应中实时捕获传入对象；verify(..., times(1)) 确保调用发生且仅一次；getValue() 提取首次调用参数供深度断言——实现从“是否调用”到“调用何值”的精准验证。

断言链能力对比

能力维度	传统 `thenReturn()`	`thenAnswer()` + `ArgumentCaptor`
参数校验深度	❌ 仅返回预设值	✅ 动态提取并断言字段级内容
调用顺序验证	❌ 不支持	✅ 结合 `inOrder()` 可编排验证序列

graph TD
    A[Service方法调用] --> B[SDK Client被触发]
    B --> C{Mock拦截}
    C --> D[捕获RequestPayload]
    C --> E[返回可控Response]
    D --> F[断言payload字段]
    E --> G[断言响应业务逻辑]

第四章：assert.Interface行为断言体系构建与工程化落地

4.1 Interface行为断言核心协议：MethodCall、ArgMatcher、ReturnVerifier设计原理

行为断言的三元契约

MethodCall 描述调用事实，ArgMatcher 抽象参数匹配逻辑，ReturnVerifier 验证响应语义——三者构成可组合、不可变的行为断言基元。

核心类型契约示意

record MethodCall(String methodName, List<ArgMatcher> args) {}
interface ArgMatcher { boolean matches(Object actual); }
interface ReturnVerifier { void verify(Object result) throws AssertionError; }

MethodCall 以不可变记录封装方法名与匹配器序列；ArgMatcher 延迟执行，支持 eq(42)、anyString() 等语义；ReturnVerifier 将断言逻辑外置，解耦验证策略。

匹配器能力对比

类型	是否支持通配	是否可组合	典型用例
`EqMatcher`	否	否	`eq("hello")`
`AnyMatcher`	是	是	`any(List.class)`
`PredMatcher`	是	是	`matches(x -> x > 0)`

graph TD
  A[MethodCall] --> B[ArgMatcher]
  B --> C{匹配成功？}
  C -->|是| D[ReturnVerifier]
  C -->|否| E[抛出MismatchException]

4.2 断言组合子模式：And、Or、Not在复杂交互序列中的声明式表达

在契约测试与行为驱动验证中，断言组合子将原子断言升维为可读性强、语义明确的逻辑表达式。

组合子核心语义

And：所有子断言必须为真，常用于多条件串联（如“响应状态码为200 且返回JSON包含id字段”）
Or：至少一个子断言成立，适用于容错路径（如“返回200 或 201”）
Not：对单个断言取反，用于排除非法状态（如Not(HasHeader("X-Rate-Limit"))）

声明式验证示例

# 验证订单创建后满足最终一致性：成功响应 + 事件已发布 + 库存已扣减
assertion = And(
    StatusCode(201),
    JsonPath("$.order_id", exists=True),
    Or(
        KafkaEvent(topic="orders", key="order_id"),
        Not(HttpRequest(method="PATCH", path="/inventory"))
    )
)

逻辑分析：外层And确保主流程正确性；内层Or表达异步补偿机制的两种等效达成路径——Kafka事件发布或库存服务未被调用（因幂等设计已前置拦截）。参数topic和key为事件匹配上下文，method/path构成HTTP请求特征指纹。

组合子	短路行为	典型适用场景
`And`	左至右，任一失败即终止	多重前置校验链
`Or`	左至右，任一成功即终止	备选路径/降级策略验证
`Not`	无短路，仅取反单断言	违规行为拦截测试

graph TD
    A[原始断言] --> B[And]
    A --> C[Or]
    A --> D[Not]
    B --> E[全真才通过]
    C --> F[一真即通过]
    D --> G[真→假，假→真]

4.3 实践：基于ginkgo+v2的BDD风格接口行为测试套件（含超时/重试/上下文传播断言）

场景驱动的测试结构

使用 Describe/Context/It 构建可读性高的 BDD 层级，自然映射业务语义：

Describe("用户注册流程", func() {
    var ctx context.Context
    BeforeEach(func() {
        ctx = context.WithTimeout(context.Background(), 5*time.Second)
        ctx = context.WithValue(ctx, "trace-id", uuid.NewString())
    })

    It("应拒绝重复邮箱注册", func() {
        // 使用 gomega's Eventually + WithOffset 支持重试断言
        Eventually(func(g Gomega) {
            resp, err := http.Post("http://api/users", "application/json", bytes.NewReader(payload))
            g.Expect(err).NotTo(HaveOccurred())
            g.Expect(resp.StatusCode).To(Equal(http.StatusConflict))
        }, 3*time.Second, 500*time.Millisecond).Should(Succeed())
    })
})

逻辑分析：Eventually 内置重试机制（3s总超时，500ms间隔），避免因服务启动延迟导致误报；context.WithValue 显式注入 trace-id，供下游断言验证上下文传播完整性。

关键能力对比

能力	Ginkgo v2 支持方式	适用场景
超时控制	`context.WithTimeout` + `GinkgoTimeout`	接口响应时效性验证
上下文传播断言	`context.Value()` + 自定义 matcher	分布式链路追踪校验
弹性重试	`Eventually` / `Consistently`	异步最终一致性场景

测试生命周期增强

BeforeSuite 中启动 mock 服务并注入全局 trace propagator
AfterEach 自动清理 context 并验证 span 闭合状态
JustAfterEach 捕获 panic 并导出失败上下文快照

4.4 实践：CI流水线中自动注入interface行为断言检查（pre-commit hook + GitHub Action）

为什么需要行为级接口断言？

静态类型检查（如 TypeScript）仅验证签名兼容性，无法捕获 implements 后实际方法是否满足契约行为（如 save() 是否真正持久化、validate() 是否抛出预期错误）。行为断言填补这一空白。

实现分层：本地预检 + CI加固

pre-commit hook：使用 husky 触发 jest --testPathPattern=interfaces/.*\.spec\.ts，快速拦截明显违规
GitHub Action：在 pull_request 事件中运行全量接口契约测试，含 mock 网络/DB 的集成场景

核心断言模板（TypeScript）

// interfaces/user-service.spec.ts
describe('IUserService contract', () => {
  it('should throw ValidationError when email is invalid', async () => {
    const service = new MockUserService(); // 实现类实例
    await expect(service.create({ email: 'invalid' })).rejects.toThrow(ValidationError);
  });
});

✅ 逻辑分析：MockUserService 是真实实现类的轻量替代，确保测试不依赖外部系统；rejects.toThrow 验证行为契约而非仅类型存在；参数 ValidationError 是明确约定的错误类型，强化语义一致性。

流水线协同流程

graph TD
  A[git commit] --> B{pre-commit hook}
  B -->|通过| C[提交到远端]
  C --> D[GitHub Action triggered]
  D --> E[运行全部 interface spec]
  E -->|失败| F[阻断 PR 合并]
  E -->|通过| G[允许合并]

关键配置对比

维度	pre-commit hook	GitHub Action
执行时机	本地提交前	PR 创建/更新时
覆盖范围	增量变更的 interface	全量 interface 契约测试
资源依赖	仅 Node.js 环境	完整 CI 环境（DB、Redis等）

第五章：从接口契约到系统可信——测试范式的升维思考

在微服务架构大规模落地的今天，某金融级支付平台曾因一个未被契约约束的日期格式字段（expire_time）引发跨系统对账失败：上游网关返回 2024-03-15T14:30:00+08:00，下游风控服务却按 yyyy/MM/dd HH:mm:ss 解析，导致所有当日交易被误判为过期。该故障持续47分钟，影响23万笔实时交易。根本原因并非代码缺陷，而是API文档中缺失对时区行为与格式的显式契约声明。

接口契约必须可执行、可验证

OpenAPI 3.0 已成为事实标准，但多数团队仅将其用于生成文档或Mock服务。真正升维的做法是将契约嵌入CI流水线。以下为某电商中台在GitLab CI中集成的契约验证任务片段：

contract-validation:
  stage: test
  image: quay.io/pactfoundation/pact-cli:latest
  script:
    - pact-broker publish ./pacts --consumer-app-version=$CI_COMMIT_TAG --broker-base-url=https://pact-broker.example.com
    - pact-broker can-i-deploy --pacticipant payment-service --version $CI_COMMIT_TAG --broker-base-url=https://pact-broker.example.com --retry-while-unknown=60

该流程强制要求：任何服务上线前，必须通过Pact Broker验证其与所有消费者约定的交互是否仍兼容。

系统可信需覆盖非功能维度

维度	传统测试覆盖	升维实践示例
响应时延	单点压测	混沌工程注入网络延迟（95%
数据一致性	人工比对	TLA+模型检查器验证分布式事务状态机
安全边界	渗透扫描	Open Policy Agent策略即代码校验

某物流调度系统在引入OPA后，将“司机不可同时接单超3单”规则写为Rego策略，并在Kubernetes Admission Controller中实时拦截违规API请求，使策略生效延迟从小时级降至毫秒级。

测试资产必须成为生产环境的一等公民

在Kubernetes集群中，测试用例本身被部署为DaemonSet，持续探针式验证关键路径：

graph LR
A[Service Mesh Envoy] -->|mTLS流量| B[Probe Pod]
B --> C{调用订单服务 /v1/order}
C --> D[验证HTTP 200 + schema符合OpenAPI]
D --> E[上报结果至Prometheus]
E --> F[触发Alertmanager告警阈值]

这些探针Pod与业务Pod共享相同网络策略、Sidecar配置和RBAC权限，确保测试环境与生产环境零差异。

契约不是文档里的静态条款，而是运行时可断言的逻辑约束；系统可信不是发布后的被动验收，而是每次变更前的主动防御。当测试用例能像业务代码一样被版本化、被依赖、被回滚，当契约验证成为K8s准入控制链的一环，测试才真正完成从质量守门员到系统免疫系统的范式跃迁。

第一章：Go接口框架单元测试幻觉的根源与破除意义

接口抽象与行为脱钩的典型陷阱

单元测试幻觉的三大诱因

破除幻觉的实践路径

第二章：Go接口抽象与测试失焦的典型陷阱

2.1 接口隐式实现机制导致的行为校验盲区

数据同步机制

校验手段对比

2.2 “覆盖率达标”幻觉：go test -cover 的统计局限与误导性实践

覆盖率≠质量保障

常见误导场景

2.3 真实业务场景中interface行为未覆盖的故障复现（含HTTP Handler与Repository示例）

数据同步机制

故障触发路径

关键缺失契约

2.4 基于反射的接口方法签名静态分析：识别未被调用的契约分支

静态分析原理

分析结果示例

2.5 实践：构建接口行为覆盖率仪表盘（interface-coverage-reporter工具链）

核心工作流

覆盖率维度定义

数据同步机制

第三章：gomock深度集成与行为驱动的Mock构造范式

3.1 gomock生成器原理剖析：从interface到Mock结构体的AST转换过程

AST 解析阶段

Mock 结构体生成逻辑

关键转换映射表

3.2 Expectation生命周期管理：Call、Times、DoAndReturn在并发测试中的行为一致性保障

数据同步机制

行为绑定语义

并发安全行为对比

3.3 实践：为依赖第三方SDK的Service层接口编写可验证的Mock断言链

核心挑战：SDK副作用不可控

构建可验证的Mock断言链

断言链能力对比

第四章：assert.Interface行为断言体系构建与工程化落地

4.1 Interface行为断言核心协议：MethodCall、ArgMatcher、ReturnVerifier设计原理

行为断言的三元契约

核心类型契约示意

匹配器能力对比

4.2 断言组合子模式：And、Or、Not在复杂交互序列中的声明式表达

组合子核心语义

声明式验证示例

4.3 实践：基于ginkgo+v2的BDD风格接口行为测试套件（含超时/重试/上下文传播断言）

场景驱动的测试结构

关键能力对比

测试生命周期增强

4.4 实践：CI流水线中自动注入interface行为断言检查（pre-commit hook + GitHub Action）

为什么需要行为级接口断言？

实现分层：本地预检 + CI加固

核心断言模板（TypeScript）

流水线协同流程

关键配置对比

第五章：从接口契约到系统可信——测试范式的升维思考

接口契约必须可执行、可验证

系统可信需覆盖非功能维度

测试资产必须成为生产环境的一等公民

发表回复 取消回复

发表回复取消回复