FIDL 编译器错误目录

本文档列出了 FIDL 编译器 fidlc 发出的所有错误。此网域中的错误标识符始终以 fi- 前缀开头,后跟一个四位数代码,例如 fi-0123

fi-0001:字符无效

解析器未能在指定位置将字符转换为令牌。

library test.bad.fi0001;

type ßar = struct {
    value uint64;
};

应通过替换或移除来修正无效字符。

library test.good.fi0001;

type Foo = struct {
    value uint64;
};

无效字符取决于地理位置。请参阅 FIDL 语言规范,确定 FIDL 语法的每个部分允许使用哪些字符。

fi-0002:换行符意外出现

不允许将字符串字面量拆分到多行:

library test.bad.fi0002;

const BAD_STRING string:1 = "Hello
World";

请改用转义序列 \n 来表示换行:

library test.good.fi0002;

const GOOD_STRING string:11 = "Hello\nWorld";

fi-0003:转义序列无效

解析器在转义序列开头遇到无效字符。

library test.bad.fi0003;

const UNESCAPED_BACKSLASH string:2 = "\ ";
const BACKSLASH_TYPO string:1 = "\i";
const CODE_POINT_TYPO string:1 = "\Y1F604";

使用有效字符替换转义序列的开头,或移除意外的反斜杠字符。

library test.good.fi0003;

const ESCAPED_BACKSLASH string:2 = "\\ ";
const REMOVED_BACKSLASH string:1 = "i";
const SMALL_CODE_POINT string:3 = "\u{2604}";
const BIG_CODE_POINT string:4 = "\u{01F604}";

如需了解有效的转义序列,请参阅 FIDL 语法规范

fi-0004:十六进制数字无效

字符串字面量中的 Unicode 转义不得包含无效的十六进制数字:

library test.bad.fi0004;

const SMILE string = "\u{1G600}";

您必须以十六进制形式指定有效的 Unicode 码位,范围为 0 到 10FFFF。每个十六进制字符都必须是 0 到 9 之间的数字、af 之间的小写字母,或 AF 之间的大写字母。在本例中,GF 的拼写错误:

library test.good.fi0004;

const SMILE string = "\u{1F600}";

fi-0005

fi-0006:预期声明

当 FIDL 预期声明但找到其他内容时,就会发生此错误。这通常是由于拼写错误所致。有效声明包括:typealiasconstusingprotocolservice

library test.bad.fi0006;

cosnt SPELLED_CONST_WRONG string:2 = ":("; // Expected a declaraction (such as const).

如需修正此错误,请检查顶级声明中的拼写错误,并确保您仅使用 FIDL 支持的功能。

library test.good.fi0006;

const SPELLED_CONST_RIGHT string:2 = ":)";

fi-0007:非预期的令牌

解析过程中遇到意外令牌时,会发生此错误。一般来说,这是由于拼写错误所致:

library test.bad.fi0007;

alias MyType = vector<uint8>:<,256,optional>; // Extra leading comma

解决此问题的方法通常是移除意外的令牌,或者在某些情况下,提供缺失的语法的其余部分:

library test.good.fi0007;

alias MyType = vector<uint8>:<256, optional>;

fi-0008:非预期的令牌

每当 FIDL 解析器遇到语法无效的令牌时,就会发生此错误。这可能有多种原因,例如枚举成员缺少 =、多余的令牌(例如 library = what.is.that.equals.doing.there)等。

library test.bad.unexpectedtokenofkind;

type Numbers = flexible enum {
    ONE; // FIDL enums don't have a default value.
};

通常,解决此问题的方法是添加缺少的令牌或移除多余的令牌。

library test.good.fi0008;

type Numbers = flexible enum {
    ONE = 1;
};

为避免此错误,请仔细检查 *.fidl 文件,确保其语法正确无误。

fi-0009:意外的标识符

如果标识符在错误的位置使用,通常会发生此错误:

using test.bad.fi0009;

请改用正确的标识符:

library test.good.fi0009;

fi-0010:标识符无效

发现一个不符合有效标识符要求的标识符。FIDL 标识符可以包含字母数字和下划线(具体而言是 A-Za-z0-9_),此外,每个标识符都必须以字母开头,以字母或数字结尾。

library test.bad.fi0010a;

// Foo_ is not a valid identifier because it ends with '_'.
type Foo_ = struct {
    value uint64;
};

要解决此问题,请更改标识符,确保其仅包含有效字符,以字母开头,并以字母或数字结尾。

library test.good.fi0010a;

type Foo = struct {
    value uint64;
};

如果将多部分(带点)标识符传递给属性,也可能会出现此错误。

library test.bad.fi0010b;

@foo(bar.baz="Bar", zork="Zoom")
type Empty = struct{};

要解决此问题,请改为仅在属性中使用单部分标识符。

library test.good.fi0010b;

@foo(bar="Bar", zork="Zoom")
type Empty = struct {};

fi-0011:库名称组件无效

库名称只能包含字母和数字 (A-Za-z0-9),并且必须以字母开头。

library test.bad.fi0011.name_with_underscores;

如需解决此问题,请确保所有库名称组件均符合要求。

library test.good.fi0011.namewithoutunderscores;

fi-0012:类型布局类无效

类型声明必须指定 FIDL 所知的布局:

library test.bad.fi00012;

type Foo = invalid {};

有效布局包括 bitsenumstructtableunion

library test.good.fi0012;

type Empty = struct {};

布局是 FIDL 类型的可参数化说明。它指的是一系列可能的类型,这些类型可以接收更多参数来指定其形状。例如,struct 是一种布局,当其定义了特定成员时,就会变为具体类型;而 array 是一种布局,当给定要按顺序重复指定次数的类型时,就会变为具体类型。

布局全部内置于 FIDL 语言中,用户无法通过任何方式指定自己的布局或创建自己的通用类型模板。

fi-0013:封装类型无效

如果传递给枚举或位声明的值不是类型的标识符,例如您改为将字符串值作为“后备类型”提供,就会发生此错误:

library test.bad.fi0013;

type TypeDecl = enum : "int32" {
    FOO = 1;
    BAR = 2;
};

如需修正此错误,请确保枚举或位元的后备类型是类型标识符。

library test.good.fi0013;

type TypeDecl = enum : int32 {
    FOO = 1;
    BAR = 2;
};

fi-0014:属性包含空白圆括号

如果属性包含括号但没有参数,则会出现此错误。

library test.bad.fi0014;

@discoverable()
protocol MyProtocol {};

如需解决此问题,请从没有参数的属性中移除圆括号,或者在需要参数时提供参数。

library test.good.fi0014;

@discoverable
protocol MyProtocol {};

FIDL 不允许在属性上使用空参数列表,这主要是一种样式选择。

fi-0015:属性参数都必须命名

为清楚起见,如果某个属性有多个参数,则必须明确指定该属性的所有参数。

如果属性有多个参数,但未明确提供参数的名称,就会发生此错误。

library test.bad.fi0015;

@foo("abc", "def")
type MyStruct = struct {};

如需解决此问题,请使用 name=value 语法为所有参数提供名称。

library test.good.fi0015;

@foo(bar="abc", baz="def")
type MyStruct = struct {};

fi-0016:成员前缺少序数

如果联合体或表中的字段缺少序数,就会出现此错误。

library test.bad.fi0016a;

type Foo = table {
    x int64;
};
library test.bad.fi0016b;

type Bar = union {
    foo int64;
    bar vector<uint32>:10;
};

如需修正此错误,请明确指定表或联合的序数:

library test.good.fi0016;

type Foo = table {
    1: x int64;
};

type Bar = union {
    1: foo int64;
    2: bar vector<uint32>:10;
};

与结构体不同,表和联合体旨在允许对其内容进行向后兼容的更改。为此,需要使用一致的值(序数)来标识表字段或联合变体。为避免混淆,并降低在更改表或联合时意外更改序数的可能性,必须始终明确指定序数。

fi-0017:序数超出范围

表和联合的序数必须是有效的无符号 32 位整数。负序数或大于 4,294,967,295 的序数会导致此错误。

library test.bad.fi0017a;

type Foo = table {
  -1: foo string;
};
library test.bad.fi0017b;

type Bar = union {
  -1: foo string;
};

如需修正此错误,请确保所有序数均在允许的范围内。

library test.good.fi0017;

type Foo = table {
    1: foo string;
};

type Bar = union {
    1: foo string;
};

fi-0018:序数必须从 1 开始

tableunion 成员序数值不得为 0:

library test.bad.fi0018;

type Foo = strict union {
    0: foo uint32;
    1: bar uint64;
};

而应从 1 开始编号:

library test.good.fi0018;

type Foo = strict union {
    1: foo uint32;
    2: bar uint64;
};

fi-0019:严格位、枚举或联合体不得为空

严格的位、枚举或联合体不得没有成员:

library test.bad.fi0019;

type Numbers = strict enum {};

而是必须至少有 1 个成员:

library test.good.fi0019a;

type Numbers = flexible enum {};

或者,您也可以将声明标记为 flexible,而不是 strict

library test.good.fi0019b;

type Numbers = strict enum {
    ONE = 1;
};

空位、枚举或联合体不含任何信息,因此通常不应在 API 中使用。不过,灵活的数据类型旨在不断演变,因此定义一个从空开始的灵活位或枚举(预计稍后会添加成员)是合理的做法。在定义新数据类型时,您应始终仔细考虑是使用 strict 还是 flexible

fi-0020:协议成员无效

如果协议中的某个项未被识别为有效的协议成员(例如,协议中的某个项不是协议组合、单向方法、双向方法或事件),就会发生此错误。

library test.bad.fi0020;

protocol Example {
    NotAMethodOrCompose;
};

如需解决此错误,请移除无效的项目,或将其转换为应有的协议项类型的正确语法。

library test.good.fi0020;

protocol Example {
    AMethod();
};

fi-0021

fi-0022:无法将属性附加到标识符

如果在声明的类型(该类型为标识符类型)上放置属性,就会出现此错误。例如,在结构体声明中将属性放在字段名称后面但在字段类型前面,会将该属性与字段的类型相关联,而不是与字段本身相关联。如果字段的类型是通过名称引用的现有类型,则无法对其应用其他属性。

library test.bad.fi0022;

type Foo = struct {
    // uint32 is an existing type, extra attributes cannot be added to it just
    // for this field.
    data @foo uint32;
};

如果意图是将属性应用于字段,则应将该属性移到字段名称之前。

属性可应用于声明它们的类型。这意味着,如果结构体字段或其他类似声明的类型是匿名类型(而非标识符类型),则可以对该类型应用属性。

library test.good.fi0022;

type Foo = struct {
    // The foo attribute is associated with the data1 field, not the uint32
    // type.
    @foo
    data1 uint32;
    // The type of data2 is a newly declared anonymous structure, so that new
    // type can have an attribute applied to it.
    data2 @foo struct {};
};

fi-0023:类型声明中的属性

使用内嵌布局时,您可以将属性直接放在布局前面。不过,在顶级声明类型时,您无法:

library test.bad.fi0023;

type Foo = @foo struct {};

您必须将属性放在 type 关键字之前:

library test.good.fi0023;

@foo
type Foo = struct {};

之所以强制执行此规则,是因为允许在两个位置使用属性会造成混淆。

fi-0024:方法参数列表的文档注释

方法参数列表无法包含文档注释:

library test.bad.fi0024;

protocol Example {
    Method(/// This is a one-way method.
            struct {
        b bool;
    });
};

目前,请在方法本身上添加文档注释:

library test.good.fi0024;

protocol Example {
    /// This is a one-way method.
    Method(struct {
        b bool;
    });
};

