什么是 Protobuf
Protobuf是Protocol Buffers的简称,它是Google公司开发的一种数据描述语言,用于描述一种轻便高效的结构化数据存储格式,并于2008年对外开源。Protobuf可以用于结构化数据串行化,或者说序列化。它的设计非常适用于在网络通讯中的数据载体,很适合做数据存储或 RPC 数据交换格式,它序列化出来的数据量少再加上以 K-V 的方式来存储数据,对消息的版本兼容性非常强,可用于通讯协议、数据存储等领域的语言无关、平台无关、可扩展的序列化结构数据格式。开发者可以通过Protobuf附带的工具生成代码并实现将结构化数据序列化的功能。
Protobuf中最基本的数据单元是message,是类似Go语言中结构体的存在。在message中可以嵌套message或其它的基础数据类型的成员。
定义Message
首先看一个简单的例子,比如说你定义一个搜索请求的message,每一个搜索请求会包含一个搜索的字符串,返回第几页的结果,以及结果集的大小。在.proto
文件中定义如下:
syntax = "proto3";
message SearchRequest {
string query = 1;
int32 page_number = 2;
int32 result_per_page = 3;
}
-
.proto
文件的第一行指定了使用proto3
语法。如果省略protocol buffer编译器默认使用proto2
语法。他必须是文件中非空非注释行的第一行。 -
SearchRequest
定义中指定了三个字段(name/value键值对),每个字段都会有名称和类型。
指定字段类型
上面的例子中,所有的字段都是标量类型的两个整型(page_number和result_per_page)和一个字符串型(query)。不过你还可以给字段指定复合类型,包括枚举类型和其他message类型
指定字段编号
在message定义中每个字段都有一个唯一的编号,这些编号被用来在二进制消息体中识别你定义的这些字段,一旦你的message类型被用到后就不应该在修改这些编号了。注意在将message编码成二进制消息体时字段编号1-15将会占用1个字节,16-2047将占用两个字节。所以在一些频繁使用用的message中,你应该总是先使用前面1-15字段编号。
你可以指定的最小编号是1,最大是2E29 - 1(536,870,911)。其中19000到19999是给protocol buffers实现保留的字段标号,定义message时不能使用。同样的你也不能重复使用任何当前message定义里已经使用过和预留的字段编号。
定义字段的规则
message的字段必须符合以下规则:
- singular:一个遵循singular规则的字段,在一个结构良好的message消息体(编码后的message)可以有0或1个该字段(但是不可以有多个)。这是proto3语法的默认字段规则。(这个理解起来有些晦涩,举例来说上面例子中三个字段都是singular类型的字段,在编码后的消息体中可以有0或者1个query字段,但不会有多个。)
- repeated:遵循repeated规则的字段在消息体重可以有任意多个该字段值,这些值的顺序在消息体重可以保持(就是数组类型的字段)
添加更多消息类型
在单个.proto
文件中可以定义多个message,这在定义多个相关message时非常有用。比如说,我们定义SearchRequest
对应的响应message SearchResponse
,把它加到之前的.proto
文件中。
message SearchRequest {
string query = 1;
int32 page_number = 2;
int32 result_per_page = 3;
}
message SearchResponse {
...
}
添加注释
.proto
文件中的注释和C,C++的注释风格相同,使用// 和 /* ... */
/* SearchRequest represents a search query, with pagination options to
* indicate which results to include in the response. */
message SearchRequest {
string query = 1;
int32 page_number = 2; // Which page number do we want?
int32 result_per_page = 3; // Number of results to return per page.
}
保留字段
当你删掉或者注释掉message中的一个字段时,未来其他开发者在更新message定义时就可以重用之前的字段编号。如果他们意外载入了老版本的.proto
文件将会导致严重的问题,比如数据损坏、隐私泄露等。一种避免问题发生的方式是指定保留的字段编号和字段名称。如果未来有人用了这些字段标识那么在编译时protocol buffer的编译器会报错。
message Foo {
reserved 2, 15, 9 to 11;
reserved "foo", "bar";
}
标量类型
.proto Type | Notes | C++ Type | Java Type | Python Type[2] | Go Type | Ruby Type | C# Type | PHP Type | Dart Type |
---|---|---|---|---|---|---|---|---|---|
double | double | double | float | float64 | Float | double | float | double | |
float | float | float | float | float32 | Float | float | float | double | |
int32 | 使用可变长度编码。编码负数的效率低 - 如果您的字段可能有负值,请改用sint32。 | int32 | int | int | int32 | Fixnum or Bignum (as required) | int | integer | int |
int64 | 使用可变长度编码。编码负数的效率低 - 如果您的字段可能有负值,请改用sint64。 | int64 | long | int/long[3] | int64 | Bignum | long | integer/string[5] | Int64 |
uint32 | 使用可变长度编码 | uint32 | int | int/long | uint32 | Fixnum or Bignum (as required) | uint | integer | int |
uint64 | 使用可变长度编码. | uint64 | long | int/long | uint64 | Bignum | ulong | integer/string[5] | Int64 |
sint32 | 使用可变长度编码。签名的int值。这些比常规int32更有效地编码负数。 | int32 | int | int | int32 | Fixnum or Bignum (as required) | int | integer | int |
sint64 | 使用可变长度编码。签名的int值。这些比常规int64更有效地编码负数。 | int64 | long | int/long | int64 | Bignum | long | integer/string[5] | Int64 |
fixed32 | 总是四个字节。如果值通常大于228,则比uint32更有效。 | uint32 | int | int/long | uint32 | Fixnum or Bignum (as required) | uint | integer | int |
fixed64 | 总是八个字节。如果值通常大于256,则比uint64更有效 | uint64 | long | int/long[3] | uint64 | Bignum | ulong | integer/string[5] | Int64 |
sfixed32 | 总是四个字节 | int32 | int | int | int32 | Fixnum or Bignum (as required) | int | integer | int |
sfixed64 | 总是八个字节 | int64 | long | int/long | int64 | Bignum | long | integer/string[5] | Int64 |
bool | bool | boolean | bool | bool | TrueClass/FalseClass | bool | boolean | bool | |
string | 字符串必须始终包含UTF-8编码或7位ASCII文本,且不能超过232。 | string | String | str/unicode | string | String (UTF-8) | string | string | String |
bytes | 可以包含不超过232的任意字节序列。 | string | ByteString | str | []byte | String (ASCII-8BIT) | ByteString | string | List |
默认值
当一个被编码的message体中不存在某个message定义中的singular字段时,在message体解析成的对象中,相应字段会被设置为message定义中该字段的默认值。默认值依类型而定:
- 对于字符串,默认值为空字符串。
- 对于字节,默认值为空字节。
- 对于bools,默认值为false。
- 对于数字类型,默认值为零。
- 对于枚举,默认值是第一个定义的枚举值,该值必须为0。
- 对于消息字段,未设置该字段。它的确切值取决于语言。
枚举类型
在定义消息类型时,您可能希望其中一个字段只有一个预定义的值列表中的值。例如,假设您要为每个SearchRequest
添加corpus
字段,其中corpus
可以是UNIVERSAL,WEB,IMAGES,LOCAL,NEWS,PRODUCTS或VIDEO。您可以非常简单地通过向消息定义添加枚举,并为每个可能的枚举值值添加常量来实现。
在下面的例子中,我们添加了一个名为Corpus
的枚举类型,和一个Corpus
类型的字段:
message SearchRequest {
string query = 1;
int32 page_number = 2;
int32 result_per_page = 3;
enum Corpus {
UNIVERSAL = 0;
WEB = 1;
IMAGES = 2;
LOCAL = 3;
NEWS = 4;
PRODUCTS = 5;
VIDEO = 6;
}
Corpus corpus = 4;
}
如你所见,Corpus
枚举的第一个常量映射到了0:所有枚举定义都需要包含一个常量映射到0并且作为定义的首行,这是因为:
- 必须有0值,这样我们就可以将0作为枚举的默认值。
- proto2语法中首行的枚举值总是默认值,为了兼容0值必须作为定义的首行。
使用其他Message类型
可以使用其他message类型作为字段的类型,假设你想在每个SearchResponse
消息中携带类型为Result
的消息,
你可以在同一个.proto
文件中定义一个Result
消息类型,然后在SearchResponse
中指定一个Result
类型的字段。
message SearchResponse {
repeated Result results = 1;
}
message Result {
string url = 1;
string title = 2;
repeated string snippets = 3;
}
导入消息定义
在上面的示例中,Result
消息类型在与SearchResponse
相同的文件中定义 - 如果要用作字段类型的消息类型已在另一个.proto
文件中定义,该怎么办?
您可以通过导入来使用其他.proto文件中的定义。要导入另一个.proto的定义,请在文件顶部添加一个import语句:
import "myproject/other_protos.proto";
默认情况下,您只能使用直接导入的.proto
文件中的定义。但是,有时你可能需要将.proto
文件移动到新位置。现在,你可以在旧位置放置一个虚拟.proto
文件,在文件中使用import public
语法将所有导入转发到新位置,而不是直接移动.proto
文件并在一次更改中更新所有调用点。任何导入包含import public
语句的proto
文件的人都可以传递依赖导入公共依赖项。例如
// new.proto
// All definitions are moved here
// old.proto
// This is the proto that all clients are importing.
import public "new.proto";
import "other.proto";
// client.proto
import "old.proto";
// You use definitions from old.proto and new.proto, but not other.proto
编译器会在通过命令行参数-I
或者--proto-path
中指定的文件夹中搜索.proto
文件,如果没有提供编译器会在唤其编译器的目录中进行搜索。通常来说你应该将--proto-path
的值设置为你项目的根目录,并对所有导入使用完全限定名称。
使用proto2的消息类型
可以导入proto2版本的消息类型到proto3的消息类型中使用,当然也可以在proto2消息类型中导入proto3的消息类型。但是proto2的枚举类型不能直接应用到proto3的语法中。
嵌套消息类型
消息类型可以被定义和使用在其他消息类型中,下面的例子里Result
消息被定义在SearchResponse
消息中
message SearchResponse {
message Result {
string url = 1;
string title = 2;
repeated string snippets = 3;
}
repeated Result results = 1;
}
如果你想在外部使用定义在父消息中的子消息,使用Parent.Type
引用他们
message SomeOtherMessage {
SearchResponse.Result result = 1;
}
你可以嵌套任意多层消息
message Outer { // Level 0
message MiddleAA { // Level 1
message Inner { // Level 2
int64 ival = 1;
bool booly = 2;
}
}
message MiddleBB { // Level 1
message Inner { // Level 2
int32 ival = 1;
bool booly = 2;
}
}
}
更新Message
如果一个现存的消息类型不再满足你当前的需求--比如说你希望在消息中增加一个额外的字段--但是仍想使用由旧版的消息格式生成的代码,不用担心!只要记住下面的规则,在更新消息定义的同时又不破坏现有的代码就非常简单。
- 不要更改任何已存字段的字段编号。
- 如果添加了新字段,任何由旧版消息格式生成的代码所序列化的消息,仍能被依据新消息格式生成的代码所解析。你应该记住这些元素的默认值这些新生成的代码就能够正确地与由旧代码序列化创建的消息交互了。类似的,新代码创建的消息也能由旧版代码解析:旧版消息(二进制)在解析时简单地忽略了新增的字段,查看下面的未知字段章节了解更多。
- 只要在更新后的消息类型中不再重用字段编号,就可以删除该字段。你也可以重命名字段,比如说添加
OBSOLETE_
前缀或者将字段编号设置为reserved
,这些未来其他用户就不会意外地重用该字段编号了。
未知字段
未知字段是格式良好的协议缓冲区序列化数据,表示解析器无法识别的字段。例如,当旧二进制文件解析具有新字段的新二进制文件发送的数据时,这些新字段将成为旧二进制文件中的未知字段。
最初,proto3消息在解析期间总是丢弃未知字段,但在3.5版本中,我们重新引入了未知字段的保留以匹配proto2行为。在版本3.5及更高版本中,未知字段在解析期间保留,并包含在序列化输出中。
映射类型
如果你想创建一个映射作为message定义的一部分,protocol buffers提供了一个简易便利的语法
map map_field = N;
key_type
可以是任意整数或者字符串(除了浮点数和bytes以外的所有标量类型)。注意enum
不是一个有效的key_type
。value_type
可以是除了映射以外的任意类型(意思是protocol buffers的消息体中不允许有嵌套map)。
举例来说,假如你想创建一个名为projects的映射,每一个Project
消息关联一个字符串键,你可以像如下来定义:
map projects = 3;
- 映射里的字段不能是follow repeated规则的(意思是映射里字段的值不能是数组)。
- 映射里的值是无序的,所以不能依赖映射里元素的顺序。
- 生成.proto的文本格式时,映射按键排序。数字键按数字排序。
- 从线路解析或合并时,如果有重复的映射键,则使用最后看到的键。从文本格式解析映射时,如果存在重复键,则解析可能会失败。
- 如果未给映射的字段指定值,字段被序列化时的行为依语言而定。在C++, Java和Python中字段类型的默认值会被序列化作为字段值,而其他语言则不会。
给Message加包名
你可以在.proto
文件中添加一个可选的package
符来防止消息类型之前的名称冲突。
package foo.bar;
message Open { ... }
在定义message的字段时像如下这样使用package名称
message Foo {
...
foo.bar.Open open = 1;
...
}
package符对生成代码的影响视编程语言而定
定义服务
如果想消息类型与RPC(远程过程调用)系统一起使用,你可以在.proto
文件中定义一个RPC服务接口,然后protocol buffer编译器将会根据你选择的编程语言生成服务接口代码和stub,加入你要定义一个服务,它的一个方法接受SearchRequest
消息返回SearchResponse
消息,你可以在.proto
文件中像如下示例这样定义它:
service SearchService {
rpc Search (SearchRequest) returns (SearchResponse);
}
与protocol buffer 一起使用的最简单的RPC系统是gRPC
:一种由Google开发的语言和平台中立的开源RPC系统。 gRPC
特别适用于protocol buffer,并允许您使用特殊的protocol buffer编译器插件直接从.proto
文件生成相关的RPC代码。