混合使用Objective-C，C++和Objective-C++

转自： http://blog.csdn.net/horkychen

之前有段时间，我参与了一项使用了C++库的Objective-C项目。写了一篇关于混编的文章，结果却出乎意料的成为Google搜索中关于Objective-C++的最靠前的结果之一。

后来，Apple将基于LLVM的clang做为主选编译器。其作用之一就是可以保证Objective-C的演化，而GCC的进化却太慢了。之前文章就不太适用了，而且在这个过程，我也收到了一些回馈，这些都促使我写了这篇文章。

回顾一下

简言之,如果你有一些C++代码或库，你想在Objective-C项目使用它，这就是我们要研究的问题。 通常，C++代码中会定义你要使用的一些类(class), 你可以简单的把.m文件扩展名改为.mm就可以改为Objective-C++编译，然后就可以很容易地混合使用C++和Objective-C的代码。这是一个简单的做法，但两个世界确实很不一样，如此这样的深度混合有时会变地很棘手。

你可能会想使用等价的Objective-C类型和函数将C++代码封装(wrap)起来。比方说，你有一个名为CppObject的C++类(CppObject.h)：

 #include <string>
 class CppObject
 {
 public:
   void ExampleMethod(const std::string& str);
   // constructor, destructor, other members, etc.
 };

在Objectiv-C类允许定义C++类的成员变量，所以可以首先尝试定义一个ObjcObject封装类(ObjcObject.h):

 #import <Foundation/Foundation.h>
 #import "CppObject.h"


 @interface ObjcObject : NSObject {
   CppObject wrapped;
 }
 - (void)exampleMethodWithString:(NSString*)str;
 // other wrapped methods and properties
 @end

然后在ObjcObject.mm中实现这些方法。不过，此时会在两个头文件(ObjcObject.h&CppObject.h)中得到一个预处理和编译错误。问题出在#include和#import上。对于预处理器而言，它只做文本的替换操作。所以#include和#import本质上就是递归地复制和粘贴引用文件的内容。这个例子中，使用#import "ObjcObject.h"等价于插入如下代码：

 // [首先是大量Foundation/Foundation.h中的代码]
 // [无法包含<string>]，因为它仅存在于C++模式的include path中
 class CppObject
 {
 public:
   void ExampleMethod(const std::string& str);
   // constructor, destructor, other members, etc.
 };


 @interface ObjcObject : NSObject {
   CppObject wrapped;
 }
 - (void)exampleMethodWithString:(NSString*)str;
 // other wrapped methods and properties
 @end

因为class CppObject根本不是有效的Objective-C语法, 所以编译器就被搞糊涂了。 错误通常是这样的：

Unknown type name 'class'; did you mean 'Class'?

 

正是因为Objective-C中没有class这个关键字. 所以要与Objective-C兼容，Objective-C++类的头文件必须仅包含Objective-C代码，绝对没有C++的代码 - 这主要是影响类型定义（就像例中的CppObject类）。

保持简洁的头文件

之前的文章已经提到一些解决方案.其中最好的一个是PIMPL，它也适用于现在的情况。这里还有一个适用于clang的新方法，可以将C++代码从Objective-C中隔开，这就是class extensions中ivars的。 

Class extensions (不要同categories弄混) 已经存在一段时间了: 它们允许你在class的接口外的扩展部分定义在@implementation段前，而不是在公共头文件中。 这个例子就可以声明在ObjcObject.mm中:

 #import "ObjcObject.h"
 @interface ObjcObject () // note the empty parentheses
 - (void)methodWeDontWantInTheHeaderFile;
 @end
 @implementation ObjcObject
 // etc.

GCC也支持这个操作。不过clang还支持添加ivar块，也就是你还可以声明C++类型的实例变量，既可以在class extension中，也可以在@implementation开始的位置。本例中的ObjcObject.h可以被精简为：

 #import <Foundation/Foundation.h>


 @interface ObjcObject : NSObject
 - (void)exampleMethodWithString:(NSString*)str;
 // other wrapped methods and properties
 @end

 

去掉的部分都移到实现文件的class extension中 (ObjcObject.mm):

 #import "ObjcObject.h"
 #import "CppObject.h"
 @interface ObjcObject () {
   CppObject wrapped;
 }
 @end


 @implementation ObjcObject
 - (void)exampleMethodWithString:(NSString*)str
 {
   // NOTE: str为nil会建立一个空字串，而不是引用一个指向UTF8String空指针.
   std::string cpp_str([str UTF8String], [str lengthOfBytesUsingEncoding:NSUTF8StringEncoding]);
   wrapped.ExampleMethod(cpp_str);
 }

如果我们不需要interface extension来声明额外的属性和方法，ivar块仍然可以放在@implementation开始位置:

 #import "ObjcObject.h"
 #import "CppObject.h"


 @implementation ObjcObject {
   CppObject wrapped;
 }


 - (void)exampleMethodWithString:(NSString*)str
 {
   // NOTE: str为nil会建立一个空字串，而不是引用一个指向UTF8String空指针.
   std::string cpp_str([str UTF8String], [str lengthOfBytesUsingEncoding:NSUTF8StringEncoding]);
   wrapped.ExampleMethod(cpp_str);
 }

定义的CppObject实例wrapped在ObjcObject创建时，CppObject的缺省建构函数会被调用，而在ObjcObject被调用dealloc析构时，ObjcObject的析构函数也会被调用。如果ObjcObject没有提供缺省的建构函数，编译就会失败。

管理被封装C++对象的生命周期

