「均线金叉就买入」这句话，程序其实读不懂

做个实验。你把同一句话发给两个都会写代码的人：

均线金叉就买入，死叉就卖出。

两周后你拿回两份东西。两段程序都跑得起来，都没有报错，两个人也都觉得自己完全照你说的做了。但你把两条资金曲线叠在一起看——它们长得不像同一套规则的两个版本，倒像两套不同的策略。

你的第一反应大概是：谁写错了？

大概率谁都没写错。 那句话本身就没说完，两个人各自把没说完的部分补上了，补法不同，于是结果不同。而更糟糕的是——他们补的时候没觉得自己在做决定，那些地方在他们眼里是常识，是不需要问的。

这一篇要做的，就是把那些「不需要问的地方」全部摊开，变成一张能逐格填的表。这张表本身，是这篇里最值钱的东西。

先划一下这篇不讲什么，免得你等一个不会来的东西。让 AI 替你把一句话写成代码、你读不懂那段程序时该怎么验收，用大白话说一个策略让 AI 写成代码 是正主，那篇讲的是别人替你填；这篇讲的是你自己填，两件事的着力点不一样。而「信号」和「订单」到底差在哪、一个决策怎么变成真的发出去的委托单，那是后面篇目的地盘，本篇的终点只到「规则说清楚了」为止，一步都不往下走。

先说人话：把「帮我煮碗面」交给机器

家里来了个会做饭的机器人。你说：帮我煮碗面。

如果来的是你妈，这句话够了。她知道你不吃香菜、知道你晚上不吃太咸、知道家里那包挂面煮三分钟正好、知道你要是刚跑完步得多下一把。这些她全知道，所以你那句话虽然只有五个字，实际传递的信息远不止五个字。

机器人不知道。但机器人也不会站在那儿问你二十个问题——它会开工，把每一个你没说的地方按某种默认值定下来：哪种面、多少水、煮几分钟、放不放盐、要不要卧蛋、家里同时有挂面和方便面时选哪个、锅里要是还剩着上一顿的面它是倒掉还是接着煮。

面端上来了。你尝一口，不对。你说「你煮错了」，它会很委屈：你说的每一个字我都照做了。

这就是「一句话规则」和「可执行规则」之间的全部距离。距离不在于那句话说得对不对，而在于——那句话是说给一个跟你共享大量背景知识的人听的，而程序没有那些背景。

有一点要特别注意：这个距离不会因为你把话说得更长而自动消失。 你说「帮我煮碗清淡点的面，少放盐」，你以为补充了细节，其实只补了一个格子，剩下十几个还空着。人的补充习惯是往「自己在意的地方」补，而出问题的地方通常在你压根没想到的那一格。

投资层：为什么这件事在投资里特别贵

煮面煮咸了，倒掉重来。规则补错了，代价的形状完全不同——而且分成性质截然不同的两类。这个分类是本篇最重要的一句话，请慢一点读。

第一类：分歧型空缺。 你没说清用五日均线还是二十日均线（均线就是最近若干天收盘价的平均值，连起来画成一条线；周期越长这条线越迟钝）。甲选了五日，乙选了二十日。两条曲线不一样——但谁也没错，只是做了两套不同的策略。这类空缺造成的差异是「口味问题」，它带来的是结果不同。

第二类：虚高型空缺。 你没说清「金叉当天就买」还是「金叉次日开盘再买」。甲选了当天收盘价买入。他没有作弊的意思，可今天的收盘价要到今天收盘那一刻才存在，而金叉也要用今天的收盘价才算得出来——他等于是在用一个当时还不知道的价格下单。这类空缺带来的不是「结果不同」，是结果系统性变好看，而且不会有任何报错。

这两类必须分开对待，因为它们的处理方式完全相反：

• 分歧型空缺，要的是你做个决定，然后写下来。做什么决定都行，重要的是记录你选了什么，将来复盘才知道自己在测的到底是什么。
• 虚高型空缺，是有对错的。选错的那一侧不是「另一种风格」，是一个错误。而且它给你的反馈是正的——历史成绩更漂亮——所以你不会主动去查它。

