Protocol Buffer 基础:C++
本教程为 C++ 程序员提供了使用 Protocol Buffer 的入门指南。通过逐步创建一个简单的示例应用程序,它向您展示了如何:
- 在
.proto
文件中定义消息格式。 - 使用 Protocol Buffer 编译器。
- 使用 C++ Protocol Buffer API 来编写和读取消息。
这不是使用 C++ 中 Protocol Buffer 的全面指南。有关更详细的参考信息,请参阅 Protocol Buffer 语言指南(proto2)、Protocol Buffer 语言指南(proto3)、C++ API 参考、C++ 生成的代码指南 和 编码参考。
问题领域
我们将使用的示例是一个非常简单的“地址簿”应用程序,它可以将人员的联系信息读写到文件或从文件中读取。地址簿中的每个人都有姓名、ID、电子邮件地址和联系电话号码。
如何序列化和检索这样的结构化数据?有几种方法可以解决此问题:
- 原始内存数据结构可以以二进制形式发送/保存。随着时间的推移,这是一种脆弱的方法,因为接收/读取代码必须使用完全相同的内存布局、字节序等进行编译。此外,随着文件以原始格式累积数据,以及针对该格式的软件副本散布开来,扩展格式变得非常困难。
- 您可以发明一种临时的方法将数据项编码为单个字符串——例如,将 4 个整数编码为“12:3:-23:67”。这是一种简单灵活的方法,尽管它确实需要编写一次性的编码和解析代码,并且解析会带来少量运行时成本。这最适合编码非常简单的数据。
- 将数据序列化为 XML。这种方法可能非常有吸引力,因为 XML(某种程度上)是人类可读的,并且有许多语言的绑定库。如果您想与其他应用程序/项目共享数据,这可能是一个不错的选择。但是,XML notoriouly 占用大量空间,并且编码/解码它会对应用程序造成巨大的性能损失。此外,遍历 XML DOM 树比通常遍历类中的简单字段要复杂得多。
除了这些选项之外,您还可以使用 Protocol Buffers。Protocol Buffers 是解决此类问题的灵活、高效且自动化的解决方案。使用 Protocol Buffers,您可以编写您希望存储的数据结构的 .proto
描述。根据此描述,Protocol Buffer 编译器创建一个类,该类使用高效的二进制格式实现 Protocol Buffer 数据的自动编码和解析。生成的类为构成 Protocol Buffer 的字段提供了 getter 和 setter,并负责将 Protocol Buffer 作为一个单元读取和写入的细节。重要的是,Protocol Buffer 格式支持随着时间的推移扩展格式,以便代码仍然可以读取使用旧格式编码的数据。
示例代码在哪里
示例代码包含在源代码包中,位于 “examples” 目录 下。
定义协议格式
要创建您的地址簿应用程序,您需要从 .proto
文件开始。.proto
文件中的定义很简单:您为要序列化的每个数据结构添加一个 消息,然后为消息中的每个字段指定名称和类型。以下是定义消息的 .proto
文件,addressbook.proto
。
syntax = "proto2";
package tutorial;
message Person {
optional string name = 1;
optional int32 id = 2;
optional string email = 3;
enum PhoneType {
PHONE_TYPE_UNSPECIFIED = 0;
PHONE_TYPE_MOBILE = 1;
PHONE_TYPE_HOME = 2;
PHONE_TYPE_WORK = 3;
}
message PhoneNumber {
optional string number = 1;
optional PhoneType type = 2 [default = PHONE_TYPE_HOME];
}
repeated PhoneNumber phones = 4;
}
message AddressBook {
repeated Person people = 1;
}
如您所见,语法类似于 C++ 或 Java。让我们浏览一下文件的每个部分,看看它是如何工作的。
.proto
文件以包声明开头,这有助于防止不同项目之间出现命名冲突。在 C++ 中,生成的类将放置在与包名称匹配的命名空间中。
接下来,您有您的消息定义。消息只是一个包含一组类型化字段的聚合体。许多标准的简单数据类型可用作字段类型,包括 bool
、int32
、float
、double
和 string
。您还可以通过使用其他消息类型作为字段类型来为您的消息添加更多结构——在上面的示例中,Person
消息包含 PhoneNumber
消息,而 AddressBook
消息包含 Person
消息。您甚至可以定义嵌套在其他消息内部的消息类型——如您所见,PhoneNumber
类型定义在 Person
内部。如果希望您的某个字段具有预定义值列表中的一个值,您还可以定义 enum
类型——在这里,您希望指定电话号码可以是以下电话类型之一:PHONE_TYPE_MOBILE
、PHONE_TYPE_HOME
或 PHONE_TYPE_WORK
。
每个元素上的“= 1”、“= 2”标记标识该字段在二进制编码中使用的唯一字段编号。字段编号 1-15 比更高的编号需要少一个字节来编码,因此作为优化,您可以决定将这些编号用于常用或重复的元素,将字段编号 16 及更高编号用于不太常用的可选元素。重复字段中的每个元素都需要重新编码字段编号,因此重复字段是此优化的特别好的候选对象。
每个字段必须使用以下修饰符之一进行注释:
optional
:该字段可能设置也可能未设置。如果未设置可选字段值,则使用默认值。对于简单类型,您可以指定您自己的默认值,就像我们在示例中为电话号码type
所做的那样。否则,将使用系统默认值:数值类型为零,字符串为空字符串,布尔值为假。对于嵌入式消息,默认值始终是消息的“默认实例”或“原型”,其所有字段均未设置。调用访问器以获取尚未显式设置的可选(或必需)字段的值始终返回该字段的默认值。repeated
:该字段可以重复任意次数(包括零次)。重复值的顺序将保留在 Protocol Buffer 中。将重复字段视为动态大小的数组。required
:必须提供该字段的值,否则消息将被视为“未初始化”。如果libprotobuf
在调试模式下编译,则序列化未初始化的消息将导致断言失败。在优化版本中,跳过检查,并且无论如何都会写入消息。但是,解析未初始化的消息始终会失败(通过从解析方法返回false
)。除此之外,必需字段的行为与可选字段完全相同。
重要
Required 是永久的 您应该非常小心地将字段标记为required
。如果您在某些时候希望停止写入或发送必需字段,则将其更改为可选字段将存在问题——旧读取器会认为缺少此字段的消息不完整,并且可能会意外地拒绝或删除它们。您应该考虑为您的缓冲区编写特定于应用程序的自定义验证例程。在 Google 内部,强烈不建议使用 required
字段;大多数在 proto2 语法中定义的消息仅使用 optional
和 repeated
。(Proto3 完全不支持 required
字段。)
您可以在Protocol Buffer 语言指南中找到编写.proto
文件的完整指南,包括所有可能的字段类型。但是,不要去找类似于类继承的功能 - Protocol Buffer 不支持这些。
编译你的 Protocol Buffers
现在您有了.proto
文件,接下来需要做的就是生成读取和写入AddressBook
(以及Person
和PhoneNumber
)消息所需的类。为此,您需要在您的.proto
文件上运行 Protocol Buffer 编译器protoc
。
如果您还没有安装编译器,请下载软件包并按照 README 中的说明进行操作。
现在运行编译器,指定源目录(您的应用程序源代码所在的目录 - 如果您不提供值,则使用当前目录),目标目录(您希望生成的代码所在的目录;通常与
$SRC_DIR
相同)以及.proto
文件的路径。在本例中,您…protoc -I=$SRC_DIR --cpp_out=$DST_DIR $SRC_DIR/addressbook.proto
因为您想要 C++ 类,所以您使用
--cpp_out
选项 - 其他支持的语言也提供了类似的选项。
这会在您指定的目标目录中生成以下文件
addressbook.pb.h
,声明您生成的类的头文件。addressbook.pb.cc
,包含您类的实现。
Protocol Buffer API
让我们看看一些生成的代码,并了解编译器为您创建了哪些类和函数。如果您查看addressbook.pb.h
,您会发现每个在addressbook.proto
中指定的消息都有一个对应的类。仔细查看Person
类,您可以看到编译器为每个字段生成了访问器。例如,对于name
、id
、email
和phones
字段,您有以下方法
// name
inline bool has_name() const;
inline void clear_name();
inline const ::std::string& name() const;
inline void set_name(const ::std::string& value);
inline void set_name(const char* value);
inline ::std::string* mutable_name();
// id
inline bool has_id() const;
inline void clear_id();
inline int32_t id() const;
inline void set_id(int32_t value);
// email
inline bool has_email() const;
inline void clear_email();
inline const ::std::string& email() const;
inline void set_email(const ::std::string& value);
inline void set_email(const char* value);
inline ::std::string* mutable_email();
// phones
inline int phones_size() const;
inline void clear_phones();
inline const ::google::protobuf::RepeatedPtrField< ::tutorial::Person_PhoneNumber >& phones() const;
inline ::google::protobuf::RepeatedPtrField< ::tutorial::Person_PhoneNumber >* mutable_phones();
inline const ::tutorial::Person_PhoneNumber& phones(int index) const;
inline ::tutorial::Person_PhoneNumber* mutable_phones(int index);
inline ::tutorial::Person_PhoneNumber* add_phones();
如您所见,getter 的名称与字段名完全相同(小写),setter 方法以set_
开头。对于每个单数(必填或可选)字段,还有一些has_
方法,如果该字段已设置,则返回true。最后,每个字段都有一个clear_
方法,可以将字段重置回其空状态。
虽然数字id
字段只有上面描述的基本访问器集,但name
和email
字段有一些额外的,因为它们是字符串 - 一个mutable_
getter,允许您获取字符串的直接指针,以及一个额外的setter。请注意,即使email
尚未设置,您也可以调用mutable_email()
;它会自动初始化为空字符串。如果在此示例中您有一个重复的消息字段,它也将有一个mutable_
方法,但没有set_
方法。
重复字段也有一些特殊方法 - 如果您查看重复phones
字段的方法,您会发现您可以
- 检查重复字段的
_size
(换句话说,与这个Person
关联了多少个电话号码)。 - 使用其索引获取指定的电话号码。
- 更新指定索引处的现有电话号码。
- 向消息添加另一个电话号码,然后您可以对其进行编辑(重复标量类型有一个
add_
,它只允许您传入新值)。
有关 Protocol Buffer 编译器为任何特定字段定义生成的成员的确切信息,请参阅C++ 生成的代码参考。
枚举和嵌套类
生成的代码包含一个PhoneType
枚举,它对应于您的.proto
枚举。您可以将此类型称为Person::PhoneType
,并将它的值称为Person::PHONE_TYPE_MOBILE
、Person::PHONE_TYPE_HOME
和Person::PHONE_TYPE_WORK
(实现细节稍微复杂一些,但您不需要了解它们来使用枚举)。
编译器还为您生成了一个嵌套类,名为Person::PhoneNumber
。如果您查看代码,您会发现“真实”的类实际上称为Person_PhoneNumber
,但Person
内部定义的一个typedef允许您将其视为嵌套类。只有当您想在另一个文件中前向声明该类时,这才会产生影响 - 您不能在 C++ 中前向声明嵌套类型,但您可以前向声明Person_PhoneNumber
。
标准消息方法
每个消息类还包含许多其他方法,允许您检查或操作整个消息,包括
bool IsInitialized() const;
:检查是否已设置所有必填字段。string DebugString() const;
:返回消息的可读表示形式,在调试时特别有用。void CopyFrom(const Person& from);
:用给定消息的值覆盖消息。void Clear();
:将所有元素清除回空状态。
这些以及下一节中描述的 I/O 方法实现了所有 C++ Protocol Buffer 类共享的Message
接口。有关更多信息,请参阅Message
的完整 API 文档。
解析和序列化
最后,每个 Protocol Buffer 类都有用于使用 Protocol Buffer 二进制格式写入和读取您选择类型的消息的方法。这些包括
bool SerializeToString(string* output) const;
:序列化消息并将字节存储在给定的字符串中。请注意,字节是二进制的,而不是文本;我们只使用string
类作为方便的容器。bool ParseFromString(const string& data);
:从给定的字符串解析消息。bool SerializeToOstream(ostream* output) const;
:将消息写入给定的 C++ostream
。bool ParseFromIstream(istream* input);
:从给定的 C++istream
解析消息。
这些只是解析和序列化提供的几个选项。同样,请参阅Message
API 参考以获取完整列表。
重要
Protocol Buffers 和面向对象设计 Protocol Buffer 类基本上是数据持有者(类似于 C 语言中的结构体),不提供额外的功能;它们在对象模型中不是很好的第一类公民。如果您想向生成的类添加更丰富的行为,最好的方法是将生成的 Protocol Buffer 类包装在应用程序特定的类中。如果您无法控制.proto
文件的设计(例如,如果您正在重用来自其他项目的.proto
文件),那么包装 Protocol Buffer 也是一个好主意。在这种情况下,您可以使用包装器类来构建更适合您的应用程序唯一环境的接口:隐藏一些数据和方法,公开便利函数等。您绝不应该通过继承生成的类来向其添加行为。这会破坏内部机制,而且无论如何也不是良好的面向对象实践。写入消息
现在让我们尝试使用您的 Protocol Buffer 类。您的地址簿应用程序首先需要能够做的是将个人详细信息写入您的地址簿文件。为此,您需要创建并填充 Protocol Buffer 类的实例,然后将它们写入输出流。
这是一个程序,它从文件中读取AddressBook
,根据用户输入向其中添加一个新的Person
,并将新的AddressBook
再次写入文件。直接调用或引用 Protocol Buffer 编译器生成的代码的部分已突出显示。
#include <iostream>
#include <fstream>
#include <string>
#include "addressbook.pb.h"
using namespace std;
// This function fills in a Person message based on user input.
void PromptForAddress(tutorial::Person* person) {
cout << "Enter person ID number: ";
int id;
cin >> id;
person->set_id(id);
cin.ignore(256, '\n');
cout << "Enter name: ";
getline(cin, *person->mutable_name());
cout << "Enter email address (blank for none): ";
string email;
getline(cin, email);
if (!email.empty()) {
person->set_email(email);
}
while (true) {
cout << "Enter a phone number (or leave blank to finish): ";
string number;
getline(cin, number);
if (number.empty()) {
break;
}
tutorial::Person::PhoneNumber* phone_number = person->add_phones();
phone_number->set_number(number);
cout << "Is this a mobile, home, or work phone? ";
string type;
getline(cin, type);
if (type == "mobile") {
phone_number->set_type(tutorial::Person::PHONE_TYPE_MOBILE);
} else if (type == "home") {
phone_number->set_type(tutorial::Person::PHONE_TYPE_HOME);
} else if (type == "work") {
phone_number->set_type(tutorial::Person::PHONE_TYPE_WORK);
} else {
cout << "Unknown phone type. Using default." << endl;
}
}
}
// Main function: Reads the entire address book from a file,
// adds one person based on user input, then writes it back out to the same
// file.
int main(int argc, char* argv[]) {
// Verify that the version of the library that we linked against is
// compatible with the version of the headers we compiled against.
GOOGLE_PROTOBUF_VERIFY_VERSION;
if (argc != 2) {
cerr << "Usage: " << argv[0] << " ADDRESS_BOOK_FILE" << endl;
return -1;
}
tutorial::AddressBook address_book;
{
// Read the existing address book.
fstream input(argv[1], ios::in | ios::binary);
if (!input) {
cout << argv[1] << ": File not found. Creating a new file." << endl;
} else if (!address_book.ParseFromIstream(&input)) {
cerr << "Failed to parse address book." << endl;
return -1;
}
}
// Add an address.
PromptForAddress(address_book.add_people());
{
// Write the new address book back to disk.
fstream output(argv[1], ios::out | ios::trunc | ios::binary);
if (!address_book.SerializeToOstream(&output)) {
cerr << "Failed to write address book." << endl;
return -1;
}
}
// Optional: Delete all global objects allocated by libprotobuf.
google::protobuf::ShutdownProtobufLibrary();
return 0;
}
请注意GOOGLE_PROTOBUF_VERIFY_VERSION
宏。在使用 C++ Protocol Buffer 库之前执行此宏是一个好习惯(虽然不是严格必需的)。它验证您是否没有意外地链接到与您编译的标头版本不兼容的库版本。如果检测到版本不匹配,程序将中止。请注意,每个.pb.cc
文件在启动时都会自动调用此宏。
还要注意程序末尾对ShutdownProtobufLibrary()
的调用。它所做的只是删除 Protocol Buffer 库分配的任何全局对象。对于大多数程序来说,这是不必要的,因为进程无论如何都会退出,操作系统会负责回收其所有内存。但是,如果您使用需要释放每个对象的内存泄漏检查器,或者如果您正在编写可能由单个进程多次加载和卸载的库,那么您可能希望强制 Protocol Buffers 清理所有内容。
读取消息
当然,如果无法从中获取任何信息,地址簿就没有多大用处!此示例读取上面示例创建的文件,并打印其中的所有信息。
#include <iostream>
#include <fstream>
#include <string>
#include "addressbook.pb.h"
using namespace std;
// Iterates though all people in the AddressBook and prints info about them.
void ListPeople(const tutorial::AddressBook& address_book) {
for (int i = 0; i < address_book.people_size(); i++) {
const tutorial::Person& person = address_book.people(i);
cout << "Person ID: " << person.id() << endl;
cout << " Name: " << person.name() << endl;
if (person.has_email()) {
cout << " E-mail address: " << person.email() << endl;
}
for (int j = 0; j < person.phones_size(); j++) {
const tutorial::Person::PhoneNumber& phone_number = person.phones(j);
switch (phone_number.type()) {
case tutorial::Person::PHONE_TYPE_MOBILE:
cout << " Mobile phone #: ";
break;
case tutorial::Person::PHONE_TYPE_HOME:
cout << " Home phone #: ";
break;
case tutorial::Person::PHONE_TYPE_WORK:
cout << " Work phone #: ";
break;
}
cout << phone_number.number() << endl;
}
}
}
// Main function: Reads the entire address book from a file and prints all
// the information inside.
int main(int argc, char* argv[]) {
// Verify that the version of the library that we linked against is
// compatible with the version of the headers we compiled against.
GOOGLE_PROTOBUF_VERIFY_VERSION;
if (argc != 2) {
cerr << "Usage: " << argv[0] << " ADDRESS_BOOK_FILE" << endl;
return -1;
}
tutorial::AddressBook address_book;
{
// Read the existing address book.
fstream input(argv[1], ios::in | ios::binary);
if (!address_book.ParseFromIstream(&input)) {
cerr << "Failed to parse address book." << endl;
return -1;
}
}
ListPeople(address_book);
// Optional: Delete all global objects allocated by libprotobuf.
google::protobuf::ShutdownProtobufLibrary();
return 0;
}
扩展 Protocol Buffer
在发布使用 Protocol Buffer 的代码后,您迟早会想要“改进”Protocol Buffer 的定义。如果您希望新的缓冲区向后兼容,旧的缓冲区向前兼容 - 而且您几乎肯定希望这样做 - 那么您需要遵循一些规则。在 Protocol Buffer 的新版本中
- 您绝不能更改任何现有字段的字段编号。
- 您绝不能添加或删除任何必填字段。
- 您可以删除可选或重复字段。
- 您可以添加新的可选或重复字段,但必须使用新的字段编号(即,在此 Protocol Buffer 中从未使用过的字段编号,即使已删除的字段也不行)。
(这些规则有一些例外情况,但很少使用。)
如果您遵循这些规则,旧代码将愉快地读取新消息,并简单地忽略任何新字段。对于旧代码,已删除的可选字段将简单地具有其默认值,已删除的重复字段将为空。新代码也将透明地读取旧消息。但是,请记住,旧消息中将不存在新的可选字段,因此您需要显式检查它们是否已使用has_
设置,或者在您的.proto
文件中使用[default = value]
在字段编号后提供合理的默认值。如果未为可选元素指定默认值,则会改为使用类型特定的默认值:对于字符串,默认值为空字符串。对于布尔值,默认值为 false。对于数字类型,默认值为零。还要注意,如果您添加了一个新的重复字段,您的新代码将无法判断它是(由新代码)留空还是根本从未设置(由旧代码设置),因为它没有has_
标志。
优化技巧
C++ Protocol Buffers 库经过了极度优化。但是,正确的用法可以进一步提高性能。以下是一些从库中榨取每一滴速度的技巧
- 尽可能重用消息对象。即使消息被清除,也会尝试保留它们为重用而分配的任何内存。因此,如果您连续处理许多具有相同类型和类似结构的消息,建议每次都重用相同的对象,以减少内存分配器的负担。但是,对象会随着时间的推移而变得臃肿,尤其是在您的消息“形状”不同或您偶尔构建比平时大得多的消息时。您应该通过调用
SpaceUsed
方法监视消息对象的大小,并在它们变得太大时删除它们。 - 您的系统内存分配器可能没有针对从多个线程分配大量小对象进行良好的优化。尝试改用Google 的 TCMalloc。
高级用法
Protocol Buffers 的用途不仅仅是简单的访问器和序列化。请务必浏览C++ API 参考,以了解您可以用它们做些什么。
协议消息类提供的一个关键特性是反射。您可以迭代消息的字段并操作其值,而无需针对任何特定消息类型编写代码。反射的一个非常有用的用途是将协议消息转换为其他编码(例如 XML 或 JSON),反之亦然。反射的更高级用法可能是查找相同类型两个消息之间的差异,或者开发一种“协议消息正则表达式”,您可以在其中编写匹配某些消息内容的表达式。如果您发挥想象力,则可以将 Protocol Buffers 应用于比您最初预期的更广泛的问题范围!
反射由Message::Reflection
接口提供。