本文目的
今天在使用jsoncpp 0.5的时候很偶然的发现了一个bug，由于jsoncpp在业界被广泛使用，所以有必要将这个bug指出。
一个例子
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
/*
* bug_demo.cpp
*
* Created on: 2011-11-22
* Author: bourneli
*/
#include "json/json.h"
#include <iostream>
#include <fstream>
using
namespace
std;
int
main()
{
Json::Value oRootVal;
Json::Reader oJsonReader;
oJsonReader.parse(
"{\"aInt\" : 3}"
, oRootVal);
Json::Value oInt = oRootVal[
"aInt"
];
cout <<
"aInt : "
<< oInt.asInt() << endl;
if
(oInt.isConvertibleTo(Json::stringValue))
{
cout <<
"aInt as string : "
<< oInt.asString() << endl;
}
else
{
cout <<
"aInt cannot convert to a string"
<< endl;
}
return
0;
}
|
根据上面的代码，如果使用过jsoncpp，应该可以预测输出，如下：
| aInt : 3 aInt as string : 3 |
但是，实际上却是：
抛异常了 囧~~~
原因分析
Json::Value::isConvertibleTo函数，从字面意思上看，就是判断当前value是否可以转成目标类型，我们看看Json::Value::isConvertibleTo的源代码：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
bool
Value::isConvertibleTo( ValueType other )
const
{
switch
( type_ )
{
case
nullValue:
return
true
;
case
intValue:
return
( other == nullValue && value_.int_ == 0 )
|| other == intValue
|| ( other == uintValue && value_.int_ >= 0 )
|| other == realValue
|| other == stringValue
|| other == booleanValue;
case
uintValue:
return
( other == nullValue && value_.uint_ == 0 )
|| ( other == intValue && value_.uint_ <= (unsigned)maxInt )
|| other == uintValue
|| other == realValue
|| other == stringValue
|| other == booleanValue;
case
realValue:
return
( other == nullValue && value_.real_ == 0.0 )
|| ( other == intValue && value_.real_ >= minInt && value_.real_ <= maxInt )
|| ( other == uintValue && value_.real_ >= 0 && value_.real_ <= maxUInt )
|| other == realValue
|| other == stringValue
|| other == booleanValue;
case
booleanValue:
return
( other == nullValue && value_.bool_ ==
false
)
|| other == intValue
|| other == uintValue
|| other == realValue
|| other == stringValue
|| other == booleanValue;
case
stringValue:
return
other == stringValue
|| ( other == nullValue && (!value_.string_ || value_.string_[0] == 0) );
case
arrayValue:
return
other == arrayValue
|| ( other == nullValue && value_.map_->size() == 0 );
case
objectValue:
return
other == objectValue
|| ( other == nullValue && value_.map_->size() == 0 );
default
:
JSON_ASSERT_UNREACHABLE;
}
return
false
;
// unreachable;
}
|
实现很简单，就是一系列的类型转换映射。上面的代码中第13行的地方就说明，int类型的Value是可以转化成string类型的Value。
但是实际上，却抛出了异常，我们可以分析下Json::Value::AsString函数的实现，源代码如下：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
std::string
Value::asString()
const
{
switch
( type_ )
{
case
nullValue:
return
""
;
case
stringValue:
return
value_.string_ ? value_.string_ :
""
;
case
booleanValue:
return
value_.bool_ ?
"true"
:
"false"
;
case
intValue:
case
uintValue:
case
realValue:
case
arrayValue:
case
objectValue:
JSON_ASSERT_MESSAGE(
false
,
"Type is not convertible to string"
);
default
:
JSON_ASSERT_UNREACHABLE;
}
return
""
;
// unreachable
}
|
实现也很简单，也是通过当前value的类型，判断是否可以转成string类型。第12行和第17行表明：转换映射和isConvertibleTo不一致。这就是导致bug的直接原因。
总结
此bug不是什么致命bug，并不能掩盖jsoncpp的跨平台，简单，轻量级等优点，使用的时候需要注意这里，否则会带来问题。所以，建议不要使用isConvertibleTo这个函数，而是通过手动判断当前数据类型，然后使用C++内置的类型转换，就不会出现该问题。
相关资料
下面的链接是jsoncpp在sourceforge官方网站上对该bug的描述
https://sourceforge.net/tracker/index.php?func=detail&aid=3021877&group_id=144446&atid=758826
没有注册的同学无法浏览，这里截个图：
![clip_image002[5]](http://images.cnblogs.com/cnblogs_com/bourneli/201112/20111228123910575.jpg "clip_image002[5]")
声明：如有转载本博文章，请注明出处。您的支持是我的动力！文章部分内容来自互联网，本人不负任何法律责任。
本文转自bourneli博客园博客，原文链接：http://www.cnblogs.com/bourneli/archive/2011/12/28/2304618.html
，如需转载请自行联系原作者