回测（拿历史行情把一套规则重放一遍，看看会赚会亏）里所有让人栽跟头的坑，几乎都属于第二类。这类坑有个统一的名字叫前视偏差，它的完整来龙去脉、为什么它极难自查、专业系统各自用什么办法堵，前视偏差 那篇拆得很细。这里你只需要记住一件事：你在「补细节」这个动作里，最容易在不知不觉中把未来信息放进来。 不是在写复杂算法的时候，恰恰是在补那些「这还用问吗」的小格子的时候。

为什么偏偏是补细节这一步？因为补细节的时候你的注意力在别处。你脑子里想的是「金叉这个逻辑成不成立」，而手上正在填的是「成交价取哪一格」。大脑不会在一件它认为是杂活的事情上设防。

机制层：六个槽位，逐个摊开

下面这六个槽位，是把任何一句自然语言规则变成可执行规则时都要填的。顺序不是随便排的——它大致是「从静态到动态」，越往后越依赖当时的状态，也越容易被忽略。

槽位一 · 在什么东西上、用什么算出来的数

「均线」两个字里至少藏着四个问题：

哪些标的？ 标的就是你要买卖的那个东西，一堆标的合起来叫标的池。同一句规则在几十只票上跑和在一只票上跑，是完全不同的两件事——前者你需要一套「同时来了好几个信号怎么办」的机制（见槽位六），后者不需要。

什么周期的数据？ K 线就是一段时间里的开盘、最高、最低、收盘四个价压成一根；日线一天一根，小时线一小时一根。同一句「金叉买入」，日线上一年可能触发十几次，分钟线上一天就能触发十几次。周期这一格，实际上决定了这套规则的交易频率，而频率决定了成本会吃掉多少收益——同一句话，换个周期就是另一门生意。

均线用哪个价、算几天？ 收盘价还是均价、五日还是二十日，这是典型的分歧型空缺——选哪个都行，选了要写下来。

算这个数需要多少根历史 K 线？ 这一格看起来最技术，却藏着一个虚高型陷阱。一条二十日均线，在数据的第一天是算不出来的，得攒够二十天。如果你的程序在数据不够时用了某种「凑合算」的办法，那么开头那一段的信号全是假的。更隐蔽的是有些指标是递归的——今天的值依赖昨天的值，昨天的又依赖前天的，于是「喂进去多少历史」会一路影响到今天算出来的数。同一根 K 线，喂的历史长度不同，指标值就不同，指标的启动期 那篇专门讲这个错位。

一个开源交易框架的策略模板里，有一个专门的字段让你声明「产出有效信号之前需要多少根 K 线」。这个字段的存在本身就是一条信息：框架的作者认为这件事重要到必须由你显式声明，不能靠默认。 你自己写的那版规则里，有没有这一格？

槽位二 · 「金叉了」这个事件，什么时候算成立

这是六格里最容易被当成不用问的一格，也是分歧最大的一格。

「金叉」的意思是短周期均线从下方穿到了长周期均线上方。听起来是个明确的事件，但摊开有三个问题：

第一，是「穿越那一刻」还是「穿越之后一直算」？ 这两种写法在代码里长得几乎一样，行为却天差地别。前者只在交叉发生的那一根 K 线为真，后者在短均线待在长均线上方的整段时间里都为真——那可能是连续几十根 K 线。

这个区别有个现成的名字。前面那个开源框架的文档里，把条件分成两类：触发是真正让你在某个特定时刻动手的东西，比如「短均线上穿长均线」「价格触到某条带子的下沿」；守卫是「不满足就别进场」的限制条件，比如「某个强弱指标低于某值时一律不进」。文档很坦白地说：从技术上讲这两者没有区别，做这个区分是为了讲清一件事——信号不应该是「粘连」的。粘连信号指的是连续好几根 K 线都保持为真的信号，它会导致你在信号快消失的时候才进场，而那个时机的胜算比刚触发时低得多。