解决此 bug 后,此错误将不再存在。此错误是从迁移中保留的,用于使用 FIDL 类型(而非参数列表)描述方法载荷。

fi-0025:导入组必须位于文件顶部

除了文件顶部的 library 声明外,文件的 using 导入之前不得有任何其他声明(如果有):

library test.bad.fi0025;

alias i16 = int16;
using dependent;

type UsesDependent = struct {
    field dependent.Something;
};

如需解决此错误,请将所有 using 导入放在 library 声明后面的代码块中:

library test.good.fi0025;

using dependent;

alias i16 = int16;
type UsesDependent = struct {
    field dependent.Something;
};

此规则反映了 FIDL 团队做出的一个主要美学决策,即将依赖项分组并轻松找到后,依赖项更易于阅读。

fi-0026:文档注释块中的注释

注释不得放置在文档注释块中:

library test.bad.fi0026;

/// start
// middle
/// end
type Empty = struct {};

而应将注释放在文档注释块之前或之后:

library test.good.fi0026;

// some comments above,
// maybe about the doc comment
/// A
/// multiline
/// comment!
// another comment, maybe about the struct
type Empty = struct {};

通常,文档注释块前面的注释是关于文档注释本身的注释的最佳位置。

fi-0027:文档注释块中存在空行

文档注释块中不应有空行:

library test.bad.fi0027;

/// start

/// end
type Empty = struct {};

相反,空行应仅放置在文档注释块之前或之后:

library test.good.fi0027a;

/// A doc comment
type Empty = struct {};

或者,您也可以考虑完全省略空白行:

library test.good.fi0027b;

/// A doc comment
type Empty = struct {};

fi-0028:文档注释后必须跟声明

文档评论不得像常规评论一样随意浮动:

library test.bad.fi0028;

type Empty = struct {};
/// bad

在所有情况下,文档注释都必须直接位于 FIDL 声明之前:

library test.good.fi0028a;

/// A doc comment
type Empty = struct {};

FIDL 会在编译期间将文档注释“降级”为 @doc 属性。事实上,如果需要,任何注释都可以直接以这种方式编写:

library test.good.fi0028b;

@doc("An attribute doc comment")
type Empty = struct {};

从技术角度来看,独立的文档注释无法编译,但在语义上也令人困惑:“记录”什么都没有意味着什么?与常规注释不同,文档注释会被处理成结构化文档,因此必须明确它们附加到哪个 FIDL 结构体。

fi-0029:资源定义必须包含至少一个属性

禁止使用未指定任何属性的资源定义:

library test.bad.resourcedefinitionnoproperties;

resource_definition SomeResource : uint32 {
  properties {};
};

请至少指定一项媒体资源:

library test.good.fi0029;

resource_definition SomeResource : uint32 {
    properties {
        subtype strict enum : uint32 {
            NONE = 0;
        };
    };
};

这是一个与 FIDL 的内部实现相关的错误,因此只应向处理 FIDL 核心库的开发者显示。最终用户应该永远不会看到此错误。

它所引用的 resource_definition 声明是 FIDL 用于定义句柄等资源的内部方法,未来可能会在句柄泛化工作中发生变化。

fi-0030:修饰符无效

每个 FIDL 修饰符都有一组特定的声明,可在其中使用。不允许在禁止的声明中使用该修饰符:

library test.bad.fi0030;

type MyStruct = strict struct {
    i int32;
};

最佳做法是移除违规修饰符:

library test.good.fi0030;

type MyStruct = struct {
    i int32;
};

fi-0031:只有位和枚举可以有子类型

并非所有 FIDL 布局都可以携带子类型:

library test.bad.fi0031;

type Foo = flexible union : uint32 {};

只有 bitsenum 布局是基于底层类型定义的。

library test.good.fi0031;

type Foo = flexible enum : uint32 {};

bitsenum 布局有点独特,因为它们只是整数 FIDL 基元件的受限子类型。因此,它们指定一个用作此子类型的底层类型是合理的。相反,structtableunion 布局可以无限扩大,并且可以包含许多成员,因此全局布局级子类型没有意义。

fi-0032:不允许使用重复的修饰符

禁止在单个声明中指定相同的修饰符:

library test.bad.fi0032;

type MyUnion = strict resource strict union {
    1: foo bool;
};

移除重复的修饰符:

library test.good.fi0032;

type MyUnion = resource strict union {
    1: foo bool;
};

fi-0033:修饰符冲突

某些修饰符是互斥的,不能同时修饰同一声明:

library test.bad.conflictingmodifiers;

type StrictFlexibleFoo = strict flexible union {
    1: b bool;
};

type FlexibleStrictBar = flexible strict union {
    1: b bool;
};

一次只能对单个声明使用 strictflexible 修饰符之一:

library test.good.fi0033;

type FlexibleFoo = flexible union {
    1: i int32;
};

type StrictBar = strict union {
    1: i int32;
};

目前,只有 strictflexible 修饰符以这种方式互斥。resource 修饰符没有互逆修饰符,因此不受此类限制。

fi-0034:名称冲突

两个声明不能同名:

library test.bad.fi0034;

const COLOR string = "red";
const COLOR string = "blue";

请改为为每个声明指定一个唯一的名称:

library test.good.fi0034b;

const COLOR string = "red";
const OTHER_COLOR string = "blue";

或者,如果某个声明是误添加的,请将其移除:

library test.good.fi0034a;

const COLOR string = "red";

如需详细了解如何选择名称,请参阅 FIDL 样式指南

fi-0035:规范名称冲突

两个声明不能具有相同的规范名称:

library test.bad.fi0035;

const COLOR string = "red";

protocol Color {};

尽管 COLORColor 看起来不同,但它们都由规范名称 color 表示。您可以通过将原始名称转换为 snake_case 来获取规范名称。

如需修正此错误,请为每个声明指定一个在规范化后唯一的名称:

library test.good.fi0035;

const COLOR string = "red";

protocol ColorMixer {};

遵循 FIDL 样式指南中的命名准则,可最大限度地降低遇到此错误的几率。使用相同大小写样式的声明之间绝不会发生规范名称冲突,而使用不同样式的声明之间很少会发生规范名称冲突,因为存在其他要求(例如,协议名称通常应为以 -er 结尾的名词短语)。

FIDL 会强制执行此规则,因为绑定生成器会将名称转换为目标语言的惯用命名样式。通过确保规范名称的唯一性,我们可以保证绑定能够做到这一点,而不会产生名称冲突。如需了解详情,请参阅 RFC-0040:标识符唯一性

fi-0036:名称重叠

同名声明的播出信息不得重叠:

@available(added=1)
library test.bad.fi0036;

type Color = strict enum {
    RED = 1;
};

@available(added=2)
type Color = flexible enum {
    RED = 1;
};

而是应使用 @available 属性,确保任何给定版本中仅存在其中一个声明:

@available(added=1)
library test.good.fi0036;

@available(replaced=2)
type Color = strict enum {
    RED = 1;
};

@available(added=2)
type Color = flexible enum {
    RED = 1;
};

或者,重命名或移除其中一个声明,如 fi-0034 所示。

如需详细了解版本控制,请参阅 FIDL 版本控制

fi-0037:规范名称重叠

具有相同规范名称的声明不能有重叠的播出信息:

@available(added=1)
library test.bad.fi0037;

const COLOR string = "red";

@available(added=2)
protocol Color {};

尽管 COLORColor 看起来不同,但它们都由规范名称 color 表示。您可以通过将原始名称转换为 snake_case 来获取规范名称。

如需修正此错误,请为每个声明指定一个在规范化后唯一的名称。

@available(added=1)
library test.good.fi0037;

const COLOR string = "red";

@available(added=2)
protocol ColorMixer {};

或者,更改fi-0036 中显示的某个声明的播出信息,或移除该声明。

如需详细了解 FIDL 为何要求声明具有唯一的规范名称,请参阅 fi-0035

fi-0038:名称与导入项冲突

声明的名称不能与使用 using 导入的库的名称相同:

library dependency;

const VALUE uint32 = 1;
library test.bad.fi0038b;

using dependency;

type dependency = struct {};

// Without this, we'd get fi-0178 instead.
const USE_VALUE uint32 = dependency.VALUE;

而是使用 using ... as 语法以其他名称导入库:

library test.good.fi0038b;

using dependency as dep;

type dependency = struct {};

const USE_VALUE uint32 = dep.VALUE;

或者,重命名声明以避免冲突:

library test.good.fi0038c;

using dependency;

type OtherName = struct {};

const USE_VALUE uint32 = dependency.VALUE;

您可以在库名称中使用多个组件来避免此问题。例如,Fuchsia SDK 中的 FIDL 库以 fuchsia. 开头,因此它们至少包含两个组件,并且不能与声明名称冲突。

此错误旨在防止出现歧义。例如,如果 dependency 是一个枚举,其中包含一个名为 VALUE 的成员,那么 dependency.VALUE 是指该枚举成员还是指导入的库中声明的 const,就很难确定。

fi-0039:规范名称与导入内容冲突

声明的规范名称不能与使用 using 的库导入项相同:

library dependency;

const VALUE uint32 = 1;
library test.bad.fi0039b;

using dependency;

type Dependency = struct {};

// Without this, we'd get fi-0178 instead.
const USE_VALUE uint32 = dependency.VALUE;

尽管 dependencyDependency 看起来不同,但它们都由规范名称 dependency 表示。您可以通过将原始名称转换为 snake_case 来获取规范名称。

如需修正此错误,请使用 using ... as 语法以其他名称导入库:

library test.good.fi0039b;

using dependency as dep;

type Dependency = struct {};

const USE_VALUE uint32 = dep.VALUE;

或者,重命名声明以避免冲突:

library test.good.fi0039c;

using dependency;

type OtherName = struct {};

const USE_VALUE uint32 = dependency.VALUE;

请参阅 fi-0038,了解出现此错误的原因以及如何避免此错误。

如需详细了解 FIDL 为何要求声明具有唯一的规范名称,请参阅 fi-0035

fi-0040:文件的库名称不一致

库可以由多个文件组成,但每个文件都必须具有相同的名称:

library test.bad.fi0040a;
library test.bad.fi0040b;

确保库使用的所有文件都使用相同的名称:

library test.good.fi0040;
library test.good.fi0040;

对于多文件库,建议的惯例是创建一个原本为空的 overview.fidl 文件,以用作该库的主要“入口点”。overview.fidl 文件也是放置库级范围的 @available 平台规范的适当位置。

fi-0041:多个库具有相同的名称

传递给 fidlc 的每个库都必须具有唯一的名称:

library test.bad.fi0041;
library test.bad.fi0041;

确保所有库的名称都具有唯一性:

library test.good.fi0041a;
library test.good.fi0041b;

此错误通常是由以不正确的方式向 fidlc 提供参数所致。构成编译所需的每个库(即要编译的库及其所有传递依赖项)的构成文件必须作为通过 --files 参数传递的单个以空格分隔的文件列表提供,每个库对应一个此类标志。一个常见的错误是尝试在单个 --files 列表中为所有库传递文件。

fi-0042:重复的库导入

无法多次导入依赖项:

library test.bad.fi0042a;

type Bar = struct {};
library test.bad.fi0042b;

using test.bad.fi0042a;
using test.bad.fi0042a; // duplicated
type Foo = struct {
    bar test.bad.fi0042a.Bar;
};

确保每个依赖项仅导入一次:

library test.good.fi0042a;

type Bar = struct {};
library test.good.fi0042b;

using test.good.fi0042a;
type Foo = struct {
    bar test.good.fi0042a.Bar;
};

