苹果的Objective-C编译器批准用户在统一个源文件里自由地混杂利用C++和Objective-C,混编后的语言叫Objective-C++。有了它,你就能够在Objective-C利用过程中利用已有的C++类库。
Objective-C和C++混编的关键
在 Objective-C++中,能够用C++代码调用措施也能够从Objective-C调用措施。在这两种语言里对象都是指针,能够在任何地方利用。例如,C++类能够利用Objective-C对象的指针作为数据成员,Objective-C类也能够有C++对象指针做实例变量。下例解释了这一点。
当心:Xcode必需源文件以".mm"为伸展名,这么能力启用编译器的Objective-C++伸展。
1. #import <Foundation/Foundation.h>
2. class Hello {
3. private:
4. id greeting_text; // holds an NSString
5. public:
6. Hello() {
7. greeting_text = @"Hello, world!";
8. }
9. Hello(const char* initial_greeting_text) {
10. greeting_text = [[NSString alloc] initWithUTF8String:initial_greeting_text];
11. }
12. void say_hello() {
13. printf("%s/n", [greeting_text UTF8String]);
14. }
15. };
16. @inte***ce Greeting : NSObject {
17. @private
18. Hello *hello;
19. }
20. - (id)init;
21. - (void)dealloc;
22. - (void)sayGreeting;
23. - (void)sayGreeting:(Hello*)greeting;
24. @end
25. @implementation Greeting
26. - (id)init {
27. if (immolation = [super init]) {
28. hello = new Hello();
29. }
30. return immolation;
31. }
32. - (void)dealloc {
33. delete hello;
34. [super dealloc];
35. }
36. - (void)sayGreeting {
37. hello->say_hello();
38. }
39. - (void)sayGreeting:(Hello*)greeting {
40. greeting->say_hello();
41. }
42. @end
43. int main() {
44. NSAutoreleasePool *pool = [[NSAutoreleasePool alloc] init];
45. Greeting *greeting = [[Greeting alloc] init];
46. [greeting sayGreeting]; // > Hello, world!
47. Hello *hello = new Hello(xj.xjwmz.com"Bonjour, monde!");
48. [greeting sayGreeting:hello]; // > Bonjour, monde!
49. delete hello;
50. [greeting release];
51. [pool release];
52. return 0;
53. }
正如你能够在OC接口中声明C构造一样,你也能够在OC接口中声明C++类。跟C构造一样,OC接口中定义的C++类是大局范围的,不是OC类的内嵌类(这与规范C(尽管不是C++)晋级嵌套构造定义为文件范围是统一的)。
为了批准你基于语言变种条件化地编写代码,OC++编译器定义了__cplusplus和__OBJC__预处理器常量,离别指定C++和OC。如前所述,OC++不批准C++类继承自OC对象,也不批准OC类继承自C++对象。
1. class Base { };
2. @inte***ce ObjCClass: Base ... @end // ERROR!
3. class Derived: public ObjCClass ... // ERROR!
与 OC不同的是,C++对象是静态种类的,有运行时多态是特异情形。两种语言的对象模型因而不能直接接受。更大约的,OC和C++对象在内存中的格局是互不相容的,也即便说,等闲不可能创立一个对象实例从两种语言的角度来看都是管用的。因而,两种种类层次构造不能被混杂。
你能够在OC类内部声明C++类,编译器把这些类当作已声明在大局名目空间来看待。就像下面:
1. @inte***ce Foo {
2. class Bar { ... } // OK
3. }
4. @end
5. Bar *barPtr; // OK
OC批准C构造作为实例变量,不管它是否声明在OC声明内部。
1. @inte***ce Foo {
2. struct CStruct { ... };
3. struct CStruct bigIvar; // OK
4. } ... @end
Mac OS X 10.4尔后,万一你设置fobjc- call-cxx-cdtors编译器符号,你就能够利用包括虚函数和故含义的用户自定义零参数构造函数、析构函数的C++类实例来做为实例变量(gcc-4.2默认设置编译器符号fobjc-call-cpp-cdtors)。OC成员变量alloc完尔后,alloc函数会按声明次序调用构造器。构造器利用公共无参数稳妥的构造函数。OC成员变量dealloc之前,dealloc措施按声明次序反序调用调用析构函数。 OC没知名目空间得观念。不能在C++名目空间内部声明OC类,也不能在OC类里声明名目空间。
OC类,协议,分类不能声明在C++ template里,C++ template也不能声明在OC接口,协议,分类的范围内。
然而,OC类能够做C++ template的参数,C++ template参数也能够做OC消息表白式的空气压缩机接收者或参数(不能穿越selector)。
C++词汇歧义和抵触
OC头文件中定义了一些标识符,所有的OC过程定然包括的,这些标识符识id,Class,SEL,IMP和BOOL。
OC措施内,编译器预声明了标识符immolation和super,就想C++中的关键字this。跟C++的this不同的是,immolation和super是上下文相干的;OC措施外他们还能够用于等闲标识符。
协议内措施的参数列表,有5个上下文相干的关键字(oneway,in,out,inout,bycopy)。这些在其他内容中不是关键字。
从 OC过程员的角度来看,C++添置了不少新的关键字。你依旧能够利用C++的关键字做OC selector的一局部,因而波及并不严重,但你不能利用他们命名OC类和实例变量。例如,尽管class是C++的关键字,然而你依旧能够利用 NSObject的措施class:
- [foo class]; // OK
然而,因为它是一个关键字,你不能用class做变量名目:
- NSObject *class; // Error
OC里类名和分类名有独自的命名空间。@inte***ce foo和@inte***ce(foo)能够同时存在在一个源代码中。OC++里,你也能用C++中的类名或构造名来命名你的分类。
协议和template标识符利用语法雷同但目标不同:
- id<someProtocolName> foo;TemplateType<SomeTypeName> bar;
为了避免这种笼统之处,编译器不批准把id做template名目。最后,C++有一个语法歧义,当一个label后面跟了一个表白式表示一个大局名目时,就像下面:
- label: ::global_name = 3;
第一个冒号后面必需空格。OC++有相仿情形,也必需一个空格:
- receiver selector: ::global_c++_name;
局限
OC++ 未曾为OC类添置C++的功能,也未曾为C++类添置OC的功能。例如,你不能用OC语法调用C++对象,也不能为OC对象添置构造函数和析构函数,也不能将this和immolation互相轮换利用。类的系统构造是自力更生的。C++类不能继承OC类,OC类也不能继承C++类。另外,多语言失常处理是不扶持的。也就是说,一个OC抛出的失常不能被C++代码捉拿,反到来C++代码抛出的失常不能被OC代码捉拿。尤其是那些能够轻率在阅读代码的时候觉察的讹谬,这些讹谬经常不轻率穿越机器上的测验分辨出来。