把这段话翻译回你那句规则：「金叉就买入」里的「金叉」应该是触发，但很多人写成了守卫。 写成守卫之后，只要短均线在上方，程序天天都在发买入信号。这时候真正决定你在哪一天买入的，不再是你的规则，而是别的东西——可能是你的资金那天刚好够了，可能是某个持仓刚好平掉腾出了名额。你的策略被一个你没设计过的机制接管了，而你还以为自己在测「金叉买入」。

第二，用不用「收盘确认」？ 也就是：这根 K 线还没走完的时候，中间某一刻满足了条件，算不算？

同一个框架在这件事上的立场很硬：它根本不把没走完的 K 线存进数据里，只有完整收盘的 K 线才可用。文档给这种「用没走完的数据做决策」的做法起了个专门的名字，叫重绘，并明确说别的平台可能允许，它不允许。

为什么这件事严重？因为没走完的 K 线会变。上午十点它看起来是根阳线，收盘时可能变成阴线。你在十点看到「金叉了」于是买入，收盘后回头看，那根 K 线上根本没有金叉——历史记录里不会留下你当时看到的那个版本。于是你的回测永远复现不出你实盘的行为，而实盘也永远达不到回测的成绩。

第三，信号是在收盘那一刻生成的，那成交呢？ 这个框架的文档里有个提示框把这两件事分得很干净：信号是在 K 线收盘时由指标算出来的，它表达的是「想进场」这个意图；而交易是真正被执行的订单，它会尽可能贴近下一根 K 线的开盘发生。文档还补了一句很实在的提醒：在实盘里这中间还会有延迟，因为所有标的的数据得先算完才能轮到下单，所以标的越多、机器越慢，这个缝隙越大。

意图和执行之间有一道缝，这道缝在回测里可以被填成零，在实盘里填不成零。 这道缝里发生的事情有多少，回测好看实盘亏，差的到底是哪三件事 讲得更完整。

槽位三 · 什么价买、买不买得到

这一格是虚高型空缺的重灾区，也是最不该由你拍脑袋决定的一格。

「买入」两个字要展开成：在哪一根 K 线上成交、按那根 K 线的哪个价、算不算滑点（你下单时看到的价和最终成交价之间那点差额）、算不算手续费、以及最关键的一个问题——那天到底有没有人肯卖给你。

最后这个问题最容易被跳过，因为历史数据里明明白白有一个价格。可有价格不等于有成交机会：涨停封死的时候你一股也买不到，跌停砸不动的时候你一股也卖不掉，停牌的日子连报价都没有。一份不检查这些的回测，会心安理得地把这些根本不存在的交易记成收益。这一整套「成不成、成在什么价、成多少」的假设，回测里的成交假设 那篇按乐观程度排成了一把尺子，你补这一格的时候应该对着那把尺子看自己站在第几格。

还有一个和它绑在一起、却常被当成同一件事的选择：下单方式。挂限价单（指定价格，不到这个价就不成交）保的是价格，代价是可能挂着不成；下市价单（不管价格，按当前能成的价立刻成交）保的是成交，代价是价格不由你定。限价单与市价单 讲清了这两者的取舍。回测里如果默认「限价单总能按你的报价成交」，等于把两边的好处全占了——现实中不存在这种订单。

前面那个框架的配置模板里，光是和「怎么定价、多久没成交就撤」相关的字段就单独成组，进场和出场各一套，还有一组专门管「挂了多久还没成交就作废」。你那句「金叉就买入」，把这一整组格子全空着了。

槽位四 · 买多少

「买入」没说买多少。这一格看起来是分歧型——买十股还是买一万股，各人有各人的风格。但它藏着两个不那么显然的东西。