解决方案是透过new关键字掌握建构过程, 比如:

 @interface ObjcObject () {
   CppObject* wrapped; // 指针!会在alloc时初始为NULL.
 }
 @end
 @implementation ObjcObject
 - (id)initWithSize:(int)size
 {
   self = [super init];
   if (self)
   {
     wrapped = new CppObject(size);
     if (!wrapped) self = nil;
   }
   return self;
 }
 //...

如果是使用C++异常, 也可以使用 try {...} catch {...}把创建过程封装起来. 相应地，还要显式地释放封闭对象:

 - (void)dealloc
 {
   delete wrapped;
   [super dealloc]; // 如果使用了ARC,这句就要略去
 }

作者接着提到了另一个方法，显示分配一块内存，然后在它的基础上调用new来创建对象。首先声明char wrapped_mem[sizeof(CppObject)]; 再使用wrapped = new(wrapped_mem) CppObject();创建了实例wrapped。释放时if (wrapped) wrapped->~CppObject();  这样虽然可行，但不建议使用。

 总结

 一定要确保封装的方法仅返回和使用C或Objective-C类型的返回值及参数。同时不要忘记C++中不存在nil, 而NUL是不可用于解引用的。

反向:在C++代码中使用Objective-C类

这个问题同样存在于头文件中。你不能因为引入Objective-C类型而污染了C++头文件，或无法被纯C++代码所引用。比方说，我们想封装的Objective-C类ABCWidget ，在ABCWidget.h声明为:

 #import <Foundation/Foundation.h>
 @interface ABCWidget
 - (void)init;
 - (void)reticulate;
 // etc.
 @end

这样的类定义在Objective-C++中是没有问题的，但在纯C++的代码是不允许的:

 #import "ABCWidget.h"
 namespace abc
 {
   class Widget
   {
     ABCWidget* wrapped;
   public:
     Widget();
     ~Widget();
     void Reticulate();
   };
 }

一个纯粹的C++编译器在Foundation.h中的代码和ABCWidget声明位置出错。

永恒的PIMPL

有没有这样的东西作为一类扩展C + +，这样的把戏将无法正常工作。 另一方面，PIMPL，工作得很好，实际上是比较常用的纯C + +了。 在我们的例子中，我们减少到最低限度：C + +类

C++并没有之前提到的class extension，但是却有另一种较为常用的方式:PIMPL (Private Implementation, 私有实现)。这里，将C++ class的定义精简为:

 namespace abc
 {
   struct WidgetImpl;
   class Widget
   {
     WidgetImpl* impl;
   public:
     Widget();
     ~Widget();
     void Reticulate();
   };
 }

然后在Widget.mm中:

 #include "Widget.hpp"
 #import "ABCWidget.h"
 namespace abc
 {
   struct WidgetImpl
   {
     ABCWidget* wrapped;
   };
   Widget::Widget() :
     impl(new WidgetImpl)
   {
     impl->wrapped = [[ABCWidget alloc] init];
   }
   Widget::~Widget()
   {
     if (impl)
       [impl->wrapped release];
     delete impl;
   }
   void Widget::Reticulate()
   {
     [impl->wrapped reticulate];
   }
 }

它的工作原理是，前置声明。声明这样的结构或类对象的指针成员变量、结构或类就足够了。

需要注意的是封装的对象会在析构函数中释放。即便对于使用了ARC的项目，我还是建议你对这样的对C++/Objective-C重引用的文件屏蔽掉它。不要让C++代码依赖于ARC。在XCode中可以针对个别文件屏蔽掉ARC。Target properties->Build phase页签，展开'Compile Sources', 为特定文件添加编译选项-fno-objc-arc。

C++中封装Objective-C类的捷径

您可能已经注意到，PIMPL解决方案使用两个级别的间接引用。 如果包装的目标类像本例中的一样简单，就可能会增大了复杂性。 虽然Objective-C的类型一般不能使用在纯C++中，不过有一些在C中实际已经定义了。id类型就是其中之一，它的声明在<objc/objc-runtime.h>头文件中。虽然会失去一些Objective-C的安全性，你还是可以把你的对象直接传到C++类中：

 #include <objc/objc-runtime.h>
 namespace abc
 {
   class Widget
   {
     id /* ABCWidget* */ wrapped;
   public:
     Widget();
     ~Widget();
     void Reticulate();
   };
 }

不建议向id对象直接发送消息。这样你会失去很多编译器的检查机制，特别是对于不同类中有着相同selector名字的不同方法时。所以:

 #include "Widget.hpp"
 #import "ABCWidget.h"
 namespace abc
 {
   Widget::Widget() :
     wrapped([[ABCWidget alloc] init])
   {
   }
   Widget::~Widget()
   {
     [(ABCWidget*)impl release];
   }
   void Widget::Reticulate()
   {
     [(ABCWidget*)impl reticulate];
   }
 }

像这样的类型转换很容易在代码中隐藏错误，再尝试一个更好的方式。在头文件中:

 #ifdef __OBJC__
 @class ABCWidget;
 #else
 typedef struct objc_object ABCWidget;
 #endif


 namespace abc
 {
   class Widget
   {
     ABCWidget* wrapped;
   public:
     Widget();
     ~Widget();
     void Reticulate();
   };
 }

如果这个头文件被一个mm文件引用，编译器可以充分识别到正确的类。 如果是在纯C++模式中引用，ABCWidget*是一个等价的id类型：定义为typedef struct objc_object* id; 。 #ifdef块还可以被进一步放到一个可重用的宏中:

 #ifdef __OBJC__
 #define OBJC_CLASS(name) @class name
 #else
 #define OBJC_CLASS(name) typedef struct objc_object name
 #endif

现在，我们可以前置声明在头文件中一行就可以适用于所有4种语言:

  OBJC_CLASS(ABCWidget);

 

转载请注明出处: http://blog.csdn.net/horkychen