Why Memory Management
Symbian OS本身就是为内存和资源受限的设备开发的,应用程序运行过程中很可能碰到内存用光,或者硬件资源不可用的情况。而这种exceptions是通过修改程序无法解决的,所以遵守以下几条:
- 尽量不要使用不必要的RAM
- 尽早释放资源,如文件server等
- 当你每次申请内存时,都须准备处理out-of-memory错误
- 当 out-of-memory错误发生时,返回到一个stable的状态,并释放所有期间申请到的资源
Stack and Heap
Stack:默认大小8kb,自动删除,如 TInt i = 0;
Heap :至少0.5Mb,由程序员手动删除,如 CMyObj* obj = new (ELeave) CMyObj;
Leaves
首先介绍Conventional C++ Memory Management,在Symbian看来,这是非常低效率的。
- NULL Pointer Checking if ((myObj = new CMyObj( ) ) == NULL) { //Error Handling }
- ANSI C++ Exeption Handling try { //throw an Exception } catch (int e) { //Error Handling }
在Symbian中推荐采用Leave,如果内存或者资源不能分配到,这个代码就会Leave,沿着Call Stack,直到操作系统或者在某个函数中被Handle掉。
所有可能Leave的函数最好以L结尾,保证该函数的用户知道这个函数可能Leave。
Leave的例子:
- 动态内存分配: return new (ELeave) TUint8[1000];
- 产生一个Leave:User::Leave(KErrNotFound);
- 内存不足时Leave:User::LeaveNoMemory();
- NULL的时候Leave:User::LeaveIfNull(aNotify);
- 当发生错误时Leave:RFs fs; TInt err = fs.Connect(); User::LeaveIfError(err);
处理Leave:
操作系统有默认的处理Leave的方式:
- 在程序启动过程中:直接关闭应用程序。
- 应用程序启动后:显示一个错误消息。
开发者可以通过trap装置来处理Leave。TRAP(_r, _s)和TRAPD(_r, _s),其中:
- _r:是一个TInt类型的leave code,默认值为TErrNone。
- _s:一系列可能Leave的C++ Statements。
TRAPD(err, DoFunctionL());
if (err != KErrNone)
{ //Error Handling }
else
{ //Everything is well }
The Cleanup Stack
cleanup stack用于存储在leave发生后需要deallocating的局部变量(指针)。即:当一个函数leave了,所有在cleanup stack上的对象会被全部删除掉。
Cleanup Stack的使用方法:
CleanupStack::PushL(ptr) :当发生leave时所有内存都会被释放
CleanupClosePushL(handle):当发生leave时这个句柄(handler)会被关闭
CleanupStack::Pop(pointer):第一个元素出栈
CleanupStack::PopAndDestroy(pointer):第一个元素出栈并释放内存
如果一个函数可能leave,检查一下两种情况:
- 如果leave了,是否所有在堆(heap)上的元素都在cleanup stack中了
- 如果没有leave,你是否自己恰当地将他cleanup了
CMyClass* CMyClass::NewL(TInt aBufSize)
{
CMyClass* self = new (ELeave) CMyClass;
CleanupStack::PushL(self);
self->ConstructL(aBufSize);
CleanupStack::Pop(self);
return self;
}
如果某个函数会在cleanup stack上留下一个对象,那么他必须以C结尾。
Two Phase Construction
C++构造函数一定不能leave。所有内存和资源的分配应该在第二阶段构造函数ConstructL( )中完成。
编码指南,所有用户定义的C类必须:
- 定义NewL和NewLC函数为public static
- 定义ConstructL和C++ Constructor为private
Best Practise
Construction的规则:
- 默认的C++构造函数中不能含有可能leave的代码
- 可能发生leave的函数必须在ConstructL中被调用
- 如果基类也有ConstructL,必须首先调用,不要忘了explicit scoping
Destruction的规则:
- C类必须在析构函数中删除它自己所包含的对象
- 在删除一个对象后,把它的指针设为NULL
- 不要删除不是本类所拥有的对象
- 在reallocation前首先删除对象,并且将其指针设为NULL
Further Discussion:
- Preserve Stack Memory:每个进程只有8K,以引用的方式传递参数,大的对象放在堆上
- Preallocation vs last moment allocation:一般的原则是只在使用前分配资源并且在使用后马上释放。但是 preallocation的好处是节约处理时间,并且在没有内存的情况下照常运行(资源已经分配到了)
- where to put trap harness:最基本的情况是依*GUI应用程序的框架。根据应用的不同,可以自定义粒度。
- Error Code Returns vs. leaving functions:在执行某个处理前检测是否会出现问题,如下代码:
User::LeaveIfError(fs.Connect());
Memory Leaks
如果你的程序有内存泄露,在模拟器上关闭时会crash。尽早发现并解决你的内存泄露,因为你可以追查到你可能导致内存泄露的代码改动。如果实在找不到,可用下面方法:
Heap Balance Checking:
- _UHEAP_MARK
- _UHEAP_MARKEND
用上述这两个宏放在你要检查的代码的开头和结尾,如果发生panic,则说明这段代码中发生了内存泄露。可以嵌套使用。
Panics
Panic是一个未经处理的exception,暗示着一个无法解决的错误。
一般程序有以下三类错误:
- 程序错误:如引用一个超过数组范围的元素
- 环境错误:内存、磁盘空间不够,或缺少其他资源等
- 用户错误:输入错误数据
Introduction
描述符(Descriptors)封装了字符串和二进制数据,用于替代C中的以NULL结尾的字符串。它的长度和数据都封装在了描述符中,Symbian API中用的都是描述符。如:
TPtrC ptr (KHelloWorld); CEikonEnv::Static()->InfoMsg(ptr);
Main Types of Descriptors
主要可以分为以下几类,其中带C的是不可修改的。
- Abstract:(TDes、TDesC),其他描述符的基类,不能实例化,一般用作函数的参数。
- Literal:(TLitC,_LIT()),用于存储literal string,一般使用后者。
- Buffer:(TBuf,TBufC),数据存储于栈上,大小在编译时确定。
- Heap:(HBufC),数据存储于堆上,大小在运行时确定。
- Pointer:(TPtr,TPtrC),引用存储于类之外的数据
Descriptor Modification
描述符可以是可修改的和不可修改的,通常带C的都是不可修改的,不可修改的是可修改的基类。
- Moidfiable:提供了访问和修改数据的API,如TBuf
- Non-Modifiable:数据只可以被访问,不可修改。但是通过Des()函数可返回一个可修改的指针
Descriptor Width
在描述符类后加上8或者16影响了存储在描述符中的数据的宽度,默认是16位的,处理二进制或ASCII时采用8位。
- 8位:(TDesC8),用于二进制数据或者ASCII字符串
- 16位:(TDesC16),默认,Unicode
下面开始对上述5类描述符进行详细介绍,首先看一下类继承关系
这里显示的是8位的,16位默认的类继承关系与此一致
Abstract Descriptors
除Literal外的所有描述符的基类,提供了基本的接口和基础功能。他们本身不能实例化,一般用作函数参数。
TDesC:提供了比较、复制、搜索、提取部分字符串的函数。
TInt TDesCUtil::SumLengths(const TDesc& aDesC1, const TDesc& aDesC2)
{
return aDesC1.Length() + aDesC2.Length();
}
TDes:继承自TDesC,添加了许多用于修改数据的函数。其最大长度是描述符被创建时确定的。
TInt TDesCUtil::AppendL(TDesc& aTarget, const TDesc& aDesC)
{
TInt sumLen = aTarget.Length() + aDesC.Length();
if (aTarget.MaxLength() < sumLen)
{
User::Leave(KErrOverflow);
}
aTarget.AppendL(aDesC);
}
Literal Descriptors
提供了一种将字符串放在只读存储空间中的机制(实际存放在程序的数据区,而不是真的在ROM中)。一般不采用TLitC而直接采用_LIT()宏。 _LIT(KHelloWorld, "Hello World!");
通过()操作符可以得到 const TDesC&。 TInt length = KHelloWorld().Length();
在函数参数为const TDesC&可以直接使用KHelloWorld。iLabel->SetTextL(KHelloWorld);
Buffer Descriptors
将数据作为本身的一部分存储在stack上,他们的最大长度是在编译时确定的。
TBuf<16> helloWorld = KHelloWorld;
TInt len = KHelloWorld().Length();
helloWorld[len-1]='?';
在内存中如下所示:
TBufC的用法如下:
_LIT(KHelloWorld, "Hello World");
const TInt maxBuf = 32;
TBufC<maxBuf> buf;
TInt currentLen = buf.Length(); // == 0
buf = KHelloWorld;
currentLen = buf.Length(); // == 11
TText ch = buf[2]; // == 'l'
TBuf的用法如下:
const TInt bufLen = 6;
TUInt8 objType = 1;
TUInt8 objId = 1;
TUInt8 xCoord = 128;
TUInt8 yCoord = 192;
....
TBuf8<bufLen> buf;
buf.Append(objType);
buf.Append(objId);
...
//we can now do something with the buffer such as writting it to a binary file or send via socket.
Pointer Descriptor
用于引用存储在其他地方的数据,如:
const unsigned char KBuffer[ ] = {0x00, 0x33, 0x66, 0x99, 0xbb, 0xff};
TPtrC8 bufferPtr( KBuffer, sizeof(KBuffer));
iSocket.Write(bufferPtr, iStatus);
在内存中如下所示:
TPtr的用法:
_LIT(KHelloWorld, "Hello World");
const TInt maxBuf = 32;
TBufC<maxBuf> buf;
buf = KHelloWorld;
TPtr ptr = buf.Des();
ptr[7] = 'a'; ptr[8] = 'l'; ptr[9] = 'e'; ptr[10] = 's';
CEikonEnv::Static()->InfoMsg(ptr); // "Hello Wales"
Heap Descriptors
动态在堆(heap)上分配,通过HBufC的API,数据可以被set和reset,但是不能被修改。如:
HBufC* heapBuf = HBufC::NewL(KHelloWorld().Length());
*heapBuf = KHelloWorld();
delete heapBuf;
在内存中的情况如下图所示:
HBufC通常在以下几种情况下使用:
- 在运行时从资源文件中加载字符串
- 从用户界面中接收用户输入的字符串
- 从应用程序引擎中接收字符串,如contacts database中的名字
对HBufC中的内容进行修改:
_LIT(KHello, "Hello!");
_LIT(KWorld, "World!");
HBufC* heapBuf = HBufC::NewL(KHello().Length());
*heapBuf = KHello; //buf holds "Hello!"
heapBuf = heapBuf->ReAllocL(KHello().Length() + KWorld().Length());
CleanupStack::PushL(heapBuf);
TPtr ptr (heapBuf->Des()); //DON'T use TPtr ptr = heapBuf->Des(); this will set maxlen to 6 but not 12...
ptr[KHello().Length() - 1] = ' ';
ptr += KWorld;
iTopLabel -> SetTextL(ptr);
CleanupStack::PopAndDestroy();
DrawNow();
下面介绍Descriptors的具体用法:
Non-Modifying Methods
Length(),Size(),Left(),Right(),Mid(),Compare(),Locate(),LocateReverse (),Find(),Match()等。以下代码示例描述了如何在一个descriptor中找到<>中的内容,如果不存在,返回整个字符 串:
static const TUint KAddressStartChar = '<';
static const TUint KAddressEndChar = '>';
TPtrC ExtractAddressNumber( const TDesC& aAddressString)
{
TInt addrStart = aAddressString.Locate(KAddressStartChar ) + 1;
TInt addrEnd = aAddressString.LocateReverse(KAddressEndChar ) ;
if ((addrStart == KErrNotFound) || (addrEnd == KErrNotFound) || (addrStart >= addrEnd) )
{
addrStart = 0;
addEnd = aAddressString.Length();
}
return (aAddressString.Mid(addrStart, (addrEnd - addrStart) ) );
}
Modifying Methods
Zero(),Copy(),Num(),Format(),Insert(),Replace(),Delete(),Append(),Trim()等。代码示例:
_LIT(KText, "Hello World!");
_LIT(KNewText, "New Text");
_LIT(KReplaced, "Replaced");
TBuf<16> buf1(KText);
buf1.Delete(6, 6); // length is now 6, leaving "Hello" in the buffer
TBuf<16> buf2(KNewText);
buf2.Copy(KReplaced); // buf2 now contains "Replaced"
buf2.Append(KNewText); //buf2 now contains "Replaced New Text"
buf2.Delete(99, 1); //Will Cause a PANIC!!!
Descriptors in Method Declarations
- 在函数参数中尽量使用基类
- 使用中性的描述符,一般情况下使用TDesC而不是TDesC8或者TDesC16
- 当描述符内容不应该改变时,使用const修饰符
- 经典用法:void SetText(const TDesC& aText); TPtrC Text() const;
Character Conversions
CCnvCharacterSetConverter类提供了在Unicode和其他字符集编码之间转换的方法。
ASCII本来就是Unicode的一个子集,无须使用该类。和Unicode之间的转换方法如下所示:
TBuf16<64> UnicodeBuf;
_LIT8(KAsciiStr, "Hello");
UnicodeBuf.Copy(KAsciiStr);
Unicode和拉丁语系之间的转化可使用如下的代码:
TBuf8<64> Latin1Buf;
_LIT16(KUnicodeStr1, "hello");
_LIT16(KUnicodeStr2, "I have got 10/x20AC."); ///x20AC is a euro
Latin1Buf.Copy(KUnicodeStr1); //OK
Latin1Buf.Copy(KUnicdoeStr2); //Not as you wanted.
待补充:Unicode和中文之间的转化