语言的数据亲和力

语言的数据亲和力

[ 感谢 Todd 同学投递本文 ]

目前,程序设计语言似乎进入了一个蓬勃发展的时期,Javascript、Perl、Python、Ruby、Groovy等一批较新的语言正越来越多地被熟悉和使用,而C++、C#、Java等主流语言也在不断地融入函数式和动态性特征。程序员的百宝箱中可供选择的宝贝是越来多了,而社区中关于语言间的比较和争论也更为热烈,我们常常见到关于“面向过程和面向对象的比较”、“动态语言和静态语言的比较”、“命令式和函数式范式的比较”等比较。我注意到这类讨论的关注点多集中于设计相关话题,如“动态语言的Duck typing多态和静态语言的继承多态的比较”,“Prototype based和Class based的比较”等。但我认为还有一个十分重要的方面值得关注,这就是数据处理。

数据处理之所以重要是因为不论是本地信息存储还是系统间信息交换都需要建立在一定的数据格式基础上。另外,不管语言属于那种范式,设计上采用什么模式,在微观层次上程序很大一部分工作都是在做数据处理。所以,从数据处理角度比较和理解语言间的差异有重要的现实意义。虽然数据通常是平台和语言无关的,但不同的语言在处理某种格式的数据时会表现出不同的难度,甚至某些数据格式只能采用特定的语言才能实现,这就是数据亲和力的不同。

语言的数据亲和力(Data Affinity)指的是语言的数据模型与某种数据格式之间的匹配程度。语言对某种数据格式亲和力越强,则操作某类数据越容易。

 

二进制字节块格式

 

 

在偏底层的操作系统、嵌入式和通信系统中,二进制的字节块是最常见的一种数据格式。二进制数据布局紧凑和接近机器的特点使得它常常作为系统间通信或系统文件的数据格式,但一般高级语言都不方便直接和0101打交道,而是基于记录、结构体和类等结构化表示操作数据,这就存在着在底层的二进制字节块和高层的结构化数据直接的转换问题。


C语言作为最主要的系统语言具有很高的字节块数据亲和力。这不仅因为C语言具有指针可以直接访问内存以外,还因为C的结构体(struct)可以和字节块建立起直接的映射关系。例如,在基于Socket连接的分布式系统中服务器端和客户端通过二进制的字节数据进行通信,通信双方只要事先定义共用的结构体,发送方先创建相应的结构体变量并填充字段,然后把变量对应的内存块copy到Socket,接收方从Socket读取字节块,然后把字节块强制类型转换为相应的结构体指针即可读取个字段信息。整个过程中通信的双方都没有复杂的信息编码和解码的过程。示例代码如下:

struct t_data {
    int version;
    char type[10];
    float value;
};

//发送方
struct t_data data;
data.version = 1;
strcpy(data.type,  “degree”);
data.value = 189.0;
send(socket,  &data,  sizeof(data));

//接收方
struct t_data data;
read(socket,  &data,  sizeof(data));
printf(“%d, %s, %f”, data.version,  data.type, data.value);

 

上面的方法在实际应用中还需要注意内存对齐问题和大小端问题。内存对齐问题可以通过编译器预处理命令来进行控制,保证内存中struct结构与传输的字节块具有相同的对齐方式;大小端问题需要通信的双方采用同样的大小端方式,否则就需要进行转换。

C++可以完全兼容C的结构体,但C++的类(包括class和struct)中如果定义了虚函数,则会丧失结构的字节块数据亲和力,这是C++编程时需要权衡的一个因素。而除了C/C++,其他语言中则难以见到字节块数据亲和力,其原因在于C/C++允许控制结构体/对象的内存布局,并允许对指针进行非类型安全的强制类型转换,这都是在Java,C#等语言中不允许的。所以,在Java、C#中进行字节块的编码解码就只能按照协议一个字段一个字段地按偏移量和长度进行解析。C/C++的指针以及结构体和内存的直接映射带来了对字节块数据的亲和力,但同时也留下了内存访问和类型安全的隐患;而Java、C#在拥有引用安全和类型安全的同时也失去了对字节块数据的亲和力。

 

 