值得注意的是,FIDL 不支持导入同一库的不同版本。系统会通过 --available 标志为整个 fidlc 编译解析 @available 版本,这意味着,对于任何给定的编译运行,被编译的库及其所有依赖项都必须使用相同的版本。

fi-0043:库导入冲突

禁止以与其他导入的库的非别名名称冲突的方式为导入的库添加别名:

library test.bad.fi0043a;

type Bar = struct {};

// This library has a one component name to demonstrate the error.
library fi0043b;

type Baz = struct {};
library test.bad.fi0043c;

using test.bad.fi0043a as fi0043b; // conflict
using fi0043b;

type Foo = struct {
    a fi0043b.Bar;
    b fi0043b.Baz;
};

请选择其他别名以解决名称冲突:

library test.good.fi0043a;

type Bar = struct {};
library fi0043b;

type Baz = struct {};
library test.good.fi0043c;

using test.good.fi0043a as dep;
using fi0043b;

type Foo = struct {
    a dep.Bar;
    b fi0043b.Baz;
};

fi-0044:库导入别名存在冲突

禁止以与其他导入的库分配的别名冲突的方式为导入的库添加别名:

library test.bad.fi0044a;

type Bar = struct {};
library test.bad.fi0044b;

type Baz = struct {};
library test.bad.fi0044c;

using test.bad.fi0044a as dep;
using test.bad.fi0044b as dep; // conflict
type Foo = struct {
    a dep.Bar;
    b dep.Baz;
};

选择不冲突的别名以解决名称冲突:

library test.good.fi0044a;

type Bar = struct {};
library test.good.fi0044b;

type Baz = struct {};
library test.good.fi0044c;

using test.good.fi0044a as dep1;
using test.good.fi0044b as dep2;
type Foo = struct {
    a dep1.Bar;
    b dep2.Baz;
};

fi-0045:使用声明时不允许使用属性

无法将属性附加到 using 声明:

library test.bad.fi0045a;

type Bar = struct {};
library test.bad.fi0045b;

/// not allowed
@also_not_allowed
using test.bad.fi0045a;

type Foo = struct {
    bar test.bad.fi0045a.Bar;
};

移除该属性即可解决错误:

library test.good.fi0045a;

type Bar = struct {};
library test.good.fi0045b;

using test.good.fi0045a;

type Foo = struct {
    bar test.good.fi0045a.Bar;
};

此限制也适用于 /// ... 文档注释,因为它们只是 @doc("...") 属性的语法糖。

fi-0046:未知库

在大多数情况下,此问题是由于拼写错误的依赖项或 build 系统未提供依赖项而导致的。如果有意不使用相关依赖项,则必须移除相关的 using 行:

library test.bad.fi0046;

using dependent; // unknown using.

type Foo = struct {
    dep dependent.Bar;
};

确保使用构建系统将所有导入添加为库的依赖项。

library test.good.fi0046;

type Foo = struct {
    dep int64;
};

fi-0047

fi-0048:可选表格成员

表成员类型不能为 optional

library test.bad.fi0048;

type Foo = table {
    // Strings can be optional in general, but not in table member position.
    1: t string:optional;
};

从所有成员中移除 optional 约束条件:

library test.good.fi0048;

type Foo = table {
    1: t string;
};

表成员始终是可选的,因此在成员的底层类型上指定这一事实是多余的。

表成员始终是可选的,因为在线路上,每个表成员都表示为矢量中的条目。此矢量始终表示表中的所有已知字段,因此每个省略的表成员都表示为 null 封装容器,这与省略的可选类型的表示完全等效。

fi-0049:可选联合体成员

联合成员不能是可选的:

library test.bad.fi0049;

type Foo = strict union {
    // Strings can be optional in general, but not in unions.
    1: bar string:optional;
};

移除 optional 约束条件:

library test.good.fi0049;

type Foo = strict union {
    1: bar string;
};

FIDL 不允许联合体成员为可选,因为这可能会导致以多种方式表达同一值。 例如,一个包含三个可选成员的联合体将有 6 个状态(每个成员 2 个)。正确的做法是,使用类型为 struct {} 的第四个成员对其进行建模,或者通过使用 Foo:optional 将整个联合体设为可选。

fi-0050:禁止使用已废弃的结构体默认语法

以前,FIDL 允许在 struct 成员上设置默认值:

library test.bad.fi0050;

type MyStruct = struct {
    field int64 = 20;
};

RFC-0160:移除对 FIDL 结构体默认值的支持开始,不允许此行为:

library test.good.fi0050;

type MyStruct = struct {
    field int64;
};

不再允许为 struct 成员设置默认值。用户应改为在应用逻辑中设置此类默认值。

少数使用此语法的旧版用户可以在编译器内置的许可名单后面继续使用此语法,但不会有新的例外情况添加到此名单中。这些用户迁移完毕后,此功能将从 FIDL 中永久移除。

fi-0051:未知的依赖库

如果您使用来自未知库的符号,就会出现此错误。

library test.bad.fi0051;

type Company = table {
    1: employees vector<unknown.dependent.library.Person>;
    2: name string;
};

如需解决此问题,请使用 using 声明导入缺少的依赖项库。

library known.dependent.library;

type Person = table {
    1: age uint8;
    2: name string;
};
library test.good.fi0051;
using known.dependent.library;

type Company = table {
    1: employees vector<known.dependent.library.Person>;
    2: name string;
};

fidlc 命令行调用格式不正确时,通常会发生此错误。如果您确信未知库存在且应可解析,请确保您通过传递给 --files 标志的以空格分隔的列表正确传递依赖项库的文件。

fi-0052:找不到名称

如果您使用 FIDL 编译器找不到的名称,就会出现此错误。

library test.bad.fi0052;

protocol Parser {
    Tokenize() -> (struct {
        tokens vector<string>;
    }) error ParsingError; // ParsingError doesn't exist.
};

要解决此问题,请移除未找到的名称:

library test.good.fi0052a;

protocol Parser {
    Tokenize() -> (struct {
        tokens vector<string>;
    });
};

或者,定义未找到的名称:

library test.good.fi0052b;

type ParsingError = flexible enum {
    UNEXPECTED_EOF = 0;
};

protocol Parser {
    Tokenize() -> (struct {
        tokens vector<string>;
    }) error ParsingError;
};

fi-0053:无法引用成员

如果您引用的成员不是 bitsenum 条目,就会出现此错误。

library test.bad.fi0053a;

type Person = struct {
    name string;
    birthday struct {
        year uint16;
        month uint8;
        day uint8;
    };
};

const JOHNS_NAME Person.name = "John Johnson"; // Cannot refer to member of struct 'Person'.
library test.bad.fi0053b;

type Person = struct {
    name string;
    birthday struct {
        year uint16;
        month uint8;
        day uint8;
    };
};

type Cat = struct {
    name string;
    age Person.birthday; // Cannot refer to member of struct 'Person'.
};

如需修正此错误,请改用命名类型:

library test.good.fi0053a;

type Person = struct {
    name string;
    birthday struct {
        year uint16;
        month uint8;
        day uint8;
    };
};

const JOHNS_NAME string = "John Johnson";

或提取成员的类型:

library test.good.fi0053b;

type Date = struct {
    year uint16;
    month uint8;
    day uint8;
};

type Person = struct {
    name string;
    birthday Date;
};

type Cat = struct {
    name string;
    age Date;
};

fi-0054:位/枚举成员无效

如果引用了 enumbits 成员,但未先定义该成员,则会发生此错误。

library test.bad.fi0054;

type Enum = enum {
    foo_bar = 1;
};

const EXAMPLE Enum = Enum.FOO_BAR;

为避免此错误,请确认您之前已为引用的成员值声明了值。这些值区分大小写。

library test.good.fi0054;

type Enum = enum {
    foo_bar = 1;
};

const EXAMPLE Enum = Enum.foo_bar;

fi-0055:对已废弃内容的引用无效

如果您使用对 typeconst 的引用,但 @available 属性不兼容,就会发生此错误。当使用较高版本中已废弃的 typesconsts 时,通常会发生这种情况。

@available(added=1)
library test.bad.fi0055;

@available(added=1, deprecated=2, note="use Color instead")
alias RGB = array<uint8, 3>;

@available(added=2)
type Color = struct {
    r uint8;
    g uint8;
    b uint8;
    a uint8;
};

@available(added=3)
type Config = table {
    // RGB is deprecated in version 2.
    1: color RGB;
};

如需修正此错误,请使用非已废弃的 typeconst

@available(added=1)
library test.good.fi0055;

@available(added=1, deprecated=2, note="use Color instead")
alias RGB = array<uint8, 3>;

@available(added=2)
type Color = struct {
    r uint8;
    g uint8;
    b uint8;
    a uint8;
};

@available(added=3)
type Config = table {
    // Using a non-deprecated type.
    1: color Color;
};

fi-0056:对已废弃的其他平台的引用无效

如果您使用其他平台中具有不兼容 @available 属性的 typeconst 的引用,就会出现此错误。当使用较高版本中已废弃的 typesconsts 时,通常会发生这种情况。

@available(platform="foo", added=1)
library test.bad.fi0056a;

@available(added=1, deprecated=2, note="use Color instead")
alias RGB = array<uint8, 3>;

@available(added=2)
type Color = struct {
    r uint8;
    g uint8;
    b uint8;
    a uint8;
};
@available(platform="bar", added=2)
library test.bad.fi0056b;

using test.bad.fi0056a;

@available(added=3)
type Config = table {
    // RGB is deprecated in version 2.
    1: color test.bad.fi0056a.RGB;
};

如需修正此错误,请使用非已废弃的 typeconst

@available(platform="foo", added=1)
library test.good.fi0056a;

@available(added=1, deprecated=2, note="use Color instead")
alias RGB = array<uint8, 3>;

@available(added=2)
type Color = struct {
    r uint8;
    g uint8;
    b uint8;
    a uint8;
};
@available(platform="bar", added=2)
library test.good.fi0056b;

using test.good.fi0056a;

@available(added=2)
type Config = table {
    // Change to use a non-deprecated type.
    1: color test.good.fi0056a.Color;
};

fi-0057:包含周期

有许多情况都可能会导致此问题,但所有这些情况归根结底都是 FIDL 声明以不可解析的方式引用自身。此类错误最简单的形式是,某个类型或协议在其自身定义中直接引用自身:

library test.bad.fi0057c;

type MySelf = struct {
    me MySelf;
};

如果类型或协议通过至少一级间接引用自身,则可能会出现更复杂的失败情况:

library test.bad.fi0057a;

type Yin = struct {
    yang Yang;
};

type Yang = struct {
    yin Yin;
};
library test.bad.fi0057b;

protocol Yin {
    compose Yang;
};

protocol Yang {
    compose Yin;
};

您可以通过在包含周期的某个位置添加封装容器(也称为可选性)来解决此错误,因为这样可以允许在编码/解码时“打破”周期:

library test.good.fi0057;

type MySelf = struct {
    me box<MySelf>;
};
library test.bad.fi0057d;

type MySelf = table {
    1: me MySelf;
};

不允许使用封装容器不间断的递归类型,因为无法对其进行编码。在上述第一个示例中,编码 MySelf 需要先编码 MySelf 的实例,而编码 MySelf 的实例又需要编码 MySelf 的实例,以此类推。解决此问题的方法是通过可选性在此链中添加“break”,其中可以选择编码 MySelf 的另一个嵌套实例,或者编码不含其他数据的 null 封装容器。

fi-0058:引用编译器生成的载荷名称