第一，每笔投多少和最多同时持几个，是两个独立的旋钮，而且会打架。 前面那个框架的配置里这两项都是必填的，其中「每笔投多少」还可以填成「不限」——意思是让程序把可用余额都投进去。文档在讲这个选项的时候，顺带建议留出一点余量应付费用。这个细节值得琢磨：「全投进去」这个听起来最简单的选择，在工程上反而需要额外处理，因为费用得从哪儿出。

第二，「每次全仓」在回测里是一个隐形的放大器。 如果你的规则是每次把全部资金投进去，那么这套规则的历史成绩里，复利的贡献和规则本身的贡献是混在一起的，你分不出哪部分来自「金叉这个信号有效」，哪部分来自「你一直满仓」。反过来如果每次只投固定金额，收益曲线会难看很多，但它更干净地反映了信号本身的质量。

这一格的正确姿势不是选一个「好」的答案，是意识到你选的这个答案会改变你在测什么。 从一个信号强弱到最后落成多大的仓位，中间其实还有一整套决定，模型吐出一列分数之后呢 那篇把这段路拆开了。

槽位五 · 已经有持仓的时候，再出信号怎么办

到这一格，规则开始和「当前状态」纠缠，而自然语言在这方面几乎是全空的。

你手上已经拿着这只票，今天又出了一次金叉。三种处理方式：

• 忽略 ——已经有仓了，这次信号不管
• 加仓 ——再买一份，仓位翻倍
• 替换 ——先平掉再重新建，成本价重新计算

这三种是三套完全不同的策略，绝不是实现细节。第二种在一段单边上涨里会让你的仓位越滚越大，第一种不会。它们的曲线可以差出一个量级。

前面那个框架在回测主循环里的做法是：默认情况下同一个标的同时只能有一笔持仓，除非你显式打开一个「允许叠加」的开关。而「往已有仓位上追加」是另一套独立的机制，也需要单独启用，还带一个「最多追加几次」的上限。

注意这个设计传递的信息：框架把这三种语义拆成了三个必须分别声明的东西，而不是让你在一个模糊的默认里滑过去。 你自己写规则的时候，如果这一格是空的，你实际上是接受了某个默认——而你多半没意识到有这么个默认存在。

顺带说一句，「什么时候卖」也属于这一格的邻居。你那句话里说了死叉卖，但那只是卖出的一个理由。真实的规则通常还有另外几个出口：跌到某个位置认亏出来（止损）、拿到某个收益就走、拿够多少天不管赚亏都走。这几个出口同时存在的时候，谁优先？同一根 K 线里止损和止盈都够到了，程序按哪个记？这些顺序问题在你那句话里连影子都没有，但它们对结果的影响可能比「用五日还是二十日均线」大得多。

槽位六 · 同一时刻来了好几个信号，谁先谁后

这一格只在你同时看着多个标的时才出现，但一出现就很要命。

你盯着五十只票，某天早上有八只同时金叉，而你的规则允许最多同时持有三笔。买哪三只？

你那句话里没说。于是这个决定落到了别人身上——落到了程序遍历标的的顺序上。谁排在前面谁先拿到名额，剩下的被拒。那个顺序可能是你配置文件里标的的书写顺序，可能是按字母排的，也可能是按某种动态规则每天重排的。总之，一个对结果影响巨大的决定，被一个纯粹的工程细节决定了。

前面那个框架的回测主循环里，能看到几处相关的安排：每根 K 线开始时，已经有持仓的标的会被优先处理；进场前会先检查持仓名额还有没有剩余，没剩的话这个信号被记成「被拒绝」而不是悄悄消失；框架还提供了一个选项，专门把这些被拒绝的信号打印出来给你看。

最后这个选项很值得留意。它承认了一件事：你的规则产生的信号，和最终真正成交的交易，是两个不同的集合。 中间那道筛子——名额、资金、已有持仓、遍历顺序——才是真正决定你买了什么的东西。如果被拒绝的信号数量远大于成交的数量，那么你的回测测的其实主要是那道筛子的行为，而不是你那句规则的行为。