文本格式

文本格式是另一种十分常见的数据格式。《Unix编程艺术》中是这样描述文本格式的:”Text streams are a valuable universal format because they’re easy for human beings to read, write, and edit without specialized tools ”。基于文本流的管道处理是一种备受赞誉的Unix风格。Shell可以通过管道把各种功能单一的命令串联起来,让文本流在管道上流动,因而Shell语言具有很好的文本数据亲和力。许多文本数据处理任务Bash都可以一行搞定,这就是Hacker们酷爱的One Liner风格。

 

下面我们来看两个用Bash进行文本处理的例子:

1. 统计当前目录下的gz文件数目:

ls –l *.gz | wc –l

 

2. 在Web服务器日子service.log中统计2011年6月26和27两天中每天中各页面的PV

cat service.log | grep ^2011-06-2[6-7] | cut –d ‘ ‘ –f 1, 3 | sort | uniq –c

 

service.log:

2011-06-25 13:00:55 /music/c.htm Safari

2011-06-26 08:01:23 /main.htm IE
2011-06-26 08:03:01 /sports/b.htm Chrome

2011-06-27 11:41:06 /main.htm IE
2011-06-27 11:52:41 /news/a.htm Firefox

 

输出:

210 2011-06-26 /main.htm
231 2011-06-26 /news/a.htm
155 2011-06-26 /sports/b.htm
288 2011-06-27 /main.htm
292 2011-06-27 /news/a.htm
161 2011-06-27 /sports/b.htm

 

上面的两个简单文本数据处理任务如果是在C或C++下实现则要麻烦得多,代码量至少是十几行或者数十行,加上编译调试,整个开发效率可能比Shell低一个数量级。除了Shell外,Perl也是以强大的文本数据处理而闻名的。我们来看一个Perl正则表达式的例子:

while (<STDIN>) {
    if (/hello\s(\w+)/i)  {
        print “say hello to $1“
     }
     elsif (/goodbye\s(\w+)/i)  {
         print “say goodbye to  $1”
    }
}

输入:

HeLLo world

Goodbye bug

输出:

say hello to world

say goodbye to bug

上面的例子中我们看到Perl直接进行字符串匹配并进行数据提取的强大威力。Perl基于正则表达式的字符串处理不仅比C/C++等系统语言更强大,甚至比Python这样的动态语言也更强大和更方便,这是因为正则表达式是Perl语言的“一等公民”,这就使得Perl比其他以库的方式支持正则表达式功能的语言具有更好的文本数据亲和力。后来的Ruby也学习Perl把直接在语言上支持正则表达式。

 

结构化文本格式

XML是最近十几年来流行起来的一种通用(半)结构化的文本数据交换格式。XML除具有一般文本格式的优点外,还具有表达复杂的层次信息的优势,所以它至诞生以来就被大量用于配置文件和各种Web Service中。现代程序设计基本都少不了了XML打交道,不过在C++、Java和C#集中静态类型语言中处理XML却并不是一件十分轻松的事情。我们先来看一个Java解析和构建下面这个XML的例子:

<langs type="current">
  <language>Java</language>
  <language>Groovy</language>
  <language>JavaScript</language>
</langs>

 

//Java解析XML
DocumentBuilderFactory dbf = DocumentBuilderFactory.newInstance();
try {
    DocumentBuilder db = dbf.newDocumentBuilder();
    Document doc = db.parse("src/languages.xml");
    Element langs = doc.getDocumentElement();
    System.out.println("type = " + langs.getAttribute("type"));
    NodeList list = langs.getElementsByTagName("language");
    for(int i = 0 ; i &lt; list.getLength();i++) {
        Element language = (Element) list.item(i);
        System.out.println(language.getTextContent());
    }
}catch(Exception e) {
    e.printStackTrace();
}