FIDL 编译器会自动为匿名方法载荷生成名称,以便生成的后端代码的用户可以根据需要引用它们所代表的类型。不过,禁止在 *.fidl 文件本身中引用这些类型:

library test.bad.fi0058;

protocol MyProtocol {
    strict MyInfallible(struct {
        in uint8;
    }) -> (struct {
        out int8;
    });
    strict MyFallible(struct {
        in uint8;
    }) -> (struct {
        out int8;
    }) error flexible enum {};
    strict -> MyEvent(struct {
        out int8;
    });
};

type MyAnonymousReferences = struct {
    a MyProtocolMyInfallibleRequest;
    b MyProtocolMyInfallibleResponse;
    c MyProtocolMyFallibleRequest;
    d MyProtocol_MyFallible_Result;
    e MyProtocol_MyFallible_Response;
    f MyProtocol_MyFallible_Error;
    g MyProtocolMyEventRequest;
};

如果您想直接引用载荷类型,则应将载荷类型提取到其自己的命名类型声明中:

library test.good.fi0058;

type MyRequest = struct {
    in uint8;
};
type MyResponse = struct {
    out int8;
};
type MyError = flexible enum {};

protocol MyProtocol {
    strict MyInfallible(MyRequest) -> (MyResponse);
    strict MyFallible(MyRequest) -> (MyResponse) error MyError;
    strict -> MyEvent(MyResponse);
};

type MyAnonymousReferences = struct {
    a MyRequest;
    b MyResponse;
    c MyRequest;
    // There is no way to explicitly name the error result union.
    // d MyProtocol_MyFallible_Result;
    e MyResponse;
    f MyError;
    g MyResponse;
};

所有 FIDL 方法和事件都为其匿名请求载荷预留了 [PROTOCOL_NAME][METHOD_NAME]Request 名称。严格且绝对可靠的双向方法还会预留 [PROTOCOL_NAME][METHOD_NAME]Response。灵活或有缺陷的双向方法会改为预留:

  • [PROTOCOL_NAME]_[METHOD_NAME]_Result
  • [PROTOCOL_NAME]_[METHOD_NAME]_Response
  • [PROTOCOL_NAME]_[METHOD_NAME]_Error

由于历史原因,这些名称使用的是下划线,而非其他符号。

fi-0059:常量类型无效

并非所有类型都可以在 const 声明中使用:

library test.bad.fi0059;

const MY_CONST string:optional = "foo";

如有可能,请转换为允许的类型:

library test.good.fi0059;

const MY_CONST string = "foo";

只有 FIDL 基元(boolint8int16int32int64uint8uint16uint32uint64float32float64)和非可选的 string 类型才能在 const 声明的左侧使用。

fi-0060:无法解析常量值

常量值必须可解析为已知值:

library test.bad.fi0060;

const MY_CONST bool = optional;

确保使用的常量是有效值:

library test.good.fi0060;

const MY_CONST bool = true;

此错误通常会伴随其他错误,这些错误会提供有关无法解析的预期常量的性质的更多信息。

fi-0061:对非基元值使用“或”运算符

二元或运算符只能用于基元:

library test.bad.fi0061;

const HI string = "hi";
const THERE string = "there";
const OR_OP string = HI | THERE;

请改为将要操作的数据表示为 bits 枚举:

library test.good.fi0061;

type MyBits = flexible bits {
    HI = 0x1;
    THERE = 0x10;
};
const OR_OP MyBits = MyBits.HI | MyBits.THERE;

fi-0062:不允许使用 Newtype

RFC-0052:类型重写和新类型中的新类型尚未完全实现,因此无法使用:

library test.bad.fi0062;

type Matrix = array<float64, 9>;

与此同时,您可以通过定义包含单个元素的结构体来实现类似的效果:

library test.good.fi0062a;

type Matrix = struct {
    elements array<float64, 9>;
};

或者,您也可以定义别名,但请注意,与新类型不同,这不提供类型安全性(即,它可以与其底层类型互换使用):

library test.good.fi0062b;

alias Matrix = array<float64, 9>;

fi-0063:预期值,但实际类型

const 声明的右侧必须解析为常量值,而不是类型:

library test.bad.fi0063;

type MyType = struct {};
const MY_CONST uint32 = MyType;

确保右侧是值:

library test.good.fi0063;

const MY_VALUE uint32 = 8;
const MY_CONST uint32 = MY_VALUE;

fi-0064:位数或枚举值类型不正确

const 声明中将 bitsenum 变体用作值时,bits/enum 值的类型必须与 const 声明的左侧相同:

library test.bad.fi0064;

type MyEnum = enum : int32 {
    VALUE = 1;
};
type OtherEnum = enum : int32 {
    VALUE = 5;
};
const MY_CONST MyEnum = OtherEnum.VALUE;

一种解决方法是更改 const 声明的类型,使其与要存储的值的类型一致:

library test.good.fi0064;

type MyEnum = enum : int32 {
    VALUE = 1;
};
type OtherEnum = enum : int32 {
    VALUE = 5;
};
const MY_CONST OtherEnum = OtherEnum.VALUE;

或者,您也可以选择其他值来匹配 const 声明的类型:

library test.good.fi0064;

type MyEnum = enum : int32 {
    VALUE = 1;
};
type OtherEnum = enum : int32 {
    VALUE = 5;
};
const MY_CONST MyEnum = MyEnum.VALUE;

fi-0065:无法将值转换为预期类型

常量值的类型必须与其使用的位置相适应。

导致此错误的最常见原因是 const 声明的值与其声明的类型不匹配:

library test.bad.fi0065a;

const MY_CONST bool = "foo";

如果在其基础类型无效的位置使用正确定义的 const 值,仍然可能会出现问题:

library test.bad.fi0065b;

const ONE uint8 = 0x0001;
const TWO_FIFTY_SIX uint16 = 0x0100;
const TWO_FIFTY_SEVEN uint8 = ONE | TWO_FIFTY_SIX;

此外,FIDL 的官方会根据架构检查其参数。由于这些参数本身就是常量值,因此可能会发生相同类型的类型不匹配:

library test.bad.fi0065c;

protocol MyProtocol {
    @selector(3840912312901827381273)
    MyMethod();
};

在所有这些情况下,解决方案都是在接受 const 值的位置仅使用预期类型的值。上述情况分别变为:

library test.good.fi0065a;

const MY_CONST string = "foo";
library test.good.fi0065b;

const ONE uint8 = 0x0001;
const TWO_FIFTY_SIX uint16 = 0x0100;
const TWO_FIFTY_SEVEN uint16 = ONE | TWO_FIFTY_SIX;
library test.good.fi0065c;

protocol MyProtocol {
    @selector("MyOldMethod")
    MyMethod();
};

fi-0066:常量溢出类型

常量值不得超出其底层类型固有的范围:

library test.bad.fi0066;

const NUM uint64 = -42;

您可以通过更改值使其符合类型的范围来解决此问题:

library test.good.fi0066a;

const NUM uint64 = 42;

或者,通过更改类型来适应当前溢出值:

library test.good.fi0066b;

const NUM int64 = -42;

此错误仅与 FIDL 的数字类型有关,所有这些类型都有可能溢出。这些范围来自 C++ std::numeric_limits 接口,如下所示:

类型 最小值 最大
int8 -128 127
int16 32768 32767
int32 2147483648 2147483647
int64 9223372036854775808 9223372036854775807
uint8 0 255
uint16 0 65536
uint32 0 4294967295
uint64 0 18446744073709551615
float32 -3.40282e+38 3.40282e+38
float64 -1.79769e+308 1.79769e+308

fi-0067:Bits 成员必须为二的幂

bits 声明中的所有成员的值不得是任何非二进制幂的数字:

library test.bad.fi0067;

type NonPowerOfTwo = bits : uint64 {
    THREE = 3;
};

相反,成员值应始终为二的幂:

library test.good.fi0067a;

type Fruit = bits : uint64 {
    ORANGE = 1;
    APPLE = 2;
    BANANA = 4;
};

如需避免受此限制的困扰,一个简单的方法是,只为位成员值使用位掩码,而不是小数:

library test.good.fi0067b;

type Life = bits {
    A = 0b000010;
    B = 0b001000;
    C = 0b100000;
};

bits 结构体表示一个位数组。这是表示一系列布尔标志最节省内存的方式。由于 bits 声明的每个成员都会映射到其底层内存的特定位,因此用于该映射的值必须明确标识要分配到的无符号整数中的特定位。

fi-0068:灵活枚举具有预留的未知值

如果您定义的枚举成员的值与预留的未知值冲突,就会出现此错误。

灵活枚举可能包含 FIDL 架构不认识的值。此外,灵活枚举始终会预留一些值,这些值将被视为未知。默认情况下,该值是该枚举的底层整数类型可表示的最大数值(例如,对于 uint8,该值为 255)。

library test.bad.fi0068;

type Foo = flexible enum : uint8 {
    ZERO = 0;
    ONE = 1;
    MAX = 255;
};

如需修正此错误,您可以移除该成员或更改其值:

library test.good.fi0068a;

type Foo = flexible enum : uint8 {
    ZERO = 0;
    ONE = 1;
};
library test.good.fi0068b;

type Foo = flexible enum : uint8 {
    ZERO = 0;
    ONE = 1;
    MAX = 254;
};

最后,如果您在将 strict 枚举转换为 flexible 枚举时遇到此错误,可以使用 @unknown 属性将特定成员的数值指定为未知值。请参阅 @unknown

fi-0069:位必须使用无符号整数子类型

禁止将有符号数字用作 bits 声明的基础类型:

library test.bad.fi0069;

type Fruit = bits : int64 {
    ORANGE = 1;
    APPLE = 2;
    BANANA = 4;
};

请改用以下任一值:uint8uint16uint32uint64

library test.good.fi0069;

type Fruit = bits : uint64 {
    ORANGE = 1;
    APPLE = 2;
    BANANA = 4;
};

与允许使用有符号和无符号整数的 enum 声明不同(请参阅 fi-0070),bits 声明仅允许使用无符号整数。这是因为每个 bits 成员都必须表示位数组中的特定底层位(这就是存在 fi-0067 的原因)。这最清晰的表示方式是单个无符号整数。无符号整数的二进制表示法会直接映射到单个位(其编号的 2 的幂次),而由于补码表示法的机制,有符号整数中的负数几乎总是选择多个位。

fi-0070:枚举必须使用整数子类型

禁止将非整数数值 float32float64 用作 enum 声明的基础类型:

library test.bad.fi0070;

type MyEnum = enum : float64 {
    ONE_POINT_FIVE = 1.5;
};

请改用以下任一项:int8int16int32int64uint8uint16uint32uint64

library test.good.fi0070;

type MyEnum = enum : uint64 {
    ONE = 1;
};

fi-0071:不允许在严格枚举成员上使用未知属性

strict enum 不得有任何带有 @unknown 属性的成员:

library test.bad.fi0071;

type MyEnum = strict enum : int8 {
    @unknown
    UNKNOWN = 0;
    FOO = 1;
    MAX = 127;
};

如需继续使用 @unknown 属性,请改用 flexible enum

library test.good.fi0071a;

type MyEnum = flexible enum : int8 {
    @unknown
    UNKNOWN = 0;
    FOO = 1;
    MAX = 127;
};

否则,只需彻底移除该属性,以保留 strict enum

library test.good.fi0071;

type MyEnum = strict enum : int8 {
    UNKNOWN = 0;
    FOO = 1;
    MAX = 127;
};

@unknown 属性的用途是从具有用户定义的未知值的 strict enum(例如此类 strict enum)平滑过渡到具有由 FIDL 知晓和处理的未知值的 flexible enum。在上述示例中,它将用于从第二种正确用法过渡到第一种用法。

