解密 Nix：从函数式语法到系统构建的核心逻辑

对于初学者来说，Nix 往往像是一团迷雾。它的语法看似简单却又古怪，它的概念（Derivation, Package, Module…）似乎在指代同一件事，却又各司其职。

要真正掌握 Nix，我们需要“降维打击”：先看它的语法本质，再看它如何用这些语法构建出整个世界。

第一部分：Nix 语言——为配置而生的原子

Nix 是一门纯函数式、惰性求值的配置语言。在 Nix 的世界里，一切皆表达式，每一段代码都会返回一个值。

1. 基础数据类型

Nix 的类型系统非常精简，完全服务于文件处理和配置描述：

• 数值 (Numeric): 1 (Integer) 或 3.14 (Float)。
• 布尔 (Boolean): true / false。
• 路径 (Path): Nix 的灵魂。./src/main.c 是相对路径。
  • 路径不是字符串，没有引号
  • 相对路径是相对nix文件所在目录，相对路径在concat之前会先展开成绝对路径
  • 注意： 当路径被插值到字符串中（如 "${./file}"），Nix 会自动将该文件拷贝到 /nix/store 并返回其不可变的哈希路径。
• 字符串 (String):
  • 单行用双引号 "。
  • 多行用一对双单引号 ''...''，它会自动处理缩进，是写内联 Shell 脚本的神器。
  • 字符串可以使用 + 连接到一起
• 列表 (List): 使用空格分隔，如 [ 1 "hello" ./file ]。使用 ++ 连接到一起

2. 属性集 (Attribute Set)

这是 Nix 最核心的结构，本质是键值对（Key-Value）。

• 基础: { a = 1; b = "text"; }。
• 递归 (rec): 允许集合内部属性互相引用。rec { name = "hello"; full = "${name}-v1"; }。

3. 函数魔法与解构

Nix 的函数非常强大，函数只接受一个参数，两个参数的函数，是通过第一个函数返回一个函数来完成(Currying)，如 x: y: x + y。 但一般传复杂参数都是通过arguemtn set来传：

• 参数集解构 (Argument Set): 函数可以直接解构传入的属性集。
  • { x, y }: x + y 接收一个包含 x 和 y 的集合。
  • { x, y ? 2}: x + y 允许你设置一个默认值。
• 省略号 (...): { x, ... } 表示除了 x 之外，还可以接受其他我不关心的属性，防止因参数冗余而报错。
• @ 语法 (Aliasing): 这是高级玩家常用的技巧，它允许你既解构参数，又保留对整个原始集合的引用。

  # input 代表整个集合，同时解构出 version
  myFunc = input@{ version, ... }: {
    v = version;
    all = input; # 依然可以访问整个原始对象
  };
  
  # 也可以放到后面
  myFunc = { version, ... }@input: {
    v = version;
    all = input; # 依然可以访问整个原始对象
  };    
  

4. 变量与逻辑控制

• Let 绑定 (Let-in)：用于定义局部变量，作用域仅限于 in 之后的表达式。
• Inherit 关键字：一种简写语法，用于将当前作用域的同名变量快速拉入属性集中。
• With 语句：将一个属性集的所有属性引入当前作用域，常用于简化访问 pkgs 下的内容，但可能导致命名冲突。
• 条件表达式：使用标准的 if … then … else … 结构，且 else 分支是强制要求的。

第二部分：四大核心概念的深度拆解

当我们理解了语法，再看 Nix 的核心概念，就会发现它们只是具有特定结构的 Attribute Set。

第三部分：横向联动——它们是如何工作的？

让我们把这些点串联起来，看看一个完整的流程：

1. 编写表达式: 你写下一个 Nix 函数，接收一个 Argument Set（通常包含 pkgs, lib 等）。
2. 定义 Derivation: 函数内部利用 stdenv.mkDerivation 产生一个 Attribute Set，指定 buildInputs 和 src。
3. 计算路径: Nix 扫描这个 Set，根据内容生成唯一的哈希，确定 Package 的未来居所（outPath）。
4. 构建系统: 如果你是在 NixOS 里，Module 会接过这个 Package，把它写进系统路径，或者通过 App 定义让你可以直接 nix run 启动它。

Derivation

在 Nix 中，尤其是使用最常用的 stdenv.mkDerivation（它是对底层 builtins.derivation 的封装）时，有一系列约定俗成的属性。

理解这些属性，就能读懂 90% 以上的 Nix 软件包定义。我们可以将它们分为 依赖管理、构建生命周期、环境控制 三类：

1. 依赖管理属性 (Dependencies)

这些属性决定了构建环境里有哪些“工具”和“库”。

2. 构建生命周期属性 (Standard Phases)

Nix 的构建分为多个阶段（Phases），你可以通过这些属性覆盖默认行为。

3. 控制与路径属性 (Control & Paths)

4. 关键环境变量 (Magic Variables)

在 postInstall 或其他脚本块中，你会经常看到这些预设变量：

• $out: 最重要的变量。指向该包在 /nix/store 中的目标安装路径。你必须把文件拷贝到这个路径下，否则包就是空的。
• $src: 源码解压后的目录路径。
• $buildInputs / $nativeBuildInputs: 包含所有依赖项路径的字符串。

一个典型的例子 (以 C++/Qt 项目为例)

当你看到这段代码，你就能通过上述列表快速理解它的意图：

stdenv.mkDerivation rec {
  pname = "my-cnc-app";
  version = "1.0.0";

  src = ./.;

  # 编译时用的工具
  nativeBuildInputs = [ cmake qt6.wrapQtAppsHook ]; 
  
  # 链接时用的库
  buildInputs = [ qt6.qtbase opencascade ]; 

  # 传递给 CMake 的参数
  cmakeFlags = [ "-DCMAKE_BUILD_TYPE=Release" ];

  # 安装后的额外操作：比如拷贝一些说明文档
  postInstall = ''
    mkdir -p $out/share/doc
    cp README.md $out/share/doc/
  '';

  meta = {
    description = "A CNC simulation tool";
    license = lib.licenses.mit;
  };
}

重点提示： 在读别人的 Nix 文件时，如果看到 rec { ... }，这意味着属性之间可以互相引用（比如 name = "${pname}-${version}";）。如果你发现某个属性不在上面的标准列表里，它通常会被 Nix 自动导出一个同名的 Shell 环境变量，供构建脚本内部使用。

结语

Nix 的美学在于其一致性。无论是描述一个简单的 Hello World 还是构建一个复杂的分布式集群，底层的砖块永远是那几个：原子类型、属性集和函数。

当你不再被 .nix 文件里层层嵌套的大括号吓到，而是开始寻找“这个 Set 有哪些属性”以及“这个函数解构了什么”的时候，你就已经真正踏入了 Nix 的大门。

💡 提示：

• 如果你在读别人的代码时看到 ...，说明他在追求配置的向后兼容性。
• 如果你看到 @，说明他正在优雅地进行参数转发。
• 如果你看到 rec，请留意那些互相耦合的变量。

参考：nix book