这一格还有个更麻烦的版本：信号之间会互相挤占，而挤占的方式会随资金规模变化。 资金小的时候名额紧张、大部分信号被拒；资金变大之后名额宽裕、几乎所有信号都能成交。同一套规则、同一段历史，只因为本金不同，行为就变了。这也是为什么一份没写清本金和名额上限的回测报告，你没法判断它到底在说什么。

把六个槽位变成一张能交付的表

上面六格，写下来大概长这样。你可以直接抄成一份模板，每次有新想法就先填一遍再动手。

槽位	要回答的问题	空着的后果
一 · 对象与算料	哪些标的、什么周期、指标用什么价算几天、需要多少历史才有效	前三项是选择；最后一项填错会让开头一段信号全是假的
二 · 事件成立	是穿越那一刻还是持续期间、用不用收盘确认、信号到成交隔多久	写成持续期间会让规则变成天天有信号；用没走完的 K 线会让回测永远复现不了实盘
三 · 成交	哪根 K 线、什么价、算不算滑点与费用、封板停牌怎么办	这一格最容易让历史成绩系统性虚高
四 · 数量	每笔投多少、最多同时持几笔、留不留余量	「每次全投」会把复利和信号质量混在一起，你分不出成绩来自哪个
五 · 状态	已有持仓时再出信号：忽略、加仓还是替换；卖出有几个出口、谁优先	三种处理是三套不同的策略；出口的优先级会改变每一笔的记账
六 · 仲裁	信号多于名额时按什么排、被拒的信号去哪了	决定权落到遍历顺序上，你测的其实是那道筛子

填完之后，用一条判据检验它够不够清楚：

把这张表交给另一个人，他照着写出来的东西，行为应该和你写的一致。

注意是「行为一致」，不是「代码一样」。代码可以不一样，同一件事有一百种写法。但如果两个版本在同一段历史上跑出来的交易明细对不上，那说明表上还有格子在打架或者还空着——而那个格子就是你没想清楚的地方。

这条判据的好处是它把一件很虚的事（说清楚了没有）变成了一件可以检查的事。它也解释了开头那个实验：两个人写出两条不同的曲线，不是谁的水平问题，是那张表压根没填。

分歧还是作弊：六格里的对错分布

回到前面那条最重要的分界线。同样是「填了个默认值」，性质完全不同：

基本属于分歧型（选什么都行，选了记下来）：均线用几天、用哪个价算、每笔投多少、最多持几笔、已有持仓时是忽略还是加仓。这些格子填不一样，你得到的是不同的策略，不是错的策略。

含虚高型风险（有对错，填错的一侧会让成绩变好看）：指标需要多少历史才算有效、事件用不用收盘确认、信号出现后在哪根 K 线成交、按什么价成交、封板停牌算不算能成交。

第二组有个共同特征值得你记住：它们全都和「时间」有关。 要么是「这个数在那一刻算不算得出来」，要么是「这个价在那一刻知不知道」，要么是「这一笔在那一刻做不做得成」。

所以你在补细节的时候，有一个动作性价比极高：每填一格，先问一句「这一格用到的信息，在那个时间点真的存在吗」。 这句话你问六遍，六格里那三四个危险的地方基本都会被你逮住。

还有一类混合情况需要单独提醒。有些格子表面上是分歧型，实际会连带出虚高。比如「每次全投」这个选择本身没错，但如果你的回测同时又不检查成交量约束，那么全投意味着你在历史上买下了一个当天根本吃不下的量——分歧型的选择碰上一个宽松的成交假设，会放大成虚高型的问题。 格子和格子之间会相互作用，这也是为什么这张表要一次填完，而不是遇到一个填一个。

一个现成的标本：策略文件本身就是那张表

如果你觉得上面这张表是我编的，可以去看一眼真实的框架长什么样。这里只讲结构，不讲具体写法——具体的函数名、参数名会随版本变，讲了也没用，而结构十年不变。