fi-0072:只有枚举成员可以携带未知属性

禁止使用 @unknown 属性修饰多个 enum 成员:

library test.bad.fi0072;

type MyEnum = flexible enum : uint8 {
    @unknown
    UNKNOWN = 0;
    @unknown
    OTHER = 1;
};

仅选择并注释用作特定于网域的“未知”值的成员:

library test.good.fi0071a;

type MyEnum = flexible enum : int8 {
    @unknown
    UNKNOWN = 0;
    OTHER = 1;
};

@unknown 属性的用途是从具有用户定义的未知值的 strict enum 平滑过渡到具有 FIDL 已知并处理的未知值的 flexible enum,如下所示:

library test.good.fi0072;

type MyEnum = strict enum : int8 {
    UNKNOWN = 0;
    OTHER = 1;
};
library test.good.fi0071a;

type MyEnum = flexible enum : int8 {
    @unknown
    UNKNOWN = 0;
    OTHER = 1;
};

fi-0073:组合非协议

compose 语句中只能使用协议:

library test.bad.fi0073;

type MyStruct = struct {};

protocol MyProtocol {
    compose MyStruct;
};

请确保您提及的名称指向协议:

library test.good.fi0073;

protocol MyOtherProtocol {};

protocol MyProtocol {
    compose MyOtherProtocol;
};

fi-0074:用于方法载荷的布局无效

只能使用 structtableunion 布局来描述方法载荷:

library test.bad.fi0074;

protocol MyProtocol {
    MyMethod(enum {
        FOO = 1;
    });
};

请改用以下某种布局:

library test.good.fi0074;

protocol MyProtocol {
    MyMethod(struct {
        foo bool;
    });
};

fi-0075:用于方法载荷的原始类型无效

基元无法用作方法载荷:

library test.bad.fi0075;

protocol MyProtocol {
    MyMethod(uint32);
};

请改用 structtableunion 布局类型:

library test.good.fi0075;

protocol MyProtocol {
    MyMethod(struct {
        wrapped_in_struct uint32;
    });
};

如果理想的载荷实际上只是一个基元值,并且未来的演变不成问题,则将该值封装在 struct 布局中将会产生与理想值本身相同大小的载荷。

fi-0076

fi-0077:互动载荷不能为空结构体

方法或事件中的载荷不能是空结构体:

library test.bad.fi0077a;

protocol Test {
    MyMethod(struct {}) -> (struct {});
};
library test.bad.fi0077b;

protocol Test {
    -> MyEvent(struct {});
};

如果您想表明特定请求/响应不包含任何信息,请删除空结构体,并在该位置保留 ()

library test.good.fi0077a;

protocol Test {
    MyMethod() -> ();
};
library test.good.fi0077b;

protocol Test {
    -> MyEvent();
};

空结构体无法扩展,并且在线路上占用 1 个字节。由于 FIDL 支持不带载荷的互动,因此以这种方式使用空结构体是多余的,并且效率较低。因此,我们不允许这样做。

fi-0078

fi-0079

fi-0080:生成了零值序数

此错误不应发生。如果您成功做到了,恭喜,您可能破解了 SHA-256!

开玩笑地说,如果 fidlc 编译器生成的序数值为 0,就会出现此错误。这种情况绝不该发生,因此如果确实发生了,您可能在 FIDL 编译器中发现了 bug。如果出现这种情况,请向我们的问题跟踪器报告问题。

fi-0081:重复的方法序数

如果您使用 @selector 属性使两个方法名称产生相同的序数,通常会发生此错误。

library test.bad.fi0081;

protocol Parser {
    ParseLine();

    // Multiple methods with the same ordinal...
    @selector("ParseLine")
    ParseOneLine();
};

如需解决此问题,请更新方法名称或选择器,使其不会发生冲突。

library test.good.fi0081;

protocol Parser {
    ParseLine();

    @selector("Parse1Line")
    ParseOneLine();
};

如果发生 SHA-256 碰撞,也可能会出现此错误,但这种可能性几乎为零。如果您确定选择器没有问题,但仍然遇到此错误,则可能在 FIDL 编译器中发现了 bug。如果出现这种情况,请向我们的问题跟踪器报告问题。

fi-0082:选择器值无效

如果您为 @selector 使用无效的值,就会出现此错误。出现这一问题最常见的原因就是输入错误。选择器必须是独立的方法名称或完全限定的方法名称。

library test.bad.fi0082;

protocol Parser {
    @selector("test.old.fi0082.Parser.Parse")
    Parse();
};

要解决此问题,请将选择器更新为有效的独立名称或完全限定的方法名称:

library test.good.fi0082;

protocol Parser {
    @selector("test.old.fi0082/Parser.Parse")
    Parse();
};

fi-0083:fuchsia.io 必须使用显式序数

FIDL 编译器以前会自动将 fuchsia.io 序数重命名为 fuchsia.io1。此魔法旨在让方法的 io2 版本具有“正常”序数,以便更轻松地迁移到 fuchsia.io2。不过,此系统最终变得过于神奇,因此现在需要手动为 fuchsia.io 提供序数。

library fuchsia.io;

protocol SomeProtocol {
    SomeMethod();
};

如需解决此问题,请手动提供一个选择器,并使用 fuchsia.io1 作为库名称,以允许将 fuchsia.io 名称用于 io2。

library fuchsia.io;

protocol SomeProtocol {
    @selector("fuchsia.io1/SomeProtocol.SomeMethod")
    SomeMethod();
};

fi-0084:不允许在方法载荷结构体中使用默认成员

用作方法载荷的结构体不得指定默认成员:

library test.bad.fi0084;

type MyStruct = struct {
    @allow_deprecated_struct_defaults
    a bool = false;
};

protocol MyProtocol {
    MyMethod(MyStruct) -> (MyStruct);
};

从相关的 struct 声明中移除默认成员:

library test.good.fi0084;

type MyStruct = struct {
    a bool;
};

protocol MyProtocol {
    MyMethod(MyStruct) -> (MyStruct);
};

fi-0085

fi-0086

fi-0087

fi-0088:服务成员不能是可选的

当您将服务成员标记为 optional 时,就会发生此错误。不允许将服务成员标记为 optional,因为服务成员始终是可选的。

library test.bad.fi0088;

protocol Sorter {
    Sort(struct {
        input vector<int32>;
    }) -> (struct {
        output vector<int32>;
    });
};

service SortService {
    quicksort client_end:<Sorter, optional>;
    mergesort client_end:<Sorter, optional>;
};

如需解决此问题,请移除可选子句:

library test.good.fi0088;

protocol Sorter {
    Sort(struct {
        input vector<int32>;
    }) -> (struct {
        output vector<int32>;
    });
};

service SortService {
    quicksort client_end:Sorter;
    mergesort client_end:Sorter;
};

fi-0089

fi-0090

fi-0091:结构体成员类型无效

如果您尝试为不受支持的类型设置默认结构体值,就会出现此错误。只有数字和布尔类型才能设置默认结构体值。

library test.bad.fi0091;

type Person = struct {
    @allow_deprecated_struct_defaults
    name string:optional = "";
};

如需解决此问题,请移除默认值:

library test.good.fi0091;

type Person = struct {
    @allow_deprecated_struct_defaults
    name string:optional;
};

fi-0092:表序数过大

FIDL 表的序数不得超过 64:

library test.bad.fi0092;

type Table64thField = table {
    1: x int64;
};

type Example = table {
    1: v1 int64;
    2: v2 int64;
    3: v3 int64;
    4: v4 int64;
    5: v5 int64;
    6: v6 int64;
    7: v7 int64;
    8: v8 int64;
    9: v9 int64;
    10: v10 int64;
    11: v11 int64;
    12: v12 int64;
    13: v13 int64;
    14: v14 int64;
    15: v15 int64;
    16: v16 int64;
    17: v17 int64;
    18: v18 int64;
    19: v19 int64;
    20: v20 int64;
    21: v21 int64;
    22: v22 int64;
    23: v23 int64;
    24: v24 int64;
    25: v25 int64;
    26: v26 int64;
    27: v27 int64;
    28: v28 int64;
    29: v29 int64;
    30: v30 int64;
    31: v31 int64;
    32: v32 int64;
    33: v33 int64;
    34: v34 int64;
    35: v35 int64;
    36: v36 int64;
    37: v37 int64;
    38: v38 int64;
    39: v39 int64;
    40: v40 int64;
    41: v41 int64;
    42: v42 int64;
    43: v43 int64;
    44: v44 int64;
    45: v45 int64;
    46: v46 int64;
    47: v47 int64;
    48: v48 int64;
    49: v49 int64;
    50: v50 int64;
    51: v51 int64;
    52: v52 int64;
    53: v53 int64;
    54: v54 int64;
    55: v55 int64;
    56: v56 int64;
    57: v57 int64;
    58: v58 int64;
    59: v59 int64;
    60: v60 int64;
    61: v61 int64;
    62: v62 int64;
    63: v63 int64;
    // The 64th field of a table must be another table, otherwise it will cause
    // fi-0093: Max Ordinal In Table Must Be Table.
    64: v64 Table64thField;
    65: v65 int64;
};

为了允许序数超过 64 个,FIDL 要求表的最后一个字段是另一个表。超过 64 的任何表字段都必须放置在嵌套表中。

library test.good.fi0092;

type Table64thField = table {
    1: x int64;
    // Any fields beyond 64 of table Example must be move to the nested table in
    // ordinal 64 of Example.
    2: v65 int64;
};

type Example = table {
    1: v1 int64;
    2: v2 int64;
    3: v3 int64;
    4: v4 int64;
    5: v5 int64;
    6: v6 int64;
    7: v7 int64;
    8: v8 int64;
    9: v9 int64;
    10: v10 int64;
    11: v11 int64;
    12: v12 int64;
    13: v13 int64;
    14: v14 int64;
    15: v15 int64;
    16: v16 int64;
    17: v17 int64;
    18: v18 int64;
    19: v19 int64;
    20: v20 int64;
    21: v21 int64;
    22: v22 int64;
    23: v23 int64;
    24: v24 int64;
    25: v25 int64;
    26: v26 int64;
    27: v27 int64;
    28: v28 int64;
    29: v29 int64;
    30: v30 int64;
    31: v31 int64;
    32: v32 int64;
    33: v33 int64;
    34: v34 int64;
    35: v35 int64;
    36: v36 int64;
    37: v37 int64;
    38: v38 int64;
    39: v39 int64;
    40: v40 int64;
    41: v41 int64;
    42: v42 int64;
    43: v43 int64;
    44: v44 int64;
    45: v45 int64;
    46: v46 int64;
    47: v47 int64;
    48: v48 int64;
    49: v49 int64;
    50: v50 int64;
    51: v51 int64;
    52: v52 int64;
    53: v53 int64;
    54: v54 int64;
    55: v55 int64;
    56: v56 int64;
    57: v57 int64;
    58: v58 int64;
    59: v59 int64;
    60: v60 int64;
    61: v61 int64;
    62: v62 int64;
    63: v63 int64;
    64: v64 Table64thField;
};

表中的每个字段都会产生 FIDL 封装容器开销,以便将该字段设为可选字段。这样,表的每个字段都可以存在或不存在,并且可以通过添加或移除字段来演化表,但与结构体相比,内存开销要高得多。

一般来说,您可以避免在表中使用精细的小字段,从而避免此错误并减少开销。不过,您可以将预计需要同时添加或移除的元素分组到结构体中,并将其用作表格的字段。这会降低开销并避免序数耗尽,但代价是会降低可扩展性。

