当前位置：首页 > news >正文

从理论到实践：深入理解Norm的核心组件与实现原理

news 2026/7/31 19:36:29

从理论到实践：深入理解Norm的核心组件与实现原理

【免费下载链接】normData specification and generation项目地址: https://gitcode.com/gh_mirrors/no/norm

Norm是一个用于指定数据结构的系统，可用于数据验证和生成。它不提供特定的谓词集，而是允许重用现有的任何验证逻辑，为开发者提供了灵活且强大的数据规范解决方案。

核心功能概览：验证与生成的双重能力 ✨

Norm的核心价值在于将数据规范与验证、生成能力无缝结合。通过统一的规范定义，开发者可以同时实现数据验证和测试数据生成，极大提升开发效率。

数据验证：确保输入符合预期

Norm通过"conform"操作验证数据是否符合规范，提供了conform/2和conform!/2两个主要函数。前者返回包含验证结果或错误信息的元组，后者在验证失败时直接抛出异常。

# 基础验证示例 import Norm # 成功验证 conform!(123, spec(is_integer() and &(&1 > 0))) # 返回 123 # 失败验证 conform!(-50, spec(is_integer() and &(&1 > 0))) # 抛出MismatchError

验证功能的实现位于lib/norm.ex中，主要通过Conformer.conform/2函数处理核心逻辑。

数据生成：从规范自动创建测试数据

除了验证，Norm还能基于规范自动生成符合要求的数据，这对于属性测试、开发环境搭建和数据库种子数据创建非常有用。生成功能依赖StreamData库，可通过gen/1函数触发。

# 数据生成示例 user_schema = schema(%{ name: spec(is_binary()), age: spec(is_integer() and &(&1 > 0)) }) # 生成3个符合规范的用户数据 generated_users = user_schema |> gen() |> Enum.take(3)

生成功能的核心实现位于lib/norm/generator.ex，通过Generatable.gen/1函数处理规范到生成器的转换。

核心组件解析：构建数据规范的基石 🔨

Spec：基础规范构建块

spec/1是创建基本验证规则的宏，支持任意谓词函数和逻辑组合，是构建复杂规范的基础。

# 基础spec定义 spec(is_binary()) # 验证二进制字符串 spec(is_integer() and &(&1 > 0)) # 验证正整数 spec(is_atom() or is_binary()) # 验证原子或二进制

Spec的实现位于lib/norm/core/spec.ex，通过Spec.build/1宏处理谓词的解析和组合。

Schema：映射与结构体规范

schema/1用于定义映射和结构体的规范，支持嵌套结构，具有开放性特点——未指定的键会被保留，所有键默认都是可选的。

# 复杂嵌套schema示例 user_schema = schema(%{ user: schema(%{ name: spec(is_binary()), age: spec(is_integer() and &(&1 > 0)) }) })

Schema的实现位于lib/norm/core/schema.ex，通过Schema.build/1函数处理映射结构的规范定义。

Selection：处理键的必填性

虽然Schema默认所有键都是可选的，但可以通过selection/2来指定必须存在的键，提供了灵活的必填项控制。

# 选择必填字段 just_age = selection(user_schema, [user: [:age]]) conform!(%{user: %{name: "chris"}}, just_age) # 会失败，因为age是必填的

Selection的实现位于lib/norm/core/selection.ex，通过Selection.new/2函数创建包含必填规则的选择器。

Collection：集合类型规范

coll_of/2用于定义集合类型的规范，支持列表、映射集等多种集合类型，并可指定元素规范、长度限制等选项。

# 集合规范示例 coll_of(spec(is_integer()), min_count: 1, max_count: 5) # 1-5个整数的集合 coll_of(spec(is_atom), into: MapSet.new()) # 转换为MapSet

Collection的实现位于lib/norm/core/collection.ex，通过Collection.new/2函数处理集合规范的定义。

Alt与OneOf：处理可选规范

alt/1和one_of/1提供了处理多种可能规范的能力，前者返回带标签的结果，后者直接返回匹配的值。

# 替代规范示例 event_spec = alt(create: create_event_schema, update: update_event_schema) conform!(%{type: :create}, event_spec) # 返回 {:create, %{type: :create}} # 任意一个规范示例 one_of([spec(is_binary()), :alice]) # 匹配二进制或:alice原子

Alt的实现位于lib/norm/core/alt.ex，OneOf则位于lib/norm/core/any_of.ex。

高级特性：函数契约与自定义生成器 🚀

函数契约：确保函数输入输出符合规范

Norm提供了@contract注解，用于定义函数的输入输出规范，自动验证函数调用的参数和返回值。

defmodule Colors do use Norm def rgb(), do: spec(is_integer() and &(&1 in 0..255)) def hex(), do: spec(is_binary() and &String.starts_with?(&1, "#")) @contract rgb_to_hex(r :: rgb(), g :: rgb(), b :: rgb()) :: hex() def rgb_to_hex(r, g, b) do # 实现转换逻辑 end end

契约功能的实现位于lib/norm/contract.ex，通过宏在编译时注入验证代码。

自定义生成器：引导数据生成过程

当自动生成无法满足需求时，可以使用with_gen/2自定义生成器，精确控制生成数据的范围和分布。

# 自定义生成器示例 age_spec = spec(is_integer() and &(&1 >= 0)) reasonable_ages = with_gen(age_spec, StreamData.integer(0..105)) # 限制年龄在0-105之间

生成器相关代码位于lib/norm/generator.ex，通过Generator.new/2函数包装自定义生成逻辑。

快速开始：安装与基础使用指南 📚

安装步骤

将Norm添加到mix.exs的依赖列表中：

def deps do [ {:stream_data, "~> 0.4"}, # 数据生成依赖 {:norm, "~> 0.13"} # Norm主依赖 ] end

基本使用流程

定义规范：使用spec/1、schema/1等函数创建数据规范
验证数据：使用conform/2或conform!/2验证输入数据
生成数据：使用gen/1从规范生成测试数据

# 完整使用示例 import Norm # 1. 定义用户规范 user_schema = schema(%{ name: spec(is_binary()), age: spec(is_integer() and &(&1 > 0)) }) # 2. 验证数据 valid_user = %{name: "Alice", age: 30} conform!(valid_user, user_schema) # 成功返回用户数据 # 3. 生成测试数据 test_users = user_schema |> gen() |> Enum.take(5) # 生成5个测试用户