thrift接口描述语言(IDL)用来定义thrift类型. 一个Thrift IDL文件用来生成各种语言使用的结构体和服务.
IDL中包含如下部分:
1. Document
Document中包含0或者多条如下的声明:
(1) include Literal
Thrift Include: 用来导入其他thrift中的符号, 在这个thrift中使用导入的thrift中的符号时, 需要带一个前缀.这个thrift编译时, 被导入thrift的对应头文件会被插入到这个thrift编译的相应文件中.
说明: Literal表示字符串常量, 写法要求有可选值(其中*表示0或者多个字符):
1) “[^”]*” (其中[^”]表示不为双引号的字符)
2) ‘[^’]*’ (其中[^’]表示不为单引号的字符)
示例: include "xxx.thrift"
(2) cpp_include Literal
C++ Include: 用来在这个thrift编译生成的文件中添加Literal头文件.
示例: cpp_include "xxx.h"
(3) namespace NamespaceScope Identifier
Namespace: 一个namespace表示一个命名空间/包/模块等, 含义基于编译成的目标语言, 其中在C++中表示命名空间名, 在golang中表示包名. NamespaceScope表示对应的编程语言, 如果使用*, 则表示对所有的语言都使用同样的Namespace名.
说明:
(1) NamespaceScope可以使用如下值取代: *, c_glib, cpp, csharp, delphi, go, java, js, lua, netcore, perl, php, py, py.twisted, rb, st, xsd.
(2) Identifier允许的写法(其中|表示或的关系, *表示出现0次或者多次): (Letter|_)(Letter | Digit | . | _ | -)*.
(3) Letter表示A-Z或者a-z中的一个字符.
(4) Digit表示0-9中的一个数字.
示例: namespace cpp tutorial
2. Definition
Definition包含如下的多条定义:
(1) const FieldType Identifier = ConstValue ListSeparator?
说明: ?表示可选, 其中ListSeparator包括两个可选值: (1) ,(逗号) (2);(分号)
用来定义一个常量, 可以参考如下示例:
const i32 INT32CONSTANT = 9853
const map<string,string> MAPCONSTANT = {'hello':'world', 'goodnight':'moon'}
(2) typedef DefinitionType Identifier
用来定义一个类型的别名, 其中DefinitionType包括可选值: (1) BaseType (2) ContainerType, BaseType和ContainerType的说明见后文, 关于定义别名, 可以参考如下示例:
typedef i32 MyInteger
(3) enum Identifier { (Identifier (= IntConstant)? ListSeparator?)* }
说明: 其中的*表示多条
用来定义一个枚举类型. 如果枚举结构体内的标识符没有提供常量, 那么第一个元素取0, 对于后续元素会比前一个元素大1. 所有提供的常量都必须是非负的. 可以参考如下示例:
enum Operation {
ADD = 1,
SUBTRACT = 2,
MULTIPLY = 3,
DIVIDE = 4
}
/**
* Common status reporting mechanism across all services
*/
enum fb_status {
DEAD = 0,
STARTING = 1,
ALIVE = 2,
STOPPING = 3,
STOPPED = 4,
WARNING = 5,
}
(4) senum Identifier { (Literal ListSeparator?)* }
注: 和slist都是deprecated, 都使用string来代替.
(5) struct Identifier { Field* }
用来定义复合类型, struct中的每个成员名都需要是唯一的, 可以参考如下示例:
struct Work {
1: i32 num1 = 0,
2: i32 num2,
3: Operation op,
4: optional string comment,
}
(6) union Identifier { Field* }
用来定义union类型, union类型中的所有成员只有一个成员有值, 当设置另一个成员时, 就只会有那个成员有值, 这个类型类似于C++中的union. 所以, union中的成员都默认为可选的(查看requiredness). 可以参考如下示例:
union Dessert {
1: string port
2: string iceWine
}
(7) exception Identifier { Field* }
用来定义一个异常. exception中的每一个成员都需要是唯一的.
/**
* Structs can also be exceptions, if they are nasty.
*/
exception InvalidOperation {
1: i32 whatOp,
2: string why
}
(8) service Identifier (extends Identifier)? { Function* }
用来定义使用thrift的服务器的函数接口. 一个服务可以扩展(extend)其他的服务, 那么这个服务就可以提供被扩展服务的函数接口. 关于服务的一个简单示例:
/**
* Standard base service
*/
service FacebookService {
/**
* Returns a descriptive name of the service
*/
string getName(),
/**
* Returns the version of the service
*/
string getVersion(),
/**
* Gets the status of this service
*/
fb_status getStatus(),
/**
* User friendly description of status, such as why the service is in
* the dead or warning state, or what is being started or stopped.
*/
string getStatusDetails(),
/**
* Gets the counters for this service
*/
map<string, i64> getCounters(),
/**
* Gets the value of a single counter
*/
i64 getCounter(1: string key),
/**
* Sets an option
*/
void setOption(1: string key, 2: string value),
/**
* Gets an option
*/
string getOption(1: string key),
/**
* Gets all options
*/
map<string, string> getOptions(),
/**
* Returns a CPU profile over the given time interval (client and server
* must agree on the profile format).
*/
string getCpuProfile(1: i32 profileDurationInSec),
/**
* Returns the unix time that the server has been running since
*/
i64 aliveSince(),
/**
* Tell the server to reload its configuration, reopen log files, etc
*/
oneway void reinitialize(),
/**
* Suggest a shutdown to the server
*/
oneway void shutdown(),
}
下面解释一下上面出现的Field和Function.
Field
Field的定义如下:
IntConstant : FieldReq? FieldType Identifier (= ConstValue)? ListSeparator?
其中FieldReq可选值包括: (1) required (2) optional (3) 如果没有指定, 则为default.
(1) required表示这个字段是必需的.
(2) optional 表示这个字段是可选的.
大多数语言使用推荐的”isset”标志来标示optional的成员有没有被设置值.
(3) default
default是optional和required的混合,因此内部名为”opt-in,req-out”. 虽然理论上这些字段都会被写入(“req-out”), 实际上未被设置的字段总是不会写入. 尤其是, 结构体中的某个字段根据定义包含不能通过thrift发送的值. 这种情况下,唯一能够采取的方式,就是根本不写入这个值.
关于默认值特定要注意的是, 任何没有显示写入的默认值, 会随着接口定义而改变, 而将默认值写入到output中, IDL改变默认值,不会对这个产生影响.
FieldType说明:
1. FieldType包括可选值: (1) Identifier (thrift中定义的struct, union等) (2) BaseType (3) ContainerType
2. BaseType包括可选值: bool, byte, i8, i16, i32, i64, double, string, binary, slist
3. ContainerType包括可选值:
(1) map (cpp_type Literal)? <FieldType, FieldType>
(2) set (cpp_type Literal)? <FieldType>
(3) list<FieldType> (cpp_type literal)?
ConstValue包括如下可选值(其中+号表示1个或者多个, |表示或的关系):
(1) IntConstant: (+ | -)? Digit+
(2) DoubleConstant: (+ | -)? Digit* (.Digit+)? ( (E | e) IntConstant)?
(3) ConstList: [ (ConstValue ListSeparator?)*]
(4) ConstMap: { (ConstValue : ConstValue ListSeparator?)* }
Function:
Function的定义格式: oneway? (FieldType | void) Identifier (Field*) (throws (Field*))? ListSeparator?
其中涉及的FieldType, Identifier, Field等的定义, 参考上面的说明.