这在 RFC-0132:FIDL 表大小限制中被视为错误,旨在防止用户意外产生超大型表的开销。这种额外开销在架构中并不明显,尤其是当只有几个字段(具有较大的序数)或有许多字段但一次只使用几个字段时。

fi-0093:表中的最大序数必须为表

FIDL 表中的第 64 个成员的类型本身必须是表:

library test.bad.fi0093;

type Example = table {
    1: v1 int64;
    2: v2 int64;
    3: v3 int64;
    4: v4 int64;
    5: v5 int64;
    6: v6 int64;
    7: v7 int64;
    8: v8 int64;
    9: v9 int64;
    10: v10 int64;
    11: v11 int64;
    12: v12 int64;
    13: v13 int64;
    14: v14 int64;
    15: v15 int64;
    16: v16 int64;
    17: v17 int64;
    18: v18 int64;
    19: v19 int64;
    20: v20 int64;
    21: v21 int64;
    22: v22 int64;
    23: v23 int64;
    24: v24 int64;
    25: v25 int64;
    26: v26 int64;
    27: v27 int64;
    28: v28 int64;
    29: v29 int64;
    30: v30 int64;
    31: v31 int64;
    32: v32 int64;
    33: v33 int64;
    34: v34 int64;
    35: v35 int64;
    36: v36 int64;
    37: v37 int64;
    38: v38 int64;
    39: v39 int64;
    40: v40 int64;
    41: v41 int64;
    42: v42 int64;
    43: v43 int64;
    44: v44 int64;
    45: v45 int64;
    46: v46 int64;
    47: v47 int64;
    48: v48 int64;
    49: v49 int64;
    50: v50 int64;
    51: v51 int64;
    52: v52 int64;
    53: v53 int64;
    54: v54 int64;
    55: v55 int64;
    56: v56 int64;
    57: v57 int64;
    58: v58 int64;
    59: v59 int64;
    60: v60 int64;
    61: v61 int64;
    62: v62 int64;
    63: v63 int64;
    64: v64 int64;
};

如果用户发现自己需要添加第 64 位成员,则应创建一个单独的表来存储第 64 位成员及之后的成员,并将该成员放入该表中:

library test.good.fi0093;

type Table64thField = table {
    1: x int64;
};

type Example = table {
    1: v1 int64;
    2: v2 int64;
    3: v3 int64;
    4: v4 int64;
    5: v5 int64;
    6: v6 int64;
    7: v7 int64;
    8: v8 int64;
    9: v9 int64;
    10: v10 int64;
    11: v11 int64;
    12: v12 int64;
    13: v13 int64;
    14: v14 int64;
    15: v15 int64;
    16: v16 int64;
    17: v17 int64;
    18: v18 int64;
    19: v19 int64;
    20: v20 int64;
    21: v21 int64;
    22: v22 int64;
    23: v23 int64;
    24: v24 int64;
    25: v25 int64;
    26: v26 int64;
    27: v27 int64;
    28: v28 int64;
    29: v29 int64;
    30: v30 int64;
    31: v31 int64;
    32: v32 int64;
    33: v33 int64;
    34: v34 int64;
    35: v35 int64;
    36: v36 int64;
    37: v37 int64;
    38: v38 int64;
    39: v39 int64;
    40: v40 int64;
    41: v41 int64;
    42: v42 int64;
    43: v43 int64;
    44: v44 int64;
    45: v45 int64;
    46: v46 int64;
    47: v47 int64;
    48: v48 int64;
    49: v49 int64;
    50: v50 int64;
    51: v51 int64;
    52: v52 int64;
    53: v53 int64;
    54: v54 int64;
    55: v55 int64;
    56: v56 int64;
    57: v57 int64;
    58: v58 int64;
    59: v59 int64;
    60: v60 int64;
    61: v61 int64;
    62: v62 int64;
    63: v63 int64;
    64: v64 Table64thField;
};

RFC-0132:FIDL 表大小限制中详细阐述了这一要求背后的推理和动机。简而言之,FIDL 表需要对允许的字段数量施加相对严格的限制,否则,一次只使用几个字段的表的编码形式将会包含无法接受的大量闲置空间(每个省略的成员为 16 字节)。

为了为希望表格中包含超过 64 个字段的用户提供一种解决方法,FIDL 会强制将最后一个序数保留给包含额外字段的“接续表”。在此位置使用任何其他类型都会导致表格无法再扩展。

fi-0094:表成员序数重复

table 声明中用于成员的序数不能重复:

library test.bad.fi0094;

type MyTable = table {
    1: my_field string;
    1: my_other_field uint32;
};

根据需要递增序数,以确保声明的所有成员都有唯一的序数:

library test.good.fi0094a;

type MyTable = table {
    1: my_field string;
    2: my_other_field uint32;
};

或者,您也可以移除重复名称的其中一个成员:

library test.good.fi0094b;

type MyTable = table {
    1: my_field string;
};

序数用于标识线路上的字段。如果两个成员共用一个序数,则在解码 FIDL 消息时,无法可靠地判断是引用了哪个字段。

fi-0095

fi-0096

fi-0097:重复的联合体成员序数

union 声明中用于成员的序数不能重复:

library test.bad.fi0097;

type MyUnion = strict union {
    1: my_variant string;
    1: my_other_variant int32;
};

根据需要递增序数,以确保声明的所有成员都有唯一的序数:

library test.good.fi0097a;

type MyUnion = strict union {
    1: my_variant string;
    2: my_other_variant int32;
};

或者,您也可以移除重复名称的其中一个成员:

library test.good.fi0097b;

type MyUnion = strict union {
    1: my_variant string;
};

序数用于标识线路上的变体。如果两个成员共用一个序数,则在解码 FIDL 消息时,无法可靠地判断是指哪个变体。

fi-0098

fi-0099

fi-0100

fi-0101:无法解析的大小约束条件

应用于 vectorstring 类型定义的大小约束条件必须是 uint32 类型的有效值:

library test.bad.fi0101a;

alias MyBoundedOptionalVector = vector<uint32>:<"255", optional>;
library test.bad.fi0101b;

alias MyBoundedOptionalVector = vector<uint32>:<uint8, optional>;

请确保:

library test.good.fi0101;

alias MyBoundedOptionalVector = vector<uint32>:<255, optional>;

fi-0102:无法解析的成员值

bitsenum 声明的成员必须是指定子类型的可解析值:

library test.bad.fi0102;

type Fruit = bits : uint64 {
    ORANGE = 1;
    APPLE = 2;
    BANANA = -4;
};

确保所有值都与声明的基础类型相匹配:

library test.good.fi0102;

type Fruit = bits : uint64 {
    ORANGE = 1;
    APPLE = 2;
    BANANA = 4;
};

fi-0103:无法解析的结构体默认值

struct 声明成员的默认值必须与其各自成员的声明类型相匹配:

library test.bad.fi0103;

type MyEnum = enum : int32 {
    A = 1;
};

type MyStruct = struct {
    @allow_deprecated_struct_defaults
    field MyEnum = 1;
};

确保值与声明的类型相匹配:

library test.good.fi0103;

type MyEnum = enum : int32 {
    A = 1;
};

type MyStruct = struct {
    @allow_deprecated_struct_defaults
    field MyEnum = MyEnum.A;
};

fi-0104:无法解析的属性参数

根据属性架构对该实参的预期,官方 FIDL 属性的实参值不得无效:

library test.bad.fi0104;

type MyStruct = struct {
    my_field @generated_name(true) struct {};
};

确保用作属性参数的值的类型正确无误:

library test.good.fi0104;

type MyStruct = struct {
    my_field @generated_name("my_inner_type") struct {};
};

fi-0105

fi-0106

fi-0107:成员值重复

bitsenum 声明都不得包含具有相同值的成员:

library test.bad.fi0107;

type Fruit = flexible enum {
    ORANGE = 1;
    APPLE = 1;
};

将成员值更改为全部采用唯一值:

library test.good.fi0107a;

type Fruit = flexible enum {
    ORANGE = 1;
    APPLE = 2;
};

或者,移除其中一个重复的成员:

library test.good.fi0107b;

type Fruit = flexible enum {
    ORANGE = 1;
};

fi-0108

fi-0109

fi-0110:包含类型的资源必须标记为资源

如果某个类型直接或通过包含其他句柄类型的传递包含句柄,则必须将该类型指定为 resource,否则无法声明该类型:

library test.bad.fi0110;

using zx;

type Foo = struct {
    handle zx.Handle;
};

有两种可能的解决方案。第一种方法是使用资源修饰符为违规声明添加注解:

library test.good.fi0110a;

using zx;

type Foo = resource struct {
    handle zx.Handle;
};

或者,您也可以选择完全移除包含 resource 的类型,从而无需在所有权声明上使用修饰符:

library test.good.fi0110b;

type Foo = struct {
    value uint32;
};

如需了解添加 resource 修饰符背后的理由和动机,以及此错误强制执行的使用模式的“传染性”性质,请参阅 RFC-0057:默认不使用句柄

fi-0111:内嵌大小超出限制

不允许使用内嵌大小为 64 KiB 或更大的 FIDL 类型:

library test.bad.fi0111;

type MyStruct = struct {
    numbers array<uint8, 65536>;
};

请确保该类型的直接内嵌大小小于 64 KiB。在这种情况下,我们可以调整数组边界:

library test.good.fi0111;

type MyStruct = struct {
    numbers array<uint8, 65535>;
};

此限制是为了提升性能而设定的。这意味着编码器和解码器可以假定大小和偏移量均可容纳在无符号 16 位整数中。

在实践中,除非您使用大型数组或深层嵌套的结构体,否则不太可能遇到此问题。大多数 FIDL 结构(例如字符串、矢量、表和联合体)使用线下存储,这不会计入其各自的内嵌大小。

fi-0112:服务成员不是 client_end

服务成员只能是客户端,不能是任何其他类型:

library test.bad.fi0112;

protocol Calculator {};

service Service {
    calculator server_end:Calculator;
};

如需修正此错误,请确保成员对于某个协议 P 采用 client_end:P 的形式:

library test.good.fi0112;

protocol Calculator {};

service Service {
    calculator client_end:Calculator;
};

服务是一系列协议实例,而非通用数据结构,因此允许任意类型的服务没有意义。

fi-0113:服务中的传输不匹配

FIDL 服务不得包含使用不同传输协议的协议:

library test.bad.fi0113;

protocol ChannelProtocol {};

@transport("Driver")
protocol DriverProtocol {};

service SomeService {
    a client_end:ChannelProtocol;
    b client_end:DriverProtocol;
};

而是应为每种传输方式使用单独的服务:

library test.good.fi0113;

protocol ChannelProtocol {};

@transport("Driver")
protocol DriverProtocol {};

service ChannelService {
    protocol client_end:ChannelProtocol;
};

service DriverService {
    protocol client_end:DriverProtocol;
};

请注意,服务是 FIDL 中尚未完成的功能。它们最初是在 RFC-0041:支持统一服务和设备中设计的。如需了解截至 2022 年 10 月的状态,请访问 https://fxbug.dev/42160684

fi-0114:组合协议过于开放

协议无法组合出比自己更开放的其他协议:

library test.bad.fi0114;

open protocol Composed {};

ajar protocol Composing {
    compose Composed;
};

您可以通过提高组合协议的开放性(即将其从 closed 更改为 ajar 或从 ajar 更改为 open)来解决此问题:

library test.good.fi0114a;

open protocol Composed {};

open protocol Composing {
    compose Composed;
};