//Java创建XML
DocumentBuilderFactory dbf = DocumentBuilderFactory.newInstance();
try {
    DocumentBuilder db = dbf.newDocumentBuilder();
    Document doc = db.newDocument();
    Element langs = doc.createElement("langs");
    langs.setAttribute("type", "current");
    doc.appendChild(langs);

    Element language1 = doc.createElement("language");
    Text text1 = doc.createTextNode("Java");
    language1.appendChild(text1);
    langs.appendChild(language1);

    Element language2 = doc.createElement("language");
    Text text2 = doc.createTextNode("Groovy");
    language2.appendChild(text2);
    langs.appendChild(language2);
    Element language3 = doc.createElement("language");
    Text text3 = doc.createTextNode("JavaScript");
    language3.appendChild(text3);
    langs.appendChild(language3);
} catch (Exception e) {
    e.printStackTrace();
}


为了解析和创建小小的一段XML代码需要编写如此冗长的Java代码,而实现同样的功能动态语言Groovy则十分简洁:

//Groovy解析XML
def langs = new XmlParser().parse("languages.xml")
println "type = ${langs.attribute("type")}"
langs.language.each{
    println it.text()
}
//Groovy创建XML
def xml = new groovy.xml.MarkupBuilder()
xml.langs(type:"current"){
   language("Java")
   language("Groovy")
   language("JavaScript")
}

 

上面Groovy操作XML的代码简洁而富有表达力,代码与XML几乎是一一对应的,如同直接在XML上进行操作的DSL一样,而相应的Java代码则看不到XML的影子。这说明Groovy具有很高的XML数据的亲和力。为什么Java和Groovy在XML亲和力方面有这样的差异呢?原因在于Java要求所有的方法和属性都必须先定义再调用,严格的静态类型检查使得Java只能把XML元素作为“二等公民”来表达;而Groovy则没有静态类型检查的限制,可以自由地使用方法和属性来表达XML结构。上面用Groovy创建XML的例子中,groovy.xml.MarkupBuilder类中实际上并没有langs, language这些方法,但会在调用的时候自动创建相应的XML结构。

 

除了XML外,JSON是另一种通用的半结构化的纯文本数据交换格式,它常被视为轻量级的XML。JSON的本意是Javascript的对象表示(Javascript Object Notation),它属于Javascript的语法子集,所以Javascript对JSON有原生的支持。下面就是一个在Javascript中创建JSON对象的例子:

[javascript]var json = { “langs” :
{
"type” : "current”,
"language” : ["Java”, "Groovy”, "Javascript”]
}
}[/javascript]

许多Javascript程序都会通过AJAX都从服务器获取JSON字符串,然后把字符串解析为JSON对象。由于Javascript对JSON的原生支持,所以,在Javascript中解析JSON字符串可以采用通用的eval方式,如:

[javascript]var json = eval(“(" + jsonStr + “)");

alert(json.langs.type);[/javascript]

甚至可以:

[javascript]eval(“var json = ” + jsonStr);

alert(json.langs.type);[/javascript]

 

不过eval的通用性带来了一定的安全隐患,所以一般只建议对受信任的数据源采用eval方式解析JSON,对于不受信任的数据源可以采用专门的JSON解析库。无论如何Javascript对JSON的原生支持都使得Javascript创建和解析JSON数据十分的简单,也就是说Javascript具有很高的JSON数据亲和力。另外,Groovy 1.8也加入了对JSON的原生支持,操作JSON与Javascript一样方便。

总结

到这里为止本文篇幅已经很长了,只能列举二进制字节块格式、文本格式和结构化文本格式3种典型的数据格式。实际上,数据亲和力的话题还有很多值得探讨的,比如C#的Linq。本文的探讨算是抛砖引玉,目的在于引起大家注意在比较语言的时候不要忽略了数据亲和力这样一个重要方面。本文的错误或不足,敬请指正,谢谢!

(转载本站文章请注明作者和出处 酷 壳 – CoolShell ,请勿用于任何商业用途)

好烂啊有点差凑合看看还不错很精彩 (22 人打了分,平均分: 4.45 )
Loading...

语言的数据亲和力》的相关评论

  1. 语言的亲和力?按照您这样比较,是不是要加上语言的sdk的版本?同一语言不同版本对你所提到的几种格式处理亲和力也是不同的,譬如对于二进制数据的处理,java的新版本nio据说“亲和力”就提高不少!另外java sdk老版本与新版本关于jaxb对于对象到xml的转换恐怕“亲和力”也相当高吧?

  2. 写的不错,确实可以作为一种对语言选择的参考。 另外:文章主要的目的是正面 语言对数据的亲和力,而不是评论某个语言的亲和力怎样,列举的那几种语言只是举个论据而已

  3. > 二进制格式在传输过程可能有比高的性效,效率和安全性(可以省很多带宽,加密)
    > 纯文本的格式方便阅读,整理,搜索和分析。
    > XML和Json统一了格式,标准化了,方便全世界集成和调用。不过我个人实在是不喜欢XML。

  4. 我也觉得直接这样的对比是不靠谱的。
    语言各有所长
    再说我看文章将java语言 做为对比对象。解析xml
    小弟不才,学了4年java。我解析xml 只需要用xpath
    然后html.parser(“//language”)[1];
    就可以拿到Groovy这个值。类库众多。这样比是不是算公平呢?至于是什么类库。哪就多的去了。

  5. 之所以有这么多语言的差别,原因还是以前语言的不足。语言的死忠,各种不服,不能包而并举怎么能进步

  6. 对于 XML,Python 的 lxml 库也十分强大。另外 JSON/YAML 就不用说了,可以直接映射到 Python 内建对象。

    对于二进制那个,貌似 Erlang 也很强大呢。

  7. 我觉得C#的LinQ 2 XML 以及新版XElment API
    已经让其对XML具备很强的亲和力了,楼主的话有失公允。

    Console.WriteLine(“导出XML数据库”);
    var xdb =
    new XDocument(new XDeclaration(“1.0”, “UTF-8”, “”),
    new XElement(“XDB”,
    new XElement(“ESSTree”,essTreeXElement),
    new XElement(“DataSet”, new XAttribute(“Name”,”EESI”),
    from table in tableLists
    select table.ToTableXElement())));

  8. 亲和力?我觉得就是对描述协议的比较。。。。。。
    二进制:高效(无论存储还是分析),但是一致性要求极高
    xml:冗余,一致性要求较高,分析开销很高(因为支持多层次)
    json:冗余,一致性要求较高,分析开销较高(因为支持多层次)
    tlv:tag-length-value
    ini:key=value
    本人一向反感xml,推崇ini(可以简单扩展以支持多层次信息)

  9. 二进制进程内用用还可以,跨进程是不明智,跨网络是脑残
    XML:废话太多,不易写不易读,开销大
    JSON: 不错,但是不支持类型描述导致解析开销比较大,更适合动态语言
    YAML 之流:最烦这些TAB爱好者了

  10. @oldrev
    厄。。。 现在所有的网络传输,根本上不还都是基于socket的二进制数据么。。。 再说很多网络应用也都是直接用二进制啊。。。

  11. 据说COBOL都要融合WEB开发工具了,程序设计语言确实是,似乎进入了一个蓬勃发展的时期。

  12. 类似讨论无非是在开发效率和执行性能上做出权衡,数据亲和力是一个 fancy speaking

  13. 做过一个C++系统的升级,用一个UI库,需要把client改为C#实现,那个二进制msg的拼接和解析,真是恶心死了

  14. 关于这个问题,我觉得,一方面,取决于语言本身的原生支持,另一方面,取决于类库的设计方式。传统的语言必须通过类库来解决问题,如果类库写的好用一些的话,我觉得类似java,c#,python等通用语言的各种数据的亲和力也可能很轻。但也许scala会更好。因为scala在设计的时候考虑了这样的问题。呵呵。

  15. 编程语言对数据的操作能力取决于语言自身的特性和程序库的多寡和强弱。
    事实上,每种语言都能处理不同格式的数据,只是写出来的代码在简洁、效率、艺术性和易读性上存在差异。

发表回复

您的电子邮箱地址不会被公开。 必填项已用*标注