前面那个开源交易框架的策略模板里，一个策略文件大致分成三块：

第一块是一堆类属性声明，也就是「这套规则的元信息」：用什么周期的数据、需要多少根历史才开始产出信号、每笔最多亏多少就认输、要不要用移动的止损线、进场和出场分别用哪种下单方式、订单的有效期怎么算、要不要允许做空、以及一张「持有多久之后收益达到多少就走」的阶梯表。

第二块是算指标，把原始的价格数据加工成你要用的那些数。

第三块是写条件，分别产出进场信号和出场信号，而且模板里的注释把每一行标注得很清楚——哪一行是触发、哪一行是守卫。

框架强制你先填第一块，才轮到写你真正关心的第三块。 这个顺序不是刁难，是把「你没说的那些」提前摊在你面前。而配置文件那一层还有另一批格子：同时最多持几笔、每笔投多少、留多少余量不动、进出场的报价方式、挂多久不成交就撤。

把这两层的字段列在一起，和上面那张六格表对一遍，你会发现覆盖度相当高。这不是巧合——任何一套认真做的执行系统，都会在某个地方逼你回答这六组问题，区别只在于它是让你显式填，还是替你默默填。

顺带一提，这也是判断一个工具靠不靠谱的一条标准：它是不是把这些决定摆到了明处。 一个让你只写一句话就出图的工具不是更聪明，它只是把决定权拿走了，并且没告诉你。

落到你手上，第一步做什么

如果你现在就想动手，我建议的顺序是这样的：

先写表，再写代码。 六格填完再开编辑器。填不出来的格子，明确写「未定」而不是空着——写「未定」你至少知道自己欠着一笔，空着你会以为已经填了。

每填一格，问一句「这个信息在那一刻存在吗」。 尤其是槽位一的最后一项和整个槽位二、槽位三。

把表和结果存在一起。 一份回测结果如果和它对应的那张表分开存放，三个月后你会完全想不起来当时是怎么定的，那份结果也就作废了。一张没有配套规格的曲线，价值接近于零——因为你没法回答「这是在测什么」这个问题。

动手之前先把数据这一层过一遍。 表填得再好，喂进去的数据有问题也是白搭。拿到一份数据，先跑哪几项自查 是这一步的清单。

小结

• 一句话规则和可执行规则之间的距离，不在于话说得对不对，而在于那句话是说给共享背景知识的人听的，而程序没有背景。距离不会因为你把话说长而消失。
• 必须补的六个槽位：对象与算料、事件成立、成交、数量、已有持仓、多信号仲裁。前三格决定「信号是什么」，后三格决定「信号变成什么样的交易」。
• 空缺分两类，处理方式相反：分歧型只是选择不同，选了写下来就行；虚高型有对错，填错的一侧会让历史成绩系统性变好，而且不报错。虚高型集中在跟「时间」有关的那几格。
• 最容易被写错的一格是事件成立：「触发」和「守卫」在代码里长得几乎一样，但把触发写成守卫，你的规则会变成天天有信号，真正决定你哪天买入的会变成资金和名额——你测的已经不是你以为的那套规则了。
• 用没走完的 K 线做决策叫重绘，它的后果不只是不准，是你的回测永远复现不了你的实盘，因为你当时看到的那个版本历史上不存在。
• 检验规格够不够清楚的判据只有一条：换个人照着写，行为应该一致。 对不上的地方，就是你还没想清楚的地方。
• 每填一格问一句「这一格用到的信息，在那个时间点真的存在吗」——这句话问六遍，大部分虚高型的坑会自己现形。
• 认真的框架会强制你先声明元信息再写条件。它不是在刁难你，是把你没说的那些提前摊开。一个让你只说一句话就出图的工具不是更聪明，它只是把决定权拿走了。

一句话说完这篇：你说的那句话里，没说出口的部分比说出口的多得多；程序不会问你，它会自己替你定，而它定的地方，往往正好是决定成败的那几处。