或者,您也可以降低组合协议的开放性,即将其从 open 更改为 ajar 或从 ajar 更改为 closed

library test.good.fi0114b;

ajar protocol Composed {};

ajar protocol Composing {
    compose Composed;
};

之所以存在此规则,是因为协议的开放性限制了其允许包含的方法类型。例如,ajar 协议不能包含灵活的双向方法,但开放协议可以,因此 ajar 协议组合开放协议并不安全。

如需详细了解协议修饰符,请参阅 RFC-0138:处理未知互动

fi-0115:需要开放协议的灵活双向方法

不允许封闭协议和 ajar 协议包含灵活的双向方法:

library test.bad.fi0115;

ajar protocol Protocol {
    flexible Method() -> ();
};

请改为将双向方法标记为 strict,而不是 flexible

library test.good.fi0115a;

ajar protocol Protocol {
    strict Method() -> ();
};

或者,将协议标记为 open,而不是 closedajar

library test.good.fi0115b;

open protocol Protocol {
    flexible Method() -> ();
};

出现此错误是因为 closed(或 ajar)修饰符的用途是确保方法不包含任何灵活(双向)方法。首次创建协议时,您应根据协议所需的可扩展性属性,仔细考虑该协议应采用封闭、半开放还是开放的形式。

如需详细了解协议修饰符,请参阅 RFC-0138:处理未知互动

fi-0116:灵活的单向方法需要使用 ajar 或开放协议

封闭式协议不得包含灵活的单向方法:

library test.bad.fi0116;

closed protocol Protocol {
    flexible Method();
};

请改为将单向方法标记为 strict,而不是 flexible

library test.good.fi0116;

closed protocol Protocol {
    strict Method();
};

或者,将协议标记为 ajaropen,而不是 closed

library test.good.fi0116;

ajar protocol Protocol {
    flexible Method();
};

出现此错误是因为 closed 修饰符的用途是确保方法不包含任何灵活的方法。首次创建协议时,您应根据协议所需的可扩展性属性,仔细考虑该协议应为封闭、半开放还是开放。

如需详细了解协议修饰符,请参阅 RFC-0138:处理未知互动

fi-0117:在不兼容的传输中使用了句柄

协议只能引用与其传输方式兼容的句柄。例如,通过 Zircon 通道传输的协议无法引用 Fuchsia 驱动程序框架句柄:

library test.bad.fi0117;

using fdf;

protocol Protocol {
    Method(resource struct {
        h fdf.handle;
    });
};

请改用与协议的传输兼容的句柄:

library test.good.fi0117a;

using zx;

protocol Protocol {
    Method(resource struct {
        h zx.Handle;
    });
};

或者,更改协议的传输以匹配句柄:

library test.good.fi0117b;

using fdf;

@transport("Driver")
protocol Protocol {
    Method(resource struct {
        h fdf.handle;
    });
};

fi-0118:在不兼容的传输中使用传输端

协议只能引用使用同一传输协议的协议的传输端点 (client_endserver_end)。例如,使用 Syscall 传输协议的协议无法引用使用 Driver 传输协议的客户端端:

library test.bad.fi0118;

@transport("Driver")
protocol DriverProtocol {};

@transport("Syscall")
protocol P {
    M(resource struct {
        s client_end:DriverProtocol;
    });
};

如需修正该错误,请移除传输端成员:

library test.good.fi0118;

@transport("Driver")
protocol DriverProtocol {};

@transport("Syscall")
protocol Protocol {
    M();
};

fi-0119

fi-0120:属性放置无效

某些官方属性仅在特定地点允许使用。例如,@selector 属性只能用于方法:

library test.bad.fi0120a;

@selector("Nonsense")
type MyUnion = union {
    1: hello uint8;
};

如需修正该错误,请移除该属性:

library test.good.fi0120a;

type MyUnion = union {
    1: hello uint8;
};

如果您打算以受支持的方式使用某个属性,但将其放置在错误的位置,也可能会遇到此错误。例如,@generated_name 属性不能直接用于成员:

library test.bad.fi0120a;

@selector("Nonsense")
type MyUnion = union {
    1: hello uint8;
};

而应位于成员的匿名布局前面:

library test.good.fi0120a;

type MyUnion = union {
    1: hello uint8;
};

fi-0121:属性已废弃

某些官方属性已废弃,不应再使用:

library test.bad.fi0121;

@example_deprecated_attribute
type MyStruct = struct {};

具体修复方法取决于该属性被弃用的具体原因。例如,错误消息可能会提示您改用其他属性。在这种情况下,我们只需移除该属性:

library test.good.fi0121;

type MyStruct = struct {};

fi-0122:属性名称重复

元素不能有多个同名的属性:

library test.bad.fi0122;

@custom_attribute("first")
@custom_attribute("second")
type Foo = struct {};

请改为仅指定一次每个属性:

library test.good.fi0122;

@custom_attribute("first")
type Foo = struct {};

fi-0123:规范属性名称重复

一个元素不能有多个具有相同规范名称的属性:

library test.bad.fi0123;

@custom_attribute("first")
@CustomAttribute("second")
type Foo = struct {};

尽管 custom_attributeCustomAttribute 看起来不同,但它们都由规范名称 custom_attribute 表示。您可以通过将原始名称转换为 snake_case 来获取规范名称。

如需修正此错误,请为每个属性指定一个在规范化后唯一的名称。

library test.good.fi0123;

@custom_attribute("first")
@AnotherCustomAttribute("first")
type Foo = struct {};

如需详细了解 FIDL 为何要求声明具有唯一的规范名称,请参阅 fi-0035

fi-0124:自定义属性参数必须是字符串或布尔值

用户定义的 FIDL 属性的参数仅限于字符串或布尔类型:

library test.bad.fi0124;

@my_custom_attr(foo=1, bar=2.3)
type MyStruct = struct {};
library test.good.fi0124;

@my_custom_attr(foo=true, bar="baz")
type MyStruct = struct {};

官方属性不同,编译器不知道用户定义的属性的架构。因此,编译器无法推断任何给定数字参数的类型 - 2int8uint64 还是 float32?编译器无法得知。

解决此问题的一种可能方法是在 JSON IR 中实现一流的 numeric 类型,以便处理此类模糊情况。不过,由于目前已知的唯一用例是自定义属性参数,因此我们尚未优先考虑此功能。

fi-0125:属性参数不得命名

使用接受单个实参的官方属性时,您无法为该实参命名:

library test.bad.fi0125;

@transport(value="Driver")
protocol Foo {};

请改为传递参数,而不为其指定名称:

library test.good.fi0125;

@discoverable(name="example.Bar")
protocol Foo {};

FIDL 会强制执行此规则,以使属性更简洁、更一致。在后台,系统会推断参数名称为 value(这将显示在 JSON IR 中),因为这是该属性接受的唯一参数。

fi-0126:属性实参必须命名

使用接受多个实参的官方属性时,您无法传递无名实参:

@available(1)
library test.bad.fi0126;

请改为指定参数的名称:

@available(added=1)
library test.good.fi0126;

之所以会出现此错误,是因为如果属性接受多个参数,则无法知道您打算设置哪个参数。

fi-0127:缺少必需的属性参数

使用具有必需参数的官方属性时,您不能省略该参数:

library test.bad.fi0127;

@has_required_arg
type Foo = struct {};

请改为提供所需的参数:

library test.good.fi0127;

@has_required_arg(required="something")
type Foo = struct {};

fi-0128:缺少单个属性参数

使用需要单个参数的官方属性时,您不能省略该参数:

library test.bad.fi0128;

@transport
protocol Protocol {};

请改为提供参数:

library test.good.fi0128;

@transport("Driver")
protocol Protocol {};

fi-0129:未知的属性参数

使用官方属性时,您不能提供不在其架构中的参数:

@available(added=1, discontinued=2)
library test.bad.fi0129;

如果您本打算传递其他参数,但名称有误,请将其更改为使用正确的名称:

@available(added=1, deprecated=2)
library test.good.fi0129a;

或者,移除该参数:

@available(added=1)
library test.good.fi0129b;

出现此错误是因为系统会根据架构对官方属性进行验证。如果 FIDL 允许任意参数,这些参数将没有任何效果,并且可能会因掩盖拼写错误而导致 bug。

fi-0130:属性参数重复

一个属性不能有两个同名的参数:

library test.bad.fi0130;

@custom_attribute(custom_arg=true, custom_arg=true)
type Foo = struct {};

而是只提供一个具有该名称的参数:

library test.good.fi0130;

@custom_attribute(custom_arg=true)
type Foo = struct {};

fi-0131:规范属性参数重复

一个属性不能有两个具有相同规范名称的参数:

library test.bad.fi0131;

@custom_attribute(custom_arg=true, CustomArg=true)
type Foo = struct {};

尽管 custom_argCustomArg 看起来不同,但它们都由规范名称 custom_arg 表示。您可以通过将原始名称转换为 snake_case 来获取规范名称。

如需修正此错误,请为每个参数指定一个在规范化后唯一的名称:

library test.good.fi0131a;

@custom_attribute(custom_arg=true, AnotherCustomArg=true)
type Foo = struct {};

或者,移除其中一个参数:

library test.good.fi0131b;

@custom_attribute(custom_arg=true)
type Foo = struct {};

如需详细了解 FIDL 为何要求声明具有唯一的规范名称,请参阅 fi-0035

fi-0132:属性参数意外

使用不接受实参的官方属性时,您无法提供实参:

library test.bad.fi0132;

type Foo = flexible enum : uint8 {
    @unknown("hello")
    BAR = 1;
};

请改为移除该参数:

library test.good.fi0132;

type Foo = flexible enum : uint8 {
    @unknown
    BAR = 1;
};

fi-0133:属性参数必须是字面量

某些官方属性不允许使用引用常量的参数:

library test.bad.fi0133;

const NAME string = "MyTable";

type Foo = struct {
    bar @generated_name(NAME) table {};
};

请改为以参数形式传递字面量值:

library test.good.fi0133;

type Foo = struct {
    bar @generated_name("MyTable") table {};
};

这些属性需要字面量参数,因为它们的值会影响编译。支持非字面量参数很难实现,在某些情况下甚至无法实现,因为这会导致矛盾。

fi-0134

fi-0135:可检测到的名称无效

如果您为 @discoverable 属性使用了错误的名称,就会出现此错误。@discoverable 属性应为库名称,后跟 . 和协议名称。

library test.bad.fi0135;

@discoverable(name="test.bad.fi0135/Parser")
protocol Parser {
    Tokenize() -> (struct {
        tokens vector<string>;
    });
};

如需修正此错误,请使用可检测到的有效名称:

library test.good.fi0135;

@discoverable(name="test.good.fi0135.Parser")
protocol Parser {
    Tokenize() -> (struct {
        tokens vector<string>;
    });
};

fi-0136

fi-0137

fi-0138

fi-0139

fi-0140

fi-0141:错误类型无效

方法响应载荷的 error 类型必须是其 int32uint32enum

library test.bad.fi0141;

protocol MyProtocol {
    MyMethod() -> () error float32;
};

error 类型更改为以下某个有效选项,以修复此错误:

library test.good.fi0141;

protocol MyProtocol {
    MyMethod() -> () error int32;
};

如需了解详情,请参阅 RFC-0060:错误处理

fi-0142:协议传输类型无效

protocol 声明的 @transport(...) 属性不得指定无效的传输方式:

library test.bad.fi0142;

@transport("Invalid")
protocol MyProtocol {
    MyMethod();
};

请改用以下任一受支持的传输方式:

library test.good.fi0142;

@transport("Syscall")
protocol MyProtocol {
    MyMethod();
};

我们仍在确定哪些传输方式受支持。如需了解最新信息,请参阅 FIDL 属性

fi-0143

fi-0144

fi-0145:属性拼写错误

如果属性名称的拼写与 FIDL 的某个官方属性过于相似,则会导致编译器警告:

library test.bad.fi0145;

@duc("should be doc")
protocol Example {
    Method();
};

在上面的示例中,属性 @duc 的拼写与官方 FIDL 属性 @doc 过于相似。在这种情况下,属性命名是故意为之,而不是官方 FIDL 属性的意外拼写错误,因此应进行修改,使其足够唯一:

library test.good.fi0145;

@duck("quack")
protocol Example {
    Method();
};

除了拼写检查之外,此警告的目的是禁止使用与官方 FIDL 属性过于相似的名称。

拼写错误检测算法的工作原理是计算属性名称与每个官方 FIDL 属性之间的修改距离。过于相似的名称(定义为编辑距离过小)会触发拼写错误检测器。

fi-0146:生成的名称无效

如果您使用名称无效的 @generated_name 属性,就会出现此错误。生成的名称必须遵循与所有 FIDL 标识符相同的规则。

library test.bad.fi0146;

type Device = table {
    1: kind flexible enum {
        DESKTOP = 1;
        PHONE = 2;
    };
};

type Input = table {
    1: kind @generated_name("_kind") flexible enum {
        KEYBOARD = 1;
        MOUSE = 2;
    };
};

如需解决此问题,请将 @generated_name 值更改为有效的标识符。

library test.good.fi0146;

type Device = table {
    1: kind flexible enum {
        DESKTOP = 1;
        PHONE = 2;
    };
};

type Input = table {
    1: kind @generated_name("input_kind") flexible enum {
        KEYBOARD = 1;
        MOUSE = 2;
    };
};

fi-0147:@available 缺少参数

如果您使用 @available 属性但未提供必要的参数,就会发生此错误。@available 至少需要 addeddeprecatedremoved 之一。

@available(added=1)
library test.bad.fi0147;

@available
type Foo = struct {};

如需解决此问题,请添加以下任一必需参数:

@available(added=1)
library test.good.fi0147;

@available(added=2)
type Foo = struct {};

如需了解详情,请参阅 FIDL 版本控制

fi-0148:不带废弃声明的备注

如果您为 @available 属性使用 note 参数但未使用 deprecated 参数,就会发生此错误。note 仅适用于废弃情况。

@available(added=1, note="My note")
library test.bad.fi0148;

如需解决此错误,请移除相应备注:

@available(added=1)
library test.good.fi0148a;

或者添加必要的 deprecated 通知:

@available(added=1, deprecated=2, note="Removed in 2; use X instead.")
library test.good.fi0148b;

如需了解详情,请参阅 FIDL 版本控制

fi-0149:平台不在库中

如果您尝试在库声明以外的任何位置使用 @available 属性的 platform 参数,就会出现此错误。platform 参数仅在 library 级别有效。

@available(added=1)
library test.bad.fi0149;

@available(platform="foo")
type Person = struct {
    name string;
};

如需解决此问题,请将 platform 参数移至库 @available 属性:

@available(added=1, platform="foo")
library test.good.fi0149a;

type Person = struct {
    name string;
};

或者完全移除 platform 参数:

@available(added=1)
library test.good.fi0149b;

type Person = struct {
    name string;
};

fi-0150:添加了缺少的图书库库存状况

如果您向库添加 @available 属性,但未提供 added 参数,就会发生此错误。library @available 属性需要 added 参数。

@available(removed=2)
library test.bad.fi0150a;
@available(platform="foo")
library test.bad.fi0150b;

如需解决此问题,请将 added 参数添加到库的 @available 属性:

@available(added=1, removed=2)
library test.good.fi0150a;
@available(added=1, platform="foo")
library test.good.fi0150b;

fi-0151:缺少库存状况

如果您在非 library 声明中添加了 @available 属性,但 library 声明中没有 @available 属性,就会出现此错误。

library test.bad.fi0151;

@available(added=1)
type Person = struct {
    name string;
};

如需修正此错误,请将 @available 属性添加到 library 声明:

@available(added=1)
library test.good.fi0151a;

@available(added=1)
type Person = struct {
    name string;
};

或者从非 library 声明中移除 @available 属性:

library test.good.fi0151b;

type Person = struct {
    name string;
};

fi-0152:平台无效

如果您为 @available 属性的 platform 参数使用无效字符,就会出现此错误。platform 参数必须是有效的 FIDL 库标识符

@available(added=1, platform="Spaces are not allowed")
library test.bad.fi0152;

如需修正此错误,请移除不允许使用的字符:

@available(added=1, platform="foo")
library test.good.fi0152;

fi-0153:版本无效

如果您对 @available 属性使用无效的 addedremoved 参数版本,就会出现此错误。addedremoved 参数必须是介于 1 和 2^63-1 之间的正整数,或者是特殊常量 HEAD

@available(added=0)
library test.bad.fi0153;

如需解决此问题,请将版本更改为有效值:

@available(added=1)
library test.good.fi0153;

fi-0154:库存状况顺序无效

如果您为 @available 属性使用了 addeddeprecatedremove 参数的错误组合,就会发生此错误。必须遵守以下约束条件:

  • added 必须小于或等于 deprecated
  • deprecated 必须小于 removed
  • added 必须小于 removed
@available(added=2, removed=2)
library test.bad.fi0154a;
@available(added=2, deprecated=3, removed=3)
library test.bad.fi0154b;

如需解决此问题,请将 addeddeprecatedremoved 参数更新为所需的排序:

@available(added=1, removed=2)
library test.good.fi0154a;
@available(added=2, deprecated=2, removed=3)
library test.good.fi0154b;

fi-0155:库存状况与父级冲突

如果您向与 library 声明冲突的非 library 声明添加了 @availability 属性,就会发生此错误。

@available(added=2, deprecated=3, removed=4)
library test.bad.fi0155a;

@available(added=1)
type Person = struct {
    name string;
};
@available(added=2, deprecated=3, removed=4)
library test.bad.fi0155b;

@available(added=4)
type Person = struct {
    name string;
};

如需解决此错误,请将 @availability 属性更新为所需的约束条件:

@available(added=2, deprecated=3, removed=4)
library test.good.fi0155;

@available(added=2)
type Person = struct {
    name string;
};

fi-0156:不能是可选项

如果您尝试将不可选的类型标记为可选,就会出现此错误。

library test.bad.fi0156;

type Person = struct {
    name string;
    age int16:optional;
};

如需修复此错误,请移除可选约束条件:

library test.good.fi0156;

type Person = struct {
    name string;
    age int16;
};

只有可以设为可选且不会更改线条形状的 FIDL 类型才能使用 optional 约束条件。如需了解详情,请参阅可选性指南或下方的展开式部分。

FIDL 食谱:可选性

通过添加 :optional 约束条件,可以将某些 FIDL 类型设为可选,而不会更改其包含消息的线形。此外,table 布局始终是可选的,而 struct 布局从来不可选。若要将 struct 设为可选,必须将其封装在 box<T> 中,从而更改其包含消息的线条形状。

基准类型 可选版本 可选性是否会更改线路布局?
struct {...} box<struct {...}>
table {...} table {...}
union {...} union {...}:optional
vector<T> vector<T>:optional
string string:optional
zx.Handle zx.Handle:optional
client_end:P client_end:<P, optional>
server_end:P server_end:<P, optional>

所有其他类型(bitsenumarray<T, N> 和基元类型)都不能设为可选。

在此变体中,我们允许键值对存储空间将其他键值对存储空间作为成员。简而言之,我们将其转换为树。为此,我们将 value 的初始定义替换为使用两个成员的 union 的定义:一个变体使用与之前相同的 vector<byte> 类型存储叶节点,而另一个变体以其他嵌套存储形式存储分支节点。

推理

在这里,我们可以看到 optionality 的多种用法,通过这些用法,我们可以声明可能存在或不存在的类型。FIDL 中有三种可选性:

  • 具有的类型始终在线路上存储在线下,因此具有通过null 封装容器描述“缺失”的内置方法。为这些类型启用可选性不会影响包含它们的消息的线形,而只会更改适用于该特定类型的值。通过添加 :optional 约束条件,可以将 unionvector<T>client_endserver_endzx.Handle 类型都设为可选。通过将 value union 设为可选,我们能够以缺少 value 的形式引入规范的“null”条目。这意味着空的 bytes 和缺失/空的 store 属性是无效值。
  • 与上述类型不同,struct 布局没有可存储 null 标头的额外空间。因此,它需要封装在封装容器中,从而更改包含该消息的线路上消息的形状。为确保此线修改效果易于阅读,Item struct 类型必须封装在 box<T> 类型模板中。
  • 最后,table 布局始终是可选的。不存在的 table 只是指其成员均未设置。

树是一种自然的自引用数据结构:树中的任何节点都可能包含包含纯数据(在本例中为字符串)的叶子,或包含更多节点的子树。这需要递归:Item 的定义现在是传递依赖于自身的!在 FIDL 中表示递归类型可能有点棘手,尤其是因为目前的支持有些有限。只要由自引用创建的循环中至少包含一种可选类型,我们就可以支持此类类型。例如,在这里,我们将 items struct 成员定义为 box<Item>,从而打破了包含循环。

这些更改还大量使用匿名类型,即声明会在其唯一使用点内嵌入的类型,而不是具有自己命名的顶级 type 声明。默认情况下,生成的语言绑定中的匿名类型的名称取自其本地上下文。例如,新引入的 flexible union 会采用其所有者成员的名称 Value,新引入的 struct 会变为 Store,依此类推。由于此启发词语有时可能会导致冲突,因此 FIDL 提供了一种逃逸舱,允许作者手动替换匿名类型的生成名称。这通过 @generated_name 属性完成,该属性允许更改后端生成的名称。我们可以在此处使用一个,将要使用的 Store 类型重命名为 NestedStore,以防止与使用相同名称的 protocol 声明发生名称冲突。

实现

FIDL、CML 和 Realm 接口定义已修改如下:

FIDL

// Copyright 2022 The Fuchsia Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
library examples.keyvaluestore.supporttrees;

/// An item in the store. The key must match the regex `^[A-z][A-z0-9_\.\/]{2,62}[A-z0-9]$`. That
/// is, it must start with a letter, end with a letter or number, contain only letters, numbers,
/// periods, and slashes, and be between 4 and 64 characters long.
type Item = struct {
    key string:128;
    value strict union {
        // Keep the original `bytes` as one of the options in the new union. All leaf nodes in the
        // tree must be `bytes`, or absent unions (representing empty). Empty byte arrays are
        // disallowed.
        1: bytes vector<byte>:64000;

        // Allows a store within a store, thereby turning our flat key-value store into a tree
        // thereof. Note the use of `@generated_name` to prevent a type-name collision with the
        // `Store` protocol below, and the use of `box<T>` to ensure that there is a break in the
        // chain of recursion, thereby allowing `Item` to include itself in its own definition.
        //
        // This is a table so that added fields, like for example a `hash`, can be easily added in
        // the future.
        2: store @generated_name("nested_store") table {
            1: items vector<box<Item>>;
        };
    }:optional;
};

/// An enumeration of things that may go wrong when trying to write a value to our store.
type WriteError = flexible enum {
    UNKNOWN = 0;
    INVALID_KEY = 1;
    INVALID_VALUE = 2;
    ALREADY_EXISTS = 3;
};

/// A very basic key-value store.
@discoverable
open protocol Store {
    ///